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

sample1.1min (27.6%)

Results
10.2s110811×0valid
32.5s47245×1valid
10.0s16697×5exit
3.1s7064×2valid
436.0ms3898×0invalid
129.0ms1368×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 45.8s
ival-sub: 9.5s (20.8% of total)
ival-<=: 5.9s (12.9% of total)
ival-cos: 4.6s (10.1% of total)
ival-add: 4.5s (9.8% of total)
backward-pass: 3.7s (8% of total)
ival-tan: 2.7s (5.8% of total)
ival-pow: 2.6s (5.7% of total)
ival-mult: 2.1s (4.7% of total)
ival-log: 1.7s (3.8% of total)
ival-fmod: 1.6s (3.5% of total)
ival-sin: 1.6s (3.4% of total)
ival-exp: 1.3s (2.9% of total)
ival-sqrt: 1.1s (2.4% of total)
ival-div: 854.0ms (1.9% of total)
ival-acos: 462.0ms (1% of total)
ival-sinh: 423.0ms (0.9% of total)
const: 292.0ms (0.6% of total)
ival-neg: 243.0ms (0.5% of total)
ival-==: 178.0ms (0.4% of total)
ival-<: 150.0ms (0.3% of total)
ival-and: 120.0ms (0.3% of total)
ival-or: 54.0ms (0.1% of total)
ival->=: 52.0ms (0.1% of total)
ival-atan: 51.0ms (0.1% of total)
ival->: 39.0ms (0.1% of total)
Bogosity

localize53.4s (22.2%)

Algorithm
67×egg-herbie
Rules
22357×fma-neg
18815×fma-define
12657×unsub-neg
9219×distribute-lft-in
8508×distribute-rgt-in
Stop Event
37×saturated
30×node limit
Results
6.1s10075×0valid
6.3s4158×1valid
9.6s1831×2valid
5.0s557×5exit
15.0s308×3valid
153.0ms166×0unsamplable
75.0ms57×0invalid
Compiler

