My question from (2) would be: is Symbolics still not on par with SymPy?