Herbie run

Date:Tuesday, July 9th, 2024
Commit:d4f6abab on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024191
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: 1.6min)

simplify21.9s (23.1%)

Memory
-160.2MiB live, 27 507.4MiB allocated
Algorithm
75×egg-herbie
Rules
369 158×accelerator-lowering-fma.f32
369 158×accelerator-lowering-fma.f64
200 460×*-lowering-*.f32
200 460×*-lowering-*.f64
91 464×+-lowering-+.f32
Stop Event
62×iter limit
41×node limit
38×saturated
Counts
9 132 → 9 132

soundness20.0s (21.2%)

Memory
-90.1MiB live, 18 743.5MiB allocated
Rules
238 558×accelerator-lowering-fma.f32
238 558×accelerator-lowering-fma.f64
159 686×*-lowering-*.f32
159 686×*-lowering-*.f64
80 512×/-lowering-/.f64
Stop Event
47×iter limit
35×node limit
7×saturated
6×fuel
3×done
Compiler

Compiled 5 997 to 3 152 computations (47.4% saved)

rewrite12.5s (13.2%)

Memory
-64.8MiB live, 19 053.2MiB allocated
Algorithm
33×batch-egg-rewrite
Rules
118 220×accelerator-lowering-fma.f32
118 220×accelerator-lowering-fma.f64
109 202×*-lowering-*.f32
109 202×*-lowering-*.f64
105 076×/-lowering-/.f64
Stop Event
37×iter limit
31×node limit
4×saturated
Counts
426 → 26 760

sample9.8s (10.3%)

Memory
201.1MiB live, 13 368.4MiB allocated
Samples
5.8s70 183×0valid
1.0s4 116×2valid
554.0ms1 891×0invalid
0.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.1s
ival-div: 1.3s (26.1% of total)
ival-mult: 1.3s (25.6% of total)
ival-sub: 607.0ms (11.8% of total)
ival-add: 419.0ms (8.2% of total)
ival-sqrt: 414.0ms (8.1% of total)
ival-neg: 307.0ms (6% of total)
ival->=: 173.0ms (3.4% of total)
ival-log: 96.0ms (1.9% of total)
ival-exp: 90.0ms (1.8% of total)
ival-fabs: 82.0ms (1.6% of total)
ival-if: 79.0ms (1.5% of total)
adjust: 68.0ms (1.3% of total)
exact: 55.0ms (1.1% of total)
ival-true: 52.0ms (1% of total)
ival-assert: 28.0ms (0.5% of total)
Bogosity

prune8.7s (9.2%)

Memory
67.9MiB live, 14 831.3MiB allocated
Counts
45 421 → 603
Compiler

Compiled 32 199 to 14 734 computations (54.2% saved)

eval8.2s (8.7%)

Memory
196.2MiB live, 12 512.0MiB allocated
Compiler

Compiled 1 466 673 to 102 661 computations (93% saved)

localize5.5s (5.8%)

Memory
167.7MiB live, 7 833.2MiB allocated
Samples
1.7s7 148×0valid
599.0ms509×2valid
358.0ms441×1valid
123.0ms274×0invalid
108.0ms76×3valid
Compiler

Compiled 8 434 to 886 computations (89.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 730.0ms (36.4% of total)
ival-div: 442.0ms (22.1% of total)
ival-add: 150.0ms (7.5% of total)
ival-sub: 138.0ms (6.9% of total)
ival-pow: 127.0ms (6.3% of total)
ival-if: 117.0ms (5.8% of total)
ival-sqrt: 96.0ms (4.8% of total)
adjust: 78.0ms (3.9% of total)
const: 46.0ms (2.3% of total)
ival-fabs: 25.0ms (1.2% of total)
exact: 15.0ms (0.7% of total)
ival-exp: 9.0ms (0.4% of total)
ival-true: 8.0ms (0.4% of total)
ival->=: 7.0ms (0.3% of total)
ival-log: 6.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)
ival-neg: 1.0ms (0% of total)

preprocess1.9s (2.1%)

Memory
109.9MiB live, 2 292.4MiB allocated
Algorithm
18×egg-herbie
Rules
11 858×accelerator-lowering-fma.f32
11 858×accelerator-lowering-fma.f64
5 638×div-sub
5 512×*-lowering-*.f32
5 512×*-lowering-*.f64
Stop Event
13×saturated
9×iter limit
5×node limit
Compiler

