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