Herbie run

Date:Saturday, May 11th, 2024
Commit:186eb631 on accelerator-arity-message
Hostname:nightly with Racket 8.11.1
Seed:2024132
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.6min)

sample1.8min (23.3%)

Results
39.0s225268×0valid
12.5s25102×1valid
10.6s65649×0invalid
8.8s12202×5exit
4.0s6433×3valid
3.8s10377×1invalid
3.3s6495×2valid
874.0ms891×4valid
393.0ms489×2invalid
35.0ms218×0unsamplable
4.0ms3×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 16.6s (25.7% of total)
ival-div: 9.5s (14.7% of total)
ival-pow: 7.2s (11.1% of total)
ival-sqrt: 4.8s (7.5% of total)
ival-sub: 4.8s (7.4% of total)
ival-tan: 4.3s (6.7% of total)
ival-add: 3.9s (6.1% of total)
backward-pass: 3.0s (4.7% of total)
ival-sin: 2.1s (3.2% of total)
ival-exp: 1.8s (2.8% of total)
<compiled-spec>: 1.6s (2.5% of total)
ival-asin: 836.0ms (1.3% of total)
const: 813.0ms (1.3% of total)
ival-cos: 735.0ms (1.1% of total)
ival-neg: 672.0ms (1% of total)
ival-acos: 591.0ms (0.9% of total)
ival-pi: 555.0ms (0.9% of total)
ival-log: 338.0ms (0.5% of total)
ival-fabs: 184.0ms (0.3% of total)
ival-atan: 85.0ms (0.1% of total)
ival-<: 68.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify1.2min (15.9%)

Algorithm
159×egg-herbie
Rules
50766×fma-define
40314×*-commutative
38328×times-frac
35514×distribute-lft-in
29568×associate-*r*
Stop Event
32×saturated
125×node limit
2×unsound
Counts
95717 → 80610

localize1.1min (14.1%)

Algorithm
127×egg-herbie
Rules
58348×fma-define
38468×fmm-def
30051×distribute-lft-in
26298×associate-*r*
24429×distribute-rgt-in
Stop Event
42×saturated
85×node limit
Results
17.3s2964×5exit
12.5s22432×0valid
3.5s3097×1valid
3.0s3008×0invalid
736.0ms394×2valid
234.0ms478×0unsamplable
129.0ms139×3valid
Compiler

Compiled 37741 to 4284 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.5s
ival-tan: 5.3s (21.7% of total)
ival-mult: 4.6s (18.8% of total)
ival-div: 3.0s (12.3% of total)
ival-pow: 2.9s (11.7% of total)
backward-pass: 2.2s (8.9% of total)
<compiled-spec>: 1.4s (5.5% of total)
ival-add: 1.1s (4.5% of total)
ival-sub: 805.0ms (3.3% of total)
ival-sqrt: 640.0ms (2.6% of total)
ival-acos: 404.0ms (1.6% of total)
ival-cos: 353.0ms (1.4% of total)
ival-sin: 306.0ms (1.2% of total)
ival-exp: 304.0ms (1.2% of total)
ival-log: 240.0ms (1% of total)
ival-asin: 228.0ms (0.9% of total)
ival-neg: 204.0ms (0.8% of total)
ival-cbrt: 203.0ms (0.8% of total)
const: 146.0ms (0.6% of total)
ival-pi: 132.0ms (0.5% of total)
ival-atan: 79.0ms (0.3% of total)
ival-fabs: 22.0ms (0.1% of total)
ival-e: 9.0ms (0% of total)

soundness50.0s (10.9%)

Rules
49685×fma-define
42752×log1p-expm1-u
34508×times-frac
31771×expm1-log1p-u
29539×associate-*r*
Stop Event
8×saturated
161×node limit
30×fuel
1×unsound
2×done
Compiler

Compiled 37383 to 11455 computations (69.4% saved)

rewrite34.0s (7.4%)

Algorithm
127×batch-egg-rewrite
Rules
68420×log1p-expm1-u
52568×expm1-log1p-u
33545×add-exp-log
33181×add-log-exp
33035×pow1
Stop Event
126×node limit
1×unsound
Counts
1917 → 50451

prune29.2s (6.4%)

Counts
114034 → 3451
Compiler

Compiled 162816 to 89134 computations (45.3% saved)

eval23.9s (5.2%)

Compiler

Compiled 3956551 to 480567 computations (87.9% saved)

series17.8s (3.9%)

Counts
1917 → 45266
Calls

