How do you verify #cos (x - pi/2) = -sinx#?