How do you simplify 1+cot^2(pi/2-x)?