Symbolics Simplification

I have started to use the Symbolics package. I am familiar with Sympy and wonder how the simplification of expression in Symbolics compares to that in Sympy both in terms of capability and speed? Also how actively is the Symbolics package being worked on. For simplification would it currently be better for me to use the Julia Sympy interface?

Both are rule-based. Symbolics is generally faster as it uses a lot of improvements that come from ideas of SymEngine but also things beyond.

Very actively, like daily. There’s a Monday call with 6 devs on next steps in symbolic arrays for example, and new students in the Julia Lab taking it on as a main part of their projects. It’s also core to much of the JuliaHub push with JuliaSim.

There’s Symbolics.symbolics_to_sympy if needed.