Check an antiderivative by computer | StemPy Lab