Update to SymPy 0.7.3