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