integral of -e^-t^2