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