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