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