/ 1 2*x - 1 \ / 2*x - 1 \ / 2*x - 1 \
2*|------ + 2*5 *log(5)|*cos\5 - acot(x)/*sin\5 - acot(x)/
| 2 |
\1 + x /
$$2 \left(2 \cdot 5^{2 x - 1} \log{\left(5 \right)} + \frac{1}{x^{2} + 1}\right) \sin{\left(5^{2 x - 1} - \operatorname{acot}{\left(x \right)} \right)} \cos{\left(5^{2 x - 1} - \operatorname{acot}{\left(x \right)} \right)}$$
/ 2 / 2*x\ 2 / 2*x\ / 2*x\ / 2*x\\
|/ 5 2*x \ 2| 5 | / 5 2*x \ 2| 5 | / 5*x 2*x 2 \ | 5 | | 5 ||
2*||------ + 2*5 *log(5)| *cos |-acot(x) + ----| - |------ + 2*5 *log(5)| *sin |-acot(x) + ----| + 10*|- --------- + 2*5 *log (5)|*cos|-acot(x) + ----|*sin|-acot(x) + ----||
|| 2 | \ 5 / | 2 | \ 5 / | 2 | \ 5 / \ 5 /|
|\1 + x / \1 + x / | / 2\ | |
\ \ \1 + x / / /
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
25
$$\frac{2 \left(- \left(2 \cdot 5^{2 x} \log{\left(5 \right)} + \frac{5}{x^{2} + 1}\right)^{2} \sin^{2}{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} + \left(2 \cdot 5^{2 x} \log{\left(5 \right)} + \frac{5}{x^{2} + 1}\right)^{2} \cos^{2}{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} + 10 \left(2 \cdot 5^{2 x} \log{\left(5 \right)}^{2} - \frac{5 x}{\left(x^{2} + 1\right)^{2}}\right) \sin{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} \cos{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)}\right)}{25}$$
/ / 2*x\ 3 / 2*x\ / 2*x\ / 2*x\ / 2 \ / 2*x\ / 2*x\\
| 2| 5 | / 5 2*x \ / 5*x 2*x 2 \ / 5 2*x \ | 5 | | 5 | 2| 5 | / 5 2*x \ / 5*x 2*x 2 \ | 5 2*x 3 20*x | | 5 | | 5 ||
4*|- 15*sin |-acot(x) + ----|*|------ + 2*5 *log(5)|*|- --------- + 2*5 *log (5)| - 2*|------ + 2*5 *log(5)| *cos|-acot(x) + ----|*sin|-acot(x) + ----| + 15*cos |-acot(x) + ----|*|------ + 2*5 *log(5)|*|- --------- + 2*5 *log (5)| + 25*|- --------- + 4*5 *log (5) + ---------|*cos|-acot(x) + ----|*sin|-acot(x) + ----||
| \ 5 / | 2 | | 2 | | 2 | \ 5 / \ 5 / \ 5 / | 2 | | 2 | | 2 3| \ 5 / \ 5 /|
| \1 + x / | / 2\ | \1 + x / \1 + x / | / 2\ | | / 2\ / 2\ | |
\ \ \1 + x / / \ \1 + x / / \ \1 + x / \1 + x / / /
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
125
$$\frac{4 \left(- 2 \left(2 \cdot 5^{2 x} \log{\left(5 \right)} + \frac{5}{x^{2} + 1}\right)^{3} \sin{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} \cos{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} - 15 \left(2 \cdot 5^{2 x} \log{\left(5 \right)} + \frac{5}{x^{2} + 1}\right) \left(2 \cdot 5^{2 x} \log{\left(5 \right)}^{2} - \frac{5 x}{\left(x^{2} + 1\right)^{2}}\right) \sin^{2}{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} + 15 \left(2 \cdot 5^{2 x} \log{\left(5 \right)} + \frac{5}{x^{2} + 1}\right) \left(2 \cdot 5^{2 x} \log{\left(5 \right)}^{2} - \frac{5 x}{\left(x^{2} + 1\right)^{2}}\right) \cos^{2}{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} + 25 \left(4 \cdot 5^{2 x} \log{\left(5 \right)}^{3} + \frac{20 x^{2}}{\left(x^{2} + 1\right)^{3}} - \frac{5}{\left(x^{2} + 1\right)^{2}}\right) \sin{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)} \cos{\left(\frac{5^{2 x}}{5} - \operatorname{acot}{\left(x \right)} \right)}\right)}{125}$$