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: 23.8min)

localize8.3min (34.8%)

Results
42.8s28597×256valid
10.4s4444×256invalid
38.4s3916×1024valid
4.1min3538×8192exit
14.4s2527×512valid
4.4s2484×256infinite
31.3s2370×2048valid
24.8s525×4096valid
3.0s212×1024infinite
5.5s147×1024invalid
2.3s141×2048infinite
894.0ms106×512infinite
2.2s98×512invalid
1.6s40×4096infinite
9.9s35×8192valid
1.1s14×2048invalid
1.2s3×8192infinite
2.0ms2×256unsamplable
Compiler

Compiled 85094 to 46952 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0min
ival-sin: 1.6min (23% of total)
ival-cos: 1.5min (21.6% of total)
ival-mult: 1.2min (16.7% of total)
ival-pow: 1.2min (16.4% of total)
ival-div: 26.0s (6.2% of total)
composed: 17.7s (4.2% of total)
ival-log: 10.5s (2.5% of total)
ival-add: 9.5s (2.3% of total)
ival-exp: 6.5s (1.5% of total)
ival-sqrt: 5.3s (1.2% of total)
ival-sub: 5.0s (1.2% of total)
const: 4.4s (1% of total)
ival-atan2: 3.1s (0.7% of total)
ival-atan: 1.8s (0.4% of total)
ival-cbrt: 1.8s (0.4% of total)
ival-acos: 939.0ms (0.2% of total)
ival-neg: 651.0ms (0.2% of total)
ival-fabs: 526.0ms (0.1% of total)
ival-tan: 177.0ms (0% of total)
ival-pi: 165.0ms (0% of total)
ival-asin: 66.0ms (0% of total)

sample6.2min (25.9%)

Results
52.0s263471×0valid
1.1min112016×1valid
13.2s49689×0unsamplable
3.8s27274×0invalid
6.1s26634×0infinite
56.1s25796×5exit
24.7s10232×2valid
54.4s7300×3valid
6.1s6833×1infinite
2.0s3746×1invalid
23.1s1335×4valid
3.5s923×2infinite
77.0ms901×0precondition
644.0ms853×2invalid
3.9s561×3infinite
44.0ms51×1unsamplable
16.0ms4×5valid
33.0ms3×4infinite
1.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.5min
ival-sin: 45.5s (16.9% of total)
ival-mult: 37.3s (13.8% of total)
ival-cos: 36.1s (13.4% of total)
ival-pow: 33.9s (12.6% of total)
ival-div: 28.4s (10.5% of total)
backward-pass: 25.2s (9.3% of total)
ival-exp: 19.0s (7.1% of total)
ival-add: 11.5s (4.3% of total)
ival-sub: 8.3s (3.1% of total)
ival-log: 4.1s (1.5% of total)
ival-sqrt: 3.9s (1.4% of total)
ival-neg: 3.9s (1.4% of total)
const: 3.6s (1.3% of total)
ival-<: 3.4s (1.3% of total)
ival-pi: 1.2s (0.4% of total)
ival-atan2: 875.0ms (0.3% of total)
ival-tan: 642.0ms (0.2% of total)
ival-and: 639.0ms (0.2% of total)
ival-cbrt: 605.0ms (0.2% of total)
ival-acos: 454.0ms (0.2% of total)
ival-atan: 440.0ms (0.2% of total)
ival-fabs: 214.0ms (0.1% of total)
ival-asin: 204.0ms (0.1% of total)
ival-<=: 192.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

eval2.2min (9.3%)

Compiler

Compiled 6368043 to 3718184 computations (41.6% saved)

explain1.9min (7.8%)

Results
9.6s17428×256valid
14.0s3156×1024valid
4.4s1886×512valid
1.5s1428×256infinite
15.0s1312×2048valid
31.0s682×4096valid
2.1s322×1024infinite
1.9s160×2048infinite
685.0ms130×512infinite
15.0s82×8192valid
1.4s36×4096infinite
514.0ms2×8192infinite
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sin: 23.4s (26.4% of total)
ival-cos: 17.6s (19.9% of total)
ival-mult: 14.6s (16.5% of total)
ival-div: 13.1s (14.7% of total)
ival-pow: 12.4s (14% of total)
ival-add: 2.0s (2.3% of total)
ival-sub: 1.6s (1.9% of total)
const: 939.0ms (1.1% of total)
ival-sqrt: 935.0ms (1.1% of total)
ival-log: 624.0ms (0.7% of total)
ival-atan2: 282.0ms (0.3% of total)
ival-atan: 268.0ms (0.3% of total)
ival-exp: 239.0ms (0.3% of total)
ival-neg: 149.0ms (0.2% of total)
ival-tan: 136.0ms (0.2% of total)
ival-cbrt: 70.0ms (0.1% of total)
ival-acos: 66.0ms (0.1% of total)
ival-pi: 53.0ms (0.1% of total)
ival-asin: 15.0ms (0% of total)
ival-fabs: 14.0ms (0% of total)

prune52.5s (3.7%)

