Herbie run

Date:Tuesday, March 26th, 2024
Commit:79027280 on main
Hostname:nightly with Racket 8.11.1
Seed:2024086
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: 10.1min)

sample2.8min (27.7%)

Results
58.6s367785×0valid
12.8s71465×0infinite
8.9s20557×1valid
48.8s7732×5exit
3.6s5618×2valid
3.5s5150×1infinite
714.0ms4979×0unsamplable
50.0ms516×0invalid
141.0ms47×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 23.5s (23.3% of total)
ival-mult: 20.8s (20.7% of total)
backward-pass: 11.2s (11.1% of total)
ival-add: 10.3s (10.3% of total)
ival-sub: 8.3s (8.3% of total)
ival-div: 7.2s (7.1% of total)
ival-exp: 3.6s (3.6% of total)
ival-sqrt: 2.2s (2.2% of total)
ival-pow: 2.1s (2.1% of total)
ival-log: 1.9s (1.9% of total)
const: 1.8s (1.8% of total)
ival-asin: 1.7s (1.7% of total)
ival-cos: 1.4s (1.4% of total)
ival-atan2: 804.0ms (0.8% of total)
ival-pi: 799.0ms (0.8% of total)
ival->: 561.0ms (0.6% of total)
ival-neg: 552.0ms (0.5% of total)
ival-<=: 527.0ms (0.5% of total)
ival-acosh: 276.0ms (0.3% of total)
ival-asinh: 244.0ms (0.2% of total)
ival-fabs: 215.0ms (0.2% of total)
ival->=: 189.0ms (0.2% of total)
ival-atanh: 180.0ms (0.2% of total)
ival-and: 92.0ms (0.1% of total)
Bogosity

localize2.4min (24%)

Results
31.6s29477×256valid
3.4s5118×256infinite
4.8s4678×256invalid
20.1s1996×1024valid
6.2s1295×512valid
14.6s1051×8192exit
16.8s867×2048valid
10.9s653×2048infinite
1.2s214×1024infinite
385.0ms102×512infinite
50.0ms78×256unsamplable
48.0ms38×4096valid
5.0ms1×1024unsamplable
Compiler

