No prototype, but you might want to look at https://rulebasedintegration.org/ https://rulebasedintegration.org/ It's a package for solving symbolic integrals

No prototype, but you might want to look at https://rulebasedintegration.org/ https://rulebasedintegration.org/ It's a package for solving symbolic integrals that outperforms many systems. It has an extensive test-suite of over 72,000 integration problems and I encourage you to try how many of them can be solved by SymPy or Julia. Spoiler: I already helped porting it to Symja and if the python community can solve the problems with MatchPy, the port to SymPy can be finished as well. Disclaimer: I'm one of its developers