Why do we sometimes have to resort to numerical integration rather than computing an antiderivative exactly?