Half-Angle Identity Formula