Symbolic computation: ModelingToolkit vs. SymPy?

[ChrisRackauckas]

See [ANN] Symbolics.jl: A Modern Computer Algebra System for a Modern Language