derivative of y = e^2x (8 cos x + 4 sin x) + cos 2x evaluated at x = pi/2