Herbie run

Date:Monday, April 15th, 2024
Commit:9276f361 on zane-regimes-bug-fix
Hostname:nightly with Racket 8.11.1
Seed:2024106
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.0min)

localize1.6min (23.2%)

Results
21.6s27924×0valid
22.3s3191×1valid
13.9s1970×2valid
896.0ms899×0invalid
16.7s457×5exit
2.0s198×3valid
182.0ms142×0unsamplable
56.0ms21×1invalid
44.0ms14×2invalid
Compiler

Compiled 31683 to 19266 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 14.3s (21.8% of total)
ival-pow: 10.8s (16.5% of total)
backward-pass: 10.8s (16.4% of total)
ival-div: 8.3s (12.7% of total)
ival-add: 7.1s (10.8% of total)
ival-fma: 6.0s (9.2% of total)
ival-sub: 4.3s (6.5% of total)
const: 1.3s (2% of total)
ival-exp: 729.0ms (1.1% of total)
ival-sqrt: 401.0ms (0.6% of total)
ival-log: 382.0ms (0.6% of total)
ival-cbrt: 308.0ms (0.5% of total)
ival-sin: 208.0ms (0.3% of total)
ival-tan: 183.0ms (0.3% of total)
ival-cos: 156.0ms (0.2% of total)
ival-neg: 104.0ms (0.2% of total)
ival-hypot: 62.0ms (0.1% of total)
ival-atan: 52.0ms (0.1% of total)
ival-expm1: 36.0ms (0.1% of total)
ival-log1p: 36.0ms (0.1% of total)
ival-fabs: 21.0ms (0% of total)
ival-pi: 6.0ms (0% of total)
ival-e: 4.0ms (0% of total)

sample1.4min (20.7%)

Results
36.0s276636×0valid
19.2s57006×1valid
7.5s13048×2valid
446.0ms4246×0invalid
143.0ms967×0unsamplable
2.9s202×5exit
19.0ms62×3valid
Precisions
Click to see histograms. Total time spent on operations: 51.3s
ival-mult: 11.7s (22.9% of total)
ival-pow: 6.9s (13.4% of total)
ival-add: 6.6s (12.9% of total)
ival-div: 5.3s (10.3% of total)
backward-pass: 3.7s (7.2% of total)
ival-<=: 3.5s (6.9% of total)
ival-sub: 3.4s (6.7% of total)
ival-sin: 3.0s (5.8% of total)
const: 1.3s (2.5% of total)
ival-cos: 1.2s (2.3% of total)
ival-exp: 1.0s (2% of total)
ival-log: 855.0ms (1.7% of total)
ival-sqrt: 606.0ms (1.2% of total)
ival-neg: 461.0ms (0.9% of total)
ival-and: 406.0ms (0.8% of total)
ival-tan: 359.0ms (0.7% of total)
ival-==: 281.0ms (0.5% of total)
ival-fma: 270.0ms (0.5% of total)
ival-atan: 168.0ms (0.3% of total)
ival-<: 111.0ms (0.2% of total)
ival-fabs: 77.0ms (0.1% of total)
ival-pi: 69.0ms (0.1% of total)
ival-if: 12.0ms (0% of total)
Bogosity

eval45.6s (10.9%)

Compiler

Compiled 2964998 to 2027636 computations (31.6% saved)

simplify42.5s (10.1%)

Algorithm
168×egg-herbie
Rules
47664×fma-define
36911×distribute-lft-in
36580×fma-neg
34522×*-commutative
33467×distribute-rgt-in
Stop Event
42×saturated
126×node limit
Counts
56509 → 54348

soundness33.0s (7.9%)

Rules
46388×fma-define
29872×log1p-expm1-u
28973×fma-neg
26524×distribute-lft-in
26120×distribute-rgt-in
Stop Event
7×saturated
137×node limit
22×fuel
20×done
Compiler

Compiled 30813 to 18596 computations (39.6% saved)

rewrite28.1s (6.7%)

