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