

def test_issue_3825():
    'catch: hash instability'
    x = Symbol('x')
    y = Symbol('y')
    a1 = (x + a2)
    a2 = (y + x)
    a2.is_comparable
    h1 = hash(a1)
    h2 = hash(a2)
    assert (h1 == h2)

dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py test_issue_3825/VarMisuse@30/45 `y`->`a2`