Herbie run

Date:Tuesday, August 13th, 2024
Commit:20e8ea63 on main
Hostname:nightly with Racket 8.11.1
Seed:2024226
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.2min)

simplify13.7s (19.7%)

Memory
227.1MiB live, 15 030.3MiB allocated
Algorithm
71×egg-herbie
Rules
351 608×lower-fma.f32
351 528×lower-fma.f64
176 302×lower-*.f32
176 042×lower-*.f64
87 864×lower-+.f32
Stop Event
91×iter limit
38×node limit
35×saturated
Counts
10 152 → 9 994

sample11.4s (16.4%)

Memory
221.3MiB live, 12 034.2MiB allocated
Samples
6.9s70 120×0valid
922.0ms4 174×2valid
527.0ms1 901×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-mult: 1.8s (32.8% of total)
ival-div: 1.2s (22.1% of total)
ival-sub: 865.0ms (15.4% of total)
ival-sqrt: 392.0ms (7% of total)
ival-neg: 293.0ms (5.2% of total)
ival-add: 251.0ms (4.5% of total)
ival-fabs: 116.0ms (2.1% of total)
ival-log: 114.0ms (2% of total)
ival->=: 103.0ms (1.8% of total)
adjust: 100.0ms (1.8% of total)
ival-if: 96.0ms (1.7% of total)
ival-exp: 74.0ms (1.3% of total)
ival-true: 52.0ms (0.9% of total)
exact: 52.0ms (0.9% of total)
ival-assert: 28.0ms (0.5% of total)
Bogosity

rewrite10.0s (14.4%)

Memory
268.8MiB live, 12 644.5MiB allocated
Rules
120 996×lower-fma.f32
120 916×lower-fma.f64
110 650×lower-/.f32
110 416×lower-/.f64
109 666×lower-*.f32
Stop Event
68×iter limit
29×node limit
2×unsound
1×saturated
Counts
418 → 18 070

soundness8.2s (11.8%)

Memory
-25.0MiB live, 4 862.4MiB allocated
Rules
252 160×lower-fma.f32
252 124×lower-fma.f64
149 728×lower-*.f32
149 634×lower-*.f64
76 700×lower-/.f32
Stop Event
47×iter limit
32×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 5 029 to 2 446 computations (51.4% saved)

prune6.9s (9.8%)

Memory
109.2MiB live, 10 413.0MiB allocated
Counts
34 508 → 430
Compiler

Compiled 21 156 to 10 198 computations (51.8% saved)

eval6.5s (9.4%)

Memory
-56.5MiB live, 10 535.0MiB allocated
Compiler

Compiled 1 301 210 to 83 126 computations (93.6% saved)

localize4.7s (6.7%)

Memory
164.7MiB live, 6 343.2MiB allocated
Samples
1.2s1 047×2valid
1.1s5 774×0valid
627.0ms955×1valid
175.0ms160×3valid
Compiler

Compiled 7 607 to 809 computations (89.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 474.0ms (25.5% of total)
ival-div: 329.0ms (17.7% of total)
adjust: 202.0ms (10.9% of total)
ival-add: 171.0ms (9.2% of total)
ival-sub: 164.0ms (8.8% of total)
ival-if: 115.0ms (6.2% of total)
ival-log: 108.0ms (5.8% of total)
ival-sqrt: 107.0ms (5.8% of total)
ival-fabs: 58.0ms (3.1% of total)
ival-neg: 58.0ms (3.1% of total)
ival-log1p: 14.0ms (0.8% of total)
ival-exp: 11.0ms (0.6% of total)
const: 11.0ms (0.6% of total)
exact: 11.0ms (0.6% of total)
ival->=: 10.0ms (0.5% of total)
ival-e: 6.0ms (0.3% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

preprocess2.4s (3.4%)

Memory
52.1MiB live, 1 645.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 3 720 to 1 060 computations (71.5% saved)

explain2.2s (3.2%)

Memory
-110.1MiB live, 1 811.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2640
-.f64#fcancellation1370
+.f64#fcancellation1142
sqrt.f64#fuflow-rescue760
/.f64#fn/u290
/.f64#fu/n280
-.f64#fnan-rescue230
*.f64(*.f64 (/.f64 x y) z)n*o100
*.f64(*.f64 (/.f64 x y) z)n*u70
/.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))overflow92
↳(*.f64 (*.f64 #s(literal 4 binary64) a) c)overflow21
↳(*.f64 b b)overflow83
Confusion
Predicted +Predicted -
+3099
-2471739
Precision
0.5557553956834532
Recall
0.9716981132075472
Confusion?
Predicted +Predicted MaybePredicted -
+30909
-24711738
Precision?
0.5547576301615799
Recall?
0.9716981132075472
Freqs
test
numberfreq
01748
1431
2117
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
336.0ms3 632×0valid
157.0ms572×2valid
134.0ms326×1valid
30.0ms78×3valid
Compiler

Compiled 1 124 to 300 computations (73.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 375.0ms
ival-div: 115.0ms (30.7% of total)
ival-mult: 90.0ms (24% of total)
ival-sub: 42.0ms (11.2% of total)
adjust: 35.0ms (9.3% of total)
ival-sqrt: 31.0ms (8.3% of total)
ival-add: 16.0ms (4.3% of total)
ival-neg: 11.0ms (2.9% of total)
ival-if: 9.0ms (2.4% of total)
ival-log: 6.0ms (1.6% of total)
ival-fabs: 5.0ms (1.3% of total)
ival-exp: 4.0ms (1.1% of total)
ival-true: 4.0ms (1.1% of total)
ival->=: 3.0ms (0.8% of total)
exact: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.5% of total)

regimes1.6s (2.4%)

Memory
-67.9MiB live, 2 049.5MiB allocated
Counts
1 023 → 100
Calls

26 calls:

232.0ms
x
207.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
156.0ms
(*.f64 x x)
139.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
137.0ms
c
Compiler

Compiled 1 775 to 1 114 computations (37.2% saved)

series1.0s (1.5%)

Memory
-150.4MiB live, 995.5MiB allocated
Counts
418 → 10 152
Calls

1155 calls:

TimeVariablePointExpression
129.0ms
c
@-inf
(/ c (* b b))
81.0ms
b
@inf
(/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
58.0ms
b
@0
(/ 2 (/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) c))
36.0ms
x
@-inf
(log x)
29.0ms
x
@0
(log x)

bsearch499.0ms (0.7%)

Memory
-73.3MiB live, 588.7MiB allocated
Algorithm
24×binary-search
13×left-value
Stop Event
19×narrow-enough
5×predicate-same
Samples
188.0ms2 256×0valid
33.0ms316×0invalid
17.0ms112×2valid
Compiler

Compiled 8 123 to 5 039 computations (38% saved)

Precisions
Click to see histograms. Total time spent on operations: 163.0ms
ival-mult: 55.0ms (33.6% of total)
ival-div: 34.0ms (20.8% of total)
ival-sub: 18.0ms (11% of total)
ival-sqrt: 14.0ms (8.6% of total)
ival-add: 10.0ms (6.1% of total)
ival-neg: 7.0ms (4.3% of total)
ival-if: 6.0ms (3.7% of total)
ival-fabs: 6.0ms (3.7% of total)
ival->=: 5.0ms (3.1% of total)
adjust: 3.0ms (1.8% of total)
ival-true: 2.0ms (1.2% of total)
exact: 2.0ms (1.2% of total)
ival-assert: 1.0ms (0.6% of total)

analyze443.0ms (0.6%)

Memory
72.6MiB live, 738.2MiB 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)

start0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...