Make it work with SymPy