Function leadingSignAtInf

src/compute-engine/symbolic/limit.ts:883–887

(e: Expression, x: string, ce: ComputeEngine)

    if (
      dom.length < terms.length &&
      dom.some((t) => tendsToInfinity(t, x, ce) === true)
    )
      return dom.length === 1 ? dom[0] : ce.function('Add', dom);
    return terms.length === 1 ? terms[0] : ce.function('Add', terms);
  }

  // Rewrite INSIDE an argument only under a head that is insensitive to a
  // dominated additive term there: for these heads `f(x + o(x))` has the same