Function overBudget

scripts/rubi/benchmark.ts:251–251

()

    collectSymbols(p.integrand, params);
    params.delete(p.variable);

    const rand = mulberry32(seed ^ hash(`${p.file}#${p.index}`));
    let passes = 0;
    let fails = 0;