Formulas for twice the angle