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