sympify replace input