code: def test_add():
      with evaluate(False):
          p = oo - oo
          assert isinstance(p, Add) and p.args == (oo, -oo)
          p = 5 - oo
          assert isinstance(p, Add) and p.args == (-oo, 5)
          p = oo - 5
          assert isinstance(p, Add) and p.args == (oo, -5)
          p = oo + 5
          assert isinstance(p, Add) and p.args == (oo, 5)
          p = 5 + oo
          assert isinstance(p, Add) and p.args == (oo, 5)
          p = -oo + 5
          assert isinstance(p, Add) and p.args == (-oo, 5)
          p = -5 - oo
          assert isinstance(p, Add) and p.args == (-oo, -5)
  
      with evaluate(False):
          expr = x + x
          assert isinstance(expr, Add)
          assert expr.args == (x, x)
  
          with evaluate(True):
              assert (x + x).args == (2, x)
  
          assert (x + x).args == (x, x)
  
      assert isinstance(x + x, Mul)
  
      with evaluate(False):
          assert S.One + 1 == Add(1, 1)
          assert 1 + S.One == Add(1, 1)
  
          assert S(4) - 3 == Add(4, -3)
          assert -3 + S(4) == Add(4, -3)
  
          assert S(2) * 4 == Mul(2, 4)
          assert 4 * S(2) == Mul(2, 4)
  
          assert S(6) / 3 == Mul(6, Pow(3, -1))
          assert S.One / 3 * 6 == Mul(S.One / 3, 6)
  
          assert 9 ** S(2) == Pow(9, 2)
          assert S(2) ** 9 == Pow(2, 9)
  
          assert S(2) / 2 == Mul(2, Pow(2, -1))
          assert S.One / 2 * 2 == Mul(S.One / 2, 2)
  
          assert S(2) / 3 + 1 == Add(S(2) / 3, 1)
          assert 1 + S(2) / 3 == Add(1, S(2) / 3)
  
          assert S(4) / 7 - 3 == Add(S(4) / 7, -3)
          assert -3 + S(4) / 7 == Add(-3, S(4) / 7)
  
          assert S(2) / 4 * 4 == Mul(S(2) / 4, 4)
          assert 4 * (S(2) / 4) == Mul(4, S(2) / 4)
  
          assert S(6) / 3 == Mul(6, Pow(3, -1))
          assert S.One / 3 * 6 == Mul(S.One / 3, 6)
  
          assert S.One / 3 + sqrt(3) == Add(S.One / 3, sqrt(3))
          assert sqrt(3) + S.One / 3 == Add(sqrt(3), S.One / 3)
  
          assert S.One / 2 * 10.333 == Mul(S.One / 2, 10.333)
          assert 10.333 * (S.One / 2) == Mul(10.333, S.One / 2)
  
          assert sqrt(2) * sqrt(2) == Mul(sqrt(2), sqrt(2))
  
          assert S.One / 2 + x == Add(S.One / 2, x)
          assert x + S.One / 2 == Add(x, S.One / 2)
  
          assert S.One / x * x == Mul(S.One / x, x)
          assert x * (S.One / x) == Mul(x, Pow(x, -1))
  
          assert S.One / 3 == Pow(3, -1)
          assert S.One / x == Pow(x, -1)
          assert 1 / S(3) == Pow(3, -1)
          assert 1 / x == Pow(x, -1)
  
file_path: sympy/sympy/core/tests/test_parameters.py
imports: from sympy.abc import x, y
  from sympy.core.parameters import evaluate
  from sympy.core import Mul, Add, Pow, S
  from sympy.core.numbers import oo
  from sympy.functions.elementary.miscellaneous import sqrt
label_desc: Use image node_id 1 for calling a global function with example usage: test_add() without return types