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