Function leafCount

src/compute-engine/rubi/rubi-utils.ts:1248–1251

(e: Expression)

}

function mapList(arg: Json, ctx: Ctx, f: (u: Expression) => boolean): boolean {
  const items =
    Array.isArray(arg) && arg[0] === 'List' ? (arg as Json[]).slice(1) : [arg];
  return items.every((a) => f(build(a, ctx)));
}

function linearQ(u: Expression, ctx: Ctx): boolean {