Fix a test for the correct version of sympy