It reminds me of Rubi [0], a rule-based symbolic integration system. Unlike many CASs that use a variant of the Risch algorithm, Rubi simply solves the integral

It reminds me of Rubi [0], a rule-based symbolic integration system. Unlike many CASs that use a variant of the Risch algorithm, Rubi simply solves the integrals by using a large number (6700+) of rules in its database. Benchmarks (72000+ test cases) show that it's able to get better and cleaner antiderivatives than Mathematica and Maple. All the rules [1] are both human and machine-readable. The engine can be installed in Mathematica, SymPy and SymJa. [0] https://rulebasedintegration.org/ https://rulebasedintegration.org/ [1] https://rulebasedintegration.org/integrationRules.html https://rulebasedintegration.org/integrationRules.html