tox sagemath_symbolics
