Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 8.3min)

sample1.8min (22.1%)

Results
54.5s270513×256valid
7.3s31062×256infinite
10.5s19224×1024valid
17.4s13710×2048valid
3.6s11104×512valid
449.0ms2043×256invalid
5.1s1466×8192exit
187.0ms960×256unsamplable
506.0ms768×4096valid
99.0ms222×512infinite
95.0ms140×1024infinite
13.0ms9×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 12.2s, 20.0% of total-time
Operation ival-pow, time spent: 9.5s, 16.0% of total-time
Operation ival-tan, time spent: 7.1s, 12.0% of total-time
Operation ival-div, time spent: 6.9s, 11.0% of total-time
Operation ival-add, time spent: 5.4s, 9.0% of total-time
Operation ival-sub, time spent: 4.3s, 7.0% of total-time
Operation ival-<=, time spent: 3.7s, 6.0% of total-time
Operation ival-sin, time spent: 2.9s, 5.0% of total-time
Operation ival-cos, time spent: 1.9s, 3.0% of total-time
Operation ival-log, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 935.0ms, 2.0% of total-time
Operation ival-exp, time spent: 857.0ms, 1.0% of total-time
Operation composed, time spent: 618.0ms, 1.0% of total-time
Operation ival-and, time spent: 562.0ms, 1.0% of total-time
Operation ival-neg, time spent: 457.0ms, 1.0% of total-time
Operation ival-==, time spent: 304.0ms, 0.0% of total-time
Operation ival-atan, time spent: 229.0ms, 0.0% of total-time
Operation ival-<, time spent: 124.0ms, 0.0% of total-time
Operation ival-pi, time spent: 46.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 39.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

eval1.6min (19.8%)

Compiler

Compiled 3310193 to 2235685 computations (32.5% saved)

localize1.5min (18.4%)

Compiler

