Power reduction formulas / Half-angle formulas