Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024096
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.9min (29.1%)

Results
59.6s366339×0valid
12.6s72961×0infinite
8.7s20319×1valid
51.9s7872×5exit
3.2s5666×2valid
3.3s5266×1infinite
536.0ms4472×0unsamplable
96.0ms520×0invalid
59.0ms59×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 24.9s (23.8% of total)
ival-mult: 20.4s (19.5% of total)
ival-add: 12.3s (11.8% of total)
backward-pass: 11.3s (10.9% of total)
ival-sub: 8.8s (8.4% of total)
ival-div: 7.2s (6.9% of total)
ival-exp: 3.7s (3.5% of total)
ival-log: 2.5s (2.4% of total)
ival-pow: 2.3s (2.2% of total)
ival-sqrt: 2.1s (2% of total)
const: 1.9s (1.8% of total)
ival-cos: 1.3s (1.2% of total)
ival-asin: 1.2s (1.2% of total)
ival-atan2: 923.0ms (0.9% of total)
ival->: 834.0ms (0.8% of total)
ival-pi: 704.0ms (0.7% of total)
ival-<=: 516.0ms (0.5% of total)
ival-neg: 473.0ms (0.5% of total)
ival-acosh: 278.0ms (0.3% of total)
ival-asinh: 250.0ms (0.2% of total)
ival-fabs: 210.0ms (0.2% of total)
ival->=: 178.0ms (0.2% of total)
ival-atanh: 155.0ms (0.1% of total)
ival-and: 95.0ms (0.1% of total)
Bogosity

localize2.6min (27%)

Results
23.4s27299×256valid
5.0s5345×256infinite
6.3s5219×256invalid
28.6s2432×1024valid
9.6s1391×512valid
27.4s1158×2048valid
20.0s1143×8192exit
1.5s332×256unsamplable
3.8s216×2048infinite
889.0ms134×1024infinite
244.0ms71×4096valid
168.0ms60×512infinite
Compiler

