Import py-sympy 0.7.2