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