Herbie run

Date:Wednesday, June 5th, 2024
Commit:8a54fd57 on main
Hostname:nightly with Racket 8.11.1
Seed:2024157
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: 6.7min)

sample1.6min (23.4%)

Results
43.0s275958×0valid
21.5s54383×1valid
9.6s16323×2valid
1.3s5324×0invalid
421.0ms202×5exit
27.0ms88×3valid
Precisions
Click to see histograms. Total time spent on operations: 52.6s
ival-mult: 11.2s (21.3% of total)
ival-pow: 7.6s (14.4% of total)
ival-sub: 5.2s (9.8% of total)
ival-add: 4.8s (9.1% of total)
ival-<=: 4.1s (7.8% of total)
ival-div: 3.9s (7.5% of total)
...c/correct-round.rkt:168:19: 3.2s (6.1% of total)
adjust: 2.9s (5.4% of total)
ival-sin: 2.0s (3.7% of total)
ival-cos: 1.1s (2% of total)
ival-log: 1.1s (2% of total)
ival-exp: 923.0ms (1.8% of total)
ival-sqrt: 884.0ms (1.7% of total)
ival-neg: 797.0ms (1.5% of total)
const: 721.0ms (1.4% of total)
ival-==: 560.0ms (1.1% of total)
ival-and: 424.0ms (0.8% of total)
ival-assert: 355.0ms (0.7% of total)
ival-true: 281.0ms (0.5% of total)
ival-fma: 259.0ms (0.5% of total)
ival-tan: 199.0ms (0.4% of total)
ival-<: 97.0ms (0.2% of total)
ival-atan: 90.0ms (0.2% of total)
ival-pi: 42.0ms (0.1% of total)
ival-if: 10.0ms (0% of total)
ival-fabs: 9.0ms (0% of total)
Bogosity

simplify1.2min (18.2%)

Algorithm
331×egg-herbie
Rules
106643×fma-define
88776×fmm-def
71440×distribute-lft-in
62192×distribute-rgt-in
55102×times-frac
Stop Event
117×saturated
214×node limit
Counts
74968 → 72605

soundness52.7s (13.1%)

Rules
36959×log1p-expm1-u
36957×fma-define
31112×fmm-def
28897×expm1-log1p-u
27125×distribute-lft-in
Stop Event
9×saturated
143×node limit
24×fuel
18×done
Compiler

Compiled 30613 to 8692 computations (71.6% saved)

localize50.4s (12.5%)

Results
21.3s29993×0valid
9.1s1408×5exit
6.4s3612×1valid
4.0s1576×2valid
764.0ms989×0invalid
480.0ms54×3valid
Compiler

Compiled 29493 to 3583 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.7s
ival-mult: 3.4s (21.5% of total)
adjust: 2.9s (18.3% of total)
ival-pow: 2.4s (15.1% of total)
ival-add: 1.5s (9.8% of total)
ival-div: 1.5s (9.7% of total)
...c/correct-round.rkt:168:19: 769.0ms (4.9% of total)
ival-log1p: 690.0ms (4.4% of total)
ival-sub: 510.0ms (3.3% of total)
ival-expm1: 469.0ms (3% of total)
ival-exp: 425.0ms (2.7% of total)
ival-fma: 330.0ms (2.1% of total)
ival-sqrt: 202.0ms (1.3% of total)
ival-neg: 112.0ms (0.7% of total)
const: 108.0ms (0.7% of total)
ival-sin: 91.0ms (0.6% of total)
ival-true: 63.0ms (0.4% of total)
ival-hypot: 59.0ms (0.4% of total)
ival-cos: 50.0ms (0.3% of total)
ival-assert: 44.0ms (0.3% of total)
ival-cbrt: 42.0ms (0.3% of total)
ival-log: 17.0ms (0.1% of total)
ival-atan: 16.0ms (0.1% of total)
ival-tan: 10.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-e: 4.0ms (0% of total)

rewrite35.8s (8.9%)

Algorithm
142×batch-egg-rewrite
Rules
84630×log1p-expm1-u
66157×expm1-log1p-u
30373×pow1
29601×add-exp-log
27723×add-log-exp
Stop Event
142×node limit
Counts
1506 → 48417

prune22.9s (5.7%)

Counts
106598 → 2203
Compiler

Compiled 80460 to 42058 computations (47.7% saved)

eval21.8s (5.4%)

Compiler

Compiled 2798625 to 397439 computations (85.8% saved)

