def test_heuristic():
x = Symbol("x", real=True)
assert heuristics(sin(1 / x) + atan(x), x, 0, '+') == sin(oo)
assert limit(log(2 + sqrt(atan(x)) * sqrt(sin(1 / x))), x, 0) == log(2)
def test_heuristic():
x = Symbol("x", real=True)
assert heuristics(sin(1/x) + atan(x), x, 0, '+') == sin(oo)
assert limit(log(2 + sqrt(atan(x))*sqrt(sin(1/x))), x, 0) == log(2)
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(1 / x))), x, 0) == log(2)
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(1 / x))), x, 0) == log(2)