You could add support also for the Woxi[1][2] for most of the symbolic math, also should be way faster than bunch of glue over different Python libraries.

[1] https://woxi.ad-si.com/

[2] https://github.com/ad-si/Woxi