Herbie run

Date:Saturday, April 20th, 2024
Commit:2fe50def on faster-localize-cost
Hostname:nightly with Racket 8.11.1
Seed:2024111
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: 9.8min)

sample2.7min (27%)

Results
1.2min439329×0valid
11.5s25610×1valid
43.6s7831×5exit
2.8s5660×2valid
442.0ms4176×0unsamplable
52.0ms534×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-sin: 27.8s (25.4% of total)
ival-mult: 22.0s (20.1% of total)
ival-add: 9.6s (8.8% of total)
backward-pass: 9.3s (8.5% of total)
ival->: 8.5s (7.8% of total)
ival-div: 7.7s (7% of total)
ival-sub: 6.2s (5.7% of total)
ival-exp: 3.0s (2.7% of total)
ival-sqrt: 2.7s (2.5% of total)
ival-log: 2.1s (1.9% of total)
ival-cos: 1.9s (1.8% of total)
ival-pow: 1.5s (1.3% of total)
ival-atan2: 1.3s (1.2% of total)
const: 1.3s (1.2% of total)
ival-asin: 1.3s (1.2% of total)
ival-pi: 741.0ms (0.7% of total)
ival-neg: 450.0ms (0.4% of total)
ival-fabs: 384.0ms (0.4% of total)
ival-<=: 362.0ms (0.3% of total)
ival-asinh: 360.0ms (0.3% of total)
ival-atanh: 354.0ms (0.3% of total)
ival-acosh: 336.0ms (0.3% of total)
ival->=: 142.0ms (0.1% of total)
ival-and: 83.0ms (0.1% of total)
Bogosity

localize2.4min (24.9%)

Algorithm
188×egg-herbie
Rules
95420×fma-define
58371×fma-neg
41168×distribute-lft-in
36033×associate-*r*
33284×distribute-rgt-in
Stop Event
86×saturated
102×node limit
Results
27.7s36895×0valid
7.7s4730×0invalid
36.2s4077×1valid
12.3s1278×2valid
8.2s581×5exit
280.0ms226×0unsamplable
1.4s174×1invalid
849.0ms95×3valid
1.0s69×2invalid
6.0ms2×1unsamplable
4.0ms1×4valid
Compiler

Compiled 48250 to 27201 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 15.3s (19.8% of total)
backward-pass: 10.9s (14.1% of total)
ival-add: 10.7s (13.8% of total)
ival-pow: 9.5s (12.2% of total)
ival-div: 8.3s (10.7% of total)
ival-sub: 6.3s (8.2% of total)
ival-fma: 3.2s (4.2% of total)
ival-log: 2.9s (3.7% of total)
ival-sqrt: 2.4s (3.1% of total)
const: 1.8s (2.3% of total)
ival-asin: 1.6s (2.1% of total)
ival-exp: 1.2s (1.5% of total)
ival-hypot: 946.0ms (1.2% of total)
ival-neg: 507.0ms (0.7% of total)
ival-cbrt: 483.0ms (0.6% of total)
ival-sin: 343.0ms (0.4% of total)
ival-log1p: 325.0ms (0.4% of total)
ival-cos: 252.0ms (0.3% of total)
ival-copysign: 108.0ms (0.1% of total)
ival-atan2: 74.0ms (0.1% of total)
ival-fabs: 71.0ms (0.1% of total)
ival-expm1: 70.0ms (0.1% of total)
ival-acos: 66.0ms (0.1% of total)
ival-pi: 60.0ms (0.1% of total)
ival-e: 3.0ms (0% of total)

soundness52.7s (8.9%)

Rules
66020×fma-define
51776×log1p-expm1-u
49386×fma-neg
43004×expm1-log1p-u
40960×associate-*r*
Stop Event
17×saturated
183×node limit
35×fuel
6×unsound
22×done
Compiler

Compiled 39886 to 22625 computations (43.3% saved)

simplify49.2s (8.4%)

Algorithm
241×egg-herbie
Rules
71394×fma-define
56125×distribute-lft-in
53278×fma-neg
50903×associate-*r*
50449×distribute-rgt-in
Stop Event
59×saturated
176×node limit
6×unsound
Counts
52376 → 54970

rewrite40.5s (6.9%)

Algorithm
184×batch-egg-rewrite
Rules
136427×log1p-expm1-u
104928×expm1-log1p-u
38988×prod-diff
34922×pow1
33293×add-exp-log
Stop Event
180×node limit
4×unsound
Counts
1027 → 33428

eval35.5s (6%)

Compiler

Compiled 2135866 to 1349729 computations (36.8% saved)

prune28.5s (4.8%)

