cos(6*x) 2
15*2 *atan (5*x) cos(6*x) 3
----------------------- - 6*2 *atan (5*x)*log(2)*sin(6*x)
2
1 + 25*x
$$- 6 \cdot 2^{\cos{\left(6 x \right)}} \log{\left(2 \right)} \sin{\left(6 x \right)} \operatorname{atan}^{3}{\left(5 x \right)} + \frac{15 \cdot 2^{\cos{\left(6 x \right)}} \operatorname{atan}^{2}{\left(5 x \right)}}{25 x^{2} + 1}$$
cos(6*x) / 25*(-1 + 5*x*atan(5*x)) 2 / 2 \ 30*atan(5*x)*log(2)*sin(6*x)\
6*2 *|- ----------------------- + 6*atan (5*x)*\-cos(6*x) + sin (6*x)*log(2)/*log(2) - ----------------------------|*atan(5*x)
| 2 2 |
| / 2\ 1 + 25*x |
\ \1 + 25*x / /
$$6 \cdot 2^{\cos{\left(6 x \right)}} \left(6 \left(\log{\left(2 \right)} \sin^{2}{\left(6 x \right)} - \cos{\left(6 x \right)}\right) \log{\left(2 \right)} \operatorname{atan}^{2}{\left(5 x \right)} - \frac{30 \log{\left(2 \right)} \sin{\left(6 x \right)} \operatorname{atan}{\left(5 x \right)}}{25 x^{2} + 1} - \frac{25 \left(5 x \operatorname{atan}{\left(5 x \right)} - 1\right)}{\left(25 x^{2} + 1\right)^{2}}\right) \operatorname{atan}{\left(5 x \right)}$$
/ / 2 2 \ \
| | 1 2 30*x*atan(5*x) 100*x *atan (5*x)| |
|125*|--------- - atan (5*x) - -------------- + -----------------| |
| | 2 2 2 | 2 / 2 \ |
cos(6*x) | \1 + 25*x 1 + 25*x 1 + 25*x / 3 / 2 2 \ 270*atan (5*x)*\-cos(6*x) + sin (6*x)*log(2)/*log(2) 450*(-1 + 5*x*atan(5*x))*atan(5*x)*log(2)*sin(6*x)|
6*2 *|----------------------------------------------------------------- + 36*atan (5*x)*\1 - log (2)*sin (6*x) + 3*cos(6*x)*log(2)/*log(2)*sin(6*x) + ---------------------------------------------------- + --------------------------------------------------|
| 2 2 2 |
| / 2\ 1 + 25*x / 2\ |
\ \1 + 25*x / \1 + 25*x / /
$$6 \cdot 2^{\cos{\left(6 x \right)}} \left(36 \left(- \log{\left(2 \right)}^{2} \sin^{2}{\left(6 x \right)} + 3 \log{\left(2 \right)} \cos{\left(6 x \right)} + 1\right) \log{\left(2 \right)} \sin{\left(6 x \right)} \operatorname{atan}^{3}{\left(5 x \right)} + \frac{270 \left(\log{\left(2 \right)} \sin^{2}{\left(6 x \right)} - \cos{\left(6 x \right)}\right) \log{\left(2 \right)} \operatorname{atan}^{2}{\left(5 x \right)}}{25 x^{2} + 1} + \frac{450 \left(5 x \operatorname{atan}{\left(5 x \right)} - 1\right) \log{\left(2 \right)} \sin{\left(6 x \right)} \operatorname{atan}{\left(5 x \right)}}{\left(25 x^{2} + 1\right)^{2}} + \frac{125 \left(\frac{100 x^{2} \operatorname{atan}^{2}{\left(5 x \right)}}{25 x^{2} + 1} - \frac{30 x \operatorname{atan}{\left(5 x \right)}}{25 x^{2} + 1} - \operatorname{atan}^{2}{\left(5 x \right)} + \frac{1}{25 x^{2} + 1}\right)}{\left(25 x^{2} + 1\right)^{2}}\right)$$