Compiled 46807 to 28032 computations (40.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-mult: 20.5s (17.3% of total)
ival-pow: 19.5s (16.4% of total)
ival-asin: 13.5s (11.4% of total)
ival-add: 13.0s (11% of total)
ival-div: 12.1s (10.2% of total)
composed: 11.4s (9.6% of total)
ival-sub: 8.0s (6.7% of total)
ival-log: 6.2s (5.2% of total)
ival-sqrt: 3.9s (3.3% of total)
ival-exp: 2.9s (2.4% of total)
const: 2.6s (2.2% of total)
ival-sin: 1.6s (1.3% of total)
ival-cos: 1.2s (1% of total)
ival-acos: 711.0ms (0.6% of total)
ival-cbrt: 595.0ms (0.5% of total)
ival-neg: 450.0ms (0.4% of total)
ival-atan2: 333.0ms (0.3% of total)
ival-fabs: 131.0ms (0.1% of total)
ival-copysign: 88.0ms (0.1% of total)
ival-pi: 49.0ms (0% of total)
ival-e: 19.0ms (0% of total)

eval1.1min (10.9%)

Compiler

Compiled 2944452 to 1904736 computations (35.3% saved)

simplify34.6s (5.9%)

Algorithm
215×egg-herbie
Rules
62657×fma-define
46873×*-commutative
44342×distribute-lft-in
43795×fma-neg
40323×times-frac
Stop Event
58×saturated
152×node limit
5×unsound
Counts
71129 → 59364

soundness32.4s (5.5%)

Rules
49859×fma-define
44213×log1p-expm1-u
37056×fma-neg
31049×expm1-log1p-u
30137×distribute-lft-in
Stop Event
19×saturated
156×node limit
30×fuel
27×done
Compiler

Compiled 41674 to 25102 computations (39.8% saved)

rewrite30.5s (5.2%)

Algorithm
158×batch-egg-rewrite
Rules
103776×log1p-expm1-u
75491×expm1-log1p-u
35498×pow1
32809×add-exp-log
32492×prod-diff
Stop Event
154×node limit
4×unsound
Counts
1223 → 47758

prune23.8s (4%)

Counts
85297 → 2755
Compiler

Compiled 145848 to 105460 computations (27.7% saved)

explain23.2s (4%)

Results
7.2s21688×256valid
2.0s4410×256infinite
5.6s1630×1024valid
1.5s838×512valid
175.0ms234×1024infinite
519.0ms224×2048valid
32.0ms70×512infinite
51.0ms70×4096valid
22.0ms18×2048infinite
4.0ms2×8192exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
ival-add: 2.9s (21.3% of total)
ival-mult: 2.7s (20% of total)
ival-sub: 2.2s (16.4% of total)
ival-div: 2.0s (14.7% of total)
ival-log: 1.0s (7.5% of total)
const: 405.0ms (3% of total)
ival-exp: 397.0ms (3% of total)
composed: 378.0ms (2.8% of total)
ival-pow: 375.0ms (2.8% of total)
ival-sqrt: 284.0ms (2.1% of total)
ival-asin: 243.0ms (1.8% of total)
ival-atan2: 178.0ms (1.3% of total)
ival-cos: 172.0ms (1.3% of total)
ival-sin: 105.0ms (0.8% of total)
ival-neg: 84.0ms (0.6% of total)
ival-fabs: 25.0ms (0.2% of total)
ival-pi: 20.0ms (0.1% of total)
ival-copysign: 15.0ms (0.1% of total)

preprocess16.1s (2.7%)

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 29272 to 16696 computations (43% saved)

series10.9s (1.9%)

Counts
1223 → 23371
Calls

6234 calls:

TimeVariablePointExpression
196.0ms
x.re
@0
(* 3 (pow x.re 2))
171.0ms
x.re
@-inf
(log (+ 1 (exp (* y.im (neg (atan2 x.im x.re))))))
138.0ms
re
@-inf
(log (pow (exp (exp re)) (sin im)))
120.0ms
base
@0
(cbrt (/ (atan2 im re) (log base)))
107.0ms
u1
@-inf
(sqrt (* 1/6 (sqrt (* -2 (log u1)))))

regimes10.6s (1.8%)

Counts
5365 → 637
Calls

132 calls:

1.3s
y.re
757.0ms
x.re
716.0ms
im
642.0ms
y.im
584.0ms
x.im
Compiler

Compiled 5349 to 3603 computations (32.6% saved)

bsearch8.0s (1.4%)

Algorithm
265×binary-search
32×left-value
Stop Event
11×predicate-same
254×narrow-enough
Results
3.9s25236×0valid
516.0ms4127×0infinite
704.0ms1254×1infinite
351.0ms951×1valid
42.0ms121×2valid
6.0ms7×2infinite
Compiler

Compiled 61223 to 42786 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 1.2s (35.9% of total)
ival-add: 543.0ms (16.5% of total)
ival-div: 240.0ms (7.3% of total)
ival-log: 236.0ms (7.2% of total)
ival-sin: 192.0ms (5.8% of total)
ival-sub: 171.0ms (5.2% of total)
ival-exp: 139.0ms (4.2% of total)
ival-sqrt: 136.0ms (4.1% of total)
ival-cos: 120.0ms (3.6% of total)
backward-pass: 117.0ms (3.6% of total)
ival-atan2: 79.0ms (2.4% of total)
const: 72.0ms (2.2% of total)
ival-fabs: 23.0ms (0.7% of total)
ival-copysign: 19.0ms (0.6% of total)
ival-neg: 15.0ms (0.5% of total)
ival-pow: 6.0ms (0.2% of total)
ival-pi: 3.0ms (0.1% of total)

analyze4.0s (0.7%)

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.5s
ival-mult: 636.0ms (25.3% of total)
ival-sub: 490.0ms (19.5% of total)
ival-add: 375.0ms (14.9% of total)
ival-log: 286.0ms (11.4% of total)
ival-div: 143.0ms (5.7% of total)
ival-pow: 129.0ms (5.1% of total)
ival-sqrt: 126.0ms (5% of total)
ival->: 77.0ms (3.1% of total)
ival-atan2: 73.0ms (2.9% of total)
ival-exp: 55.0ms (2.2% of total)
const: 49.0ms (2% of total)
ival-sin: 29.0ms (1.2% of total)
ival-cos: 15.0ms (0.6% of total)
ival-<=: 10.0ms (0.4% of total)
ival-pi: 8.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...