Herbie run

Date:Wednesday, January 31st, 2024
Commit:84d7cf92 on artem-tuning-128start-20-128-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
Parameters:256 points for 4 iterations
Flags:
reduce: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: 11.7min)

eval2.5min (21.1%)

Results
Compiler

Compiled 4287339 to 2950932 computations (31.2% saved)

localize2.3min (19.7%)

Compiler

Compiled 38699 to 21402 computations (44.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-pow, time spent: 29.3s, 27.0% of total-time
Operation ival-mult, time spent: 19.3s, 18.0% of total-time
Operation ival-sub, time spent: 12.6s, 11.0% of total-time
Operation ival-add, time spent: 10.8s, 10.0% of total-time
Operation ival-div, time spent: 10.2s, 9.0% of total-time
Operation ival-tan, time spent: 5.5s, 5.0% of total-time
Operation ival-fma, time spent: 5.4s, 5.0% of total-time
Operation const, time spent: 3.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-asin, time spent: 2.5s, 2.0% of total-time
Operation ival-cos, time spent: 2.1s, 2.0% of total-time
Operation ival-acos, time spent: 1.5s, 1.0% of total-time
Operation ival-log, time spent: 1.4s, 1.0% of total-time
Operation ival-exp, time spent: 874.0ms, 1.0% of total-time
Operation ival-sin, time spent: 508.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 474.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 466.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 461.0ms, 0.0% of total-time
Operation ival-neg, time spent: 276.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 191.0ms, 0.0% of total-time
Operation ival-pi, time spent: 82.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

sample2.2min (18.9%)

Results
53.5s176674×0valid
17.7s65866×0invalid
11.3s42187×0infinite
7.5s14429×1valid
7.5s7987×2valid
5.5s5961×3valid
5.1s5666×2invalid
5.1s5298×4valid
2.1s3102×1invalid
1.9s1545×3invalid
1.7s1020×3infinite
415.0ms763×1infinite
988.0ms644×5valid
468.0ms528×2infinite
1.8s445×4infinite
66.0ms239×0unsamplable
7.0ms6×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 16.9s, 20.0% of total-time
Operation ival-sub, time spent: 13.2s, 16.0% of total-time
Operation ival-div, time spent: 11.7s, 14.0% of total-time
Operation ival-add, time spent: 11.0s, 13.0% of total-time
Operation ival-pow, time spent: 7.5s, 9.0% of total-time
Operation ival-sqrt, time spent: 4.8s, 6.0% of total-time
Operation ival-sin, time spent: 4.6s, 5.0% of total-time
Operation ival-tan, time spent: 4.0s, 5.0% of total-time
Operation ival-exp, time spent: 2.4s, 3.0% of total-time
Operation const, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 2.0% of total-time
Operation ival-acos, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 1.2s, 1.0% of total-time
Operation ival-log, time spent: 730.0ms, 1.0% of total-time
Operation ival-pi, time spent: 595.0ms, 1.0% of total-time
Operation ival-asin, time spent: 230.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 215.0ms, 0.0% of total-time
Operation ival-<, time spent: 106.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 83.0ms, 0.0% of total-time
Operation ival-and, time spent: 16.0ms, 0.0% of total-time
Bogosity

soundness1.3min (11.1%)

Rules
163952×fma-def
134382×times-frac
120254×associate-*r*
89926×associate-*l*
88480×log-prod
Stop Event
2×saturated
310×node limit
4×unsound
Compiler

Compiled 29172 to 18088 computations (38% saved)

regimes46.9s (6.7%)

Counts
7459 → 733
Calls

148 calls:

4.9s
l
2.2s
t
2.0s
EDonor
1.9s
NdChar
1.8s
KbT
Compiler

Compiled 7976 to 6178 computations (22.5% saved)

simplify42.2s (6%)

Algorithm
147×egg-herbie
Rules
93720×fma-def
78888×times-frac
69084×associate-*r*
58872×associate-*l*
57182×log-prod
Stop Event
30×saturated
117×node limit
28×fuel
2×done
Counts
60563 → 47900
Compiler

Compiled 11040 to 7544 computations (31.7% saved)

preprocess26.2s (3.7%)

Algorithm
31×egg-herbie
Rules
40752×fma-def
16598×fma-neg
15324×div-sub
14446×distribute-lft-neg-in
13254×associate-/l*
Stop Event
4×saturated
27×node limit
Compiler

Compiled 50948 to 31352 computations (38.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
Operation ival-mult, time spent: 1.9s, 17.0% of total-time
Operation ival-add, time spent: 1.9s, 17.0% of total-time
Operation ival-sub, time spent: 1.8s, 16.0% of total-time
Operation ival-div, time spent: 1.7s, 15.0% of total-time
Operation ival-pow, time spent: 1.2s, 10.0% of total-time
Operation ival-exp, time spent: 681.0ms, 6.0% of total-time
Operation ival-tan, time spent: 503.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 452.0ms, 4.0% of total-time
Operation ival-sin, time spent: 342.0ms, 3.0% of total-time
Operation const, time spent: 319.0ms, 3.0% of total-time
Operation ival-cos, time spent: 284.0ms, 2.0% of total-time
Operation ival-neg, time spent: 154.0ms, 1.0% of total-time
Operation ival-log, time spent: 90.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 59.0ms, 1.0% of total-time
Operation ival-acos, time spent: 34.0ms, 0.0% of total-time
Operation ival-pi, time spent: 23.0ms, 0.0% of total-time
Operation ival-asin, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite25.1s (3.6%)

Algorithm
117×batch-egg-rewrite
Rules
59115×log1p-expm1-u
43689×expm1-log1p-u
41982×expm1-udef
39080×log1p-udef
32616×log-prod
Stop Event
115×node limit
2×unsound
Counts
1174 → 33645

prune22.5s (3.2%)

Counts
81871 → 2805
Compiler

Compiled 125382 to 89698 computations (28.5% saved)

bsearch20.5s (2.9%)

Algorithm
357×binary-search
64×left-value
Stop Event
10×predicate-same
347×narrow-enough
Results
10.4s32953×0valid
2.1s8137×0invalid
2.1s6892×0infinite
1.1s2018×2valid
652.0ms1670×1valid
548.0ms347×3valid
341.0ms212×4valid
91.0ms160×1infinite
58.0ms92×2invalid
328.0ms56×5valid
129.0ms40×1invalid
27.0ms32×3infinite
30.0ms28×2infinite
15.0ms16×3invalid
Compiler

Compiled 101356 to 78618 computations (22.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
Operation ival-mult, time spent: 2.3s, 20.0% of total-time
Operation ival-add, time spent: 2.2s, 19.0% of total-time
Operation ival-sub, time spent: 1.8s, 16.0% of total-time
Operation ival-div, time spent: 1.6s, 14.0% of total-time
Operation ival-pow, time spent: 1.3s, 11.0% of total-time
Operation ival-sqrt, time spent: 647.0ms, 6.0% of total-time
Operation ival-sin, time spent: 332.0ms, 3.0% of total-time
Operation const, time spent: 270.0ms, 2.0% of total-time
Operation ival-tan, time spent: 243.0ms, 2.0% of total-time
Operation ival-cos, time spent: 241.0ms, 2.0% of total-time
Operation ival-hypot, time spent: 202.0ms, 2.0% of total-time
Operation ival-exp, time spent: 177.0ms, 2.0% of total-time
Operation ival-neg, time spent: 165.0ms, 1.0% of total-time
Operation ival-asin, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze11.7s (1.7%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.3%40.3%48.7%1.8%0%8.1%1.1%7
47.6%41.8%45.9%1.8%0%9.4%1.2%8
50.6%44.1%43.1%1.8%0%9.7%1.2%9
51.7%44.9%41.9%1.8%0%10.1%1.3%10
53.4%46%40.1%1.8%0%10.7%1.3%11
55.2%47.2%38.3%1.8%0%11.3%1.4%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
Operation ival-pow, time spent: 2.8s, 35.0% of total-time
Operation ival-mult, time spent: 1.8s, 23.0% of total-time
Operation ival-div, time spent: 962.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 556.0ms, 7.0% of total-time
Operation ival-add, time spent: 435.0ms, 5.0% of total-time
Operation ival-sub, time spent: 434.0ms, 5.0% of total-time
Operation ival-sin, time spent: 281.0ms, 3.0% of total-time
Operation ival-tan, time spent: 195.0ms, 2.0% of total-time
Operation const, time spent: 137.0ms, 2.0% of total-time
Operation ival-neg, time spent: 82.0ms, 1.0% of total-time
Operation ival-acos, time spent: 81.0ms, 1.0% of total-time
Operation ival-exp, time spent: 77.0ms, 1.0% of total-time
Operation ival-pi, time spent: 44.0ms, 1.0% of total-time
Operation ival-asin, time spent: 41.0ms, 1.0% of total-time
Operation ival-cos, time spent: 40.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-<, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 0.0ms, 0.0% of total-time

series10.3s (1.5%)

Counts
1174 → 26918
Calls

8172 calls:

TimeVariablePointExpression
584.0ms
M
@-inf
(*.f64 (/.f64 M 2) (/.f64 D d))
158.0ms
h
@-inf
(/.f64 (pow.f64 (/.f64 (*.f64 d (sqrt.f64 c0)) D) 2) h)
114.0ms
Om
@inf
(/.f64 (*.f64 2 (*.f64 l l)) Om)
101.0ms
KbT
@0
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 mu (+.f64 EDonor (-.f64 Vef Ec))) KbT))))
97.0ms
v
@0
(pow.f64 (pow.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 (pow.f64 v 2) -5 1) (fma.f64 v v -1))) 1/6) 2) 3)

end19.0ms (0%)

Profiling

Loading profile data...