-6*acot(x)
----------
2
1 + x $$- \frac{6 \operatorname{acot}{\left (x \right )}}{x^{2} + 1}$$
6*(1 + 2*x*acot(x))
-------------------
2
/ 2\
\1 + x / $$\frac{1}{\left(x^{2} + 1\right)^{2}} \left(12 x \operatorname{acot}{\left (x \right )} + 6\right)$$
/ 2 \
| 3*x 4*x *acot(x) |
12*|- ------ - ------------ + acot(x)|
| 2 2 |
\ 1 + x 1 + x /
--------------------------------------
2
/ 2\
\1 + x / $$\frac{1}{\left(x^{2} + 1\right)^{2}} \left(- \frac{48 x^{2} \operatorname{acot}{\left (x \right )}}{x^{2} + 1} - \frac{36 x}{x^{2} + 1} + 12 \operatorname{acot}{\left (x \right )}\right)$$