def test_heuristic():
    x = Symbol("x", real=True)
    assert heuristics(sin(1/x) + atan(x), x, 0, '+') == AccumBounds(-1, 1)
    assert limit(log(2 + sqrt(atan(x))*sqrt(sin(x/1))), x, 0) == log(2)
dataset/ETHPy150Open sympy/sympy/sympy/series/tests/test_limits.py/test_heuristic/swapped operands of `/`