Herbie run

Date:Thursday, July 31st, 2025
Commit:5057d169 on main
Seed:2025212
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicgenerate:rrgenerate:taylorgenerate:proofsgenerate:evaluate
default
Memory:6 391.6 MB

Time bar (total: 5.9s)

sample3.2s (53.3%)

Memory
129.8MiB live, 2 379.7MiB allocated; 2.6s collecting garbage
Samples
978.0ms10 397×1valid
700.0ms5 771×2valid
253.0ms8 607×0valid
Compiler

Compiled 35 to 33 computations (5.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
adjust: 576.0ms (42.6% of total)
ival-add!: 551.0ms (40.7% of total)
ival-mult!: 118.0ms (8.7% of total)
ival-sub!: 108.0ms (8.0% of total)
Bogosity

rewrite1.5s (24.9%)

Memory
71.0MiB live, 2 185.5MiB allocated; 309ms collecting garbage
Stop Event
17×iter-limit
9×node-limit
1×saturated
Counts
121 → 6 769

eval616.0ms (10.4%)

Memory
14.2MiB live, 872.9MiB allocated; 196ms collecting garbage
Compiler

Compiled 133 435 to 19 971 computations (85.0% saved)

preprocess200.0ms (3.4%)

Memory
-17.5MiB live, 372.8MiB allocated; 29ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 438 to 308 computations (29.7% saved)

prune179.0ms (3.0%)

Memory
-37.5MiB live, 261.7MiB allocated; 53ms collecting garbage
Counts
5 529 → 102
Compiler

Compiled 2 836 to 1 548 computations (45.4% saved)

series131.0ms (2.2%)

Memory
-74.6MiB live, 166.6MiB allocated; 14ms collecting garbage
Stop Event
9×iter-limit
Counts
121 → 238
Calls

9 calls:

TimeVariablePoint
20.0ms
x
-inf
17.0ms
x
inf
11.0ms
x
0
1.0ms
y
-inf
0.0ms
z
-inf

derivations89.0ms (1.5%)

Memory
7.1MiB live, 50.3MiB allocated; 6ms collecting garbage
Stop Event
2×done
1×fuel
Compiler

Compiled 66 to 38 computations (42.4% saved)

regimes77.0ms (1.3%)

Memory
52.9MiB live, 99.6MiB allocated; 3ms collecting garbage
Counts
101 → 7
Calls

8 calls:

28.0ms
x
15.0ms
(-.f64 (+.f64 #s(literal 1 binary64) x) x)
8.0ms
(+.f64 x #s(literal 1 binary64))
5.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
5.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
Compiler

Compiled 1 392 to 327 computations (76.5% saved)

analyze1.0ms (0.0%)

Memory
2.1MiB live, 2.1MiB allocated; 0ms collecting garbage
Algorithm
3×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 31 to 23 computations (25.8% saved)

start0.0ms (0.0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

end0.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...