2*atan(x)
---------
2
1 + x
$$\frac{2 \operatorname{atan}{\left (x \right )}}{x^{2} + 1}$$
2*(1 - 2*x*atan(x))
-------------------
2
/ 2\
\1 + x /
$$\frac{1}{\left(x^{2} + 1\right)^{2}} \left(- 4 x \operatorname{atan}{\left (x \right )} + 2\right)$$
/ 2 \
| 3*x 4*x *atan(x)|
4*|-atan(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{atan}{\left (x \right )}}{x^{2} + 1} - \frac{12 x}{x^{2} + 1} - 4 \operatorname{atan}{\left (x \right )}\right)$$