Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
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: 24.7min)

localize8.8min (35.5%)

Results
47.4s30610×256valid
49.5s4960×1024valid
9.4s3912×256invalid
4.3min3384×8192exit
15.9s3063×512valid
36.3s2524×2048valid
40.8s688×4096valid
880.0ms87×1024invalid
44.0ms78×256unsamplable
328.0ms63×512invalid
12.9s36×8192valid
58.0ms11×2048invalid
Compiler

Compiled 89434 to 49292 computations (44.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6min
ival-sin: 1.9min (25.2% of total)
ival-cos: 1.8min (24.2% of total)
ival-mult: 1.2min (15.8% of total)
ival-pow: 1.0min (13.4% of total)
ival-div: 29.7s (6.5% of total)
<compiled-spec>: 17.7s (3.9% of total)
ival-log: 9.8s (2.2% of total)
ival-add: 9.3s (2% of total)
ival-exp: 6.5s (1.4% of total)
ival-sqrt: 5.8s (1.3% of total)
ival-sub: 5.8s (1.3% of total)
const: 4.4s (1% of total)
ival-cbrt: 2.7s (0.6% of total)
ival-atan2: 2.4s (0.5% of total)
ival-atan: 1.1s (0.2% of total)
ival-neg: 932.0ms (0.2% of total)
ival-acos: 785.0ms (0.2% of total)
ival-tan: 243.0ms (0.1% of total)
ival-pi: 134.0ms (0% of total)
ival-fabs: 107.0ms (0% of total)
ival-asin: 24.0ms (0% of total)

sample5.9min (23.9%)

Results
50.2s290105×0valid
1.1min118849×1valid
13.0s49689×0unsamplable
4.9s27274×0invalid
54.8s25796×5exit
28.0s11155×2valid
58.1s7861×3valid
2.4s3746×1invalid
22.9s1338×4valid
73.0ms901×0precondition
1.1s853×2invalid
42.0ms51×1unsamplable
16.0ms4×5valid
1.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.5min
ival-sin: 46.4s (17.3% of total)
ival-mult: 35.9s (13.4% of total)
ival-cos: 35.4s (13.2% of total)
ival-pow: 34.6s (12.9% of total)
ival-div: 27.7s (10.3% of total)
backward-pass: 25.6s (9.5% of total)
ival-exp: 18.4s (6.9% of total)
ival-add: 11.3s (4.2% of total)
ival-sub: 8.3s (3.1% of total)
ival-sqrt: 4.9s (1.8% of total)
ival-neg: 4.2s (1.6% of total)
ival-log: 4.1s (1.5% of total)
ival-<: 3.6s (1.3% of total)
const: 3.3s (1.2% of total)
ival-atan2: 691.0ms (0.3% of total)
ival-pi: 690.0ms (0.3% of total)
ival-tan: 609.0ms (0.2% of total)
ival-and: 596.0ms (0.2% of total)
ival-cbrt: 579.0ms (0.2% of total)
ival-acos: 496.0ms (0.2% of total)
ival-atan: 390.0ms (0.1% of total)
ival-asin: 256.0ms (0.1% of total)
ival-<=: 195.0ms (0.1% of total)
ival-fabs: 158.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

eval1.9min (7.8%)

Compiler

Compiled 7474582 to 4343434 computations (41.9% saved)

explain1.8min (7.2%)

Results
9.6s18856×256valid
16.3s3478×1024valid
5.0s2016×512valid
15.4s1472×2048valid
31.8s718×4096valid
14.8s84×8192valid
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-sin: 22.0s (25.4% of total)
ival-cos: 17.6s (20.3% of total)
ival-mult: 15.0s (17.4% of total)
ival-div: 12.6s (14.5% of total)
ival-pow: 12.0s (13.9% of total)
ival-add: 2.0s (2.3% of total)
ival-sub: 1.5s (1.7% of total)
ival-sqrt: 1.1s (1.3% of total)
const: 891.0ms (1% of total)
ival-log: 617.0ms (0.7% of total)
ival-exp: 287.0ms (0.3% of total)
ival-atan2: 260.0ms (0.3% of total)
ival-atan: 206.0ms (0.2% of total)
ival-neg: 142.0ms (0.2% of total)
ival-tan: 137.0ms (0.2% of total)
ival-cbrt: 129.0ms (0.1% of total)
ival-acos: 83.0ms (0.1% of total)
ival-pi: 49.0ms (0.1% of total)
ival-asin: 17.0ms (0% of total)
ival-fabs: 14.0ms (0% of total)

simplify1.3min (5.4%)

Algorithm
238×egg-herbie
Rules
76815×fma-define
56629×associate-*r*
55710×distribute-lft-in
54145×*-commutative
50559×fma-neg
Stop Event
52×saturated
184×node limit
2×unsound
Counts
93494 → 80173

soundness1.1min (4.6%)

Rules
86192×fma-define
61100×log1p-expm1-u
51422×associate-*r*
51122×fma-neg
49182×distribute-lft-in
Stop Event
16×saturated
40×fuel
231×node limit
3×unsound
10×done
Compiler

Compiled 63809 to 37747 computations (40.8% saved)

regimes56.6s (3.8%)

Counts
18579 → 816
Calls

150 calls:

4.7s
phi2
4.7s
lambda1
4.6s
phi1
3.8s
lambda2
2.5s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11018 to 8168 computations (25.9% saved)

prune52.5s (3.5%)

Counts
177128 → 6679
Compiler

Compiled 425850 to 296327 computations (30.4% saved)

rewrite40.4s (2.7%)

Algorithm
188×batch-egg-rewrite
Rules
123109×log1p-expm1-u
88374×expm1-log1p-u
46657×pow1
44774×add-exp-log
42231×add-log-exp
Stop Event
185×node limit
3×unsound
Counts
1785 → 51318

analyze30.8s (2.1%)

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.9s
ival-mult: 5.7s (27.3% of total)
ival-div: 3.5s (16.6% of total)
ival-pow: 3.4s (16.1% of total)
ival-sin: 2.0s (9.7% of total)
ival-cos: 2.0s (9.4% of total)
ival-add: 1.1s (5.5% of total)
ival-sub: 1.1s (5.4% of total)
ival-sqrt: 475.0ms (2.3% of total)
const: 337.0ms (1.6% of total)
ival-<: 282.0ms (1.4% of total)
ival-neg: 256.0ms (1.2% of total)
ival-exp: 164.0ms (0.8% of total)
ival-atan2: 119.0ms (0.6% of total)
ival-tan: 90.0ms (0.4% of total)
ival-pi: 75.0ms (0.4% of total)
ival-log: 58.0ms (0.3% of total)
ival-atan: 53.0ms (0.3% of total)
ival-and: 50.0ms (0.2% of total)
ival-acos: 42.0ms (0.2% of total)
ival-asin: 36.0ms (0.2% of total)
ival-fabs: 33.0ms (0.2% of total)
ival-cbrt: 19.0ms (0.1% of total)
ival-<=: 4.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

series19.7s (1.3%)

Counts
1785 → 42176
Calls

10404 calls:

TimeVariablePointExpression
380.0ms
v
@-inf
(/ (+ e 1) (* v e))
358.0ms
phi2
@inf
(- (exp (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2)))) (* (- phi1 phi2) (- phi1 phi2)))))) 1)
318.0ms
x
@-inf
(- (log 2) (log x))
272.0ms
b
@0
(* (sqrt (+ (* b b) (* (sqrt (* a (* c -3))) (sqrt (* a (* c -3)))))) (/ 1/3 a))
248.0ms
b
@-inf
(* (pow (* a (sqrt b)) 2) b)

