This bug has been reported and fixed upstream. Should be fixed in Sympy 0.7.4