I saw elsewhere someone using `_sympify` -- that might be a better option.