integrate -e^(x^2/2)*cos(x) dx