Herbie run

Date:Thursday, July 25th, 2024
Commit:2a1d9f8a on ir-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024207
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)

simplify18.8s (23.5%)

Memory
21.8MiB live, 23 630.0MiB allocated
Algorithm
71×egg-herbie
Rules
393 492×lower-fma.f32
393 376×lower-fma.f64
185 288×lower-*.f32
184 970×lower-*.f64
91 268×lower-+.f32
Stop Event
90×iter limit
39×node limit
35×saturated
Counts
8 004 → 7 869

rewrite10.6s (13.2%)

Memory
223.6MiB live, 15 386.8MiB allocated
Algorithm
31×batch-egg-rewrite
Rules
130 318×lower-fma.f32
130 206×lower-fma.f64
105 186×lower-*.f32
104 884×lower-*.f64
101 552×lower-/.f32
Stop Event
66×iter limit
29×node limit
3×saturated
1×unsound
Counts
365 → 22 792

sample10.1s (12.7%)

Memory
415.7MiB live, 13 236.5MiB allocated
Samples
5.6s70 180×0valid
831.0ms4 114×2valid
301.0ms1 855×0invalid
4.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-mult: 1.3s (28.2% of total)
ival-div: 960.0ms (20.5% of total)
ival-sub: 793.0ms (17% of total)
ival-sqrt: 426.0ms (9.1% of total)
ival-add: 207.0ms (4.4% of total)
ival-neg: 205.0ms (4.4% of total)
ival-fabs: 137.0ms (2.9% of total)
ival-log: 119.0ms (2.5% of total)
ival-if: 104.0ms (2.2% of total)
ival->=: 101.0ms (2.2% of total)
ival-exp: 85.0ms (1.8% of total)
adjust: 75.0ms (1.6% of total)
exact: 60.0ms (1.3% of total)
ival-true: 53.0ms (1.1% of total)
ival-assert: 30.0ms (0.6% of total)
Bogosity

eval9.5s (11.8%)

Memory
-33.0MiB live, 11 625.8MiB allocated
Compiler

Compiled 1 623 036 to 98 502 computations (93.9% saved)

soundness9.4s (11.7%)

Memory
-37.9MiB live, 6 005.0MiB allocated
Rules
288 148×lower-fma.f32
288 080×lower-fma.f64
161 944×lower-*.f32
161 742×lower-*.f64
95 120×lower-/.f32
Stop Event
63×iter limit
37×node limit
5×fuel
4×done
2×saturated
1×unsound
Compiler

Compiled 5 260 to 2 575 computations (51% saved)

prune8.3s (10.4%)

Memory
51.7MiB live, 11 371.3MiB allocated
Counts
39 262 → 411
Compiler

Compiled 21 067 to 10 563 computations (49.9% saved)

localize5.7s (7.1%)

Memory
-121.0MiB live, 7 300.7MiB allocated
Samples
1.4s6 515×0valid
1.2s768×2valid
500.0ms146×3valid
303.0ms348×1valid
196.0ms52×4valid
48.0ms21×5exit
36.0ms86×0invalid
Compiler

Compiled 7 508 to 828 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-div: 544.0ms (21.5% of total)
ival-mult: 460.0ms (18.1% of total)
adjust: 388.0ms (15.3% of total)
ival-sub: 325.0ms (12.8% of total)
ival-add: 302.0ms (11.9% of total)
ival-if: 138.0ms (5.4% of total)
const: 132.0ms (5.2% of total)
ival-sqrt: 110.0ms (4.3% of total)
ival-neg: 43.0ms (1.7% of total)
ival-fabs: 31.0ms (1.2% of total)
ival-log: 22.0ms (0.9% of total)
exact: 13.0ms (0.5% of total)
ival->=: 7.0ms (0.3% of total)
ival-e: 6.0ms (0.2% of total)
ival-true: 6.0ms (0.2% of total)
ival-exp: 4.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)

preprocess1.9s (2.4%)

Memory
70.9MiB live, 2 339.2MiB allocated
Algorithm
9×egg-herbie
Rules
11 858×lower-fma.f32
11 858×lower-fma.f64
5 976×div-sub
5 512×lower-*.f32
5 482×lower-*.f64
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 4 228 to 1 166 computations (72.4% saved)

