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