Herbie run

Date:Monday, August 19th, 2024
Commit:2d359425 on main
Hostname:nightly with Racket 8.11.1
Seed:2024232
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)

simplify15.4s (19.6%)

Memory
218.1MiB live, 15 513.2MiB allocated
Algorithm
73×egg-herbie
Rules
418 946×lower-fma.f32
418 860×lower-fma.f64
186 514×lower-*.f32
186 226×lower-*.f64
99 666×lower-+.f32
Stop Event
94×iter limit
41×node limit
34×saturated
Counts
10 116 → 9 957

prune11.1s (14.1%)

Memory
44.5MiB live, 13 792.0MiB allocated
Counts
35 572 → 441
Compiler

Compiled 21 594 to 10 385 computations (51.9% saved)

soundness10.8s (13.7%)

Memory
3.1MiB live, 5 454.9MiB allocated
Rules
284 686×lower-fma.f32
284 622×lower-fma.f64
175 410×lower-*.f32
175 210×lower-*.f64
100 854×lower-/.f32
Stop Event
58×iter limit
37×node limit
5×fuel
4×done
2×saturated
Compiler

Compiled 6 391 to 3 105 computations (51.4% saved)

rewrite10.1s (12.9%)

Memory
79.9MiB live, 12 902.5MiB allocated
Rules
133 928×lower-fma.f32
133 842×lower-fma.f64
119 436×lower-/.f32
119 200×lower-/.f64
114 754×lower-*.f32
Stop Event
69×iter limit
30×node limit
2×unsound
1×saturated
Counts
423 → 18 536

sample10.1s (12.9%)

Memory
120.7MiB live, 12 099.8MiB allocated
Samples
6.1s70 212×0valid
693.0ms4 084×2valid
224.0ms1 872×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.5s (29.4% of total)
ival-div: 1.2s (24.5% of total)
ival-sub: 756.0ms (15.2% of total)
ival-sqrt: 365.0ms (7.3% of total)
ival-neg: 243.0ms (4.9% of total)
ival-add: 215.0ms (4.3% of total)
ival-log: 126.0ms (2.5% of total)
adjust: 117.0ms (2.4% of total)
ival-fabs: 114.0ms (2.3% of total)
ival-if: 79.0ms (1.6% of total)
ival-exp: 72.0ms (1.4% of total)
ival->=: 69.0ms (1.4% of total)
ival-true: 54.0ms (1.1% of total)
exact: 54.0ms (1.1% of total)
ival-assert: 29.0ms (0.6% of total)
Bogosity

eval7.1s (9.1%)

Memory
88.2MiB live, 10 217.5MiB allocated
Compiler

Compiled 1 341 490 to 84 096 computations (93.7% saved)

localize5.1s (6.6%)

Memory
-199.0MiB live, 5 711.2MiB allocated
Samples
1.7s6 590×0valid
758.0ms818×2valid
715.0ms674×1valid
219.0ms110×3valid
Compiler

Compiled 7 800 to 838 computations (89.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-div: 601.0ms (29.3% of total)
ival-mult: 536.0ms (26.1% of total)
ival-sub: 233.0ms (11.3% of total)
ival-add: 164.0ms (8% of total)
adjust: 136.0ms (6.6% of total)
ival-sqrt: 105.0ms (5.1% of total)
ival-if: 65.0ms (3.2% of total)
ival-neg: 47.0ms (2.3% of total)
ival->=: 39.0ms (1.9% of total)
ival-log: 39.0ms (1.9% of total)
ival-fabs: 38.0ms (1.9% of total)
ival-exp: 13.0ms (0.6% of total)
const: 11.0ms (0.5% of total)
exact: 11.0ms (0.5% of total)
ival-true: 7.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)
ival-assert: 4.0ms (0.2% of total)

preprocess2.2s (2.7%)

Memory
122.4MiB live, 1 875.1MiB 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 634 to 1 246 computations (73.1% saved)

