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 /