Partial Derivative wrt x of sin x y over cos (x + y)

Theorem

 * $\dfrac \partial {\partial x} \dfrac {\sin x y} {\map \cos {x + y} } = \dfrac {y \map \cos {x + y} \cos x y + \map \sin {x + y} \sin x y} {\map {\cos^2} {x + y} }$