Move to SymPy master
Use implicit parsing