Herbie run

Date:Thursday, August 22nd, 2024
Commit:efa1c98c on faster-localize
Hostname:nightly with Racket 8.11.1
Seed:2024235
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 35.9min)

sample5.9min (16.4%)

Memory
1 308.6MiB live, 370 815.0MiB allocated
Samples
3.4min2 147 297×0valid
22.7s67 379×1valid
20.7s64 613×0invalid
1.6s5 609×2valid
898.0ms1 244×5exit
834.0ms1 768×1invalid
246.0ms372×4exit
146.0ms578×3valid
2.0ms16×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 49.3s (33% of total)
ival-sub: 21.6s (14.4% of total)
ival-add: 20.8s (13.9% of total)
ival-div: 18.0s (12% of total)
ival-log: 9.8s (6.6% of total)
const: 6.2s (4.1% of total)
ival-sqrt: 6.0s (4% of total)
ival-sin: 3.8s (2.5% of total)
ival-cos: 3.1s (2.1% of total)
adjust: 3.1s (2.1% of total)
ival-exp: 2.5s (1.7% of total)
ival-true: 1.7s (1.2% of total)
exact: 1.1s (0.7% of total)
ival-assert: 880.0ms (0.6% of total)
ival-fabs: 526.0ms (0.4% of total)
ival-cosh: 315.0ms (0.2% of total)
ival-acos: 270.0ms (0.2% of total)
ival-tan: 207.0ms (0.1% of total)
ival-hypot: 190.0ms (0.1% of total)
ival-sinh: 156.0ms (0.1% of total)
ival-tanh: 83.0ms (0.1% of total)
Bogosity

simplify5.8min (16.2%)

Memory
2 670.7MiB live, 283 586.7MiB allocated
Algorithm
2 117×egg-herbie
Rules
13 657 296×lower-fma.f32
13 654 030×lower-fma.f64
5 211 540×lower-*.f32
5 203 906×lower-*.f64
2 999 482×lower-+.f32
Stop Event
2 758×iter limit
1 217×node limit
914×saturated
Counts
354 972 → 346 823

soundness5.3min (14.8%)

Memory
495.3MiB live, 161 275.5MiB allocated
Rules
8 158 180×lower-fma.f32
8 157 038×lower-fma.f64
4 286 420×lower-*.f32
4 283 000×lower-*.f64
2 329 172×lower-/.f32
Stop Event
1 404×iter limit
956×node limit
151×fuel
118×done
21×saturated
3×unsound
Compiler

Compiled 162 542 to 73 985 computations (54.5% saved)

rewrite4.0min (11.1%)

Memory
819.8MiB live, 249 035.6MiB allocated
Rules
5 092 410×lower-fma.f32
5 089 156×lower-fma.f64
3 966 094×lower-*.f32
3 958 578×lower-*.f64
3 339 150×lower-/.f32
Stop Event
1 887×iter limit
898×node limit
17×saturated
17×unsound
Counts
11 484 → 491 957

prune3.9min (10.9%)

Memory
-6 031.8MiB live, 279 046.7MiB allocated
Counts
924 097 → 14 678
Compiler

Compiled 562 894 to 286 430 computations (49.1% saved)

eval3.2min (8.8%)

Memory
2 399.3MiB live, 237 353.9MiB allocated
Compiler

Compiled 24 546 675 to 1 640 734 computations (93.3% saved)

localize2.2min (6%)

Memory
-344.3MiB live, 116 717.9MiB allocated
Samples
1.3min218 942×0valid
11.8s11 136×1valid
6.0s2 976×2valid
925.0ms2 383×0invalid
517.0ms298×3valid
271.0ms359×0exit
197.0ms130×1invalid
97.0ms138×1exit
91.0ms162×2exit
14.0ms8×5exit
12.0ms12×4valid
Compiler

