What is the antiderivative of e4x?