Function simplerQ

src/compute-engine/rubi/rubi-utils.ts:1227–1246

(u: Expression, v: Expression)

  for (let i = 0; i < n; i++) if (a[i] !== b[i]) return a[i] < b[i];
  return a.length < b.length;
}

function collectSymbolLeaves(e: Expression, out: string[]): void {
  if (e.symbol) {
    out.push(e.symbol);
    return;
  }
  // monomial degree matters: a·d² keys as [a,d,d] (else it compares
  // equal-prefix-shorter against b·c·d and steals First[] from it)
  if (e.operator === 'Power' && e.ops) {
    const k = e.ops[1].re;
    if (e.ops[1].isInteger && typeof k === 'number' && k > 1 && k <= 16) {
      const inner: string[] = [];
      collectSymbolLeaves(e.ops[0], inner);
      for (let i = 0; i < k; i++) out.push(...inner);
      return;
    }
  }
  if (e.ops) for (const op of e.ops) collectSymbolLeaves(op, out);
}

function mapList(arg: Json, ctx: Ctx, f: (u: Expression) => boolean): boolean {
  const items =