second derivative of exp(x)cos(2x^2) at x=1