Herbie run

Date:Wednesday, April 17th, 2024
Commit:6204de5a on fpcore-fixes
Hostname:nightly with Racket 8.11.1
Seed:2024108
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: 6.5min)

sample1.5min (22.5%)

Results
38.1s277176×0valid
19.5s56848×1valid
7.8s12657×2valid
358.0ms4192×0invalid
208.0ms1033×0unsamplable
1.7s202×5exit
30.0ms71×3valid
Precisions
Click to see histograms. Total time spent on operations: 52.6s
ival-mult: 13.1s (25% of total)
ival-pow: 7.6s (14.4% of total)
ival-div: 6.6s (12.6% of total)
ival-add: 5.6s (10.7% of total)
ival-sub: 3.8s (7.2% of total)
backward-pass: 3.3s (6.4% of total)
ival-<=: 3.2s (6% of total)
ival-sin: 2.7s (5.1% of total)
const: 1.2s (2.3% of total)
ival-exp: 1.0s (2% of total)
ival-log: 912.0ms (1.7% of total)
ival-sqrt: 794.0ms (1.5% of total)
ival-cos: 764.0ms (1.5% of total)
ival-neg: 443.0ms (0.8% of total)
ival-fma: 412.0ms (0.8% of total)
ival-and: 410.0ms (0.8% of total)
ival-==: 277.0ms (0.5% of total)
ival-<: 124.0ms (0.2% of total)
ival-tan: 116.0ms (0.2% of total)
ival-atan: 81.0ms (0.2% of total)
ival-pi: 42.0ms (0.1% of total)
ival-fabs: 30.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
Bogosity

localize1.3min (19.9%)

Results
22.3s28592×0valid
16.2s2916×1valid
11.7s1571×2valid
853.0ms928×0invalid
6.5s548×5exit
2.7s202×3valid
73.0ms59×0unsamplable
Compiler

Compiled 30389 to 18401 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.6s
ival-mult: 12.7s (25.5% of total)
backward-pass: 7.2s (14.5% of total)
ival-pow: 7.0s (14.1% of total)
ival-div: 7.0s (14% of total)
ival-add: 5.9s (12% of total)
ival-sub: 3.5s (7% of total)
ival-fma: 3.3s (6.6% of total)
const: 1.1s (2.3% of total)
ival-sqrt: 573.0ms (1.2% of total)
ival-exp: 441.0ms (0.9% of total)
ival-cbrt: 209.0ms (0.4% of total)
ival-atan: 136.0ms (0.3% of total)
ival-sin: 132.0ms (0.3% of total)
ival-neg: 100.0ms (0.2% of total)
ival-log: 85.0ms (0.2% of total)
ival-hypot: 62.0ms (0.1% of total)
ival-cos: 59.0ms (0.1% of total)
ival-log1p: 40.0ms (0.1% of total)
ival-expm1: 31.0ms (0.1% of total)
ival-tan: 16.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
ival-pi: 5.0ms (0% of total)
ival-e: 4.0ms (0% of total)

simplify42.4s (10.8%)

Algorithm
165×egg-herbie
Rules
41848×fma-define
35795×distribute-lft-in
33774×times-frac
33367×fma-neg
33342×distribute-rgt-in
Stop Event
42×saturated
121×node limit
2×unsound
Counts
57543 → 54247

eval40.8s (10.4%)

Compiler

Compiled 2512533 to 1698054 computations (32.4% saved)

soundness29.3s (7.5%)

Rules
36329×fma-define
29989×log1p-expm1-u
27302×fma-neg
25314×distribute-lft-in
25295×times-frac
Stop Event
9×saturated
127×node limit
23×fuel
19×done
Compiler

Compiled 30557 to 19645 computations (35.7% saved)

rewrite27.2s (7%)

Algorithm
123×batch-egg-rewrite
Rules
71094×log1p-expm1-u
56770×expm1-log1p-u
26295×pow1
25949×prod-diff
25160×add-exp-log
Stop Event
123×node limit
Counts
1044 → 35388

