How do you simplify cot(π/2 -x)cosx?