Herbie run

Date:Thursday, April 3rd, 2025
Commit:753370c2 on random-cleanup
Seed:2025093
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 066.9 MB

Time bar (total: 4.6s)

sample3.2s (68.9%)

Memory
88.5MiB live, 1 865.1MiB allocated; 2.6s collecting garbage
Samples
1.2s5 818×2valid
904.0ms10 340×1valid
274.0ms8 610×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.8s
adjust: 772.0ms (42.7% of total)
ival-add!: 620.0ms (34.3% of total)
ival-mult!: 319.0ms (17.6% of total)
ival-sub!: 98.0ms (5.4% of total)
Bogosity

rewrite731.0ms (15.8%)

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

preprocess253.0ms (5.5%)

Memory
99.6MiB live, 203.8MiB allocated; 38ms collecting garbage
Stop Event
3×node-limit
Compiler

Compiled 534 to 302 computations (43.4% saved)

explain244.0ms (5.3%)

Memory
-33.0MiB live, 258.3MiB allocated; 30ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2540
Confusion
Predicted +Predicted -
+2460
-8514
Precision
0.968503937007874
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24600
-80514
Precision?
0.968503937007874
Recall?
1.0
Freqs
test
numberfreq
0514
1254
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
49.0ms628×1valid
48.0ms360×2valid
15.0ms548×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 62.0ms
adjust: 36.0ms (58.5% of total)
ival-add!: 16.0ms (26% of total)
ival-sub!: 6.0ms (9.7% of total)
ival-mult!: 4.0ms (6.5% of total)

derivations92.0ms (2%)

Memory
-31.9MiB live, 26.9MiB allocated; 63ms collecting garbage
Stop Event
3×done
Compiler

Compiled 119 to 41 computations (65.5% saved)

eval42.0ms (0.9%)

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

Compiled 7 134 to 1 337 computations (81.3% saved)

regimes33.0ms (0.7%)

Memory
38.1MiB live, 38.1MiB allocated; 0ms collecting garbage
Counts
25 → 8
Calls

8 calls:

8.0ms
x
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)))
5.0ms
(+.f64 x #s(literal 1 binary64))
1.0ms
z
Compiler

Compiled 96 to 70 computations (27.1% saved)

series21.0ms (0.5%)

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

36 calls:

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

prune21.0ms (0.5%)

Memory
27.0MiB live, 27.0MiB allocated; 0ms collecting garbage
Counts
480 → 26
Compiler

Compiled 482 to 273 computations (43.4% saved)

analyze1.0ms (0%)

Memory
0.9MiB live, 0.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)

bsearch1.0ms (0%)

Memory
0.5MiB live, 0.5MiB 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...