sin(x)
acot(x)*cos(x) - ------
2
1 + x
$$\cos{\left (x \right )} \operatorname{acot}{\left (x \right )} - \frac{\sin{\left (x \right )}}{x^{2} + 1}$$
2*cos(x) 2*x*sin(x)
-acot(x)*sin(x) - -------- + ----------
2 2
1 + x / 2\
\1 + x /
$$\frac{2 x \sin{\left (x \right )}}{\left(x^{2} + 1\right)^{2}} - \sin{\left (x \right )} \operatorname{acot}{\left (x \right )} - \frac{2 \cos{\left (x \right )}}{x^{2} + 1}$$
2
2*sin(x) 3*sin(x) 8*x *sin(x) 6*x*cos(x)
-acot(x)*cos(x) + --------- + -------- - ----------- + ----------
2 2 3 2
/ 2\ 1 + x / 2\ / 2\
\1 + x / \1 + x / \1 + x /
$$- \frac{8 x^{2} \sin{\left (x \right )}}{\left(x^{2} + 1\right)^{3}} + \frac{6 x \cos{\left (x \right )}}{\left(x^{2} + 1\right)^{2}} - \cos{\left (x \right )} \operatorname{acot}{\left (x \right )} + \frac{3 \sin{\left (x \right )}}{x^{2} + 1} + \frac{2 \sin{\left (x \right )}}{\left(x^{2} + 1\right)^{2}}$$