tests pass so I assume the sympify change worked