Herbie run

Date:Thursday, August 8th, 2024
Commit:1bb3297e on zane-alternatives-bogosity
Hostname:nightly with Racket 8.11.1
Seed:2024221
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: 40.8min)

simplify10.2min (25.1%)

Memory
1 256.9MiB live, 704 994.4MiB allocated
Algorithm
2 109×egg-herbie
Rules
13 982 694×lower-fma.f32
13 979 392×lower-fma.f64
5 185 272×lower-*.f32
5 177 754×lower-*.f64
3 070 592×lower-+.f32
Stop Event
2 746×iter limit
1 212×node limit
911×saturated
Counts
348 144 → 340 185

rewrite7.2min (17.7%)

Memory
1 406.7MiB live, 503 767.0MiB allocated
Algorithm
920×batch-egg-rewrite
Rules
5 006 632×lower-fma.f32
5 003 342×lower-fma.f64
3 936 576×lower-*.f32
3 929 144×lower-*.f64
3 303 672×lower-/.f32
Stop Event
1 882×iter limit
894×node limit
18×saturated
16×unsound
Counts
11 280 → 486 111

sample5.4min (13.2%)

Memory
396.1MiB live, 385 785.5MiB allocated
Samples
3.2min2 147 181×0valid
22.3s67 509×1valid
9.7s64 409×0invalid
1.4s5 557×2valid
970.0ms1 214×5exit
382.0ms1 698×1invalid
215.0ms396×4exit
159.0ms616×3valid
2.0ms20×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-mult: 45.0s (32.2% of total)
ival-add: 18.9s (13.5% of total)
ival-div: 18.6s (13.3% of total)
ival-sub: 18.3s (13.1% of total)
ival-log: 10.0s (7.2% of total)
const: 5.9s (4.2% of total)
ival-sqrt: 5.3s (3.8% of total)
ival-sin: 4.4s (3.1% of total)
ival-cos: 3.6s (2.6% of total)
adjust: 3.2s (2.3% of total)
ival-exp: 1.8s (1.3% of total)
ival-true: 1.6s (1.2% of total)
exact: 939.0ms (0.7% of total)
ival-assert: 856.0ms (0.6% of total)
ival-hypot: 239.0ms (0.2% of total)
ival-tan: 215.0ms (0.2% of total)
ival-acos: 215.0ms (0.2% of total)
ival-fabs: 212.0ms (0.2% of total)
ival-cosh: 204.0ms (0.1% of total)
ival-sinh: 116.0ms (0.1% of total)
ival-tanh: 80.0ms (0.1% of total)
Bogosity

soundness5.2min (12.9%)

Memory
-687.4MiB live, 170 613.7MiB allocated
Rules
7 858 348×lower-fma.f32
7 856 984×lower-fma.f64
4 210 344×lower-*.f32
4 206 884×lower-*.f64
2 295 284×lower-/.f32
Stop Event
1 386×iter limit
934×node limit
148×fuel
121×done
20×saturated
3×unsound
Compiler

Compiled 166 343 to 75 978 computations (54.3% saved)

eval2.9min (7%)

Memory
4 395.5MiB live, 239 158.9MiB allocated
Compiler

Compiled 24 440 069 to 1 624 006 computations (93.4% saved)

prune2.6min (6.3%)

Memory
-5 274.0MiB live, 226 057.4MiB allocated
Counts
908 953 → 14 822
Compiler

Compiled 579 713 to 293 478 computations (49.4% saved)

localize1.9min (4.7%)

Memory
-940.9MiB live, 142 514.5MiB allocated
Samples
52.3s218 090×0valid
9.6s11 022×1valid
3.4s2 476×2valid
1.3s3 022×0invalid
246.0ms548×0exit
209.0ms246×3valid
109.0ms93×1exit
17.0ms11×5exit
16.0ms12×4valid
Compiler

