\cos(2lpha - 90^\circ) = \cos(90^\circ - 2lpha) = \sin(2lpha) \quad ext(since \cos(90^\circ - x) = \sin x ext). - Groen Casting