Now works with SymPy 0.7.6!