Welcome to Rubi, a Rule-Based Integrator

(rulebasedintegration.org)

4 points | by Tomte 8 hours ago ago