Herbie run

Date:Thursday, May 22nd, 2025
Commit:089dffb0 on main
Seed:2025142
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:2 472.3 MB

Time bar (total: 4.5s)

sample3.4s (76.7%)

Memory
78.3MiB live, 1 946.6MiB allocated; 2.8s collecting garbage
Samples
1.7s10 332×1valid
738.0ms5 806×2valid
274.0ms8 630×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.8s
adjust: 953.0ms (53.5% of total)
ival-add!: 635.0ms (35.6% of total)
ival-sub!: 132.0ms (7.4% of total)
ival-mult!: 62.0ms (3.5% of total)
Bogosity

rewrite598.0ms (13.4%)

Memory
20.7MiB live, 259.3MiB allocated; 52ms collecting garbage
Stop Event
19×iter-limit
5×node-limit
2×saturated
2×unsound
Counts
103 → 391

preprocess264.0ms (5.9%)

Memory
55.1MiB live, 143.7MiB allocated; 16ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 374 to 244 computations (34.8% saved)

derivations60.0ms (1.3%)

Memory
-35.2MiB live, 11.5MiB allocated; 2ms collecting garbage
Stop Event
3×done
Compiler

Compiled 103 to 41 computations (60.2% saved)

regimes34.0ms (0.8%)

Memory
45.1MiB live, 45.1MiB allocated; 0ms collecting garbage
Counts
21 → 8
Calls

8 calls:

9.0ms
x
7.0ms
(+.f64 x #s(literal 1 binary64))
6.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
6.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms
z
Compiler

Compiled 120 to 87 computations (27.5% saved)

series32.0ms (0.7%)

Memory
-36.9MiB live, 13.4MiB allocated; 19ms collecting garbage
Counts
42 → 61
Calls

33 calls:

TimeVariablePointExpression
21.0ms
x
@-inf
((+ (* (- x -1) x) (+ x 0)) (- x -1) x -1 (+ x 0) 0 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (- (* (+ x 1) (+ x 1)) 1) (+ x x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)
1.0ms
x
@0
((+ (* (- x -1) x) (+ x 0)) (- x -1) x -1 (+ x 0) 0 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (- (* (+ x 1) (+ x 1)) 1) (+ x x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)
1.0ms
x
@inf
((+ (* (- x -1) x) (+ x 0)) (- x -1) x -1 (+ x 0) 0 (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) 1 (- (* (+ x 1) (+ x 1)) 1) (+ x x) (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)
1.0ms
x
@-inf
((- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1) x 1)
1.0ms
x
@-inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z))

eval28.0ms (0.6%)

Memory
33.5MiB live, 33.5MiB allocated; 0ms collecting garbage
Compiler

Compiled 6 048 to 1 190 computations (80.3% saved)

prune21.0ms (0.5%)

Memory
-29.5MiB live, 16.9MiB allocated; 5ms collecting garbage
Counts
347 → 19
Compiler

Compiled 387 to 220 computations (43.2% saved)

analyze1.0ms (0%)

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

Compiled 31 to 23 computations (25.8% saved)

bsearch0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Algorithm
1×left-value
Compiler

Compiled 12 to 9 computations (25% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...