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