I started work on a new computer algebra system in Rust that has Python bindings: https://symbolica.io/

For many operations it is orders of magnitude faster than sympy.