Solve the following equation over the real numbers: $$ \sin(2x)\sin(x)+ \cos^2(x) = \sin(5x)\sin(4x)+ \cos^2(4x) $$
What I've tried so far, to no avail, is using identities (product-to-sum and sum-to-product, as well as the double angle identity) in search of a more convenient form, like a product equaling $0$ or a polynomial through some notation. Alternate forms I've reached : $$ \sin(5x)\sin(3x)=\sin(6x)\sin (3x)$$ $$\sin(x)(\sin(x)(2\cos(x)-1)- 4\cos(x)(1-2\sin^2(x))(\sin(5x)-\sin(4x) ))=0$$ Perhaps a helpful identity: $$ \cos^2(x)- \cos^2(4x)= \sin(5x)\sin(3x) $$
Hint
By $\cos2y=2\cos^2y-1$ and
http://mathworld.wolfram.com/WernerFormulas.html and
http://mathworld.wolfram.com/ProsthaphaeresisFormulas.html,
$$\cos x-\cos3x+1+\cos2x=\cos x-\cos9x+1+\cos8x$$
$$\cos2x-\cos8x=\cos3x-\cos9x$$
$$2\sin5x\sin3x=2\sin3x\sin6x$$