Switch to using `sympify`