Herbie run

Date:Saturday, July 13th, 2024
Commit:de67b973 on bsearch-speedup
Hostname:nightly with Racket 8.11.1
Seed:2024195
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)

simplify20.6s (23.6%)

Memory
-28.7MiB live, 26 898.6MiB allocated
Algorithm
71×egg-herbie
Rules
383 734×accelerator-lowering-fma.f32
383 734×accelerator-lowering-fma.f64
179 542×*-lowering-*.f32
179 542×*-lowering-*.f64
81 772×+-lowering-+.f32
Stop Event
60×iter limit
38×node limit
35×saturated
Counts
7 800 → 7 800

rewrite15.8s (18%)

Memory
291.8MiB live, 21 037.8MiB allocated
Algorithm
31×batch-egg-rewrite
Rules
135 272×accelerator-lowering-fma.f32
135 272×accelerator-lowering-fma.f64
102 978×/-lowering-/.f64
102 978×/-lowering-/.f32
100 810×*-lowering-*.f32
Stop Event
36×iter limit
29×node limit
2×saturated
1×unsound
Counts
336 → 31 274

eval10.1s (11.5%)

Memory
424.7MiB live, 15 738.2MiB allocated
Compiler

Compiled 1 917 920 to 102 348 computations (94.7% saved)

soundness10.0s (11.4%)

Memory
118.7MiB live, 5 838.7MiB allocated
Rules
305 970×accelerator-lowering-fma.f32
305 970×accelerator-lowering-fma.f64
174 564×*-lowering-*.f32
174 564×*-lowering-*.f64
100 418×/-lowering-/.f64
Stop Event
47×iter limit
39×node limit
5×fuel
4×done
2×saturated
1×unsound
Compiler

Compiled 5 302 to 2 811 computations (47% saved)

sample9.5s (10.9%)

Memory
140.2MiB live, 13 545.3MiB allocated
Samples
5.6s70 186×0valid
873.0ms4 112×2valid
555.0ms1 954×0invalid
0.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-mult: 1.5s (33.2% of total)
ival-div: 910.0ms (19.5% of total)
ival-sub: 569.0ms (12.2% of total)
ival-sqrt: 424.0ms (9.1% of total)
ival-neg: 279.0ms (6% of total)
ival-add: 241.0ms (5.2% of total)
ival-if: 118.0ms (2.5% of total)
ival-log: 117.0ms (2.5% of total)
ival-exp: 96.0ms (2.1% of total)
ival-fabs: 84.0ms (1.8% of total)
ival->=: 70.0ms (1.5% of total)
adjust: 65.0ms (1.4% of total)
exact: 56.0ms (1.2% of total)
ival-true: 53.0ms (1.1% of total)
ival-assert: 28.0ms (0.6% of total)
Bogosity

prune8.2s (9.4%)

Memory
-225.6MiB live, 15 169.7MiB allocated
Counts
52 264 → 506
Compiler

Compiled 23 527 to 11 230 computations (52.3% saved)

localize4.4s (5%)

Memory
14.9MiB live, 6 490.9MiB allocated
Samples
1.3s6 437×0valid
586.0ms645×2valid
533.0ms476×1valid
212.0ms105×3valid
89.0ms273×0invalid
Compiler

Compiled 6 448 to 753 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-div: 534.0ms (31.5% of total)
ival-mult: 438.0ms (25.8% of total)
ival-add: 254.0ms (15% of total)
ival-sub: 146.0ms (8.6% of total)
adjust: 85.0ms (5% of total)
ival-sqrt: 79.0ms (4.7% of total)
ival-if: 55.0ms (3.2% of total)
ival-neg: 24.0ms (1.4% of total)
ival-fabs: 18.0ms (1.1% of total)
const: 13.0ms (0.8% of total)
exact: 13.0ms (0.8% of total)
ival-log: 10.0ms (0.6% of total)
ival->=: 7.0ms (0.4% of total)
ival-e: 6.0ms (0.4% of total)
ival-true: 6.0ms (0.4% of total)
ival-exp: 4.0ms (0.2% of total)
ival-assert: 3.0ms (0.2% of total)

