3
2 2 / 2 \ 4*cot (4*x)*atan(2*x)
atan (2*x)*cot (4*x)*\-12 - 12*cot (4*x)/ + ---------------------
2
1 + 4*x
$$\left(- 12 \cot^{2}{\left(4 x \right)} - 12\right) \cot^{2}{\left(4 x \right)} \operatorname{atan}^{2}{\left(2 x \right)} + \frac{4 \cot^{3}{\left(4 x \right)} \operatorname{atan}{\left(2 x \right)}}{4 x^{2} + 1}$$
/ 2 / 2 \ \
| cot (4*x)*(-1 + 4*x*atan(2*x)) 2 / 2 \ / 2 \ 12*\1 + cot (4*x)/*atan(2*x)*cot(4*x)|
8*|- ------------------------------ + 12*atan (2*x)*\1 + cot (4*x)/*\1 + 2*cot (4*x)/ - -------------------------------------|*cot(4*x)
| 2 2 |
| / 2\ 1 + 4*x |
\ \1 + 4*x / /
$$8 \left(12 \left(\cot^{2}{\left(4 x \right)} + 1\right) \left(2 \cot^{2}{\left(4 x \right)} + 1\right) \operatorname{atan}^{2}{\left(2 x \right)} - \frac{12 \left(\cot^{2}{\left(4 x \right)} + 1\right) \cot{\left(4 x \right)} \operatorname{atan}{\left(2 x \right)}}{4 x^{2} + 1} - \frac{\left(4 x \operatorname{atan}{\left(2 x \right)} - 1\right) \cot^{2}{\left(4 x \right)}}{\left(4 x^{2} + 1\right)^{2}}\right) \cot{\left(4 x \right)}$$
/ / 2 \ \
| 3 | 6*x 16*x *atan(2*x) | |
| cot (4*x)*|-------- - --------------- + atan(2*x)| |
| | 2 2 | / 2 \ 2 / 2 \ / 2 \ / 2 \ |
| \1 + 4*x 1 + 4*x / 2 / 2 \ |/ 2 \ 4 2 / 2 \| 9*cot (4*x)*\1 + cot (4*x)/*(-1 + 4*x*atan(2*x)) 36*\1 + cot (4*x)/*\1 + 2*cot (4*x)/*atan(2*x)*cot(4*x)|
32*|- -------------------------------------------------- - 12*atan (2*x)*\1 + cot (4*x)/*\\1 + cot (4*x)/ + 2*cot (4*x) + 7*cot (4*x)*\1 + cot (4*x)// + ------------------------------------------------ + -------------------------------------------------------|
| 2 2 2 |
| / 2\ / 2\ 1 + 4*x |
\ \1 + 4*x / \1 + 4*x / /
$$32 \left(- 12 \left(\cot^{2}{\left(4 x \right)} + 1\right) \left(\left(\cot^{2}{\left(4 x \right)} + 1\right)^{2} + 7 \left(\cot^{2}{\left(4 x \right)} + 1\right) \cot^{2}{\left(4 x \right)} + 2 \cot^{4}{\left(4 x \right)}\right) \operatorname{atan}^{2}{\left(2 x \right)} + \frac{36 \left(\cot^{2}{\left(4 x \right)} + 1\right) \left(2 \cot^{2}{\left(4 x \right)} + 1\right) \cot{\left(4 x \right)} \operatorname{atan}{\left(2 x \right)}}{4 x^{2} + 1} + \frac{9 \left(4 x \operatorname{atan}{\left(2 x \right)} - 1\right) \left(\cot^{2}{\left(4 x \right)} + 1\right) \cot^{2}{\left(4 x \right)}}{\left(4 x^{2} + 1\right)^{2}} - \frac{\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) \cot^{3}{\left(4 x \right)}}{\left(4 x^{2} + 1\right)^{2}}\right)$$