Antiderivative and definite integral