Function curateChain

src/compute-engine/boxed-expression/explain.ts:148–163

(
  initial: Expression,
  trace: RuleSteps,
  verbosity: 'default' | 'all'
)

  const initial = isFunction(canonical, 'Equal')
    ? canonical
    : ce.function('Equal', [canonical, ce.Zero]);

  const trace: RuleSteps = [];
  const roots = findUnivariateRoots(canonical, x, 0, trace);
  const filtered = filterRootsByAssumptions(ce, roots, x);

  if (filtered.length < roots.length) {
    const dropped = roots.filter((r) => !filtered.some((f) => f.isSame(r)));
    trace.push({
      value: rootsAsEquations(ce, x, dropped),
      because: 'solve.filter-domain',
    });
  }

  if (filtered.length > 0)
    trace.push({
      value: rootsAsEquations(ce, x, filtered),
      because: 'solve.roots',
    });