[pshirshov]

> You will soon discover that, unlike in Cal 1, there is no algorithm for computing the integral of an arbitrary function

There is this thing though: https://en.wikipedia.org/wiki/Risch_algorithm , the best practical implementation was Axiom CAS