Herbie run

Date:Tuesday, July 23rd, 2024
Commit:4c9fd745 on zane-merge-alt-and-improve
Hostname:nightly with Racket 8.11.1
Seed:2024205
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.3min)

simplify19.9s (25%)

Memory
300.4MiB live, 24 803.3MiB allocated
Algorithm
73×egg-herbie
Rules
449 050×accelerator-lowering-fma.f32
449 050×accelerator-lowering-fma.f64
187 762×*-lowering-*.f32
187 762×*-lowering-*.f64
92 338×+-lowering-+.f32
Stop Event
62×iter limit
39×node limit
36×saturated
Counts
7 656 → 7 656

rewrite11.4s (14.3%)

Memory
-69.6MiB live, 16 221.9MiB allocated
Algorithm
32×batch-egg-rewrite
Rules
130 476×accelerator-lowering-fma.f32
130 476×accelerator-lowering-fma.f64
107 126×/-lowering-/.f64
107 126×/-lowering-/.f32
105 786×*-lowering-*.f32
Stop Event
38×iter limit
30×node limit
2×saturated
1×unsound
Counts
345 → 21 458

sample10.3s (13%)

Memory
341.0MiB live, 13 337.3MiB allocated
Samples
6.2s70 168×0valid
906.0ms4 124×2valid
252.0ms1 959×0invalid
1.0ms12×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-div: 1.4s (26.5% of total)
ival-mult: 1.1s (21.6% of total)
ival-sub: 722.0ms (13.6% of total)
ival-sqrt: 478.0ms (9% of total)
ival-add: 470.0ms (8.9% of total)
ival-neg: 242.0ms (4.6% of total)
ival-fabs: 223.0ms (4.2% of total)
ival->=: 123.0ms (2.3% of total)
ival-log: 104.0ms (2% of total)
ival-exp: 90.0ms (1.7% of total)
ival-if: 81.0ms (1.5% of total)
adjust: 76.0ms (1.4% of total)
exact: 59.0ms (1.1% of total)
ival-true: 53.0ms (1% of total)
ival-assert: 29.0ms (0.5% of total)
Bogosity

soundness9.8s (12.3%)

Memory
9.3MiB live, 6 912.0MiB allocated
Rules
297 364×accelerator-lowering-fma.f32
297 364×accelerator-lowering-fma.f64
167 022×*-lowering-*.f32
167 022×*-lowering-*.f64
95 388×/-lowering-/.f64
Stop Event
48×iter limit
39×node limit
5×fuel
4×done
2×saturated
1×unsound
Compiler

Compiled 6 241 to 3 151 computations (49.5% saved)

prune8.0s (10%)

Memory
-267.8MiB live, 11 359.6MiB allocated
Counts
37 445 → 386
Compiler

Compiled 17 570 to 8 619 computations (50.9% saved)

eval7.5s (9.4%)

Memory
218.0MiB live, 11 683.1MiB allocated
Compiler

Compiled 1 353 835 to 92 834 computations (93.1% saved)

localize4.0s (5%)

Memory
87.8MiB live, 6 333.3MiB allocated
Samples
1.1s6 727×0valid
750.0ms831×2valid
174.0ms75×3valid
135.0ms259×0invalid
103.0ms67×4valid
78.0ms35×5exit
67.0ms198×1valid
Compiler

Compiled 6 426 to 775 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 337.0ms (21.3% of total)
ival-div: 303.0ms (19.1% of total)
ival-add: 240.0ms (15.2% of total)
ival-sqrt: 150.0ms (9.5% of total)
adjust: 123.0ms (7.8% of total)
ival-sub: 108.0ms (6.8% of total)
ival-if: 80.0ms (5.1% of total)
ival-fabs: 75.0ms (4.7% of total)
ival-neg: 59.0ms (3.7% of total)
const: 23.0ms (1.5% of total)
ival-pow: 17.0ms (1.1% of total)
ival-log: 16.0ms (1% of total)
ival->=: 13.0ms (0.8% of total)
exact: 12.0ms (0.8% of total)
ival-exp: 9.0ms (0.6% of total)
ival-true: 7.0ms (0.4% of total)
ival-e: 6.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)