Compiled 140 794 to 22 777 computations (83.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 27.5s (44.7% of total)
ival-div: 8.4s (13.6% of total)
ival-add: 7.5s (12.2% of total)
ival-sub: 3.7s (6% of total)
ival-pow: 2.6s (4.3% of total)
const: 2.4s (3.9% of total)
ival-log: 2.1s (3.5% of total)
adjust: 2.0s (3.2% of total)
ival-cos: 1.3s (2.1% of total)
ival-sin: 990.0ms (1.6% of total)
ival-neg: 857.0ms (1.4% of total)
ival-sqrt: 610.0ms (1% of total)
exact: 279.0ms (0.5% of total)
ival-exp: 256.0ms (0.4% of total)
ival-true: 220.0ms (0.4% of total)
ival-pow2: 143.0ms (0.2% of total)
ival-acos: 107.0ms (0.2% of total)
ival-sinh: 102.0ms (0.2% of total)
ival-assert: 97.0ms (0.2% of total)
ival-cosh: 73.0ms (0.1% of total)
ival-log1p: 58.0ms (0.1% of total)
ival-tan: 52.0ms (0.1% of total)
ival-fabs: 35.0ms (0.1% of total)
ival-expm1: 34.0ms (0.1% of total)
ival-tanh: 15.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival-hypot: 8.0ms (0% of total)
ival-pi: 5.0ms (0% of total)
ival-copysign: 5.0ms (0% of total)

regimes1.7min (4.7%)

Memory
-798.3MiB live, 121 608.7MiB allocated
Counts
44 129 → 5 071
Calls

511 calls:

14.3s
x
13.6s
y
10.0s
z
5.8s
t
4.0s
a
Compiler

Compiled 77 034 to 57 430 computations (25.4% saved)

preprocess1.3min (3.6%)

Memory
312.3MiB live, 68 413.2MiB allocated
Algorithm
269×egg-herbie
Rules
845 124×lower-fma.f64
845 124×lower-fma.f32
193 164×unsub-neg
192 664×lower-*.f32
191 630×lower-*.f64
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 186 093 to 52 316 computations (71.9% saved)

series1.2min (3.2%)

Memory
-476.0MiB live, 85 114.8MiB allocated
Counts
11 484 → 354 972
Calls

8865 calls:

TimeVariablePointExpression
577.0ms
x
@0
((/ x (/ x (log (/ y x)))) (* (neg x) (/ x (/ x (log (/ y x))))) (neg x) (/ x (log (/ y x))) (* (/ (log (/ x y)) x) (* x x)) (/ (log (/ x y)) x) (log (/ x y)) (/ x y) (* (/ 1 x) (* (log (/ y x)) x)) (* (neg x) (* (/ 1 x) (* (log (/ y x)) x))) (/ 1 x) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (/ (- (log (- (* 0 (neg y)) (* (neg y) x))) (log (* (neg y) (neg y)))) (/ 1 x)) (* 0 (neg y)) (- (* 0 (neg y)) (* (neg y) x)) (* (neg y) (neg y)) (log (/ y x)) (* x x) (* (log (/ y x)) x) (log (neg y)) (log (* (neg y) (neg y))) (log (- (* 0 (neg y)) (* (neg y) x))) (- (log (- (* 0 (neg y)) (* (neg y) x))) (log (* (neg y) (neg y)))))
384.0ms
y
@0
((+ x (* y (log y))) (exp (- (+ x (* y (log y))) z)) (- (+ x (* y (log y))) z) (* y (log y)))
322.0ms
x
@0
((+ (* y -60) (* 60 x)) (+ (* a 120) (/ (+ (* y -60) (* 60 x)) (- z t))) (/ (+ (* y -60) (* 60 x)) (- z t)) (* 60 x) (+ (* a 120) (* (/ -60 (- t z)) (- x y))) (/ (* -60 x) (- t z)) (* (/ x t) -60) (/ x t) (+ (/ (* 60 (- x y)) (- z t)) (* a 120)) (* (- x y) (/ 60 (- z t))) (- x y) (neg y) (+ (/ (* 60 (- x y)) (- z t)) (* a 120)) (/ (- x y) (* (- z t) 1/60)) (- x y) (* (- z t) 1/60) (+ (/ (* 60 (- x y)) (- z t)) (* a 120)) (/ (* 60 (- x y)) (- z t)) (* (/ (- x y) z) 60) (/ (- x y) z) (/ 60 (- z t)) (* -1/60 t))
291.0ms
y
@inf
((sqrt (fabs (- x y))) (fabs (- x y)) (- x y) (neg y) (pow (fabs (/ 1 (+ y x))) 1/2) (* (sqrt (fabs (* (+ y x) (- x y)))) (pow (fabs (/ 1 (+ y x))) 1/2)) (sqrt (fabs (* (+ y x) (- x y)))) (fabs (* (+ y x) (- x y))) (/ 1 (sqrt (fabs (/ 1 (- y x))))) (sqrt (fabs (/ 1 (- y x)))) (fabs (/ 1 (- y x))) (/ 1 (- y x)) (/ 1 (+ y x)))
267.0ms
y
@0
((+ (* x x) (* x y)) (* 2 (+ (* x x) (* x y))) (* x x) (* x y))

explain45.3s (2.1%)

Memory
-773.6MiB live, 51 511.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15676
/.f64#fo/n11970
sqrt.f64#foflow-rescue7850
-.f64#fcancellation59510
/.f64#fo/o5830
+.f64#fnan-rescue5140
*.f64#fn*o4770
-.f64#fnan-rescue4590
cos.f64#fsensitivity3641
/.f64#fn/o3580
+.f64#fcancellation2980
/.f64#fu/n2660
sin.f64#fsensitivity2190
*.f64#fn*u1590
/.f64#fn/u1490
cos.f64#foflow-rescue1380
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity940
log.f64#foflow-rescue880
log.f64#fuflow-rescue850
/.f64#fu/u800
sqrt.f64#fuflow-rescue460
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
exp.f64#fsensitivity305
*.f64#fo*u260
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6087174
-171360890
Precision
0.7803846153846153
Recall
0.9722089123143268
Confusion?
Predicted +Predicted MaybePredicted -
+60872172
-17132160869
Precision?
0.7783459031062252
Recall?
0.9725283501038173
Freqs
test
numberfreq
061064
17026
2706
350
415
53
Total Confusion?
Predicted +Predicted MaybePredicted -
+13300
-11134
Precision?
0.9851851851851852
Recall?
1.0
Samples
15.3s130 572×0valid
2.3s5 854×1valid
682.0ms1 192×2valid
32.0ms110×3valid
Compiler

Compiled 25 261 to 8 402 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 3.1s (33% of total)
ival-sub: 1.4s (15.2% of total)
ival-add: 1.3s (14.3% of total)
ival-div: 922.0ms (9.8% of total)
ival-log: 669.0ms (7.1% of total)
adjust: 378.0ms (4% of total)
const: 336.0ms (3.6% of total)
ival-sin: 279.0ms (3% of total)
ival-sqrt: 252.0ms (2.7% of total)
ival-cos: 242.0ms (2.6% of total)
ival-true: 121.0ms (1.3% of total)
ival-exp: 113.0ms (1.2% of total)
ival-fabs: 71.0ms (0.8% of total)
exact: 62.0ms (0.7% of total)
ival-assert: 56.0ms (0.6% of total)
ival-tan: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch31.0s (1.4%)

Memory
504.0MiB live, 36 866.6MiB allocated
Algorithm
1 564×binary-search
1 327×left-value
Stop Event
1 536×narrow-enough
28×predicate-same
Samples
18.3s128 222×0valid
1.2s2 987×1valid
476.0ms5 056×0invalid
77.0ms110×1invalid
17.0ms102×2valid
3.0ms17×3valid
Compiler

Compiled 421 171 to 284 907 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.4s
ival-mult: 7.5s (52.4% of total)
ival-sub: 2.3s (15.8% of total)
ival-add: 1.4s (9.7% of total)
ival-div: 827.0ms (5.8% of total)
ival-log: 496.0ms (3.5% of total)
ival-sqrt: 443.0ms (3.1% of total)
const: 396.0ms (2.8% of total)
ival-sin: 273.0ms (1.9% of total)
adjust: 185.0ms (1.3% of total)
ival-cos: 184.0ms (1.3% of total)
ival-exp: 132.0ms (0.9% of total)
ival-true: 104.0ms (0.7% of total)
ival-assert: 53.0ms (0.4% of total)
exact: 45.0ms (0.3% of total)
ival-tanh: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-sinh: 6.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

analyze18.5s (0.9%)

Memory
248.9MiB live, 23 563.4MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start4.0ms (0%)

Memory
9.5MiB live, 9.2MiB allocated

end2.0ms (0%)

Memory
4.0MiB live, 3.8MiB allocated

Profiling

Loading profile data...