求∫(cot x)^2 dx