/ 2 2 \
| 2 3 9*x*acot(x) 4*x *acot (x)|
8*|acot (x) - ------ - ----------- - -------------|*acot(x)
| 2 2 2 |
\ 1 + x 1 + x 1 + x /
-----------------------------------------------------------
2
/ 2\
\1 + x /
$$\frac{8 \operatorname{acot}{\left (x \right )}}{\left(x^{2} + 1\right)^{2}} \left(- \frac{4 x^{2} \operatorname{acot}^{2}{\left (x \right )}}{x^{2} + 1} - \frac{9 x \operatorname{acot}{\left (x \right )}}{x^{2} + 1} + \operatorname{acot}^{2}{\left (x \right )} - \frac{3}{x^{2} + 1}\right)$$