Algorithm
126×batch-egg-rewrite
Rules
72323×log1p-expm1-u
56967×expm1-log1p-u
26246×pow1
25397×add-exp-log
23830×add-log-exp
Stop Event
126×node limit
Counts
1005 → 35733

prune21.4s (5.1%)

Counts
88351 → 2003
Compiler

Compiled 74991 to 52200 computations (30.4% saved)

explain19.6s (4.7%)

Results
4.9s16240×0valid
6.9s4066×1valid
2.8s1188×2valid
71.0ms6×3valid
113.0ms4×5exit
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 3.7s (30.7% of total)
ival-pow: 2.1s (17.5% of total)
ival-div: 1.6s (13.6% of total)
backward-pass: 1.6s (13.1% of total)
ival-add: 1.5s (12% of total)
ival-sub: 788.0ms (6.5% of total)
const: 281.0ms (2.3% of total)
ival-sin: 138.0ms (1.1% of total)
ival-neg: 108.0ms (0.9% of total)
ival-exp: 95.0ms (0.8% of total)
ival-log: 59.0ms (0.5% of total)
ival-sqrt: 51.0ms (0.4% of total)
ival-cos: 34.0ms (0.3% of total)
ival-fma: 18.0ms (0.1% of total)
ival-atan: 9.0ms (0.1% of total)
ival-tan: 8.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

bsearch12.6s (3%)

Algorithm
295×binary-search
13×left-value
Stop Event
22×predicate-same
273×narrow-enough
Results
7.1s30510×0valid
1.7s4966×1valid
118.0ms1698×0invalid
209.0ms396×2valid
6.0ms44×0unsamplable
Compiler

Compiled 85835 to 61983 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-mult: 2.8s (37.8% of total)
ival-div: 1.1s (15.4% of total)
ival-add: 1.1s (14.8% of total)
ival-sub: 1.1s (14.3% of total)
ival-pow: 779.0ms (10.5% of total)
const: 174.0ms (2.3% of total)
backward-pass: 159.0ms (2.1% of total)
ival-neg: 83.0ms (1.1% of total)
ival-exp: 79.0ms (1.1% of total)
ival-sqrt: 36.0ms (0.5% of total)
ival-pi: 4.0ms (0.1% of total)

analyze10.6s (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.3s
ival-mult: 1.3s (18% of total)
ival-add: 1.3s (17.6% of total)
ival-pow: 1.1s (15.7% of total)
ival-sqrt: 896.0ms (12.3% of total)
ival-div: 895.0ms (12.3% of total)
ival-sub: 773.0ms (10.6% of total)
ival-fabs: 353.0ms (4.8% of total)
const: 146.0ms (2% of total)
ival-exp: 98.0ms (1.3% of total)
ival-if: 97.0ms (1.3% of total)
ival-==: 87.0ms (1.2% of total)
ival-<=: 83.0ms (1.1% of total)
ival-<: 68.0ms (0.9% of total)
ival-neg: 25.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)

preprocess9.7s (2.3%)

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 24156 to 14874 computations (38.4% saved)

regimes6.5s (1.6%)

Counts
4385 → 589
Calls

94 calls:

855.0ms
x
572.0ms
b
541.0ms
c
379.0ms
x1
342.0ms
a
Compiler

Compiled 4006 to 2849 computations (28.9% saved)

series5.2s (1.2%)

Counts
1005 → 20776
Calls

5241 calls:

TimeVariablePointExpression
181.0ms
eps
@-inf
(pow (cbrt (* (pow x 4) (* eps 5))) 3)
88.0ms
n
@inf
(/ (+ (* (pow (+ 1 (/ i n)) n) 100) -100) (/ i n))
67.0ms
a
@inf
(/ (+ (* b c) (* a (neg d))) (sqrt (+ (* c c) (* d d))))
64.0ms
b
@0
(log (+ 1 (/ (fabs (+ b (+ (* -2 (* a (/ c b))) b))) (* a 2))))
56.0ms
x
@inf
(* (/ -1 (+ (* x x) -1)) 10)

end0.0ms (0%)

Profiling

Loading profile data...