Make Ioannidis notebook work for sympy 0.7.5