regimes2.3s (2.7%)

Memory
16.3MiB live, 4 124.4MiB allocated
Counts
1 600 → 118
Calls

26 calls:

348.0ms
x
266.0ms
(/.f64 #s(literal 1 binary64) x)
169.0ms
b
169.0ms
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
168.0ms
(-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))
Compiler

Compiled 1 910 to 1 205 computations (36.9% saved)

preprocess2.2s (2.6%)

Memory
-2.8MiB live, 2 624.5MiB 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 3 846 to 1 152 computations (70% saved)

explain1.5s (1.7%)

Memory
24.4MiB live, 2 693.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2520
-.f64#fcancellation1170
+.f64#fcancellation1150
sqrt.f64#fuflow-rescue660
/.f64#fu/n300
/.f64#fn/u290
*.f64#fn*o210
-.f64#fnan-rescue120
*.f64(*.f64 (/.f64 x y) z)n*u70
Confusion
Predicted +Predicted -
+28221
-2341767
Precision
0.5465116279069767
Recall
0.9306930693069307
Confusion?
Predicted +Predicted MaybePredicted -
+282021
-23401767
Precision?
0.5465116279069767
Recall?
0.9306930693069307
Freqs
test
numberfreq
01788
1388
2123
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
249.0ms3 678×0valid
246.0ms576×2valid
130.0ms292×1valid
31.0ms62×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 427.0ms
ival-div: 93.0ms (21.8% of total)
ival-mult: 85.0ms (19.9% of total)
ival-sub: 76.0ms (17.8% of total)
ival-sqrt: 71.0ms (16.6% of total)
adjust: 26.0ms (6.1% of total)
ival-neg: 19.0ms (4.4% of total)
ival-add: 19.0ms (4.4% of total)
ival-if: 9.0ms (2.1% of total)
ival-log: 6.0ms (1.4% of total)
ival-fabs: 5.0ms (1.2% of total)
ival-exp: 4.0ms (0.9% of total)
exact: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
ival->=: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)

series1.4s (1.6%)

Memory
3.6MiB live, 1 083.4MiB allocated
Counts
336 → 7 800
Calls

1443 calls:

TimeVariablePointExpression
251.0ms
c
@inf
(- b (sqrt (+ (* b b) (* (* a c) -4))))
133.0ms
c
@inf
(/ (* 2 c) (* (+ (* b b) (+ (* b b) (* (* a c) -4))) (/ 1 (+ b (sqrt (+ (* b b) (* (* a c) -4)))))))
83.0ms
a
@0
(- (* b b) (* (* 4 a) c))
33.0ms
a
@inf
(/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
25.0ms
x
@0
(log x)

bsearch1.1s (1.3%)

Memory
25.5MiB live, 1 896.4MiB allocated
Algorithm
38×binary-search
11×left-value
Stop Event
36×narrow-enough
2×predicate-same
Samples
619.0ms5 200×0valid
119.0ms826×0invalid
14.0ms80×2valid
Compiler

Compiled 13 975 to 9 331 computations (33.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 530.0ms
ival-mult: 179.0ms (33.8% of total)
ival-div: 81.0ms (15.3% of total)
ival-sqrt: 74.0ms (14% of total)
ival->=: 56.0ms (10.6% of total)
ival-sub: 49.0ms (9.3% of total)
ival-add: 30.0ms (5.7% of total)
ival-neg: 19.0ms (3.6% of total)
ival-if: 17.0ms (3.2% of total)
ival-fabs: 8.0ms (1.5% of total)
exact: 7.0ms (1.3% of total)
ival-true: 4.0ms (0.8% of total)
ival-assert: 2.0ms (0.4% of total)
adjust: 1.0ms (0.2% of total)

analyze453.0ms (0.5%)

Memory
10.6MiB live, 826.8MiB 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...