\frac{7}{\sqrt{2^2+5^2}}=\cos y\sin x+\sin y\cos x=\sin(x+y),