Compiled 4 768 to 1 416 computations (70.3% saved)

regimes1.7s (1.8%)

Memory
-37.8MiB live, 2 430.6MiB allocated
Counts
1 859 → 138
Calls

26 calls:

324.0ms
b
315.0ms
x
220.0ms
(*.f64 x x)
173.0ms
a
119.0ms
c
Compiler

Compiled 671 to 424 computations (36.8% saved)

explain1.5s (1.6%)

Memory
6.2MiB live, 2 442.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2560
+.f64#fcancellation1260
-.f64#fcancellation1230
sqrt.f64#fuflow-rescue830
/.f64#fn/u260
/.f64#fu/n250
-.f64#fnan-rescue200
*.f64(*.f64 (/.f64 x y) z)n*o130
*.f64(*.f64 (/.f64 x y) z)n*u20
/.f64(/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))))n/o10
↳(-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))overflow95
↳(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))overflow1
↳(*.f64 (*.f64 #s(literal 4 binary64) a) c)overflow21
↳(*.f64 b b)overflow80
Confusion
Predicted +Predicted -
+30715
-2201762
Precision
0.5825426944971537
Recall
0.953416149068323
Confusion?
Predicted +Predicted MaybePredicted -
+307015
-22001762
Precision?
0.5825426944971537
Recall?
0.953416149068323
Freqs
test
numberfreq
01777
1389
2128
310
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
320.0ms3 696×0valid
221.0ms578×2valid
97.0ms286×1valid
21.0ms48×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 442.0ms
ival-sqrt: 119.0ms (26.9% of total)
ival-div: 80.0ms (18.1% of total)
ival-mult: 74.0ms (16.8% of total)
ival-sub: 41.0ms (9.3% of total)
ival-if: 39.0ms (8.8% of total)
adjust: 24.0ms (5.4% of total)
ival-add: 18.0ms (4.1% of total)
ival-neg: 17.0ms (3.8% of total)
ival-log: 6.0ms (1.4% of total)
ival-fabs: 5.0ms (1.1% of total)
ival-exp: 4.0ms (0.9% of total)
exact: 4.0ms (0.9% of total)
ival->=: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
ival-assert: 2.0ms (0.5% of total)

bsearch1.4s (1.5%)

Memory
-23.0MiB live, 1 583.7MiB allocated
Algorithm
49×binary-search
16×left-value
Stop Event
45×narrow-enough
4×predicate-same
Samples
944.0ms6 176×0valid
67.0ms620×0invalid
Compiler

Compiled 13 317 to 9 170 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 610.0ms
ival-sqrt: 172.0ms (28.2% of total)
ival-div: 158.0ms (25.9% of total)
ival-mult: 116.0ms (19% of total)
ival-sub: 64.0ms (10.5% of total)
ival-add: 34.0ms (5.6% of total)
ival-neg: 19.0ms (3.1% of total)
ival-if: 14.0ms (2.3% of total)
ival-fabs: 11.0ms (1.8% of total)
ival->=: 9.0ms (1.5% of total)
ival-true: 5.0ms (0.8% of total)
exact: 5.0ms (0.8% of total)
ival-assert: 3.0ms (0.5% of total)

series824.0ms (0.9%)

Memory
55.6MiB live, 1 706.0MiB allocated
Counts
426 → 9 132
Calls

1767 calls:

TimeVariablePointExpression
55.0ms
b
@0
(pow (* (+ (* b b) (* c (* a -4))) (+ (* b b) (* c (* a -4)))) 1/4)
28.0ms
x
@0
(log x)
27.0ms
a
@0
(pow (* (+ (* b b) (* c (* a -4))) (+ (* b b) (* c (* a -4)))) 1/4)
20.0ms
b
@-inf
(if (>= b 0) (/ (/ 1 (+ b (pow (/ 1 (+ (* b b) (* -4 (* c a)))) -1/2))) (/ -1/2 c)) (/ (- (sqrt (+ (* b b) (* a (* c -4)))) b) (* 2 a)))
19.0ms
x
@-inf
(log x)

analyze695.0ms (0.7%)

Memory
-32.7MiB live, 699.0MiB allocated
Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...