cos(x) 2
15*2 *x cos(x) / 3\
- ------------- - 2 *acot\5*x /*log(2)*sin(x)
6
1 + 25*x
$$- \frac{15 \cdot 2^{\cos{\left(x \right)}} x^{2}}{25 x^{6} + 1} - 2^{\cos{\left(x \right)}} \log{\left(2 \right)} \sin{\left(x \right)} \operatorname{acot}{\left(5 x^{3} \right)}$$
/ / 6 \ \
| | 75*x | |
| 30*x*|-1 + ---------| |
| | 6| 2 |
cos(x) |/ 2 \ / 3\ \ 1 + 25*x / 30*x *log(2)*sin(x)|
2 *|\-cos(x) + sin (x)*log(2)/*acot\5*x /*log(2) + --------------------- + -------------------|
| 6 6 |
\ 1 + 25*x 1 + 25*x /
$$2^{\cos{\left(x \right)}} \left(\frac{30 x^{2} \log{\left(2 \right)} \sin{\left(x \right)}}{25 x^{6} + 1} + \frac{30 x \left(\frac{75 x^{6}}{25 x^{6} + 1} - 1\right)}{25 x^{6} + 1} + \left(\log{\left(2 \right)} \sin^{2}{\left(x \right)} - \cos{\left(x \right)}\right) \log{\left(2 \right)} \operatorname{acot}{\left(5 x^{3} \right)}\right)$$
/ / 6 12 \ \
| | 675*x 22500*x | / 6 \ |
| 30*|1 - --------- + ------------| | 75*x | |
| | 6 2| 90*x*|-1 + ---------|*log(2)*sin(x)|
| | 1 + 25*x / 6\ | 2 / 2 \ | 6| |
cos(x) | \ \1 + 25*x / / / 2 2 \ / 3\ 45*x *\-cos(x) + sin (x)*log(2)/*log(2) \ 1 + 25*x / |
2 *|- --------------------------------- + \1 - log (2)*sin (x) + 3*cos(x)*log(2)/*acot\5*x /*log(2)*sin(x) - --------------------------------------- - -----------------------------------|
| 6 6 6 |
\ 1 + 25*x 1 + 25*x 1 + 25*x /
$$2^{\cos{\left(x \right)}} \left(- \frac{45 x^{2} \left(\log{\left(2 \right)} \sin^{2}{\left(x \right)} - \cos{\left(x \right)}\right) \log{\left(2 \right)}}{25 x^{6} + 1} - \frac{90 x \left(\frac{75 x^{6}}{25 x^{6} + 1} - 1\right) \log{\left(2 \right)} \sin{\left(x \right)}}{25 x^{6} + 1} + \left(- \log{\left(2 \right)}^{2} \sin^{2}{\left(x \right)} + 3 \log{\left(2 \right)} \cos{\left(x \right)} + 1\right) \log{\left(2 \right)} \sin{\left(x \right)} \operatorname{acot}{\left(5 x^{3} \right)} - \frac{30 \left(\frac{22500 x^{12}}{\left(25 x^{6} + 1\right)^{2}} - \frac{675 x^{6}}{25 x^{6} + 1} + 1\right)}{25 x^{6} + 1}\right)$$