Compiled 138 223 to 22 504 computations (83.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.6s
ival-mult: 16.5s (37% of total)
ival-div: 7.4s (16.6% of total)
ival-add: 6.4s (14.5% of total)
ival-sub: 3.1s (6.9% of total)
const: 2.6s (5.8% of total)
adjust: 1.6s (3.7% of total)
ival-log: 1.4s (3.1% of total)
ival-cos: 1.3s (2.9% of total)
ival-pow: 728.0ms (1.6% of total)
ival-sin: 699.0ms (1.6% of total)
ival-neg: 681.0ms (1.5% of total)
ival-sqrt: 576.0ms (1.3% of total)
ival-exp: 415.0ms (0.9% of total)
exact: 204.0ms (0.5% of total)
ival-true: 193.0ms (0.4% of total)
ival-fabs: 129.0ms (0.3% of total)
ival-log1p: 121.0ms (0.3% of total)
ival-assert: 109.0ms (0.2% of total)
ival-tan: 97.0ms (0.2% of total)
ival-pow2: 86.0ms (0.2% of total)
ival-acos: 65.0ms (0.1% of total)
ival-cosh: 53.0ms (0.1% of total)
ival-hypot: 24.0ms (0.1% of total)
ival-tanh: 19.0ms (0% of total)
ival-sinh: 16.0ms (0% of total)
ival-expm1: 16.0ms (0% of total)
ival-asin: 3.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

regimes1.7min (4.2%)

Memory
-548.9MiB live, 130 383.0MiB allocated
Counts
45 973 → 5 039
Calls

511 calls:

14.1s
x
12.2s
y
9.7s
z
7.1s
t
3.2s
a
Compiler

Compiled 79 036 to 59 055 computations (25.3% saved)

preprocess1.5min (3.7%)

Memory
463.0MiB live, 90 464.9MiB 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 180 172 to 48 290 computations (73.2% saved)

explain42.1s (1.7%)

Memory
-913.4MiB live, 57 455.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15681
/.f64#fo/n11050
sqrt.f64#foflow-rescue7520
/.f64#fo/o5810
-.f64#fcancellation5736
*.f64#fn*o5180
+.f64#fnan-rescue4800
-.f64#fnan-rescue4540
cos.f64#fsensitivity3512
+.f64#fcancellation3260
/.f64#fn/o3240
sin.f64#fsensitivity2340
/.f64#fu/n2330
*.f64#fn*u1780
/.f64#fn/u1530
cos.f64#foflow-rescue1400
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity960
log.f64#foflow-rescue920
/.f64#fu/u910
log.f64#fuflow-rescue770
sqrt.f64#fuflow-rescue540
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue390
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow39
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue390
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow39
*.f64#fo*u330
exp.f64#fsensitivity262
*.f64(*.f64 (*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))u*o10
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow3
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow127
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow56
↳(*.f64 t t)overflow56
Confusion
Predicted +Predicted -
+5946175
-168361060
Precision
0.7793944160440425
Recall
0.9714099003430812
Confusion?
Predicted +Predicted MaybePredicted -
+59462173
-1683961051
Precision?
0.7785340314136125
Recall?
0.9717366443391603
Freqs
test
numberfreq
061235
16846
2703
362
412
55
71
Total Confusion?
Predicted +Predicted MaybePredicted -
+13821
-21125
Precision?
0.9790209790209791
Recall?
0.9929078014184397
Samples
12.7s130 562×0valid
2.0s5 904×1valid
643.0ms1 176×2valid
23.0ms78×3valid
1.0ms4×4valid
1.0ms4×5exit
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-mult: 2.6s (32.1% of total)
ival-add: 1.0s (12.5% of total)
ival-sub: 989.0ms (12.2% of total)
ival-div: 895.0ms (11% of total)
ival-log: 688.0ms (8.5% of total)
const: 534.0ms (6.6% of total)
adjust: 278.0ms (3.4% of total)
ival-cos: 260.0ms (3.2% of total)
ival-sin: 232.0ms (2.9% of total)
ival-sqrt: 198.0ms (2.4% of total)
ival-exp: 119.0ms (1.5% of total)
ival-true: 118.0ms (1.5% of total)
ival-assert: 69.0ms (0.9% of total)
exact: 59.0ms (0.7% of total)
ival-tan: 12.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

series36.8s (1.5%)

Memory
163.9MiB live, 45 051.7MiB allocated
Counts
11 280 → 348 144
Calls

37038 calls:

TimeVariablePointExpression
372.0ms
x
@0
(* (log (* z (* (/ 2 (* x 1/9)) y))) -1)
323.0ms
y
@0
(* x (- z (* z (/ y x))))
311.0ms
x
@0
(* (neg (* x x)) -1)
281.0ms
y
@0
(* y (log y))
240.0ms
z
@inf
(/ (* z c) (+ (* x (* 9 y)) (+ (* a (* -4 (* z t))) b)))

bsearch29.1s (1.2%)

Memory
165.9MiB live, 37 292.5MiB allocated
Algorithm
1 625×binary-search
1 218×left-value
Stop Event
1 597×narrow-enough
28×predicate-same
Samples
16.3s128 619×0valid
903.0ms3 503×1valid
258.0ms3 411×0invalid
101.0ms83×1invalid
23.0ms109×2valid
2.0ms9×3valid
Compiler

Compiled 454 076 to 305 415 computations (32.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 4.6s (38.3% of total)
ival-sub: 3.0s (25% of total)
ival-add: 1.5s (12.1% of total)
ival-div: 888.0ms (7.3% of total)
ival-log: 630.0ms (5.2% of total)
const: 439.0ms (3.6% of total)
ival-sin: 310.0ms (2.6% of total)
ival-cos: 155.0ms (1.3% of total)
ival-exp: 132.0ms (1.1% of total)
adjust: 103.0ms (0.9% of total)
ival-true: 96.0ms (0.8% of total)
ival-sqrt: 95.0ms (0.8% of total)
ival-assert: 52.0ms (0.4% of total)
exact: 41.0ms (0.3% of total)
ival-tanh: 13.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

analyze18.4s (0.8%)

Memory
-98.4MiB live, 22 525.7MiB 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)

end2.0ms (0%)

Memory
4.7MiB live, 4.5MiB allocated

Profiling

Loading profile data...