What is #int cot^2 (3-x)dx#?