What is the antiderivative of ex2?