What is #int cot^2x dx#?