Compiled 48378 to 27473 computations (43.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-pow: 16.8s (16.5% of total)
ival-mult: 16.4s (16.1% of total)
ival-add: 13.0s (12.7% of total)
composed: 10.9s (10.7% of total)
ival-div: 10.0s (9.8% of total)
ival-sub: 7.5s (7.3% of total)
ival-log: 7.0s (6.9% of total)
ival-asin: 6.1s (6% of total)
ival-exp: 4.6s (4.5% of total)
ival-acos: 2.3s (2.3% of total)
const: 2.2s (2.1% of total)
ival-sqrt: 2.1s (2.1% of total)
ival-cos: 1.1s (1% of total)
ival-sin: 592.0ms (0.6% of total)
ival-neg: 521.0ms (0.5% of total)
ival-cbrt: 478.0ms (0.5% of total)
ival-atan2: 262.0ms (0.3% of total)
ival-fabs: 78.0ms (0.1% of total)
ival-copysign: 74.0ms (0.1% of total)
ival-pi: 55.0ms (0.1% of total)
ival-e: 3.0ms (0% of total)

eval1.2min (12.3%)

Compiler

Compiled 3294294 to 2144528 computations (34.9% saved)

simplify46.6s (7.7%)

Algorithm
218×egg-herbie
Rules
56286×fma-define
51518×fma-neg
50693×distribute-lft-in
45142×distribute-rgt-in
43263×times-frac
Stop Event
57×saturated
156×node limit
5×unsound
Counts
64398 → 58487

soundness42.0s (7%)

Rules
55067×fma-define
49063×fma-neg
39803×log1p-expm1-u
36562×distribute-lft-in
36553×associate-*r*
Stop Event
19×saturated
170×node limit
32×fuel
7×unsound
25×done
Compiler

Compiled 44940 to 26199 computations (41.7% saved)

rewrite32.4s (5.4%)

Algorithm
161×batch-egg-rewrite
Rules
107215×log1p-expm1-u
79947×expm1-log1p-u
33825×pow1
32730×add-exp-log
30165×add-log-exp
Stop Event
153×node limit
8×unsound
Counts
1266 → 39009

prune23.5s (3.9%)

Counts
88956 → 2648
Compiler

Compiled 124721 to 87359 computations (30% saved)

explain22.8s (3.8%)

Results
6.3s21746×256valid
1.9s4352×256infinite
5.0s1538×1024valid
1.5s946×512valid
961.0ms250×2048valid
141.0ms166×1024infinite
93.0ms72×4096valid
33.0ms62×512infinite
67.0ms48×2048infinite
29.0ms4×8192exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.5s
ival-mult: 2.7s (21.2% of total)
ival-add: 2.3s (18.7% of total)
ival-sub: 2.2s (17.4% of total)
ival-div: 1.9s (15.5% of total)
ival-log: 907.0ms (7.2% of total)
ival-pow: 426.0ms (3.4% of total)
composed: 403.0ms (3.2% of total)
const: 397.0ms (3.2% of total)
ival-exp: 304.0ms (2.4% of total)
ival-sqrt: 303.0ms (2.4% of total)
ival-asin: 270.0ms (2.2% of total)
ival-sin: 126.0ms (1% of total)
ival-cos: 107.0ms (0.9% of total)
ival-atan2: 60.0ms (0.5% of total)
ival-neg: 40.0ms (0.3% of total)
ival-fabs: 23.0ms (0.2% of total)
ival-pi: 21.0ms (0.2% of total)
ival-copysign: 19.0ms (0.2% of total)

preprocess14.4s (2.4%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 29808 to 16654 computations (44.1% saved)

series11.6s (1.9%)

Counts
1266 → 25389
Calls

6417 calls:

TimeVariablePointExpression
210.0ms
a
@inf
(/ 1 (sqrt (* (+ a -1/3) 9)))
182.0ms
u1
@-inf
(log (sqrt (* -2 (log u1))))
160.0ms
x.re
@0
(cos (+ (* (log (neg x.im)) y.im) (* (atan2 x.im x.re) y.re)))
156.0ms
x.im
@0
(pow (exp y.im) (atan2 x.im x.re))
137.0ms
re
@-inf
(/ (log 10) (atan2 im re))

regimes10.8s (1.8%)

Counts
5931 → 706
Calls

132 calls:

1.3s
x.re
1.2s
y.im
802.0ms
y.re
699.0ms
re
679.0ms
im
Compiler

Compiled 6083 to 4095 computations (32.7% saved)

bsearch9.3s (1.5%)

Algorithm
301×binary-search
42×left-value
Stop Event
19×predicate-same
282×narrow-enough
Results
4.2s25100×0valid
871.0ms5366×0infinite
1.1s1632×1infinite
208.0ms584×1valid
92.0ms211×2valid
32.0ms35×2infinite
Compiler

Compiled 64156 to 44157 computations (31.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-mult: 1.4s (37.7% of total)
ival-add: 524.0ms (13.8% of total)
ival-sin: 285.0ms (7.5% of total)
ival-exp: 259.0ms (6.8% of total)
ival-sqrt: 254.0ms (6.7% of total)
ival-log: 221.0ms (5.8% of total)
ival-sub: 200.0ms (5.3% of total)
ival-div: 198.0ms (5.2% of total)
backward-pass: 123.0ms (3.2% of total)
ival-atan2: 85.0ms (2.2% of total)
ival-cos: 68.0ms (1.8% of total)
const: 67.0ms (1.8% of total)
ival-fabs: 25.0ms (0.7% of total)
ival-asin: 24.0ms (0.6% of total)
ival-neg: 17.0ms (0.4% of total)
ival-copysign: 12.0ms (0.3% of total)
ival-pi: 6.0ms (0.2% of total)
ival-pow: 4.0ms (0.1% of total)

analyze3.5s (0.6%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 907.0ms (40.7% of total)
ival-add: 348.0ms (15.6% of total)
ival-sub: 205.0ms (9.2% of total)
ival-div: 153.0ms (6.9% of total)
ival-log: 152.0ms (6.8% of total)
ival-sqrt: 117.0ms (5.2% of total)
ival-atan2: 92.0ms (4.1% of total)
ival-pow: 73.0ms (3.3% of total)
ival-exp: 55.0ms (2.5% of total)
const: 46.0ms (2.1% of total)
ival-sin: 24.0ms (1.1% of total)
ival-cos: 15.0ms (0.7% of total)
ival-<=: 14.0ms (0.6% of total)
ival->: 12.0ms (0.5% of total)
ival-pi: 8.0ms (0.4% of total)
ival-neg: 6.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...