Function leafCount

scripts/rubi/benchmark.ts:120–123

(e: BoxedExpression)

    for (let i = 1; i < expr.length; i++) collectSymbols(expr[i], out);
  }
}

function leafCount(e: BoxedExpression): number {
  if (!e.ops) return 1;
  return 1 + e.ops.reduce((s, op) => s + leafCount(op), 0);
}