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

localize2.0min (26.7%)

Algorithm
147×egg-herbie
Rules
63191×fma-define
45819×fma-neg
36070×distribute-lft-in
29681×distribute-rgt-in
24907×times-frac
Stop Event
56×saturated
91×node limit
Results
25.1s30783×0valid
19.5s3443×1valid
10.3s1196×2valid
3.1s1189×0invalid
18.1s914×5exit
31.0ms52×0unsamplable
1.6s39×1invalid
203.0ms16×3valid
Compiler

Compiled 33873 to 20926 computations (38.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 14.1s (21.3% of total)
ival-pow: 13.8s (20.9% of total)
backward-pass: 10.0s (15.2% of total)
ival-div: 8.2s (12.5% of total)
ival-add: 6.1s (9.2% of total)
ival-fma: 5.3s (8% of total)
ival-sub: 3.8s (5.7% of total)
const: 1.4s (2% of total)
ival-log1p: 946.0ms (1.4% of total)
ival-exp: 552.0ms (0.8% of total)
ival-cbrt: 419.0ms (0.6% of total)
ival-sqrt: 413.0ms (0.6% of total)
ival-hypot: 245.0ms (0.4% of total)
ival-log: 178.0ms (0.3% of total)
ival-neg: 173.0ms (0.3% of total)
ival-expm1: 154.0ms (0.2% of total)
ival-sin: 86.0ms (0.1% of total)
ival-tan: 56.0ms (0.1% of total)
ival-cos: 54.0ms (0.1% of total)
ival-atan: 33.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

sample1.7min (23.1%)

Results
47.0s276971×0valid
22.4s56939×1valid
8.4s12757×2valid
617.0ms4244×0invalid
163.0ms1003×0unsamplable
1.8s202×5exit
144.0ms85×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 20.3s (32.2% of total)
ival-pow: 7.5s (11.9% of total)
ival-div: 7.1s (11.3% of total)
ival-add: 5.5s (8.8% of total)
backward-pass: 4.5s (7.1% of total)
ival-sub: 4.0s (6.3% of total)
ival-<=: 3.8s (6% of total)
ival-sin: 3.2s (5.1% of total)
const: 1.2s (1.9% of total)
ival-log: 1.1s (1.8% of total)
ival-exp: 929.0ms (1.5% of total)
ival-cos: 875.0ms (1.4% of total)
ival-sqrt: 675.0ms (1.1% of total)
ival-neg: 653.0ms (1% of total)
ival-and: 399.0ms (0.6% of total)
ival-==: 385.0ms (0.6% of total)
ival-fma: 365.0ms (0.6% of total)
ival-tan: 183.0ms (0.3% of total)
ival-<: 151.0ms (0.2% of total)
ival-atan: 101.0ms (0.2% of total)
ival-pi: 37.0ms (0.1% of total)
ival-fabs: 36.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
Bogosity

simplify40.2s (9.1%)

Algorithm
183×egg-herbie
Rules
51158×fma-define
41925×fma-neg
41733×distribute-lft-in
38194×distribute-rgt-in
37224×associate-*r*
Stop Event
43×saturated
140×node limit
Counts
45486 → 48972

soundness39.3s (8.9%)

Rules
44421×fma-define
41846×log1p-expm1-u
35325×fma-neg
30672×expm1-log1p-u
25360×distribute-lft-in
Stop Event
9×saturated
140×node limit
27×fuel
15×done
Compiler

Compiled 27724 to 16168 computations (41.7% saved)

rewrite30.4s (6.8%)

Algorithm
141×batch-egg-rewrite
Rules
98638×log1p-expm1-u
69971×expm1-log1p-u
30311×prod-diff
26736×pow1
25336×add-exp-log
Stop Event
141×node limit
Counts
787 → 29690

eval30.3s (6.8%)

Compiler

Compiled 1835280 to 1231054 computations (32.9% saved)

explain21.2s (4.8%)

Results
5.6s16298×0valid
6.8s4032×1valid
2.8s1160×2valid
262.0ms10×3valid
267.0ms4×5exit
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.8s
ival-mult: 4.2s (32.5% of total)
ival-pow: 2.2s (17.1% of total)
ival-add: 2.0s (15.6% of total)
ival-div: 1.4s (11% of total)
backward-pass: 1.3s (10.1% of total)
ival-sub: 800.0ms (6.3% of total)
const: 276.0ms (2.2% of total)
ival-sin: 225.0ms (1.8% of total)
ival-exp: 125.0ms (1% of total)
ival-log: 88.0ms (0.7% of total)
ival-neg: 87.0ms (0.7% of total)
ival-sqrt: 81.0ms (0.6% of total)
ival-cos: 40.0ms (0.3% of total)
ival-fma: 17.0ms (0.1% of total)
ival-atan: 11.0ms (0.1% of total)
ival-tan: 8.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

prune18.1s (4.1%)

Counts
61441 → 2224
Compiler

Compiled 81008 to 55672 computations (31.3% saved)

analyze11.2s (2.5%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
48.7%25.7%27.1%45.5%0%1.7%0%3
57.8%30.5%22.3%45.5%0%1.8%0%4
71.3%37.5%15.1%45.6%0%1.8%0%5
73%38.4%14.2%45.6%0%1.8%0%6
77.9%40.7%11.5%45.6%0%2.1%0%7
81.5%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-add: 1.5s (18.9% of total)
ival-div: 1.4s (17.6% of total)
ival-mult: 1.1s (14.4% of total)
ival-sqrt: 1.1s (13.6% of total)
ival-pow: 937.0ms (11.9% of total)
ival-sub: 896.0ms (11.4% of total)
ival-fabs: 409.0ms (5.2% of total)
const: 149.0ms (1.9% of total)
ival-<=: 111.0ms (1.4% of total)
ival-exp: 100.0ms (1.3% of total)
ival-if: 60.0ms (0.8% of total)
ival-==: 54.0ms (0.7% of total)
ival-neg: 26.0ms (0.3% of total)
ival-<: 21.0ms (0.3% of total)
ival-and: 15.0ms (0.2% of total)
backward-pass: 10.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-cos: 1.0ms (0% of total)
ival-atan: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

preprocess9.6s (2.2%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 18158 to 10960 computations (39.6% saved)

regimes9.1s (2.1%)

Counts
3676 → 507
Calls

96 calls:

1.2s
b
1.0s
c
667.0ms
a
643.0ms
x
630.0ms
u
Compiler

Compiled 4390 to 3141 computations (28.5% saved)

bsearch8.6s (1.9%)

Algorithm
229×binary-search
25×left-value
Stop Event
14×predicate-same
215×narrow-enough
Results
3.9s24299×0valid
1.4s3475×1valid
128.0ms1832×0invalid
252.0ms146×2valid
4.0ms33×0unsamplable
Compiler

Compiled 49825 to 35961 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1s
ival-mult: 1.5s (35.2% of total)
ival-pow: 705.0ms (17% of total)
ival-div: 638.0ms (15.4% of total)
ival-add: 610.0ms (14.7% of total)
ival-sub: 331.0ms (8% of total)
backward-pass: 211.0ms (5.1% of total)
const: 91.0ms (2.2% of total)
ival-neg: 48.0ms (1.2% of total)
ival-sqrt: 32.0ms (0.8% of total)
ival-exp: 14.0ms (0.3% of total)
ival-pi: 2.0ms (0% of total)

series4.9s (1.1%)

Counts
787 → 15796
Calls

4125 calls:

TimeVariablePointExpression
307.0ms
c
@0
(- (neg (/ (+ 2 (* 2 (+ (/ b a) (/ c a)))) d)) (/ 2 a))
141.0ms
c
@0
(* (pow (cbrt (/ -1/2 a)) 3) (* (* 2 a) (/ c b)))
128.0ms
a
@0
(/ (* c a) (+ (* c c) (* d d)))
109.0ms
d
@inf
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))
108.0ms
b
@-inf
(/ (* d (+ b (* a (/ c d)))) (+ (* c c) (* d d)))

end0.0ms (0%)

Profiling

Loading profile data...