Symbolica is a modern, high-performance computer algebra system with Python, Rust, and C bindings...