$$\cos{\left(x \right)} \operatorname{sign}{\left(\sin{\left(x \right)} \right)}$$
2
-sign(sin(x))*sin(x) + 2*cos (x)*DiracDelta(sin(x))
$$2 \cos^{2}{\left(x \right)} \delta\left(\sin{\left(x \right)}\right) - \sin{\left(x \right)} \operatorname{sign}{\left(\sin{\left(x \right)} \right)}$$
/ 2 \
\-sign(sin(x)) - 6*DiracDelta(sin(x))*sin(x) + 2*cos (x)*DiracDelta(sin(x), 1)/*cos(x)
$$\left(2 \cos^{2}{\left(x \right)} \delta^{\left( 1 \right)}\left( \sin{\left(x \right)} \right) - 6 \sin{\left(x \right)} \delta\left(\sin{\left(x \right)}\right) - \operatorname{sign}{\left(\sin{\left(x \right)} \right)}\right) \cos{\left(x \right)}$$