Compiled 30166 to 18067 computations (40.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 18.1s, 30.0% of total-time
Operation ival-pow, time spent: 9.4s, 16.0% of total-time
Operation ival-add, time spent: 9.1s, 15.0% of total-time
Operation ival-div, time spent: 8.6s, 14.0% of total-time
Operation ival-sub, time spent: 4.8s, 8.0% of total-time
Operation composed, time spent: 4.3s, 7.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.2s, 2.0% of total-time
Operation ival-log, time spent: 762.0ms, 1.0% of total-time
Operation ival-tan, time spent: 699.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 480.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 443.0ms, 1.0% of total-time
Operation ival-sin, time spent: 322.0ms, 1.0% of total-time
Operation ival-cos, time spent: 216.0ms, 0.0% of total-time
Operation ival-neg, time spent: 176.0ms, 0.0% of total-time
Operation ival-atan, time spent: 102.0ms, 0.0% of total-time
Operation ival-e, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

simplify38.2s (7.7%)

Algorithm
166×egg-herbie
Rules
91344×fma-define
73450×distribute-lft-in
70334×times-frac
65194×fma-neg
63196×distribute-rgt-in
Stop Event
41×saturated
125×node limit
24×fuel
18×done
Counts
55607 → 54037
Compiler

Compiled 9007 to 6059 computations (32.7% saved)

preprocess31.5s (6.3%)

Algorithm
42×egg-herbie
Rules
37136×fma-define
36960×fma-neg
19878×unsub-neg
18560×sub-neg
15262×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 33217 to 21095 computations (36.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.1s
Operation ival-mult, time spent: 3.6s, 32.0% of total-time
Operation ival-pow, time spent: 1.9s, 17.0% of total-time
Operation ival-div, time spent: 1.6s, 15.0% of total-time
Operation ival-add, time spent: 1.4s, 13.0% of total-time
Operation ival-sub, time spent: 986.0ms, 9.0% of total-time
Operation ival-tan, time spent: 352.0ms, 3.0% of total-time
Operation const, time spent: 322.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 322.0ms, 3.0% of total-time
Operation ival-sin, time spent: 148.0ms, 1.0% of total-time
Operation ival-cos, time spent: 111.0ms, 1.0% of total-time
Operation ival-exp, time spent: 108.0ms, 1.0% of total-time
Operation ival-neg, time spent: 79.0ms, 1.0% of total-time
Operation ival-log, time spent: 61.0ms, 1.0% of total-time
Operation composed, time spent: 32.0ms, 0.0% of total-time
Operation ival-atan, time spent: 25.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness28.6s (5.7%)

Rules
79714×fma-define
53268×fma-neg
51438×distribute-lft-in
49086×times-frac
47744×distribute-rgt-in
Stop Event
8×saturated
126×node limit
Compiler

Compiled 21898 to 13382 computations (38.9% saved)

rewrite25.8s (5.2%)

Algorithm
124×batch-egg-rewrite
Rules
72100×log1p-expm1-u
58193×expm1-log1p-u
44168×prod-diff
38966×log-prod
35360×unpow-prod-down
Stop Event
124×node limit
Counts
975 → 35071

prune23.8s (4.8%)

Counts
90714 → 1872
Compiler

Compiled 68738 to 47399 computations (31% saved)

bsearch18.1s (3.6%)

Algorithm
261×binary-search
23×left-value
Stop Event
16×predicate-same
245×narrow-enough
Results
6.7s22443×256valid
3.6s6393×256infinite
1.4s1701×1024valid
453.0ms1364×512valid
2.4s1177×8192exit
146.0ms803×256invalid
564.0ms510×2048valid
62.0ms99×1024infinite
40.0ms98×512infinite
2.0ms11×256unsamplable
Compiler

Compiled 80425 to 58033 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
Operation ival-mult, time spent: 3.1s, 29.0% of total-time
Operation ival-pow, time spent: 2.8s, 26.0% of total-time
Operation ival-div, time spent: 1.9s, 18.0% of total-time
Operation ival-add, time spent: 1.7s, 16.0% of total-time
Operation ival-sub, time spent: 824.0ms, 8.0% of total-time
Operation const, time spent: 229.0ms, 2.0% of total-time
Operation ival-neg, time spent: 58.0ms, 1.0% of total-time
Operation ival-exp, time spent: 35.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 34.0ms, 0.0% of total-time

regimes15.9s (3.2%)

Counts
4180 → 548
Calls

94 calls:

2.2s
x1
1.6s
c
1.3s
x
1.3s
b
1.0s
x2
Compiler

Compiled 4142 to 2950 computations (28.8% saved)

analyze11.4s (2.3%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.2%40.9%11.4%45.6%0%2.1%0%7
81.8%42.7%9.5%45.7%0%2.1%0%8
84.7%44.1%8%45.7%0%2.2%0%9
86.8%44.9%6.9%45.7%0%2.5%0%10
88.9%45.9%5.7%45.7%0%2.5%0.1%11
89.8%46.3%5.3%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
Operation ival-add, time spent: 1.7s, 22.0% of total-time
Operation ival-mult, time spent: 1.1s, 15.0% of total-time
Operation ival-pow, time spent: 1.0s, 14.0% of total-time
Operation ival-div, time spent: 993.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 963.0ms, 13.0% of total-time
Operation ival-sub, time spent: 865.0ms, 11.0% of total-time
Operation ival-fabs, time spent: 221.0ms, 3.0% of total-time
Operation const, time spent: 191.0ms, 3.0% of total-time
Operation ival-==, time spent: 135.0ms, 2.0% of total-time
Operation ival-exp, time spent: 102.0ms, 1.0% of total-time
Operation ival-<=, time spent: 96.0ms, 1.0% of total-time
Operation ival-neg, time spent: 86.0ms, 1.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-if, time spent: 26.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

series4.3s (0.9%)

Counts
975 → 20536
Calls

5280 calls:

TimeVariablePointExpression
78.0ms
t
@0
(+ (+ 11/6 (/ (+ (/ 1/27 t) -2/9) t)) -1)
41.0ms
b
@0
(/ c (pow b 3))
41.0ms
x
@inf
(cbrt (* x 238732414637843/250000000000000))
34.0ms
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))
31.0ms
x
@0
(pow (E) (cbrt (* 10 (pow x 2))))

end24.0ms (0%)

Profiling

Loading profile data...