Cosine Half Angle Identity Problems