2
-6*atan (cos(2*x))*sin(2*x)
---------------------------
2
1 + cos (2*x)
$$- \frac{6 \sin{\left(2 x \right)} \operatorname{atan}^{2}{\left(\cos{\left(2 x \right)} \right)}}{\cos^{2}{\left(2 x \right)} + 1}$$
/ 2 2 \
| 2*sin (2*x) 2*sin (2*x)*atan(cos(2*x))*cos(2*x)|
12*|-atan(cos(2*x))*cos(2*x) + ------------- - -----------------------------------|*atan(cos(2*x))
| 2 2 |
\ 1 + cos (2*x) 1 + cos (2*x) /
--------------------------------------------------------------------------------------------------
2
1 + cos (2*x)
$$\frac{12 \left(- \cos{\left(2 x \right)} \operatorname{atan}{\left(\cos{\left(2 x \right)} \right)} - \frac{2 \sin^{2}{\left(2 x \right)} \cos{\left(2 x \right)} \operatorname{atan}{\left(\cos{\left(2 x \right)} \right)}}{\cos^{2}{\left(2 x \right)} + 1} + \frac{2 \sin^{2}{\left(2 x \right)}}{\cos^{2}{\left(2 x \right)} + 1}\right) \operatorname{atan}{\left(\cos{\left(2 x \right)} \right)}}{\cos^{2}{\left(2 x \right)} + 1}$$
/ 2 2 2 2 2 2 2 2 2 \
| 2 2*sin (2*x) 6*atan (cos(2*x))*cos (2*x) 2*atan (cos(2*x))*sin (2*x) 6*atan(cos(2*x))*cos(2*x) 8*atan (cos(2*x))*cos (2*x)*sin (2*x) 12*sin (2*x)*atan(cos(2*x))*cos(2*x)|
24*|atan (cos(2*x)) - ---------------- - --------------------------- + --------------------------- + ------------------------- - ------------------------------------- + ------------------------------------|*sin(2*x)
| 2 2 2 2 2 2 |
| / 2 \ 1 + cos (2*x) 1 + cos (2*x) 1 + cos (2*x) / 2 \ / 2 \ |
\ \1 + cos (2*x)/ \1 + cos (2*x)/ \1 + cos (2*x)/ /
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
2
1 + cos (2*x)
$$\frac{24 \left(\operatorname{atan}^{2}{\left(\cos{\left(2 x \right)} \right)} + \frac{2 \sin^{2}{\left(2 x \right)} \operatorname{atan}^{2}{\left(\cos{\left(2 x \right)} \right)}}{\cos^{2}{\left(2 x \right)} + 1} - \frac{6 \cos^{2}{\left(2 x \right)} \operatorname{atan}^{2}{\left(\cos{\left(2 x \right)} \right)}}{\cos^{2}{\left(2 x \right)} + 1} + \frac{6 \cos{\left(2 x \right)} \operatorname{atan}{\left(\cos{\left(2 x \right)} \right)}}{\cos^{2}{\left(2 x \right)} + 1} - \frac{8 \sin^{2}{\left(2 x \right)} \cos^{2}{\left(2 x \right)} \operatorname{atan}^{2}{\left(\cos{\left(2 x \right)} \right)}}{\left(\cos^{2}{\left(2 x \right)} + 1\right)^{2}} + \frac{12 \sin^{2}{\left(2 x \right)} \cos{\left(2 x \right)} \operatorname{atan}{\left(\cos{\left(2 x \right)} \right)}}{\left(\cos^{2}{\left(2 x \right)} + 1\right)^{2}} - \frac{2 \sin^{2}{\left(2 x \right)}}{\left(\cos^{2}{\left(2 x \right)} + 1\right)^{2}}\right) \sin{\left(2 x \right)}}{\cos^{2}{\left(2 x \right)} + 1}$$