integrate(cot(x)^2, x)