sin(x) 3
4*2 *acot (x) sin(x) 4
- ------------------ + 2 *acot (x)*cos(x)*log(2)
2
1 + x
$$2^{\sin{\left(x \right)}} \log{\left(2 \right)} \cos{\left(x \right)} \operatorname{acot}^{4}{\left(x \right)} - \frac{4 \cdot 2^{\sin{\left(x \right)}} \operatorname{acot}^{3}{\left(x \right)}}{x^{2} + 1}$$
sin(x) 2 /4*(3 + 2*x*acot(x)) 2 / 2 \ 8*acot(x)*cos(x)*log(2)\
2 *acot (x)*|------------------- - acot (x)*\- cos (x)*log(2) + sin(x)/*log(2) - -----------------------|
| 2 2 |
| / 2\ 1 + x |
\ \1 + x / /
$$2^{\sin{\left(x \right)}} \left(- \left(\sin{\left(x \right)} - \log{\left(2 \right)} \cos^{2}{\left(x \right)}\right) \log{\left(2 \right)} \operatorname{acot}^{2}{\left(x \right)} - \frac{8 \log{\left(2 \right)} \cos{\left(x \right)} \operatorname{acot}{\left(x \right)}}{x^{2} + 1} + \frac{4 \left(2 x \operatorname{acot}{\left(x \right)} + 3\right)}{\left(x^{2} + 1\right)^{2}}\right) \operatorname{acot}^{2}{\left(x \right)}$$
/ / 2 2 \ \
| | 2 3 4*x *acot (x) 9*x*acot(x)| |
| 8*|- acot (x) + ------ + ------------- + -----------| |
| | 2 2 2 | 2 / 2 \ |
sin(x) | \ 1 + x 1 + x 1 + x / 3 / 2 2 \ 12*acot (x)*\- cos (x)*log(2) + sin(x)/*log(2) 12*(3 + 2*x*acot(x))*acot(x)*cos(x)*log(2)|
2 *|- ----------------------------------------------------- - acot (x)*\1 - cos (x)*log (2) + 3*log(2)*sin(x)/*cos(x)*log(2) + ---------------------------------------------- + ------------------------------------------|*acot(x)
| 2 2 2 |
| / 2\ 1 + x / 2\ |
\ \1 + x / \1 + x / /
$$2^{\sin{\left(x \right)}} \left(- \left(3 \log{\left(2 \right)} \sin{\left(x \right)} - \log{\left(2 \right)}^{2} \cos^{2}{\left(x \right)} + 1\right) \log{\left(2 \right)} \cos{\left(x \right)} \operatorname{acot}^{3}{\left(x \right)} + \frac{12 \left(\sin{\left(x \right)} - \log{\left(2 \right)} \cos^{2}{\left(x \right)}\right) \log{\left(2 \right)} \operatorname{acot}^{2}{\left(x \right)}}{x^{2} + 1} + \frac{12 \left(2 x \operatorname{acot}{\left(x \right)} + 3\right) \log{\left(2 \right)} \cos{\left(x \right)} \operatorname{acot}{\left(x \right)}}{\left(x^{2} + 1\right)^{2}} - \frac{8 \left(\frac{4 x^{2} \operatorname{acot}^{2}{\left(x \right)}}{x^{2} + 1} + \frac{9 x \operatorname{acot}{\left(x \right)}}{x^{2} + 1} - \operatorname{acot}^{2}{\left(x \right)} + \frac{3}{x^{2} + 1}\right)}{\left(x^{2} + 1\right)^{2}}\right) \operatorname{acot}{\left(x \right)}$$