I was doing a problem and in my chain of computations I arrived at a seemingly complicated function $$2 \sin(x) \cos(7x) + \sin(6x)$$
However, I typed it into Wolfram and was surprised to find $$2 \sin(x) \cos(7x) + \sin(6x) = \sin(8x)$$
Is there a way I could have seen this beforehand? Even now I'm unsure how I would prove this identity.