antiderivative of exp(x)*x