\cos\left(x-{\pi\over 4}\right)={1\over\sqrt{2}}