Herbie run

Date:Friday, April 19th, 2024
Commit:a62871db on main
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 10.9min)

localize2.7min (24.9%)

Algorithm
518×egg-herbie
Rules
135309×fma-define
90118×fma-neg
80517×associate-*r/
70966×times-frac
66885×*-commutative
Stop Event
316×saturated
202×node limit
Results
25.6s22741×0valid
7.3s3882×0invalid
10.0s2814×1valid
50.1s1411×5exit
4.8s728×2valid
8.0s673×3valid
191.0ms177×0unsamplable
1.1s79×4valid
302.0ms7×5valid
Compiler

Compiled 36229 to 18440 computations (49.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-tan: 29.8s (31.6% of total)
ival-pow: 20.2s (21.5% of total)
ival-mult: 11.0s (11.7% of total)
ival-div: 6.5s (6.9% of total)
backward-pass: 6.2s (6.6% of total)
ival-add: 3.2s (3.4% of total)
ival-sin: 2.6s (2.7% of total)
ival-fma: 2.3s (2.4% of total)
ival-sqrt: 2.0s (2.2% of total)
ival-sub: 1.5s (1.5% of total)
ival-hypot: 1.4s (1.4% of total)
ival-cos: 1.1s (1.2% of total)
const: 1.1s (1.2% of total)
ival-cbrt: 910.0ms (1% of total)
ival-acos: 870.0ms (0.9% of total)
ival-log: 734.0ms (0.8% of total)
ival-expm1: 607.0ms (0.6% of total)
ival-log1p: 479.0ms (0.5% of total)
ival-exp: 453.0ms (0.5% of total)
ival-asin: 378.0ms (0.4% of total)
ival-pi: 331.0ms (0.4% of total)
ival-neg: 320.0ms (0.3% of total)
ival-atan: 41.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)

sample1.8min (16.6%)

Results
41.6s222674×0valid
11.3s65584×0invalid
14.7s28902×1valid
5.0s9715×1invalid
3.8s6022×3valid
3.2s5817×2valid
2.1s3797×5exit
757.0ms771×4valid
204.0ms379×2invalid
92.0ms232×0unsamplable
8.0ms6×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 18.4s (28.2% of total)
ival-div: 11.4s (17.5% of total)
ival-pow: 6.5s (10% of total)
ival-tan: 3.7s (5.7% of total)
ival-sub: 3.7s (5.7% of total)
ival-add: 3.7s (5.6% of total)
backward-pass: 3.3s (5.1% of total)
ival-sqrt: 3.0s (4.6% of total)
ival-exp: 2.5s (3.8% of total)
ival-sin: 2.1s (3.2% of total)
ival-cos: 1.7s (2.7% of total)
const: 1.1s (1.7% of total)
ival-neg: 958.0ms (1.5% of total)
ival-hypot: 668.0ms (1% of total)
ival-acos: 521.0ms (0.8% of total)
ival-pi: 518.0ms (0.8% of total)
ival-asin: 381.0ms (0.6% of total)
ival-fabs: 357.0ms (0.5% of total)
ival-log: 326.0ms (0.5% of total)
ival-<: 206.0ms (0.3% of total)
ival-atan: 75.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify1.2min (11.2%)

Algorithm
159×egg-herbie
Rules
53989×fma-define
43421×*-commutative
43174×times-frac
33143×distribute-lft-in
31122×associate-*r*
Stop Event
32×saturated
127×node limit
Counts
93100 → 79299

eval59.4s (9.1%)

Compiler

Compiled 3567634 to 2284637 computations (36% saved)

soundness57.3s (8.7%)

Rules
53486×fma-define
49345×log1p-expm1-u
37149×times-frac
36757×expm1-log1p-u
31683×*-commutative
Stop Event
8×saturated
30×fuel
177×node limit
1×unsound
2×done
Compiler

Compiled 50172 to 29740 computations (40.7% saved)

prune41.0s (6.3%)

Counts
114141 → 3410
Compiler

Compiled 165144 to 111885 computations (32.3% saved)

regimes39.4s (6%)

Counts
11907 → 866
Calls

156 calls:

5.8s
l
2.5s
t
1.8s
d
1.7s
F
1.6s
k
Compiler

Compiled 8676 to 6633 computations (23.5% saved)

rewrite32.8s (5%)

Algorithm
127×batch-egg-rewrite
Rules
74855×log1p-expm1-u
53797×expm1-log1p-u
32491×add-exp-log
32169×add-log-exp
32094×pow1
Stop Event
126×node limit
1×unsound
Counts
1841 → 49759

bsearch21.1s (3.2%)

