2*atan(x + 1/2)
---------------
2
1 + (x + 1/2)
$$\frac{2 \operatorname{atan}{\left(x + \frac{1}{2} \right)}}{\left(x + \frac{1}{2}\right)^{2} + 1}$$
32*(1 - (1 + 2*x)*atan(1/2 + x))
--------------------------------
2
/ 2\
\4 + (1 + 2*x) /
$$\frac{32 \left(- \left(2 x + 1\right) \operatorname{atan}{\left(x + \frac{1}{2} \right)} + 1\right)}{\left(\left(2 x + 1\right)^{2} + 4\right)^{2}}$$
/ 2 \
| 6*(1 + 2*x) 4*(1 + 2*x) *atan(1/2 + x)|
64*|-atan(1/2 + x) - -------------- + --------------------------|
| 2 2 |
\ 4 + (1 + 2*x) 4 + (1 + 2*x) /
-----------------------------------------------------------------
2
/ 2\
\4 + (1 + 2*x) /
$$\frac{64 \cdot \left(\frac{4 \left(2 x + 1\right)^{2} \operatorname{atan}{\left(x + \frac{1}{2} \right)}}{\left(2 x + 1\right)^{2} + 4} - \operatorname{atan}{\left(x + \frac{1}{2} \right)} - \frac{6 \cdot \left(2 x + 1\right)}{\left(2 x + 1\right)^{2} + 4}\right)}{\left(\left(2 x + 1\right)^{2} + 4\right)^{2}}$$