12438 calls:

TimeVariablePointExpression
298.0ms
H
@-inf
(cbrt (* (pow H 3) 941192/125))
268.0ms
kx
@0
(sqrt (+ 1/2 (* 1/2 (/ 1 (* 2 (* (/ l Om) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))))))
252.0ms
h
@inf
(* (sqrt (/ h (pow l 3))) (* -1/8 (* (neg (pow M 2)) (/ (pow D 2) d))))
222.0ms
B
@-inf
(/ (- 1 x) B)
204.0ms
h
@-inf
(pow (* h l) -1/6)

regimes16.8s (3.7%)

Counts
9265 → 644
Calls

156 calls:

1.4s
l
1.1s
t
630.0ms
k
450.0ms
d
400.0ms
(sin.f64 th)
Compiler

Compiled 7742 to 5794 computations (25.2% saved)

bsearch13.3s (2.9%)

Algorithm
266×binary-search
61×left-value
Stop Event
7×predicate-same
258×narrow-enough
1×predicate-failed
Results
6.9s30358×0valid
1.4s6614×0invalid
726.0ms1580×1valid
631.0ms1172×2valid
107.0ms197×3valid
75.0ms191×2invalid
73.0ms85×4valid
68.0ms101×5exit
61.0ms238×1invalid
Compiler

Compiled 79746 to 56811 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-mult: 1.9s (26.7% of total)
ival-pow: 1.3s (17.6% of total)
ival-div: 1.0s (14.5% of total)
ival-tan: 920.0ms (12.8% of total)
ival-add: 501.0ms (7% of total)
ival-sin: 407.0ms (5.6% of total)
ival-sub: 302.0ms (4.2% of total)
backward-pass: 237.0ms (3.3% of total)
ival-sqrt: 191.0ms (2.6% of total)
ival-neg: 128.0ms (1.8% of total)
ival-exp: 99.0ms (1.4% of total)
ival-cos: 82.0ms (1.1% of total)
const: 79.0ms (1.1% of total)
ival-atan: 13.0ms (0.2% of total)
ival-pi: 5.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-log: 2.0ms (0% of total)

analyze11.1s (2.4%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.1%18.7%79.5%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.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.1s (33.2% of total)
ival-pow: 1.3s (21% of total)
ival-div: 895.0ms (14.1% of total)
ival-sub: 470.0ms (7.4% of total)
ival-sqrt: 355.0ms (5.6% of total)
ival-add: 346.0ms (5.4% of total)
ival-sin: 188.0ms (3% of total)
ival-tan: 129.0ms (2% of total)
ival-neg: 97.0ms (1.5% of total)
const: 87.0ms (1.4% of total)
ival-asin: 76.0ms (1.2% of total)
ival-fabs: 55.0ms (0.9% of total)
ival-exp: 53.0ms (0.8% of total)
ival-acos: 51.0ms (0.8% of total)
ival-pi: 31.0ms (0.5% of total)
ival-<: 25.0ms (0.4% of total)
backward-pass: 21.0ms (0.3% of total)
ival-cos: 13.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

preprocess9.0s (2%)

Algorithm
32×egg-herbie
Rules
20054×fma-define
13409×fmm-def
8518×times-frac
7224×distribute-lft-in
7153×unsub-neg
Stop Event
9×saturated
23×node limit
Compiler

Compiled 39830 to 15944 computations (60% saved)

explain8.1s (1.8%)

Results
3.2s13328×0valid
1.1s2074×1valid
399.0ms526×2valid
322.0ms384×3valid
87.0ms66×4valid
4.0ms6×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 681.0ms (21.6% of total)
ival-sqrt: 356.0ms (11.3% of total)
ival-tan: 322.0ms (10.2% of total)
ival-add: 311.0ms (9.8% of total)
ival-div: 299.0ms (9.5% of total)
ival-pow: 224.0ms (7.1% of total)
backward-pass: 220.0ms (7% of total)
ival-sin: 207.0ms (6.6% of total)
ival-sub: 181.0ms (5.7% of total)
ival-exp: 92.0ms (2.9% of total)
ival-cos: 64.0ms (2% of total)
ival-pi: 48.0ms (1.5% of total)
const: 40.0ms (1.3% of total)
ival-neg: 34.0ms (1.1% of total)
ival-acos: 28.0ms (0.9% of total)
<compiled-spec>: 17.0ms (0.5% of total)
ival-log: 14.0ms (0.4% of total)
ival-asin: 11.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...