What is the antiderivative of 5ex1?