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