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