2 5 3 4
6*acot (2*x)*log (x) 5*acot (2*x)*log (x)
- -------------------- + --------------------
2 x
1 + 4*x
$$- \frac{6 \log{\left(x \right)}^{5} \operatorname{acot}^{2}{\left(2 x \right)}}{4 x^{2} + 1} + \frac{5 \log{\left(x \right)}^{4} \operatorname{acot}^{3}{\left(2 x \right)}}{x}$$
/ 2 2 \
3 | 5*acot (2*x)*(-4 + log(x)) 24*log (x)*(1 + 2*x*acot(2*x)) 60*acot(2*x)*log(x)|
log (x)*|- -------------------------- + ------------------------------ - -------------------|*acot(2*x)
| 2 2 / 2\ |
| x / 2\ x*\1 + 4*x / |
\ \1 + 4*x / /
$$\left(\frac{24 \left(2 x \operatorname{acot}{\left(2 x \right)} + 1\right) \log{\left(x \right)}^{2}}{\left(4 x^{2} + 1\right)^{2}} - \frac{60 \log{\left(x \right)} \operatorname{acot}{\left(2 x \right)}}{x \left(4 x^{2} + 1\right)} - \frac{5 \left(\log{\left(x \right)} - 4\right) \operatorname{acot}^{2}{\left(2 x \right)}}{x^{2}}\right) \log{\left(x \right)}^{3} \operatorname{acot}{\left(2 x \right)}$$
/ / 2 2 \ \
| 3 | 1 2 12*x*acot(2*x) 16*x *acot (2*x)| |
| 24*log (x)*|-------- - acot (2*x) + -------------- + ----------------| |
| | 2 2 2 | 3 / 2 \ 2 2 |
2 | \1 + 4*x 1 + 4*x 1 + 4*x / 5*acot (2*x)*\6 + log (x) - 6*log(x)/ 45*acot (2*x)*(-4 + log(x))*log(x) 180*log (x)*(1 + 2*x*acot(2*x))*acot(2*x)|
2*log (x)*|- ---------------------------------------------------------------------- + ------------------------------------- + ---------------------------------- + -----------------------------------------|
| 2 3 2 / 2\ 2 |
| / 2\ x x *\1 + 4*x / / 2\ |
\ \1 + 4*x / x*\1 + 4*x / /
$$2 \left(- \frac{24 \left(\frac{16 x^{2} \operatorname{acot}^{2}{\left(2 x \right)}}{4 x^{2} + 1} + \frac{12 x \operatorname{acot}{\left(2 x \right)}}{4 x^{2} + 1} - \operatorname{acot}^{2}{\left(2 x \right)} + \frac{1}{4 x^{2} + 1}\right) \log{\left(x \right)}^{3}}{\left(4 x^{2} + 1\right)^{2}} + \frac{180 \left(2 x \operatorname{acot}{\left(2 x \right)} + 1\right) \log{\left(x \right)}^{2} \operatorname{acot}{\left(2 x \right)}}{x \left(4 x^{2} + 1\right)^{2}} + \frac{45 \left(\log{\left(x \right)} - 4\right) \log{\left(x \right)} \operatorname{acot}^{2}{\left(2 x \right)}}{x^{2} \left(4 x^{2} + 1\right)} + \frac{5 \left(\log{\left(x \right)}^{2} - 6 \log{\left(x \right)} + 6\right) \operatorname{acot}^{3}{\left(2 x \right)}}{x^{3}}\right) \log{\left(x \right)}^{2}$$