\cos x + \cos y = 2 \cos \frac{x+y}{2} \cos \frac{x-y}{2}