Function mSeq

src/compute-engine/rubi/match.ts:165–176

(
  pats: Pat[],
  exprs: ReadonlyArray<Expression>,
  x: Expression,
  env: Env,
  k: () => boolean
)

}

// Power(base, m_.) vs a non-Power expression matches base with m → 1;
// Add/Multiply nodes with exactly one non-optional operand match a
// non-matching expression by defaulting the optionals.
function mCollapse(
  pat: { op: string; ops: Pat[]; ac: boolean },
  expr: Expression,
  x: Expression,
  env: Env,
  k: () => boolean
): boolean {
  const optionals = pat.ops.filter((p) => p.kind === 'optslot');
  const others = pat.ops.filter((p) => p.kind !== 'optslot');
  // collapsing is only justified when at least one optional defaults away;
  // a node with no optionals must match its operator structurally
  if (