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