7.3 Double-Angle, Half-Angle, and Reduction Formulas