Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
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: 4.0min)

localize1.1min (26.5%)

Results
6.8s11345×256valid
4.2s2004×1024valid
15.4s1601×2048valid
1.2s1013×512valid
27.6s973×8192exit
145.0ms164×256unsamplable
55.0ms24×1024invalid
20.0ms14×256invalid
11.0ms8×512invalid
102.0ms6×4096valid
Compiler

Compiled 10022 to 5375 computations (46.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.5s
ival-pow: 9.9s (19.2% of total)
ival-asin: 7.9s (15.3% of total)
ival-log: 6.3s (12.2% of total)
ival-exp: 4.5s (8.7% of total)
ival-acos: 4.2s (8.1% of total)
ival-mult: 4.1s (8% of total)
ival-cbrt: 2.1s (4.1% of total)
<compiled-spec>: 1.9s (3.7% of total)
ival-div: 1.7s (3.4% of total)
ival-cos: 1.7s (3.2% of total)
ival-sub: 1.6s (3.2% of total)
ival-fmod: 1.5s (2.9% of total)
ival-add: 1.3s (2.5% of total)
ival-sin: 785.0ms (1.5% of total)
const: 545.0ms (1.1% of total)
ival-sqrt: 533.0ms (1% of total)
ival-tan: 369.0ms (0.7% of total)
ival-neg: 266.0ms (0.5% of total)
ival-e: 196.0ms (0.4% of total)
ival-sinh: 87.0ms (0.2% of total)
ival-pi: 16.0ms (0% of total)
ival-fabs: 16.0ms (0% of total)
ival-atan: 2.0ms (0% of total)

sample53.0s (22.3%)

Results
9.6s110847×0valid
19.9s54273×1valid
11.9s16490×5exit
510.0ms3968×0invalid
150.0ms1356×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 32.8s
ival-<=: 6.4s (19.6% of total)
backward-pass: 3.6s (10.8% of total)
ival-cos: 3.5s (10.7% of total)
ival-pow: 3.1s (9.4% of total)
ival-mult: 2.2s (6.7% of total)
ival-sqrt: 1.7s (5.1% of total)
ival-log: 1.6s (4.9% of total)
ival-exp: 1.5s (4.6% of total)
ival-add: 1.3s (3.9% of total)
ival-div: 1.2s (3.6% of total)
ival-sin: 1.1s (3.3% of total)
ival-sinh: 967.0ms (3% of total)
ival-fmod: 843.0ms (2.6% of total)
ival-sub: 784.0ms (2.4% of total)
ival-tan: 756.0ms (2.3% of total)
ival-acos: 622.0ms (1.9% of total)
ival-neg: 484.0ms (1.5% of total)
const: 452.0ms (1.4% of total)
ival-and: 189.0ms (0.6% of total)
ival-<: 182.0ms (0.6% of total)
ival-==: 172.0ms (0.5% of total)
ival-or: 80.0ms (0.2% of total)
ival-atan: 52.0ms (0.2% of total)
ival->=: 42.0ms (0.1% of total)
ival->: 39.0ms (0.1% of total)
Bogosity

soundness22.7s (9.6%)

Rules
18937×log1p-expm1-u
17925×fma-define
15012×expm1-log1p-u
13726×times-frac
12795×associate-*r*
Stop Event
6×saturated
65×node limit
13×fuel
2×unsound
7×done
Compiler

Compiled 13233 to 8421 computations (36.4% saved)

prune19.3s (8.1%)

Counts
40267 → 1816
Compiler

Compiled 68948 to 46110 computations (33.1% saved)

simplify18.4s (7.8%)

Algorithm
83×egg-herbie
Rules
21834×fma-define
17224×associate-*r*
16499×distribute-lft-in
16366×fma-neg
15988×times-frac
Stop Event
20×saturated
58×node limit
5×unsound
Counts
25426 → 22582

rewrite18.3s (7.7%)

Algorithm
63×batch-egg-rewrite
Rules
34725×log1p-expm1-u
29203×expm1-log1p-u
15345×pow1
13764×add-exp-log
13493×add-log-exp
Stop Event
63×node limit
Counts
492 → 16459

eval16.3s (6.9%)

Compiler

Compiled 1057429 to 664137 computations (37.2% saved)

analyze7.8s (3.3%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-add: 3.4s (59.2% of total)
ival-cos: 1.1s (18.5% of total)
ival-<=: 265.0ms (4.6% of total)
ival-mult: 143.0ms (2.5% of total)
ival-pow: 132.0ms (2.3% of total)
ival-sin: 125.0ms (2.2% of total)
ival-tan: 118.0ms (2.1% of total)
ival-fmod: 74.0ms (1.3% of total)
ival-neg: 60.0ms (1.1% of total)
ival-div: 50.0ms (0.9% of total)
ival-sub: 49.0ms (0.9% of total)
ival-and: 49.0ms (0.9% of total)
ival-exp: 45.0ms (0.8% of total)
const: 43.0ms (0.8% of total)
ival-==: 29.0ms (0.5% of total)
ival-or: 22.0ms (0.4% of total)
ival-log: 22.0ms (0.4% of total)
ival-sqrt: 17.0ms (0.3% of total)
ival-sinh: 11.0ms (0.2% of total)
ival-<: 9.0ms (0.2% of total)
ival->: 6.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

regimes6.9s (2.9%)

Counts
3247 → 125
Calls

53 calls:

931.0ms
x
876.0ms
b
594.0ms
y
543.0ms
a
409.0ms
z
Compiler

Compiled 1568 to 1117 computations (28.8% saved)

series4.3s (1.8%)

Counts
492 → 8967
Calls

2187 calls:

TimeVariablePointExpression
132.0ms
w
@-inf
(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
132.0ms
l
@0
(pow (pow (sqrt l) (* 2 (pow (exp 2/3) w))) (cbrt (exp w)))
110.0ms
x
@inf
(log (fmod (exp x) (sqrt (cos x))))
101.0ms
lo
@inf
(- (exp (+ (log 2) (* hi (+ (* -1/8 (/ hi (pow lo 2))) (* 1/2 (/ 1 lo)))))) 1)
90.0ms
l
@inf
(pow (pow l (sqrt (exp w))) (sqrt (exp w)))

preprocess3.7s (1.5%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 8492 to 5646 computations (33.5% saved)

explain3.0s (1.3%)

Results
823.0ms7254×256valid
661.0ms1560×1024valid
209.0ms926×512valid
306.0ms376×2048valid
207.0ms124×8192exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 220.0ms (16.1% of total)
ival-log: 173.0ms (12.7% of total)
ival-mult: 135.0ms (9.9% of total)
ival-pow: 117.0ms (8.6% of total)
ival-add: 116.0ms (8.5% of total)
ival-sin: 95.0ms (7% of total)
ival-sqrt: 81.0ms (5.9% of total)
ival-tan: 75.0ms (5.5% of total)
ival-exp: 72.0ms (5.3% of total)
ival-sub: 64.0ms (4.7% of total)
ival-sinh: 58.0ms (4.2% of total)
ival-div: 43.0ms (3.1% of total)
ival-fmod: 40.0ms (2.9% of total)
ival-acos: 40.0ms (2.9% of total)
const: 25.0ms (1.8% of total)
ival-neg: 11.0ms (0.8% of total)
ival-atan: 4.0ms (0.3% of total)

bsearch811.0ms (0.3%)

Algorithm
22×binary-search
1×left-value
Stop Event
22×narrow-enough
Results
410.0ms1701×1valid
155.0ms1387×0valid
Compiler

Compiled 3774 to 2927 computations (22.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 401.0ms
ival-tan: 115.0ms (28.7% of total)
ival-sin: 71.0ms (17.7% of total)
ival-cos: 50.0ms (12.5% of total)
backward-pass: 47.0ms (11.7% of total)
ival-add: 24.0ms (6% of total)
ival-mult: 24.0ms (6% of total)
ival-acos: 20.0ms (5% of total)
ival-div: 18.0ms (4.5% of total)
ival-sub: 11.0ms (2.7% of total)
ival-pow: 11.0ms (2.7% of total)
ival-exp: 5.0ms (1.2% of total)
const: 5.0ms (1.2% of total)
ival-neg: 2.0ms (0.5% of total)

end0.0ms (0%)

Profiling

Loading profile data...