Counts
163049 → 6861
Compiler

Compiled 467878 to 324280 computations (30.7% saved)

regimes49.8s (3.5%)

Counts
17091 → 825
Calls

150 calls:

4.6s
phi1
3.7s
lambda1
3.6s
phi2
3.1s
lambda2
2.6s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11043 to 8191 computations (25.8% saved)

soundness48.2s (3.4%)

Rules
71160×fma-define
60305×log1p-expm1-u
43759×expm1-log1p-u
36188×fma-neg
36165×associate-*r*
Stop Event
13×saturated
39×fuel
201×node limit
11×done
Compiler

Compiled 56273 to 31178 computations (44.6% saved)

simplify46.9s (3.3%)

Algorithm
235×egg-herbie
Rules
72888×fma-define
53825×*-commutative
51485×distribute-lft-in
47243×associate-*r*
46700×distribute-rgt-in
Stop Event
52×saturated
181×node limit
2×unsound
Counts
101285 → 78510

rewrite35.0s (2.5%)

Algorithm
185×batch-egg-rewrite
Rules
121771×log1p-expm1-u
87022×expm1-log1p-u
44816×pow1
43680×add-exp-log
41050×add-log-exp
Stop Event
181×node limit
4×unsound
Counts
1710 → 62339

analyze30.8s (2.2%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.4s
ival-mult: 6.3s (30.7% of total)
ival-pow: 3.0s (14.5% of total)
ival-div: 2.9s (14.3% of total)
ival-cos: 2.2s (10.6% of total)
ival-sin: 2.1s (10.4% of total)
ival-add: 1.1s (5.5% of total)
ival-sub: 772.0ms (3.8% of total)
ival-sqrt: 460.0ms (2.3% of total)
ival-neg: 366.0ms (1.8% of total)
const: 327.0ms (1.6% of total)
ival-<: 238.0ms (1.2% of total)
ival-atan2: 134.0ms (0.7% of total)
ival-fabs: 105.0ms (0.5% of total)
ival-exp: 73.0ms (0.4% of total)
ival-pi: 67.0ms (0.3% of total)
ival-tan: 63.0ms (0.3% of total)
ival-log: 61.0ms (0.3% of total)
ival-and: 53.0ms (0.3% of total)
ival-atan: 49.0ms (0.2% of total)
ival-acos: 35.0ms (0.2% of total)
ival-asin: 35.0ms (0.2% of total)
ival-cbrt: 19.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

series19.2s (1.4%)

Counts
1710 → 38946
Calls

9882 calls:

TimeVariablePointExpression
326.0ms
g
@0
(cbrt (/ (* 2 a) g))
299.0ms
x
@inf
(- (log 2) (log (+ 1 (pow (exp -2) x))))
271.0ms
x
@inf
(log (/ 2 x))
159.0ms
eh
@0
(log (+ 1 (* (cos t) (sin (atan (/ (/ eh ew) (tan t)))))))
145.0ms
R
@-inf
(* lambda2 (- (* R (cos (* 1/2 (+ phi2 phi1)))) (* R (* lambda1 (/ (cos (* 1/2 (+ phi2 phi1))) lambda2)))))

preprocess17.3s (1.2%)

Algorithm
52×egg-herbie
Rules
32328×fma-define
19274×fma-neg
13234×div-sub
11584×unsub-neg
11427×sub-neg
Stop Event
22×saturated
30×node limit
Compiler

Compiled 52900 to 31862 computations (39.8% saved)

bsearch15.9s (1.1%)

Algorithm
305×binary-search
73×left-value
Stop Event
10×predicate-same
295×narrow-enough
Results
5.0s25724×0valid
5.7s7987×1valid
1.0s1589×2valid
151.0ms1305×0invalid
593.0ms696×3valid
165.0ms685×0infinite
122.0ms138×1infinite
26.0ms9×2infinite
20.0ms4×3infinite
3.0ms1×5exit
Compiler

Compiled 90559 to 67388 computations (25.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-sin: 2.0s (20.9% of total)
ival-mult: 1.7s (18% of total)
ival-cos: 1.3s (13.8% of total)
backward-pass: 881.0ms (9.2% of total)
ival-div: 744.0ms (7.8% of total)
ival-sub: 636.0ms (6.7% of total)
ival-pow: 614.0ms (6.4% of total)
ival-sqrt: 363.0ms (3.8% of total)
ival-add: 329.0ms (3.4% of total)
ival-atan2: 170.0ms (1.8% of total)
const: 127.0ms (1.3% of total)
ival-acos: 120.0ms (1.3% of total)
ival-atan: 119.0ms (1.2% of total)
ival-log: 111.0ms (1.2% of total)
ival-exp: 82.0ms (0.9% of total)
ival-pi: 68.0ms (0.7% of total)
ival-tan: 68.0ms (0.7% of total)
ival-neg: 55.0ms (0.6% of total)
ival-asin: 16.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 3.8s (58.3% of total)
ival-add: 2.8s (41.7% of total)

Profiling

Loading profile data...