2 (acot(x) + x)
(acot(x) + x)^2
/ 2 \ |2 - ------|*(acot(x) + x) | 2| \ 1 + x /
/ 2 \ |/ 1 \ 2*x*(x + acot(x))| 2*||1 - ------| + -----------------| || 2| 2 | |\ 1 + x / / 2\ | \ \1 + x / /
/ 2 \ | / 1 \ 4*x *(x + acot(x)) | 4*|x + 3*x*|1 - ------| - ------------------ + acot(x)| | | 2| 2 | \ \ 1 + x / 1 + x / ------------------------------------------------------- 2 / 2\ \1 + x /