Always sympify in simplify()