Sin Pi8 Half Angle Formula