Function safeSimplify

src/compute-engine/rubi/rubi-utils.ts:425–444

(e: Expression)

    q[shift] = q[shift].add(lead);
    for (let i = 0; i < lc.length; i++)
      pc[shift + i] = pc[shift + i].sub(lead.mul(lc[i]));
    pc = trimZeros(pc.slice(0, pc.length - 1));
  }
  const X = ce.symbol(x);
  const toExpr = (cs: Expression[]): Expression => {
    const terms = cs
      .map((c, i) => (zeroQ(c) ? null : safeSimplify(c).mul(X.pow(i))))
      .filter((t): t is Expression => t !== null);
    if (terms.length === 0) return ce.Zero;
    if (terms.length === 1) return terms[0];
    return ce.function('Add', terms);
  };
  return [toExpr(q), toExpr(pc)];
}

// simplify() now respects the engine deadline (ce.timeLimit), so runaway
// cases (radical-tower polynomial GCD) get interrupted instead of running
// for minutes. The cap is kept only as a fast-path skip for clearly
// oversized expressions (raised from the old correctness-trading 120).
const SIMPLIFY_LEAF_CAP = 500;

// module-level cache hooks, installed per top-level int() call by the
// driver (see installCaches); fall back to uncached when absent