\cos(x+y)=\frac{\sqrt{2}}{2}