Double, Power-Reducing, and Half-Angle Formulas