regimes2.4s (3.1%)

Memory
31.6MiB live, 3 175.1MiB allocated
Counts
1 323 → 136
Calls

26 calls:

586.0ms
b
218.0ms
x
179.0ms
f
174.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.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))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))
116.0ms
(*.f64 x x)
Compiler

Compiled 2 053 to 1 276 computations (37.8% saved)

preprocess2.0s (2.5%)

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

Compiled 4 554 to 1 234 computations (72.9% saved)

explain1.7s (2.1%)

Memory
-105.5MiB live, 2 374.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2480
-.f64#fcancellation1190
+.f64#fcancellation1110
sqrt.f64#fuflow-rescue790
/.f64#fn/u270
-.f64#fnan-rescue260
/.f64#fu/n260
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u60
Confusion
Predicted +Predicted -
+29528
-2291752
Precision
0.5629770992366412
Recall
0.913312693498452
Confusion?
Predicted +Predicted MaybePredicted -
+295127
-22901752
Precision?
0.5638095238095238
Recall?
0.9164086687306502
Freqs
test
numberfreq
01780
1404
2113
37
Total Confusion?
Predicted +Predicted MaybePredicted -
+410
-004
Precision?
1.0
Recall?
1.0
Samples
338.0ms3 676×0valid
219.0ms574×2valid
70.0ms294×1valid
25.0ms48×3valid
7.0ms14×4valid
1.0ms2×5exit
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 451.0ms
ival-sqrt: 85.0ms (18.8% of total)
ival-div: 84.0ms (18.6% of total)
ival-mult: 81.0ms (18% of total)
adjust: 57.0ms (12.6% of total)
ival-sub: 41.0ms (9.1% of total)
ival->=: 30.0ms (6.6% of total)
ival-neg: 21.0ms (4.7% of total)
ival-add: 16.0ms (3.5% of total)
ival-if: 9.0ms (2% of total)
ival-log: 6.0ms (1.3% of total)
ival-exp: 5.0ms (1.1% of total)
ival-fabs: 5.0ms (1.1% of total)
exact: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
ival-assert: 2.0ms (0.4% of total)

bsearch1.4s (1.8%)

Memory
-148.1MiB live, 1 665.0MiB allocated
Algorithm
44×binary-search
16×left-value
Stop Event
35×narrow-enough
9×predicate-same
Samples
922.0ms4 832×0valid
103.0ms569×0invalid
11.0ms64×2valid
Compiler

Compiled 13 036 to 8 666 computations (33.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 604.0ms
ival-mult: 230.0ms (38.1% of total)
ival-neg: 78.0ms (12.9% of total)
ival-div: 77.0ms (12.8% of total)
ival-sub: 73.0ms (12.1% of total)
ival->=: 41.0ms (6.8% of total)
ival-if: 31.0ms (5.1% of total)
ival-sqrt: 26.0ms (4.3% of total)
ival-add: 24.0ms (4% of total)
ival-fabs: 10.0ms (1.7% of total)
exact: 6.0ms (1% of total)
ival-true: 4.0ms (0.7% of total)
ival-assert: 2.0ms (0.3% of total)
adjust: 1.0ms (0.2% of total)

series686.0ms (0.9%)

Memory
28.5MiB live, 1 262.2MiB allocated
Counts
345 → 7 656
Calls

1293 calls:

TimeVariablePointExpression
26.0ms
x
@0
(log x)
22.0ms
x
@-inf
(log x)
15.0ms
a
@inf
(sqrt (- (* b b) (* (* 4 a) c)))
12.0ms
c
@0
(/ (- (neg b) (sqrt (* (* a c) -4))) (* 2 a))
11.0ms
b
@-inf
(+ b (sqrt (+ (* c (* a -4)) (* b b))))

analyze564.0ms (0.7%)

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