explain14.6s (3.6%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13512
+.f64#fcancellation36595
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2210
sqrt.f64#foflow-rescue1880
/.f64#fn/o1640
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1591
/.f64#fo/o1550
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1140
-.f64#fnan-rescue880
/.f64#fu/n850
/.f64#fn/u530
/.f64#fu/u460
+.f64#fnan-rescue460
/.f64#fo/n430
*.f64#fn*u350
*.f64#fn*o320
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow35
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue120
Confusion
Predicted +Predicted -
+3640514
-926506
Precision
0.9753483386923901
Recall
0.8762638420799229
Confusion?
Predicted +Predicted MaybePredicted -
+3640174340
-921806326
Precision?
0.9334312285854136
Recall?
0.9181511795859413
Freqs
test
numberfreq
07020
13303
2389
340
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Results
3.4s16328×0valid
2.8s3868×1valid
1.1s1302×2valid
13.0ms6×3valid
Compiler

Compiled 8444 to 1928 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 812.0ms (23.1% of total)
adjust: 570.0ms (16.2% of total)
ival-pow: 400.0ms (11.4% of total)
ival-add: 389.0ms (11.1% of total)
ival-log: 335.0ms (9.5% of total)
ival-sub: 307.0ms (8.7% of total)
ival-div: 281.0ms (8% of total)
ival-sin: 90.0ms (2.6% of total)
ival-cos: 68.0ms (1.9% of total)
...c/correct-round.rkt:168:19: 48.0ms (1.4% of total)
ival-exp: 39.0ms (1.1% of total)
ival-true: 36.0ms (1% of total)
const: 32.0ms (0.9% of total)
ival-sqrt: 28.0ms (0.8% of total)
ival-neg: 25.0ms (0.7% of total)
ival-assert: 24.0ms (0.7% of total)
ival-fma: 16.0ms (0.5% of total)
ival-atan: 5.0ms (0.1% of total)
ival-tan: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess9.5s (2.3%)

Algorithm
42×egg-herbie
Rules
18502×fmm-def
16342×fma-define
9180×sub-neg
8997×unsub-neg
7628×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 21458 to 7258 computations (66.2% saved)

bsearch7.7s (1.9%)

Algorithm
232×binary-search
22×left-value
Stop Event
15×predicate-same
217×narrow-enough
Results
4.1s23271×0valid
1.4s5132×1valid
207.0ms2191×0invalid
118.0ms317×2valid
Compiler

Compiled 72827 to 42359 computations (41.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-mult: 1.2s (32.2% of total)
ival-pow: 635.0ms (16.5% of total)
ival-add: 555.0ms (14.4% of total)
ival-sub: 546.0ms (14.2% of total)
ival-div: 453.0ms (11.8% of total)
adjust: 131.0ms (3.4% of total)
ival-neg: 103.0ms (2.7% of total)
ival-true: 44.0ms (1.1% of total)
const: 38.0ms (1% of total)
ival-exp: 36.0ms (0.9% of total)
ival-sqrt: 33.0ms (0.9% of total)
ival-assert: 32.0ms (0.8% of total)

regimes7.3s (1.8%)

Counts
4693 → 521
Calls

96 calls:

628.0ms
x
524.0ms
d
441.0ms
b
345.0ms
t
328.0ms
c
Compiler

Compiled 4192 to 2560 computations (38.9% saved)

series7.2s (1.8%)

Counts
1506 → 26551
Calls

7050 calls:

TimeVariablePointExpression
188.0ms
x
@0
(* (* x x) (- (- (neg (pow y 6)) (log (+ 1 (- (exp (* 121 (pow y 4))) 1)))) 2))
187.0ms
a
@0
(- (sqrt (* (* a -4) c)) b)
166.0ms
a
@0
(+ b (sqrt (+ (* a (* c -4)) (* b b))))
165.0ms
a
@0
(* (/ 1/2 a) (- (sqrt (+ (* a (* c -4)) (pow b 2))) b))
152.0ms
a
@inf
(/ (neg a) (pow c 3))

analyze5.2s (1.3%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.5%0%1.6%0%5
72.8%38.4%14.4%45.5%0%1.8%0%6
77.8%40.7%11.6%45.5%0%2.2%0%7
81.4%42.5%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.4%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.7%0.1%11
89.1%45.9%5.6%45.5%0%2.9%0.1%12
Compiler

Compiled 1401 to 733 computations (47.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...