Integration Test Suite Problems

Expressed In Axiom Syntax

This page provides links to text files containing the integration test suite problems expressed in Axiom syntax. Each problem is stored as a list of the following items:

  1. the integrand;
  2. the integration variable;
  3. the number of rule applications required to integrate the integrand; and
  4. the optimal antiderivative.

The optimal antiderivatives in the test suite are just the simplest ones found so far. If you find significantly simpler antiderivatives and want to contribute them to the test suite, please email them to Albert Rich.

To download the test suite files, click on one of the following links:

Integration problems from independent symbolic integration test suites:

Integration problems for expressions involving products of powers of linears:

Integration problems for expressions involving products of powers of quadratics:

Integration problems for expressions involving products of powers of binomials:

Integration problems for expressions involving products of powers of trinomials:

Integration problems for miscellaneous algebraic expressions:

Integration problems for expressions involving exponentials:

Integration problems for expressions involving logarithms:

Integration problems for expressions involving sine functions:

Integration problems for expressions involving cosine functions:

Integration problems for expressions involving tangent functions:

Integration problems for expressions involving cotangent functions:

Integration problems for expressions involving secant functions:

Integration problems for expressions involving cosecant functions:

Integration problems for expressions involving trig functions:

Integration problems for expressions involving inverse trig functions:

Integration problems for expressions involving hyperbolic functions:

Integration problems for expressions involving inverse hyperbolic functions:

Integration problems for expressions involving special functions:


Rubi home