Algorithm
404×binary-search
94×left-value
Stop Event
13×predicate-same
390×narrow-enough
1×predicate-failed
Results
11.3s46986×0valid
2.9s13292×0invalid
1.0s2157×1valid
537.0ms690×2valid
135.0ms231×3valid
35.0ms134×1invalid
7.0ms19×2invalid
Compiler

Compiled 118429 to 90863 computations (23.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.2s
ival-div: 3.2s (26.4% of total)
ival-mult: 3.0s (24.7% of total)
ival-pow: 2.2s (17.8% of total)
ival-add: 814.0ms (6.7% of total)
ival-sin: 656.0ms (5.4% of total)
ival-sub: 641.0ms (5.3% of total)
ival-tan: 513.0ms (4.2% of total)
ival-neg: 262.0ms (2.2% of total)
const: 229.0ms (1.9% of total)
backward-pass: 170.0ms (1.4% of total)
ival-cos: 159.0ms (1.3% of total)
ival-sqrt: 139.0ms (1.1% of total)
ival-exp: 113.0ms (0.9% of total)
ival-atan: 40.0ms (0.3% of total)
ival-asin: 28.0ms (0.2% of total)
ival-fabs: 8.0ms (0.1% of total)
ival-hypot: 6.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

series18.2s (2.8%)

Counts
1841 → 43341
Calls

11784 calls:

TimeVariablePointExpression
494.0ms
c0
@0
(* c0 (/ (log (pow (pow (exp -1/2) M) (sqrt -1))) w))
286.0ms
H
@-inf
(/ v (sqrt (- (* v v) (* 98/5 H))))
253.0ms
Om
@-inf
(sqrt (* (* 2 n) (* U (- t (+ (* 2 (* l (/ l Om))) (* n (* (pow (/ l Om) 2) (- U U*))))))))
235.0ms
t
@inf
(* (/ 2 (log (pow (exp t) (pow k 4)))) (* l l))
188.0ms
M
@-inf
(log (pow (pow (exp -1/2) M) (sqrt -1)))

explain15.3s (2.3%)

Results
7.2s13210×0valid
2.8s2266×1valid
615.0ms488×2valid
631.0ms376×3valid
37.0ms34×4valid
7.0ms8×5exit
3.0ms2×5valid
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-mult: 2.2s (25.1% of total)
ival-pow: 1.2s (13.9% of total)
ival-div: 1.2s (13.7% of total)
ival-add: 716.0ms (8.3% of total)
ival-sub: 555.0ms (6.5% of total)
backward-pass: 536.0ms (6.2% of total)
ival-pi: 403.0ms (4.7% of total)
ival-sqrt: 320.0ms (3.7% of total)
ival-tan: 311.0ms (3.6% of total)
ival-exp: 281.0ms (3.3% of total)
ival-cos: 281.0ms (3.3% of total)
const: 192.0ms (2.2% of total)
ival-sin: 175.0ms (2% of total)
ival-neg: 107.0ms (1.2% of total)
ival-hypot: 96.0ms (1.1% of total)
ival-log: 39.0ms (0.5% of total)
ival-acos: 29.0ms (0.3% of total)
ival-asin: 9.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)

analyze13.5s (2.1%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.6%40.7%48.6%1.8%0%8.2%0.8%7
48%42.2%45.7%1.8%0%9.5%0.8%8
51.1%44.7%42.8%1.8%0%9.8%0.9%9
52.2%45.6%41.7%1.8%0%10.1%0.9%10
54%46.8%39.8%1.8%0%10.6%1%11
55.8%48%38.1%1.8%0%11.2%1%12
Compiler

Compiled 861 to 616 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-mult: 2.3s (33.2% of total)
ival-pow: 1.3s (18.8% of total)
ival-div: 1.1s (16% of total)
ival-tan: 575.0ms (8.2% of total)
ival-sqrt: 353.0ms (5% of total)
ival-add: 327.0ms (4.6% of total)
ival-sub: 294.0ms (4.2% of total)
ival-sin: 198.0ms (2.8% of total)
const: 118.0ms (1.7% of total)
ival-neg: 100.0ms (1.4% of total)
ival-exp: 71.0ms (1% of total)
ival-acos: 47.0ms (0.7% of total)
ival-cos: 26.0ms (0.4% of total)
ival-<: 26.0ms (0.4% of total)
ival-pi: 25.0ms (0.4% of total)
ival-asin: 25.0ms (0.4% of total)
backward-pass: 22.0ms (0.3% of total)
ival-fabs: 18.0ms (0.3% of total)
ival-log: 10.0ms (0.1% of total)
ival-atan: 7.0ms (0.1% of total)
ival-and: 3.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess11.6s (1.8%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 57814 to 35268 computations (39% saved)

end0.0ms (0%)

Profiling

Loading profile data...