code: def test_limits_simple_4aa():
      assert limit(x * (sqrt(x**2 + 1) - x), x, oo) == Rational(1) / 2
  
imports: from sympy.core.numbers import Rational, oo, pi
  from sympy.core.singleton import S
  from sympy.core.symbol import Symbol
  from sympy.functions.elementary.exponential import exp, log
  from sympy.functions.elementary.miscellaneous import root, sqrt
  from sympy.functions.elementary.trigonometric import asin, cos, sin, tan
  from sympy.polys.rationaltools import together
  from sympy.series.limits import limit
label_desc: Use image node_id 10 for calling a global function with example usage: test_limits_simple_4aa() without return types