From Eq. (A.7) and cos2a + sin2a = 1:
and
The following are some of the so-called product to sum identities:
where a is the argument of the sine in Eq. (A.12).