Actually, $ \cos(90^\circ - x) = \sin x $, so $ \cos(2lpha - 90^\circ) = \cos(90^\circ - 2lpha) = \sin(2lpha) $. Yes. - Groen Casting