Counts
67664 → 2730
Compiler

Compiled 118597 to 82986 computations (30% saved)

explain22.6s (3.8%)

Results
8.4s25876×0valid
7.2s2742×1valid
922.0ms550×2valid
20.0ms16×5exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.3s
ival-mult: 3.0s (22.4% of total)
ival-add: 2.9s (21.7% of total)
ival-sub: 2.0s (14.7% of total)
backward-pass: 1.8s (13.6% of total)
ival-div: 1.7s (12.7% of total)
ival-log: 417.0ms (3.1% of total)
const: 339.0ms (2.5% of total)
ival-sqrt: 331.0ms (2.5% of total)
ival-exp: 211.0ms (1.6% of total)
ival-pow: 188.0ms (1.4% of total)
ival-cos: 144.0ms (1.1% of total)
ival-asin: 82.0ms (0.6% of total)
ival-sin: 73.0ms (0.5% of total)
ival-pi: 64.0ms (0.5% of total)
ival-atan2: 51.0ms (0.4% of total)
ival-neg: 36.0ms (0.3% of total)
ival-fabs: 25.0ms (0.2% of total)
ival-copysign: 17.0ms (0.1% of total)
ival-log1p: 16.0ms (0.1% of total)

regimes14.7s (2.5%)

Counts
5032 → 720
Calls

132 calls:

2.0s
re
1.8s
y.re
1.5s
im
1.3s
y.im
1.3s
x.re
Compiler

Compiled 6056 to 4041 computations (33.3% saved)

preprocess14.2s (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 29822 to 16580 computations (44.4% saved)

series11.7s (2%)

Counts
1027 → 18948
Calls

5040 calls:

TimeVariablePointExpression
469.0ms
re
@-inf
(cbrt (/ (atan2 im re) (log 10)))
277.0ms
alpha
@0
(/ 1 (* (pow (+ alpha (+ beta 2)) 2) (+ alpha (+ beta 3))))
246.0ms
x
@-inf
(log (- (+ x (/ -1/2 x)) x))
166.0ms
y.im
@-inf
(* (/ (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (pow (exp y.im) (atan2 x.im x.re))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (pow (cbrt (* (atan2 x.im x.re) y.re)) 3))))
135.0ms
z
@-inf
(* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))))

bsearch10.0s (1.7%)

Algorithm
314×binary-search
50×left-value
Stop Event
8×predicate-same
306×narrow-enough
Results
4.9s33177×0valid
1.8s3494×1valid
282.0ms721×2valid
Compiler

Compiled 69247 to 47294 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9s
ival-mult: 2.0s (41.1% of total)
ival-add: 649.0ms (13.3% of total)
ival-sin: 370.0ms (7.6% of total)
ival-sub: 315.0ms (6.5% of total)
ival-exp: 252.0ms (5.2% of total)
ival-log: 243.0ms (5% of total)
ival-sqrt: 232.0ms (4.8% of total)
ival-cos: 227.0ms (4.7% of total)
ival-div: 177.0ms (3.6% of total)
backward-pass: 156.0ms (3.2% of total)
ival-atan2: 109.0ms (2.2% of total)
const: 61.0ms (1.3% of total)
ival-fabs: 25.0ms (0.5% of total)
ival-asin: 23.0ms (0.5% of total)
ival-copysign: 13.0ms (0.3% of total)
ival-neg: 12.0ms (0.2% of total)
ival-pi: 6.0ms (0.1% of total)

analyze3.8s (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%54.1%30.5%13.7%0%1.7%0%2
71.8%58.9%23.1%13.7%0%4.3%0%3
77.7%62.2%17.8%13.7%0%6.2%0%4
83.7%66.9%13%13.7%0%6.3%0%5
85.8%68.4%11.3%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.5%8%13.7%0%6.8%0%8
91.1%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: 766.0ms (35% of total)
ival-add: 297.0ms (13.6% of total)
ival-sub: 216.0ms (9.9% of total)
ival-log: 215.0ms (9.8% of total)
ival-div: 135.0ms (6.2% of total)
ival-atan2: 133.0ms (6.1% of total)
ival-sqrt: 130.0ms (5.9% of total)
ival-exp: 83.0ms (3.8% of total)
ival-pow: 71.0ms (3.2% of total)
const: 41.0ms (1.9% of total)
ival-sin: 29.0ms (1.3% of total)
ival-cos: 21.0ms (1% of total)
ival->: 16.0ms (0.7% of total)
ival-<=: 13.0ms (0.6% of total)
ival-pi: 8.0ms (0.4% of total)
backward-pass: 7.0ms (0.3% of total)
ival-neg: 7.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...