-e^(-x) * (cos x + sin x) = sqrt(2) * e^(-x) * sin(x - 3pi/4)? Hur? (omskrivning)

Försökt lösa en uppgift och mitt svar stämmer med facit, däremot så står det att det går att skriva på ett annat sätt (HL i bilden nedan):

Jag har själv försökt skriva om det, men vet tyvärr inte vad jag ska göra.

Edit: Glömde nämna vad jag själv räknade på.

Jag har försökt räknat på vad -(cos x + sin x) blir och kommer bara till sin(x-pi/2) + sin(-x)