Use a computer algebra system to find an antiderivative of such that