What is the antiderivative of e2x?