acot(x)*log(3)*x
d --(acot(x)*log(3)*x) dx
x*log(3) acot(x)*log(3) - -------- 2 1 + x
/ 2 \ | x | 2*|-1 + ------|*log(3) | 2| \ 1 + x / ---------------------- 2 1 + x
/ 2 \ | 4*x | 2*x*|4 - ------|*log(3) | 2| \ 1 + x / ----------------------- 2 / 2\ \1 + x /