Version 4.2 of Rubi is now available for downloading at http://www.apmaths.uwo.ca/~arich/. This version incorporates numerous enhancements including new rules for integrating expressions involving trig and inverse trig functions, as well as their hyperbolic function counterparts. For instance, Rubi 4.2 can integrate Charlwood problem #41, as well as the much more difficult
These and other integration problems are discussed in the sci.math.symbolic thread ?Charlwood Fifty test results?.
Access to Mathematica 7 or better is required to run Rubi 4.2. However, all the over 5,400 rules, expressed in standard mathematical notation, are available for viewing on the website. The rules are organized in a hierarchical structure, making it easy for a human or computer to find the appropriate rule to apply to a given integrand. Thus you can use Rubi like a comprehensive table of integrals to manually integrate expressions. It?s great for calculus homework since you can show the steps required to integrate expressions.
Also available for downloading is an integration test-suite consisting of over 46,000 integrands along with their optimal antiderivatives. The expressions are in machine-readable form and available in Axiom, Maple, Mathematica and Maxima syntax.