Si $y=-e^x\cos2x$ demuestre que $\frac{d^2y}{dx^2}=5e^x\sin(2x+\alpha)$ donde $\alpha=\tan^{-1}(\frac{3}{4})$ .
He conseguido averiguar que
$$ \frac{d^2y}{dx^2}=e^x(4\sin2x+3\cos2x) $$
Pero no estoy seguro de cómo puedo masajearlo en la forma anterior. Wolfram Alpha lo lista como una forma alternativa, pero no muestra cómo llegar a ella: ¿qué tengo que hacer y qué identidades trigonométricas son relevantes en este caso?