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