test sympy 0.7.3, 0.7.4, 0.7.5, 0.7.6