MathNet 2014 Question 88

Does the equation $\cos(\sin x) = \sin(\cos x)$ have at least one real solution?