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