Cosine Double Angle Rule