Herbie run

Date:Tuesday, July 16th, 2024
Commit:f3c41df3 on doc-pass
Hostname:nightly with Racket 8.11.1
Seed:2024198
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.5min)

simplify24.9s (27.8%)

Memory
79.7MiB live, 28 029.4MiB allocated
Algorithm
71×egg-herbie
Rules
403 764×accelerator-lowering-fma.f32
403 764×accelerator-lowering-fma.f64
188 790×*-lowering-*.f32
188 790×*-lowering-*.f64
90 674×+-lowering-+.f32
Stop Event
60×iter limit
39×node limit
34×saturated
Counts
8 724 → 8 724

rewrite14.4s (16.1%)

Memory
238.7MiB live, 19 932.9MiB allocated
Algorithm
31×batch-egg-rewrite
Rules
127 744×accelerator-lowering-fma.f32
127 744×accelerator-lowering-fma.f64
102 794×/-lowering-/.f64
102 794×/-lowering-/.f32
98 066×*-lowering-*.f32
Stop Event
37×iter limit
29×node limit
2×saturated
1×unsound
Counts
375 → 27 899

eval10.7s (11.9%)

Memory
229.3MiB live, 14 762.5MiB allocated
Compiler

Compiled 1 785 033 to 110 604 computations (93.8% saved)

soundness9.9s (11%)

Memory
32.7MiB live, 5 797.7MiB allocated
Rules
288 544×accelerator-lowering-fma.f32
288 544×accelerator-lowering-fma.f64
168 852×*-lowering-*.f32
168 852×*-lowering-*.f64
92 790×/-lowering-/.f64
Stop Event
45×iter limit
37×node limit
6×fuel
3×done
2×saturated
1×unsound
Compiler

Compiled 7 011 to 3 509 computations (50% saved)

sample9.4s (10.5%)

Memory
253.4MiB live, 12 801.6MiB allocated
Samples
5.7s70 197×0valid
949.0ms4 099×2valid
326.0ms1 923×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.8s
ival-mult: 1.3s (26.6% of total)
ival-div: 917.0ms (19.2% of total)
ival-sub: 705.0ms (14.8% of total)
ival-sqrt: 507.0ms (10.6% of total)
ival-neg: 367.0ms (7.7% of total)
ival-add: 209.0ms (4.4% of total)
ival-if: 147.0ms (3.1% of total)
ival->=: 125.0ms (2.6% of total)
adjust: 112.0ms (2.3% of total)
ival-log: 109.0ms (2.3% of total)
ival-exp: 91.0ms (1.9% of total)
ival-fabs: 81.0ms (1.7% of total)
exact: 56.0ms (1.2% of total)
ival-true: 49.0ms (1% of total)
ival-assert: 28.0ms (0.6% of total)
Bogosity

prune7.6s (8.5%)

Memory
-137.5MiB live, 14 709.2MiB allocated
Counts
47 463 → 488
Compiler

Compiled 23 832 to 11 341 computations (52.4% saved)

localize4.3s (4.8%)

Memory
-7.3MiB live, 7 168.3MiB allocated
Samples
1.3s6 401×0valid
421.0ms537×2valid
350.0ms512×0invalid
205.0ms320×1valid
104.0ms50×5exit
88.0ms57×3valid
85.0ms59×4valid
Compiler

Compiled 6 921 to 831 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 371.0ms (23.4% of total)
ival-div: 368.0ms (23.2% of total)
ival-add: 240.0ms (15.1% of total)
ival-if: 111.0ms (7% of total)
const: 107.0ms (6.7% of total)
ival-sub: 104.0ms (6.6% of total)
ival-sqrt: 85.0ms (5.4% of total)
adjust: 69.0ms (4.3% of total)
ival-fabs: 51.0ms (3.2% of total)
ival-neg: 29.0ms (1.8% of total)
exact: 13.0ms (0.8% of total)
ival-log: 13.0ms (0.8% of total)
ival-e: 7.0ms (0.4% of total)
ival->=: 7.0ms (0.4% of total)
ival-true: 6.0ms (0.4% of total)
ival-exp: 5.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

