Herbie run

Date:Tuesday, April 16th, 2024
Commit:cadc9ab3 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024107
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: 12.7min)

eval3.0min (23.7%)

Compiler

Compiled 7916443 to 4605001 computations (41.8% saved)

sample2.8min (21.6%)

Results
58.3s367133×0valid
12.7s71945×0infinite
8.3s20636×1valid
48.6s7845×5exit
3.5s5736×2valid
1.0s5580×0unsamplable
3.3s5136×1infinite
83.0ms507×0invalid
62.0ms56×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 24.8s (24.4% of total)
ival-mult: 20.5s (20.2% of total)
ival-add: 11.1s (10.9% of total)
backward-pass: 11.0s (10.8% of total)
ival-sub: 8.5s (8.4% of total)
ival-div: 7.5s (7.3% of total)
ival-exp: 3.0s (2.9% of total)
ival-log: 2.3s (2.3% of total)
ival-sqrt: 2.2s (2.2% of total)
ival-pow: 2.0s (1.9% of total)
const: 1.8s (1.8% of total)
ival-asin: 1.3s (1.2% of total)
ival-cos: 1.1s (1.1% of total)
ival->: 885.0ms (0.9% of total)
ival-atan2: 850.0ms (0.8% of total)
ival-pi: 563.0ms (0.6% of total)
ival-neg: 461.0ms (0.5% of total)
ival-<=: 436.0ms (0.4% of total)
ival-acosh: 392.0ms (0.4% of total)
ival-asinh: 270.0ms (0.3% of total)
ival->=: 259.0ms (0.3% of total)
ival-fabs: 227.0ms (0.2% of total)
ival-atanh: 153.0ms (0.2% of total)
ival-and: 95.0ms (0.1% of total)
Bogosity

localize2.4min (19%)

Results
34.3s31523×256valid
7.0s7999×256infinite
7.0s4241×256invalid
33.8s2916×1024valid
9.9s1435×512valid
9.4s787×2048valid
6.0s391×8192exit
467.0ms229×256unsamplable
4.3s148×1024invalid
904.0ms70×512invalid
194.0ms57×1024infinite
198.0ms49×4096valid
88.0ms43×512infinite
156.0ms32×2048infinite
Compiler

Compiled 65318 to 35065 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-mult: 23.9s (24.6% of total)
ival-add: 16.3s (16.8% of total)
ival-pow: 13.1s (13.5% of total)
ival-div: 10.8s (11.1% of total)
ival-sub: 9.1s (9.4% of total)
ival-log: 5.2s (5.4% of total)
ival-asin: 4.5s (4.6% of total)
composed: 3.2s (3.3% of total)
const: 2.6s (2.7% of total)
ival-cos: 2.0s (2% of total)
ival-exp: 1.7s (1.8% of total)
ival-acos: 1.4s (1.5% of total)
ival-sqrt: 1.4s (1.4% of total)
ival-sin: 1.1s (1.1% of total)
ival-cbrt: 331.0ms (0.3% of total)
ival-atan2: 222.0ms (0.2% of total)
ival-neg: 104.0ms (0.1% of total)
ival-pi: 91.0ms (0.1% of total)
ival-fabs: 70.0ms (0.1% of total)
ival-copysign: 63.0ms (0.1% of total)
ival-e: 6.0ms (0% of total)
ival-cosh: 3.0ms (0% of total)

soundness54.7s (7.2%)

Rules
67209×fma-define
54297×log1p-expm1-u
44101×fma-neg
43640×distribute-lft-in
40230×distribute-rgt-in
Stop Event
21×saturated
41×fuel
209×node limit
16×done
Compiler

Compiled 76389 to 47140 computations (38.3% saved)

simplify51.3s (6.7%)

Algorithm
237×egg-herbie
Rules
74702×fma-define
58087×*-commutative
57238×distribute-lft-in
52796×fma-neg
52066×distribute-rgt-in
Stop Event
57×saturated
178×node limit
2×unsound
Counts
85809 → 74293

rewrite42.4s (5.5%)

Algorithm
180×batch-egg-rewrite
Rules
114113×log1p-expm1-u
81710×expm1-log1p-u
42298×pow1
41938×add-exp-log
39894×add-log-exp
Stop Event
176×node limit
4×unsound
Counts
1522 → 56834

