https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2022/indexchapter1.htm#x2-10001 https://www.12000.org/my_notes/CAS_integration_tests/reports

https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2022/indexchapter1.htm#x2-10001 https://www.12000.org/my_notes/CAS_integration_tests/reports... Giac/Xcas is slightly worse at symbolic integration than Maxima, and both are dramatically worse than Mathematica. FriCAS, an Axiom fork, is the best open source CAS on those benchmarks.