code: def test_rewrite1():
      e = exp(x)
      assert mrewrite(mrv(e, x), x, m) == (1 / m, -x)
      e = exp(x**2)
      assert mrewrite(mrv(e, x), x, m) == (1 / m, -(x**2))
      e = exp(x + 1 / x)
      assert mrewrite(mrv(e, x), x, m) == (1 / m, -x - 1 / x)
      e = 1 / exp(-x + exp(-x)) - exp(x)
      assert mrewrite(mrv(e, x), x, m) == (1 / (m * exp(m)) - 1 / m, -x)
  
imports: from sympy.core import EulerGamma
  from sympy.core.numbers import E, I, Integer, 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 sqrt
  from sympy.functions.elementary.trigonometric import acot, atan, cos, sin
  from sympy.functions.elementary.complexes import sign
  from sympy.functions.special.error_functions import Ei, erf
  from sympy.functions.special.gamma_functions import digamma, gamma, loggamma
  from sympy.functions.special.zeta_functions import zeta
  from sympy.polys.polytools import cancel
  from sympy.functions.elementary.hyperbolic import cosh, coth, sinh, tanh
  from sympy.series.gruntz import compare, mrv, rewrite, mrv_leadterm, gruntz, sign
  from sympy.testing.pytest import XFAIL, skip, slow
label_desc: Use image node_id 23 for calling a global function with example usage: test_rewrite1() without return types