Does SageMath use Sympy, or is there some other integrator built in? Last I heard Sympy was one of the worst performers, even among other open source CASs.

https://www.12000.org/my_notes/CAS_integration_tests/reports...