/ 2 atan(x) 2 atan(x) \
| 4*x 2 *log (2) 2*x*2 *log(2)|
-4*|-2 + ------ - ---------------- + -------------------|
| 2 2 2 |
\ 1 + x 1 + x 1 + x /
---------------------------------------------------------
2
1 + x
$$- \frac{4 \left(\frac{2 \cdot 2^{\operatorname{atan}{\left(x \right)}} x \log{\left(2 \right)}}{x^{2} + 1} - \frac{2^{\operatorname{atan}{\left(x \right)}} \log{\left(2 \right)}^{2}}{x^{2} + 1} + \frac{4 x^{2}}{x^{2} + 1} - 2\right)}{x^{2} + 1}$$
/ 3 atan(x) 3 atan(x) 2 atan(x) 2 \
| atan(x) 16*x 2 *log (2) 6*x*2 *log (2) 8*2 *x *log(2)|
4*|-12*x - 2*2 *log(2) + ------ + ---------------- - -------------------- + --------------------|
| 2 2 2 2 |
\ 1 + x 1 + x 1 + x 1 + x /
-------------------------------------------------------------------------------------------------------
2
/ 2\
\1 + x /
$$\frac{4 \left(\frac{8 \cdot 2^{\operatorname{atan}{\left(x \right)}} x^{2} \log{\left(2 \right)}}{x^{2} + 1} - \frac{6 \cdot 2^{\operatorname{atan}{\left(x \right)}} x \log{\left(2 \right)}^{2}}{x^{2} + 1} - 2 \cdot 2^{\operatorname{atan}{\left(x \right)}} \log{\left(2 \right)} + \frac{2^{\operatorname{atan}{\left(x \right)}} \log{\left(2 \right)}^{3}}{x^{2} + 1} + \frac{16 x^{3}}{x^{2} + 1} - 12 x\right)}{\left(x^{2} + 1\right)^{2}}$$