Herbie run

Date:Thursday, June 13th, 2024
Commit:63d27371 on web-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024165
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.2min)

sample1.3min (21.4%)

Samples
33.5s275 864×0valid
18.4s54 444×1valid
8.2s16 358×2valid
780.0ms202×5exit
717.0ms5 223×0invalid
20.0ms86×3valid
Precisions
Click to see histograms. Total time spent on operations: 44.8s
ival-mult: 10.1s (22.4% of total)
ival-add: 6.0s (13.4% of total)
ival-pow: 4.9s (11% of total)
ival-div: 4.3s (9.5% of total)
...in/eval/compile.rkt:71:19: 3.5s (7.7% of total)
ival-sub: 3.4s (7.6% of total)
ival-sin: 2.7s (5.9% of total)
ival-<=: 2.1s (4.7% of total)
adjust: 1.9s (4.1% of total)
ival-sqrt: 867.0ms (1.9% of total)
ival-log: 866.0ms (1.9% of total)
ival-neg: 818.0ms (1.8% of total)
ival-exp: 755.0ms (1.7% of total)
ival-cos: 610.0ms (1.4% of total)
ival-and: 423.0ms (0.9% of total)
...in/eval/compile.rkt:70:19: 388.0ms (0.9% of total)
ival-atan: 301.0ms (0.7% of total)
ival-fma: 241.0ms (0.5% of total)
ival-==: 202.0ms (0.5% of total)
ival-assert: 191.0ms (0.4% of total)
ival-true: 157.0ms (0.4% of total)
ival-tan: 112.0ms (0.3% of total)
ival-<: 69.0ms (0.2% of total)
ival-pi: 35.0ms (0.1% of total)
ival-if: 7.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

simplify1.2min (19.4%)

Algorithm
328×egg-herbie
Rules
113 510×fma-define
87 968×fmm-def
67 748×distribute-lft-in
58 599×distribute-rgt-in
57 456×times-frac
Stop Event
215×node limit
111×saturated
2×unsound
Counts
73 664 → 70 089

soundness57.0s (15.4%)

Rules
35 615×fma-define
34 400×log1p-expm1-u
31 476×fmm-def
27 803×distribute-lft-in
27 791×expm1-log1p-u
Stop Event
139×node limit
24×fuel
18×done
7×saturated
1×unsound
Compiler

Compiled 29 314 to 8 722 computations (70.2% saved)

rewrite36.6s (9.8%)

Algorithm
140×batch-egg-rewrite
Rules
87 826×log1p-expm1-u
64 380×expm1-log1p-u
29 994×pow1
28 079×add-exp-log
26 420×add-log-exp
Stop Event
140×node limit
Counts
1 497 → 47 706

localize31.5s (8.5%)

Samples
9.8s29 708×0valid
6.2s1 413×5exit
2.7s3 032×1valid
2.5s1 291×2valid
619.0ms1 738×0invalid
280.0ms76×3valid
146.0ms111×1invalid
19.0ms5×4valid
9.0ms2×5valid
Compiler

Compiled 30 712 to 3 470 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.5s
ival-mult: 3.3s (24.5% of total)
adjust: 1.7s (12.9% of total)
ival-div: 1.5s (11% of total)
ival-pow: 1.4s (10.5% of total)
ival-add: 1.4s (10.3% of total)
ival-expm1: 588.0ms (4.4% of total)
ival-sub: 582.0ms (4.3% of total)
ival-fma: 543.0ms (4% of total)
ival-log1p: 502.0ms (3.7% of total)
...in/eval/compile.rkt:71:19: 492.0ms (3.7% of total)
ival-cos: 197.0ms (1.5% of total)
ival-neg: 191.0ms (1.4% of total)
ival-log: 185.0ms (1.4% of total)
ival-cbrt: 144.0ms (1.1% of total)
ival-tan: 125.0ms (0.9% of total)
ival-sqrt: 122.0ms (0.9% of total)
ival-sin: 116.0ms (0.9% of total)
ival-exp: 109.0ms (0.8% of total)
ival-hypot: 63.0ms (0.5% of total)
ival-pi: 53.0ms (0.4% of total)
...in/eval/compile.rkt:70:19: 51.0ms (0.4% of total)
ival-true: 34.0ms (0.3% of total)
ival-assert: 23.0ms (0.2% of total)
ival-atan: 21.0ms (0.2% of total)

prune24.0s (6.5%)

Counts
109 432 → 2 158
Compiler

Compiled 82 379 to 41 257 computations (49.9% saved)