prune34.4s (4.5%)

Counts
208329 → 3131
Compiler

Compiled 163677 to 108005 computations (34% saved)

explain22.5s (3%)

Results
6.7s21450×256valid
1.8s4714×256infinite
4.5s1594×1024valid
1.4s744×512valid
1.1s266×2048valid
262.0ms214×1024infinite
57.0ms112×512infinite
39.0ms60×4096valid
36.0ms26×2048infinite
11.0ms4×8192exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.7s
ival-mult: 2.9s (25.1% of total)
ival-sub: 2.1s (17.7% of total)
ival-add: 2.0s (16.9% of total)
ival-div: 1.8s (15.3% of total)
ival-log: 577.0ms (4.9% of total)
const: 420.0ms (3.6% of total)
ival-exp: 391.0ms (3.3% of total)
ival-pow: 375.0ms (3.2% of total)
ival-sqrt: 285.0ms (2.4% of total)
ival-asin: 240.0ms (2.1% of total)
composed: 223.0ms (1.9% of total)
ival-sin: 115.0ms (1% of total)
ival-cos: 96.0ms (0.8% of total)
ival-atan2: 62.0ms (0.5% of total)
ival-fabs: 51.0ms (0.4% of total)
ival-neg: 40.0ms (0.3% of total)
ival-pi: 21.0ms (0.2% of total)
ival-copysign: 13.0ms (0.1% of total)

regimes19.5s (2.5%)

Counts
9440 → 978
Calls

132 calls:

3.8s
re
3.3s
im
1.4s
y.re
1.0s
y.im
976.0ms
x
Compiler

Compiled 5970 to 4048 computations (32.2% saved)

preprocess16.5s (2.2%)

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 39784 to 22622 computations (43.1% saved)

bsearch16.2s (2.1%)

Algorithm
498×binary-search
25×left-value
Stop Event
30×predicate-same
468×narrow-enough
Results
6.3s34784×0valid
3.3s17137×0infinite
1.2s3087×1valid
649.0ms1272×1infinite
244.0ms683×2valid
65.0ms61×2infinite
Compiler

Compiled 116765 to 80519 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-mult: 2.6s (34.7% of total)
ival-sin: 1.0s (13.6% of total)
ival-exp: 951.0ms (12.9% of total)
ival-add: 671.0ms (9.1% of total)
ival-sub: 441.0ms (6% of total)
ival-cos: 429.0ms (5.8% of total)
ival-div: 305.0ms (4.1% of total)
ival-sqrt: 250.0ms (3.4% of total)
backward-pass: 233.0ms (3.2% of total)
ival-log: 227.0ms (3.1% of total)
const: 120.0ms (1.6% of total)
ival-atan2: 87.0ms (1.2% of total)
ival-neg: 55.0ms (0.7% of total)
ival-fabs: 27.0ms (0.4% of total)
ival-copysign: 9.0ms (0.1% of total)
ival-pi: 8.0ms (0.1% of total)

series11.6s (1.5%)

Counts
1522 → 28975
Calls

7101 calls:

TimeVariablePointExpression
434.0ms
y.re
@0
(* (log (- 0 x.im)) y.re)
354.0ms
alpha
@0
(/ beta (+ (+ (+ alpha beta) (* 2 i)) 2))
228.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)))
146.0ms
base
@inf
(log (/ (atan2 im re) (log base)))
133.0ms
im
@-inf
(pow (/ (log base) (* (log (+ (* re re) (* im im))) 1/2)) 3)

analyze3.4s (0.4%)

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.1s
ival-mult: 596.0ms (28.1% of total)
ival-add: 379.0ms (17.9% of total)
ival-sub: 271.0ms (12.8% of total)
ival-log: 154.0ms (7.3% of total)
ival-div: 151.0ms (7.1% of total)
ival-sqrt: 113.0ms (5.3% of total)
ival-pow: 103.0ms (4.9% of total)
ival-atan2: 77.0ms (3.6% of total)
ival-exp: 74.0ms (3.5% of total)
ival-pi: 55.0ms (2.6% of total)
ival-sin: 51.0ms (2.4% of total)
const: 48.0ms (2.3% of total)
ival-cos: 15.0ms (0.7% of total)
ival-<=: 11.0ms (0.5% of total)
ival->: 10.0ms (0.5% 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...