use the most recent sympy version for testing