eval23.6s (6.4%)

Compiler

Compiled 3 068 157 to 402 593 computations (86.9% saved)

explain12.3s (3.3%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13600
+.f64#fcancellation37186
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2160
sqrt.f64#foflow-rescue2120
/.f64#fo/o1760
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1740
/.f64#fn/o1490
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1171
-.f64#fnan-rescue890
/.f64#fu/n860
/.f64#fn/u610
/.f64#fu/u490
*.f64#fn*u480
+.f64#fnan-rescue430
/.f64#fo/n400
*.f64#fn*o210
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue190
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow36
↳(/.f64 i n)overflow19
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow19
sqrt.f64#fuflow-rescue120
exp.f64#fsensitivity22
Confusion
Predicted +Predicted -
+3654484
-1286486
Precision
0.9661554732945531
Recall
0.8830352827452875
Confusion?
Predicted +Predicted MaybePredicted -
+3654157327
-1281866300
Precision?
0.9238787878787879
Recall?
0.9209763170613823
Freqs
test
numberfreq
06970
13342
2397
343
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
2.5s16 248×0valid
1.9s3 910×1valid
618.0ms1 336×2valid
12.0ms10×3valid
Compiler

Compiled 8 444 to 1 928 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 768.0ms (27% of total)
ival-div: 515.0ms (18.1% of total)
ival-add: 457.0ms (16.1% of total)
ival-pow: 328.0ms (11.5% of total)
adjust: 237.0ms (8.3% of total)
ival-sub: 161.0ms (5.7% of total)
ival-sin: 95.0ms (3.3% of total)
...in/eval/compile.rkt:71:19: 41.0ms (1.4% of total)
ival-log: 41.0ms (1.4% of total)
ival-exp: 38.0ms (1.3% of total)
ival-cos: 37.0ms (1.3% of total)
ival-sqrt: 25.0ms (0.9% of total)
ival-neg: 24.0ms (0.8% of total)
ival-true: 20.0ms (0.7% of total)
...in/eval/compile.rkt:70:19: 17.0ms (0.6% of total)
ival-fma: 13.0ms (0.5% of total)
ival-assert: 13.0ms (0.5% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.1% of total)
ival-pi: 3.0ms (0.1% of total)

preprocess9.3s (2.5%)

Algorithm
42×egg-herbie
Rules
18 502×fmm-def
16 342×fma-define
9 180×sub-neg
8 997×unsub-neg
7 628×distribute-rgt-in
Stop Event
22×node limit
20×saturated
Compiler

Compiled 20 890 to 7 344 computations (64.8% saved)

bsearch7.6s (2%)

Algorithm
242×binary-search
18×left-value
Stop Event
230×narrow-enough
12×predicate-same
Samples
3.6s23 742×0valid
1.6s4 294×1valid
316.0ms1 820×0invalid
130.0ms300×2valid
Compiler

Compiled 62 031 to 39 187 computations (36.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-mult: 1.2s (29.8% of total)
ival-pow: 700.0ms (17.8% of total)
ival-div: 583.0ms (14.9% of total)
ival-sub: 503.0ms (12.8% of total)
ival-add: 477.0ms (12.2% of total)
adjust: 234.0ms (6% of total)
ival-neg: 107.0ms (2.7% of total)
ival-exp: 53.0ms (1.4% of total)
ival-sqrt: 28.0ms (0.7% of total)
ival-true: 25.0ms (0.6% of total)
...in/eval/compile.rkt:70:19: 21.0ms (0.5% of total)
ival-assert: 17.0ms (0.4% of total)
...in/eval/compile.rkt:71:19: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes7.1s (1.9%)

Counts
4 324 → 536
Calls

96 calls:

629.0ms
x
505.0ms
b
361.0ms
t
346.0ms
a
345.0ms
c
Compiler

Compiled 4 225 to 2 622 computations (37.9% saved)

series6.3s (1.7%)

Counts
1 497 → 25 958
Calls

6972 calls:

TimeVariablePointExpression
284.0ms
i
@inf
(/ (+ (* (pow (/ i n) n) 100) -100) (/ i n))
247.0ms
b
@0
(/ (- (sqrt (+ (* a (* c -4)) (* b b))) b) (* a 2))
212.0ms
t
@0
(sqrt (cbrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
130.0ms
x
@0
(/ (+ x y) (+ (* x x) (* y y)))
95.0ms
a
@inf
(* d (+ a (/ (* a (+ b c)) d)))

analyze4.8s (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 1 401 to 733 computations (47.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...