Compiled 9334 to 4423 computations (52.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.3s
backward-pass: 11.5s (32.7% of total)
ival-pow: 6.2s (17.5% of total)
ival-mult: 3.5s (10% of total)
ival-cos: 1.7s (4.9% of total)
ival-log: 1.7s (4.7% of total)
ival-div: 1.6s (4.5% of total)
ival-sub: 1.2s (3.4% of total)
ival-asin: 1.1s (3.1% of total)
ival-fmod: 966.0ms (2.7% of total)
ival-add: 895.0ms (2.5% of total)
ival-exp: 840.0ms (2.4% of total)
ival-sin: 685.0ms (1.9% of total)
ival-acos: 590.0ms (1.7% of total)
ival-sqrt: 519.0ms (1.5% of total)
ival-expm1: 493.0ms (1.4% of total)
ival-tan: 484.0ms (1.4% of total)
ival-cbrt: 403.0ms (1.1% of total)
const: 298.0ms (0.8% of total)
ival-fma: 276.0ms (0.8% of total)
ival-neg: 130.0ms (0.4% of total)
ival-sinh: 89.0ms (0.3% of total)
ival-e: 62.0ms (0.2% of total)
ival-log1p: 46.0ms (0.1% of total)
ival-hypot: 38.0ms (0.1% of total)
ival-pi: 9.0ms (0% of total)
ival-atan: 2.0ms (0% of total)

soundness48.0s (20%)

Rules
16738×log1p-expm1-u
14223×expm1-log1p-u
13727×fma-define
11615×fma-neg
10776×associate-*r*
Stop Event
6×saturated
56×node limit
13×fuel
4×unsound
7×done
Compiler

Compiled 10237 to 5412 computations (47.1% saved)

simplify22.2s (9.2%)

Algorithm
86×egg-herbie
Rules
17914×fma-neg
17737×fma-define
14410×times-frac
14202×associate-*r*
13537×distribute-lft-in
Stop Event
24×saturated
56×node limit
6×unsound
Counts
19261 → 18162

rewrite12.6s (5.2%)

Algorithm
66×batch-egg-rewrite
Rules
43633×log1p-expm1-u
35224×expm1-log1p-u
14733×prod-diff
13829×unpow-prod-down
13799×pow1
Stop Event
66×node limit
Counts
296 → 13914

eval10.4s (4.3%)

Compiler

Compiled 533343 to 290647 computations (45.5% saved)

prune8.8s (3.7%)

Counts
25639 → 1592
Compiler

Compiled 56152 to 36092 computations (35.7% saved)

analyze4.0s (1.7%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 329.0ms (18.5% of total)
ival-<=: 316.0ms (17.8% of total)
ival-exp: 200.0ms (11.3% of total)
ival-tan: 127.0ms (7.1% of total)
ival-add: 115.0ms (6.5% of total)
ival-pow: 114.0ms (6.4% of total)
ival-sin: 89.0ms (5% of total)
ival-cos: 66.0ms (3.7% of total)
ival-neg: 56.0ms (3.2% of total)
ival-div: 53.0ms (3% of total)
ival-fmod: 49.0ms (2.8% of total)
ival-and: 46.0ms (2.6% of total)
ival-sub: 40.0ms (2.3% of total)
const: 40.0ms (2.3% of total)
ival-==: 32.0ms (1.8% of total)
ival-or: 23.0ms (1.3% of total)
ival->: 21.0ms (1.2% of total)
ival-sqrt: 19.0ms (1.1% of total)
ival-log: 19.0ms (1.1% of total)
ival-sinh: 11.0ms (0.6% of total)
backward-pass: 8.0ms (0.5% of total)
ival-<: 4.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

preprocess4.0s (1.6%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 4666 to 2816 computations (39.6% saved)

regimes3.7s (1.5%)

Counts
1825 → 120
Calls

53 calls:

701.0ms
x
298.0ms
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
276.0ms
a
213.0ms
r
210.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 1262 to 894 computations (29.2% saved)

explain3.3s (1.4%)

Results
1.2s6750×0valid
772.0ms2944×1valid
180.0ms452×2valid
322.0ms94×5exit
Compiler

Compiled 1135 to 542 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 355.0ms (21.8% of total)
ival-cos: 280.0ms (17.2% of total)
ival-pow: 213.0ms (13.1% of total)
backward-pass: 133.0ms (8.2% of total)
ival-sqrt: 129.0ms (7.9% of total)
ival-sin: 71.0ms (4.4% of total)
ival-log: 68.0ms (4.2% of total)
ival-add: 67.0ms (4.1% of total)
ival-tan: 63.0ms (3.9% of total)
ival-sub: 57.0ms (3.5% of total)
ival-exp: 46.0ms (2.8% of total)
ival-fmod: 39.0ms (2.4% of total)
ival-div: 36.0ms (2.2% of total)
const: 22.0ms (1.3% of total)
ival-acos: 22.0ms (1.3% of total)
ival-sinh: 15.0ms (0.9% of total)
ival-neg: 12.0ms (0.7% of total)
ival-atan: 3.0ms (0.2% of total)

series2.8s (1.2%)

Counts
296 → 5347
Calls

1296 calls:

TimeVariablePointExpression
186.0ms
l
@0
(exp (* (log (pow l (pow (cbrt (exp w)) 2))) (cbrt (exp w))))
116.0ms
x
@-inf
(log (/ (sinh x) x))
106.0ms
l
@0
(/ (pow l (exp w)) (/ (pow (E) (+ w 1)) (E)))
84.0ms
c
@-inf
(/ (/ (cos (* x -2)) (pow c 2)) (* (pow s 2) (pow x 2)))
78.0ms
b
@0
(cos (+ b a))

bsearch963.0ms (0.4%)

Algorithm
27×binary-search
3×left-value
Stop Event
2×predicate-same
25×narrow-enough
Results
174.0ms1800×0valid
391.0ms1368×1valid
122.0ms192×2valid
Compiler

Compiled 5070 to 3622 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 516.0ms
ival-tan: 147.0ms (28.5% of total)
ival-cos: 68.0ms (13.2% of total)
ival-exp: 67.0ms (13% of total)
ival-sin: 50.0ms (9.7% of total)
ival-mult: 44.0ms (8.5% of total)
backward-pass: 38.0ms (7.4% of total)
ival-add: 30.0ms (5.8% of total)
ival-fmod: 22.0ms (4.3% of total)
ival-div: 20.0ms (3.9% of total)
ival-pow: 12.0ms (2.3% of total)
ival-sqrt: 7.0ms (1.4% of total)
ival-sub: 6.0ms (1.2% of total)
const: 4.0ms (0.8% of total)
ival-neg: 4.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...