sin (2x − (π/2)) = 2 cos^2 x