If y = e^x cos x, prove that dy/dx = √2 e^x cos( x+π/4)

If y = e^x cos x, prove that dy/dx = √2 e^x cos( x+π/4)

If y = e^x cos x, prove that dy/dx = √2 e^x cos( x+π/4)