How do you integrate int cot^2xdx?