Double and half-angle formulas