Double And Half Angle Identities, Formulas for the sin and cos of half angles.