Herbie run

Date:Tuesday, April 15th, 2025
Commit:5565a39e on main
Seed:2025105
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:3 017.6 MB

Time bar (total: 4.7s)

sample3.3s (70%)

Memory
69.7MiB live, 1 842.1MiB allocated; 2.7s collecting garbage
Samples
1.3s5 934×2valid
1.0s10 207×1valid
272.0ms8 627×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-add!: 704.0ms (41.4% of total)
adjust: 556.0ms (32.7% of total)
ival-sub!: 379.0ms (22.3% of total)
ival-mult!: 62.0ms (3.6% of total)
Bogosity

rewrite715.0ms (15.2%)

Memory
34.8MiB live, 580.7MiB allocated; 71ms collecting garbage
Stop Event
23×iter-limit
5×node-limit
3×unsound
2×saturated
Counts
168 → 422

explain240.0ms (5.1%)

Memory
-19.0MiB live, 269.1MiB allocated; 19ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2541
Confusion
Predicted +Predicted -
+2432
-11512
Precision
0.9566929133858267
Recall
0.9918367346938776
Confusion?
Predicted +Predicted MaybePredicted -
+24311
-110512
Precision?
0.9568627450980393
Recall?
0.9959183673469387
Freqs
test
numberfreq
0514
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+201
-000
Precision?
1.0
Recall?
0.6666666666666666
Samples
50.0ms652×1valid
43.0ms340×2valid
15.0ms544×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 61.0ms
adjust: 30.0ms (49.5% of total)
ival-add!: 21.0ms (34.7% of total)
ival-sub!: 6.0ms (9.9% of total)
ival-mult!: 4.0ms (6.6% of total)

preprocess230.0ms (4.9%)

Memory
67.0MiB live, 162.3MiB allocated; 19ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 546 to 308 computations (43.6% saved)

regimes88.0ms (1.9%)

Memory
-46.2MiB live, 59.7MiB allocated; 68ms collecting garbage
Counts
31 → 9
Calls

8 calls:

47.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
18.0ms
x
8.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
7.0ms
(+.f64 x #s(literal 1 binary64))
1.0ms
y
Compiler

Compiled 116 to 83 computations (28.4% saved)

derivations55.0ms (1.2%)

Memory
17.7MiB live, 17.7MiB allocated; 0ms collecting garbage
Stop Event
3×done
Compiler

Compiled 125 to 44 computations (64.8% saved)

eval34.0ms (0.7%)

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

Compiled 6 514 to 1 310 computations (79.9% saved)

series23.0ms (0.5%)

Memory
-25.9MiB live, 21.0MiB allocated; 3ms collecting garbage
Counts
48 → 120
Calls

36 calls:

TimeVariablePointExpression
3.0ms
y
@-inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z))
2.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) (* 2 x) 2 (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)
2.0ms
z
@inf
((- (+ (+ x y) z) (+ x (+ y z))) (+ (+ x y) z) (+ x y) x y z (+ x (+ y z)) (+ y z))
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) (* 2 x) 2 (- (* (+ 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) (* 2 x) 2 (- (* (+ x 1) (+ x 1)) 1) (* x x) (- (* (+ x 1) (+ x 1)) 1) (* (- x -2) x) (- x -2) -2)

prune23.0ms (0.5%)

Memory
-23.7MiB live, 20.0MiB allocated; 7ms collecting garbage
Counts
419 → 26
Compiler

Compiled 482 to 273 computations (43.4% saved)

analyze1.0ms (0%)

Memory
1.5MiB live, 1.5MiB 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)

bsearch1.0ms (0%)

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

Compiled 24 to 18 computations (25% saved)

start0.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...