Another disappointing limitation that nobody has mentioned yet: this only works for elementary functions with integrals that are elementary functions. If you try to get this thing to integrate exp(x^2) dx, it will (correctly) say that there is no elementary integral. But the integral exists, and it's quite possible to find an infinite series solution, or to define the solution in terms of the erf function.
So, this is cool but not all it's cracked up to be.
You could define a new function to represent the answer where there would be none otherwise, but that's not particularly useful unless that function is important in numerous other contexts.
And btw, the algorithm has been extended to handle some non-elementary functions.
So, this is cool but not all it's cracked up to be.
http://en.wikipedia.org/wiki/Elementary_function_(differenti...