explain2.1s (2.7%)

Memory
59.5MiB live, 1 981.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2470
+.f64#fcancellation1221
-.f64#fcancellation1160
sqrt.f64#fuflow-rescue820
/.f64#fu/n300
/.f64#fn/u280
-.f64#fnan-rescue160
*.f64(*.f64 (/.f64 x y) z)n*u80
*.f64#fn*o60
Confusion
Predicted +Predicted -
+29619
-2341755
Precision
0.5584905660377358
Recall
0.9396825396825397
Confusion?
Predicted +Predicted MaybePredicted -
+296019
-23411754
Precision?
0.5574387947269304
Recall?
0.9396825396825397
Freqs
test
numberfreq
01774
1413
2109
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
251.0ms3 684×0valid
226.0ms52×3valid
151.0ms528×2valid
76.0ms344×1valid
Compiler

Compiled 1 124 to 300 computations (73.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 520.0ms
adjust: 236.0ms (45.4% of total)
ival-mult: 72.0ms (13.8% of total)
ival-div: 56.0ms (10.8% of total)
ival-sub: 55.0ms (10.6% of total)
ival-sqrt: 30.0ms (5.8% of total)
ival-add: 15.0ms (2.9% of total)
ival-neg: 12.0ms (2.3% of total)
ival-fabs: 10.0ms (1.9% of total)
ival-if: 9.0ms (1.7% of total)
ival-log: 8.0ms (1.5% of total)
ival-exp: 4.0ms (0.8% of total)
ival-true: 4.0ms (0.8% of total)
ival->=: 3.0ms (0.6% of total)
exact: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)

regimes2.0s (2.6%)

Memory
-65.2MiB live, 2 044.6MiB allocated
Counts
1 150 → 126
Calls

26 calls:

342.0ms
a
235.0ms
x
215.0ms
b
167.0ms
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
167.0ms
(*.f64 x x)
Compiler

Compiled 1 680 to 1 058 computations (37% saved)

series1.3s (1.7%)

Memory
32.8MiB live, 1 397.9MiB allocated
Counts
423 → 10 116
Calls

1155 calls:

TimeVariablePointExpression
31.0ms
x
@0
(log x)
31.0ms
x
@-inf
(log x)
24.0ms
y
@0
(- (/ (+ x 4) y) (* (/ x y) z))
18.0ms
x
@0
(/ (+ (* (* x (+ (* (* x x) (* x (+ (* x (* x 1/6)) 1/2))) x)) (E)) (E)) (* (E) (E)))
16.0ms
a
@0
(/ (+ (neg b) (/ 1 (sqrt (/ 1 (+ (* c (* a -4)) (* b b)))))) (* 2 a))

bsearch565.0ms (0.7%)

Memory
-40.3MiB live, 650.5MiB allocated
Algorithm
42×binary-search
16×left-value
Stop Event
39×narrow-enough
3×predicate-same
Samples
313.0ms2 816×0valid
23.0ms238×0invalid
17.0ms80×2valid
Compiler

Compiled 12 920 to 7 891 computations (38.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 198.0ms
ival-mult: 49.0ms (24.8% of total)
ival-div: 46.0ms (23.2% of total)
ival-add: 42.0ms (21.2% of total)
ival-sub: 20.0ms (10.1% of total)
ival-sqrt: 10.0ms (5.1% of total)
ival-neg: 7.0ms (3.5% of total)
ival-if: 6.0ms (3% of total)
ival-fabs: 6.0ms (3% of total)
ival->=: 4.0ms (2% of total)
exact: 3.0ms (1.5% of total)
adjust: 2.0ms (1% of total)
ival-true: 2.0ms (1% of total)
ival-assert: 1.0ms (0.5% of total)

analyze519.0ms (0.7%)

Memory
-10.2MiB live, 734.4MiB 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.3MiB live, 0.3MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...