bsearch17.9s (1.2%)

Algorithm
262×binary-search
105×left-value
Stop Event
12×predicate-same
250×narrow-enough
Results
4.3s20742×0valid
8.9s9400×1valid
890.0ms1474×2valid
98.0ms936×0invalid
492.0ms672×3valid
Compiler

Compiled 103344 to 77336 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0s
ival-sin: 2.6s (21.9% of total)
ival-mult: 2.0s (16.9% of total)
ival-cos: 1.7s (14.1% of total)
ival-div: 1.3s (10.7% of total)
backward-pass: 1.1s (8.9% of total)
ival-pow: 910.0ms (7.6% of total)
ival-sub: 637.0ms (5.3% of total)
ival-sqrt: 489.0ms (4.1% of total)
ival-add: 447.0ms (3.7% of total)
ival-atan2: 205.0ms (1.7% of total)
const: 143.0ms (1.2% of total)
ival-acos: 118.0ms (1% of total)
ival-atan: 83.0ms (0.7% of total)
ival-exp: 73.0ms (0.6% of total)
ival-neg: 63.0ms (0.5% of total)
ival-pi: 55.0ms (0.5% of total)
ival-log: 44.0ms (0.4% of total)
ival-asin: 19.0ms (0.2% of total)
ival-tan: 9.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)

preprocess14.1s (1%)

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 53358 to 32936 computations (38.3% saved)

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
ival-pow: 5.5s (100% of total)

Profiling

Loading profile data...