atan(2*x)
2*3 *log(3)
-------------------
2
1 + 4*x
atan(2*x)
4*3 *(-4*x + log(3))*log(3)
-----------------------------------
2
/ 2\
\1 + 4*x /
/ 2 2 \
atan(2*x) | log (3) 32*x 12*x*log(3)|
8*3 *|-2 + -------- + -------- - -----------|*log(3)
| 2 2 2 |
\ 1 + 4*x 1 + 4*x 1 + 4*x /
------------------------------------------------------------
2
/ 2\
\1 + 4*x /