prune21.3s (5.5%)

Counts
82825 → 1953
Compiler

Compiled 71019 to 49885 computations (29.8% saved)

explain17.8s (4.5%)

Results
4.5s16260×0valid
6.4s4018×1valid
2.3s1208×2valid
145.0ms12×3valid
116.0ms6×5exit
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
ival-mult: 3.4s (30.5% of total)
ival-pow: 1.8s (16% of total)
ival-div: 1.7s (15% of total)
ival-add: 1.4s (12.4% of total)
backward-pass: 1.1s (9.4% of total)
ival-sub: 913.0ms (8.1% of total)
const: 276.0ms (2.5% of total)
ival-neg: 228.0ms (2% of total)
ival-sin: 117.0ms (1% of total)
ival-cos: 103.0ms (0.9% of total)
ival-exp: 96.0ms (0.9% of total)
ival-sqrt: 57.0ms (0.5% of total)
ival-log: 46.0ms (0.4% of total)
ival-fma: 22.0ms (0.2% of total)
ival-atan: 10.0ms (0.1% of total)
ival-tan: 7.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

bsearch10.7s (2.7%)

Algorithm
250×binary-search
9×left-value
Stop Event
21×predicate-same
229×narrow-enough
Results
5.9s26000×0valid
1.5s4502×1valid
234.0ms2130×0invalid
371.0ms330×2valid
12.0ms95×0unsamplable
Compiler

Compiled 68401 to 49061 computations (28.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.2s (33.6% of total)
ival-add: 1.0s (15.9% of total)
ival-div: 1.0s (15.5% of total)
ival-sub: 951.0ms (14.7% of total)
ival-pow: 836.0ms (12.9% of total)
backward-pass: 152.0ms (2.3% of total)
const: 145.0ms (2.2% of total)
ival-exp: 70.0ms (1.1% of total)
ival-neg: 67.0ms (1% of total)
ival-sqrt: 43.0ms (0.7% of total)

analyze10.5s (2.7%)

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.0s
ival-add: 1.2s (17.3% of total)
ival-div: 1.2s (17% of total)
ival-mult: 1.1s (16.2% of total)
ival-pow: 937.0ms (13.3% of total)
ival-sqrt: 854.0ms (12.1% of total)
ival-sub: 785.0ms (11.1% of total)
ival-fabs: 346.0ms (4.9% of total)
const: 140.0ms (2% of total)
ival-<=: 130.0ms (1.8% of total)
ival-exp: 106.0ms (1.5% of total)
ival-if: 55.0ms (0.8% of total)
ival-==: 47.0ms (0.7% of total)
ival-neg: 28.0ms (0.4% of total)
ival-<: 22.0ms (0.3% of total)
ival-and: 16.0ms (0.2% of total)
backward-pass: 11.0ms (0.2% 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)

preprocess10.0s (2.6%)

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 20602 to 13088 computations (36.5% saved)

regimes8.7s (2.2%)

Counts
3990 → 518
Calls

95 calls:

1.0s
x1
904.0ms
b
801.0ms
d
775.0ms
c
500.0ms
a
Compiler

Compiled 3933 to 2811 computations (28.5% saved)

series6.7s (1.7%)

Counts
1044 → 22155
Calls

5598 calls:

TimeVariablePointExpression
375.0ms
c
@-inf
(exp (* (- (log (* a 4)) (log (/ -1 c))) 1/2))
153.0ms
a
@-inf
(/ 2 (+ b (sqrt (+ (* a (* c -4)) (pow b 2)))))
144.0ms
b
@0
(/ b (sqrt (+ (* c c) (* d d))))
140.0ms
c
@-inf
(- (* b (/ -1/2 a)) (* (sqrt (+ (* a (* c -4)) (pow b 2))) (/ 1/2 a)))
131.0ms
d
@inf
(* a (/ d b))

end0.0ms (0%)

Profiling

Loading profile data...