cot(2*x) / 2 \ / / 2 \ \
4*5 *\1 + cot (2*x)/*\2*cot(2*x) + \1 + cot (2*x)/*log(5)/*log(5)
$$4 \cdot 5^{\cot{\left(2 x \right)}} \left(\left(\cot^{2}{\left(2 x \right)} + 1\right) \log{\left(5 \right)} + 2 \cot{\left(2 x \right)}\right) \left(\cot^{2}{\left(2 x \right)} + 1\right) \log{\left(5 \right)}$$
/ 2 \
cot(2*x) / 2 \ | 2 / 2 \ 2 / 2 \ |
-8*5 *\1 + cot (2*x)/*\2 + 6*cot (2*x) + \1 + cot (2*x)/ *log (5) + 6*\1 + cot (2*x)/*cot(2*x)*log(5)/*log(5)
$$- 8 \cdot 5^{\cot{\left(2 x \right)}} \left(\cot^{2}{\left(2 x \right)} + 1\right) \left(\left(\cot^{2}{\left(2 x \right)} + 1\right)^{2} \log{\left(5 \right)}^{2} + 6 \left(\cot^{2}{\left(2 x \right)} + 1\right) \log{\left(5 \right)} \cot{\left(2 x \right)} + 6 \cot^{2}{\left(2 x \right)} + 2\right) \log{\left(5 \right)}$$