cos(x)
4*3 cos(x)
--------- - 3 *atan(4*x)*log(3)*sin(x)
2
1 + 16*x
$$- 3^{\cos{\left(x \right)}} \log{\left(3 \right)} \sin{\left(x \right)} \operatorname{atan}{\left(4 x \right)} + \frac{4 \cdot 3^{\cos{\left(x \right)}}}{16 x^{2} + 1}$$
cos(x) / 128*x / 2 \ 8*log(3)*sin(x)\
3 *|- ------------ + \-cos(x) + sin (x)*log(3)/*atan(4*x)*log(3) - ---------------|
| 2 2 |
| / 2\ 1 + 16*x |
\ \1 + 16*x / /
$$3^{\cos{\left(x \right)}} \left(- \frac{128 x}{\left(16 x^{2} + 1\right)^{2}} + \left(\log{\left(3 \right)} \sin^{2}{\left(x \right)} - \cos{\left(x \right)}\right) \log{\left(3 \right)} \operatorname{atan}{\left(4 x \right)} - \frac{8 \log{\left(3 \right)} \sin{\left(x \right)}}{16 x^{2} + 1}\right)$$
/ / 2 \ \
| | 64*x | |
|128*|-1 + ---------| |
| | 2| / 2 \ |
cos(x) | \ 1 + 16*x / 12*\-cos(x) + sin (x)*log(3)/*log(3) / 2 2 \ 384*x*log(3)*sin(x)|
3 *|-------------------- + ------------------------------------ + \1 - log (3)*sin (x) + 3*cos(x)*log(3)/*atan(4*x)*log(3)*sin(x) + -------------------|
| 2 2 2 |
| / 2\ 1 + 16*x / 2\ |
\ \1 + 16*x / \1 + 16*x / /
$$3^{\cos{\left(x \right)}} \left(\frac{384 x \log{\left(3 \right)} \sin{\left(x \right)}}{\left(16 x^{2} + 1\right)^{2}} + \left(- \log{\left(3 \right)}^{2} \sin^{2}{\left(x \right)} + 3 \log{\left(3 \right)} \cos{\left(x \right)} + 1\right) \log{\left(3 \right)} \sin{\left(x \right)} \operatorname{atan}{\left(4 x \right)} + \frac{12 \left(\log{\left(3 \right)} \sin^{2}{\left(x \right)} - \cos{\left(x \right)}\right) \log{\left(3 \right)}}{16 x^{2} + 1} + \frac{128 \left(\frac{64 x^{2}}{16 x^{2} + 1} - 1\right)}{\left(16 x^{2} + 1\right)^{2}}\right)$$