Highlights of the

Indefinite Integration Test Results


The indefinite integration test suite consists of over 18 thousand problems involving rational functions, algebraic functions, elementary functions and special functions. Its creation was done in parallel with the rule-based integrator (Rubi). As rules were added to Rubi, problems that exercised every aspect of the new rules were added to the test suite.

These files contrasts the results produced by Rubi with those produced by the Mathematica 7 and Maple 13 built-in integrators on a representative sample of these problems. Since Rubi was developed in conjunction with the test suite, its good performance is to be expected. And no doubt there are many problems Rubi is unable to integrate. Still, the favorable comparison with the commercial integrators remains valid for the numerous problems presented here.

Integration problems are highlighted in light gray. Following each is the result of evaluating the problem by the integrator in question. Preceding each is a caption giving the integrator used and the significance of the result. Note that the Maple results were manually converted into Mathematica syntax.

To view or download a pdf file of test suite highlights, click on one of the following links:

To view or download a Mathematica notebook file of test suite highlights, click on one of the following links:

Note that the raw indefinite integration test results as generated by the three systems are available from a link on the homepage of this website.