\cos x\cos y=\frac{1}{2}\left[\cos(x+y)+\cos(x-y)\right]=\frac{1}{2}\left[\sqrt{1-\sin^2(x+y)}+\cos(x-y)\right]=\frac{1}{2}\left[\frac{\sqrt{2}}{2}+\cos(x-y)\right]