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