regimes2.2s (2.4%)

Memory
55.9MiB live, 3 978.7MiB allocated
Counts
1 567 → 131
Calls

26 calls:

338.0ms
x
250.0ms
b
171.0ms
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
162.0ms
(-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
158.0ms
(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))
Compiler

Compiled 1 763 to 1 117 computations (36.6% saved)

preprocess2.1s (2.4%)

Memory
22.3MiB live, 2 534.0MiB 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 948 to 1 202 computations (75.7% saved)

explain1.5s (1.7%)

Memory
-77.7MiB live, 2 563.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2690
-.f64#fcancellation1190
+.f64#fcancellation1150
sqrt.f64#fuflow-rescue660
/.f64#fn/u250
/.f64#fu/n230
-.f64#fnan-rescue180
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u100
Confusion
Predicted +Predicted -
+29617
-2171774
Precision
0.5769980506822612
Recall
0.9456869009584664
Confusion?
Predicted +Predicted MaybePredicted -
+296017
-21701774
Precision?
0.5769980506822612
Recall?
0.9456869009584664
Freqs
test
numberfreq
01791
1379
2126
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
317.0ms3 676×0valid
183.0ms532×2valid
87.0ms314×1valid
27.0ms56×3valid
14.0ms26×4valid
2.0ms4×5exit
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 408.0ms
ival-div: 118.0ms (28.9% of total)
ival-mult: 75.0ms (18.4% of total)
ival-sub: 57.0ms (14% of total)
ival-sqrt: 33.0ms (8.1% of total)
adjust: 25.0ms (6.1% of total)
ival-if: 25.0ms (6.1% of total)
ival-log: 21.0ms (5.1% of total)
ival-neg: 16.0ms (3.9% of total)
ival-add: 16.0ms (3.9% of total)
ival-fabs: 5.0ms (1.2% of total)
ival-exp: 4.0ms (1% of total)
exact: 4.0ms (1% of total)
ival-true: 4.0ms (1% of total)
ival->=: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)

bsearch1.3s (1.4%)

Memory
76.0MiB live, 1 912.6MiB allocated
Algorithm
43×binary-search
16×left-value
Stop Event
33×narrow-enough
10×predicate-same
Samples
518.0ms4 784×0valid
92.0ms848×0invalid
19.0ms112×2valid
Compiler

Compiled 15 857 to 10 405 computations (34.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 465.0ms
ival-mult: 158.0ms (34% of total)
ival-div: 80.0ms (17.2% of total)
ival-neg: 63.0ms (13.6% of total)
ival-sub: 52.0ms (11.2% of total)
ival-sqrt: 38.0ms (8.2% of total)
ival-add: 25.0ms (5.4% of total)
ival-if: 19.0ms (4.1% of total)
ival->=: 13.0ms (2.8% of total)
exact: 7.0ms (1.5% of total)
ival-fabs: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
ival-assert: 2.0ms (0.4% of total)
adjust: 1.0ms (0.2% of total)

series989.0ms (1.1%)

Memory
3.1MiB live, 1 353.3MiB allocated
Counts
375 → 8 724
Calls

1524 calls:

TimeVariablePointExpression
27.0ms
a
@inf
(* b (+ (/ c (* b b)) (/ -1 a)))
27.0ms
a
@-inf
(/ (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* c (* a -4)) (+ (* b b) 0)))))) (* 2 a))
25.0ms
x
@0
(log x)
20.0ms
c
@-inf
(/ (+ (* b b) (+ (* (* 4 a) c) (* b b))) (* (- b (sqrt (+ (* a (* -4 c)) (* b b)))) (* a -2)))
19.0ms
x
@-inf
(log x)

analyze412.0ms (0.5%)

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