Function done

scripts/rubi/benchmark.ts:202–212

(
    outcome: Outcome,
    extra: Partial<ProblemResult> = {}
  )

  return { re: (4 * d2.re - d1.re) / 3, im: (4 * d2.im - d1.im) / 3 };
}

function runProblem(
  p: Problem,
  seed: number,
  rubi?: { ce: ComputeEngine; driver: RubiDriver }
): ProblemResult {
  const start = Date.now();
  const done = (
    outcome: Outcome,
    extra: Partial<ProblemResult> = {}
  ): ProblemResult => ({
    file: p.file,
    index: p.index,
    source: p.source,