regimes1.7s (2.1%)

Memory
-10.8MiB live, 2 391.8MiB allocated
Counts
1 131 → 112
Calls

26 calls:

195.0ms
x
178.0ms
(*.f64 x x)
172.0ms
b
128.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
127.0ms
(log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))
Compiler

Compiled 1 569 to 992 computations (36.8% saved)

explain1.6s (2%)

Memory
-128.3MiB live, 2 567.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2960
+.f64#fcancellation1160
-.f64#fcancellation1120
sqrt.f64#fuflow-rescue720
/.f64#fn/u300
/.f64#fu/n150
-.f64#fnan-rescue140
*.f64(*.f64 (/.f64 x y) z)n*u80
*.f64(*.f64 (/.f64 x y) z)n*o50
/.f64(/.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))n/o10
↳(*.f64 #s(literal 2 binary64) a)overflow1
/.f64(/.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))o/n10
↳(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))overflow1
↳(-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))overflow107
↳(*.f64 #s(literal 4 binary64) a)overflow1
↳(*.f64 (*.f64 #s(literal 4 binary64) a) c)overflow28
↳(*.f64 b b)overflow87
Confusion
Predicted +Predicted -
+32418
-1971765
Precision
0.6218809980806143
Recall
0.9473684210526315
Confusion?
Predicted +Predicted MaybePredicted -
+324018
-19701765
Precision?
0.6218809980806143
Recall?
0.9473684210526315
Freqs
test
numberfreq
01783
1378
2137
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
319.0ms3 694×0valid
176.0ms556×2valid
70.0ms294×1valid
27.0ms48×3valid
17.0ms12×4valid
2.0ms4×5exit
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 380.0ms
ival-div: 92.0ms (24.2% of total)
ival-mult: 76.0ms (20% of total)
ival-sqrt: 54.0ms (14.2% of total)
ival-sub: 44.0ms (11.6% of total)
adjust: 33.0ms (8.7% of total)
ival-neg: 23.0ms (6% of total)
ival-add: 20.0ms (5.3% of total)
ival-if: 9.0ms (2.4% of total)
ival-log: 7.0ms (1.8% of total)
ival-fabs: 6.0ms (1.6% of total)
ival-exp: 5.0ms (1.3% of total)
exact: 4.0ms (1.1% of total)
ival-true: 4.0ms (1.1% of total)
ival->=: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.5% of total)

bsearch1.0s (1.3%)

Memory
-6.3MiB live, 1 842.2MiB allocated
Algorithm
39×binary-search
10×left-value
Stop Event
30×narrow-enough
9×predicate-same
Samples
515.0ms4 864×0valid
47.0ms406×0invalid
47.0ms80×2valid
Compiler

Compiled 15 098 to 9 921 computations (34.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 428.0ms
ival-mult: 135.0ms (31.5% of total)
ival-sub: 93.0ms (21.7% of total)
ival-div: 69.0ms (16.1% of total)
ival-sqrt: 35.0ms (8.2% of total)
ival-add: 30.0ms (7% of total)
ival-neg: 18.0ms (4.2% of total)
ival-if: 16.0ms (3.7% of total)
ival->=: 12.0ms (2.8% of total)
ival-fabs: 7.0ms (1.6% of total)
exact: 6.0ms (1.4% of total)
ival-true: 4.0ms (0.9% of total)
ival-assert: 2.0ms (0.5% of total)
adjust: 1.0ms (0.2% of total)

series839.0ms (1%)

Memory
99.0MiB live, 1 098.4MiB allocated
Counts
365 → 8 004
Calls

1371 calls:

TimeVariablePointExpression
39.0ms
x
@-inf
(log x)
38.0ms
x
@0
(log x)
38.0ms
b
@0
(/ (- (* (* b 1/2) a) (* a (* (sqrt (+ (* b b) (* c (* a -4)))) 1/2))) (* a a))
32.0ms
a
@inf
(/ (- (neg b) (+ (* a (* -2 (/ c b))) b)) (* 2 c))
32.0ms
a
@inf
(/ (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* c (* a -4)) (* b b)))))) (* 2 a))

analyze665.0ms (0.8%)

Memory
-44.1MiB live, 722.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...