Details

sample72.0ms

Algorithm

intervals

Results

24.0ms	274×	body	80	valid
23.0ms	294×	body	80	nan

simplify8.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
359	4985
358	4975
357	4958
356	4948
355	4931
354	4921
353	4904
352	4898
351	4877
350	4867
349	4854
348	4844
347	4823
346	4815
345	4798
344	4792
343	4771
342	4761
341	4748
340	4738
339	4717
338	4711
337	4694
336	4688
335	4667
334	4657
333	4644
332	4634
331	4613
330	4607
329	4582
328	4574
327	4561
326	4551
325	4534
324	4526
323	4505
322	4497
321	4480
320	4470
319	4453
318	4443
317	4426
316	4416
315	4399
314	4393
313	4372
312	4362
311	4349
310	4339
309	4318
308	4312
307	4291
306	4281
305	4268
304	4258
303	4237
302	4231
301	4210
300	4200
299	4187
298	4177
297	4156
296	4148
295	4131
294	4121
293	4104
292	4094
291	4077
290	4067
289	4050
288	4044
287	4023
286	4013
285	4000
284	3990
283	3969
282	3963
281	3938
280	3930
279	3917
278	3907
277	3886
276	3878
275	3861
274	3855
273	3834
272	3824
271	3811
270	3801
269	3780
268	3772
267	3755
266	3745
265	3728
264	3718
263	3701
262	3691
261	3674
260	3664
259	3647
258	3637
257	3620
256	3614
255	3593
254	3583
253	3570
252	3560
251	3539
250	3533
249	3508
248	3500
247	3487
246	3477
245	3456
244	3448
243	3431
242	3421
241	3404
240	3394
239	3377
238	3367
237	3350
236	3340
235	3323
234	3313
233	3296
232	3290
231	3269
230	3259
229	3246
228	3236
227	3215
226	3209
225	3184
224	3176
223	3163
222	3153
221	3132
220	3124
219	3107
218	3097
217	3080
216	3070
215	3053
214	3043
213	3026
212	3020
211	2999
210	2989
209	2976
208	2966
207	2945
206	2939
205	2918
204	2908
203	2895
202	2885
201	2864
200	2856
199	2839
198	2829
197	2812
196	2802
195	2785
194	2775
193	2758
192	2748
191	2731
190	2721
189	2704
188	2694
187	2677
186	2667
185	2650
184	2640
183	2623
182	2617
181	2596
180	2586
179	2573
178	2563
177	2542
176	2534
175	2517
174	2507
173	2490
172	2480
171	2463
170	2453
169	2436
168	2426
167	2409
166	2399
165	2382
164	2372
163	2355
162	2345
161	2328
160	2318
159	2301
158	2291
157	2274
156	2268
155	2247
154	2237
153	2224
152	2214
151	2193
150	2187
149	2162
148	2154
147	2141
146	2131
145	2110
144	2102
143	2085
142	2075
141	2058
140	2048
139	2031
138	2021
137	2004
136	1994
135	1977
134	1967
133	1950
132	1944
131	1923
130	1913
129	1900
128	1890
127	1869
126	1863
125	1842
124	1832
123	1819
122	1809
121	1788
120	1780
119	1763
118	1757
117	1736
116	1726
115	1713
114	1703
113	1682
112	1674
111	1657
110	1647
109	1630
108	1620
107	1603
106	1593
105	1576
104	1566
103	1549
102	1539
101	1522
100	1512
99	1495
98	1485
97	1468
96	1458
95	1441
94	1435
93	1414
92	1404
91	1391
90	1381
89	1360
88	1352
87	1335
86	1325
85	1308
84	1298
83	1281
82	1271
81	1254
80	1244
79	1227
78	1217
77	1200
76	1190
75	1173
74	1163
73	1146
72	1136
71	1119
70	1109
69	1092
68	1082
67	1065
66	1055
65	1038
64	1032
63	1011
62	1001
61	988
60	978
59	957
58	949
57	932
56	922
55	905
54	899
53	878
52	868
51	855
50	847
49	828
48	820
47	807
46	799
45	778
44	770
43	755
42	745
41	732
40	722
39	705
38	697
37	680
36	672
35	655
34	647
33	628
32	620
31	607
30	597
29	576
28	568
27	551
26	541
25	524
24	514
23	497
22	487
21	470
20	460
19	443
18	435
17	418
16	410
15	395
14	385
13	372
12	362
11	337
10	318
9	286
8	226
7	130
6	98
5	88
4	81
3	62
2	41
1	24
0	12

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.2b	(/ y (* 3.0 (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (sqrt x))

rewrite233.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
56×	`prod-diff`
42×	`add-cube-cbrt`
30×	`times-frac`
23×	`associate--l+`
16×	`add-cbrt-cube` `add-exp-log`
11×	`distribute-lft-out--`
10×	`div-inv`
9×	`add-log-exp` `difference-of-squares`
6×	`pow1` `associate-r` `associate-/l*`
5×	`fma-neg`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `sqrt-prod` `insert-posit16` `log1p-expm1-u`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod`
2×	`clear-num` `associate-/r*` `sub-neg` `frac-2neg` `flip3--` `frac-sub` `flip--` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 158

Calls

4 calls:

176.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
18.0ms	(/ y (* 3.0 (sqrt x)))
15.0ms	(/ 1.0 (* x 9.0))
19.0ms	(* 3.0 (sqrt x))

series261.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
88.0ms	(/ y (* 3.0 (sqrt x)))
32.0ms	(/ 1.0 (* x 9.0))
50.0ms	(* 3.0 (sqrt x))

simplify2.1s

Counts

170 → 170

Iterations

Iter	Nodes
done	5042
2	2640
1	815
0	313

prune988.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.3b	(/ (/ y 3.0) (sqrt x))

rewrite298.0ms

Algorithm

rewrite-expression-head

Rules

819×	`times-frac`
705×	`add-sqr-sqrt`
694×	`*-un-lft-identity`
523×	`add-cube-cbrt`
431×	`prod-diff`
239×	`sqrt-prod`
88×	`difference-of-squares`
86×	`distribute-lft-out--`
47×	`div-inv`
23×	`associate--l+`
16×	`associate-/l*`
13×	`add-cbrt-cube` `add-exp-log`
8×	`add-log-exp`
7×	`associate-/r*`
5×	`cbrt-undiv` `fma-neg` `div-exp`
3×	`expm1-log1p-u` `pow1` `diff-log` `insert-posit16` `log1p-expm1-u`
2×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `frac-sub` `flip--`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

3 → 603

Calls

3 calls:

201.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
14.0ms	(/ 1.0 (* x 9.0))
27.0ms	(/ (/ y 3.0) (sqrt x))

series172.0ms

Counts

3 → 9

Calls

3 calls:

60.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
24.0ms	(/ 1.0 (* x 9.0))
87.0ms	(/ (/ y 3.0) (sqrt x))

simplify2.1s

Counts

612 → 612

Iterations

Iter	Nodes
done	5001
1	2383
0	902

prune3.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(/ (/ y 3.0) (sqrt x))

rewrite543.0ms

Algorithm

rewrite-expression-head

Rules

1599×	`add-sqr-sqrt`
1593×	`times-frac`
1007×	`*-un-lft-identity`
836×	`add-cube-cbrt`
703×	`prod-diff`
317×	`sqrt-prod`
254×	`difference-of-squares`
131×	`associate--l+`
86×	`distribute-lft-out--`
74×	`div-inv`
26×	`associate-/l*`
13×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/r*`
8×	`add-log-exp`
7×	`fma-neg`
6×	`cbrt-undiv` `div-exp`
3×	`expm1-log1p-u` `pow1` `diff-log` `insert-posit16` `log1p-expm1-u`
2×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `frac-sub` `flip--` `associate-/l/`
1×	`associate--l-`

Counts

3 → 926

Calls

3 calls:

391.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
22.0ms	(/ (/ 1.0 x) 9.0)
26.0ms	(/ (/ y 3.0) (sqrt x))

series191.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
28.0ms	(/ (/ 1.0 x) 9.0)
107.0ms	(/ (/ y 3.0) (sqrt x))

simplify2.5s

Counts

935 → 935

Iterations

Iter	Nodes
done	5001
1	3403
0	1280

prune5.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (/ 1.0 x) 9.0) (/ (/ y 3.0) (sqrt x)))
0.3b	(/ (/ 1.0 x) 9.0)
0.3b	(/ (/ y 3.0) (sqrt x))

rewrite201.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
169×	`*-un-lft-identity`
157×	`add-sqr-sqrt` `add-cube-cbrt`
43×	`fma-def`
42×	`sqrt-prod`
26×	`associate-/l*`
17×	`div-inv`
13×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/r*`
6×	`cbrt-undiv` `div-exp`
5×	`add-log-exp`
3×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `distribute-lft-out`
2×	`clear-num` `frac-2neg` `associate-/l/`
1×	`+-commutative` `sum-log` `flip3-+` `frac-add` `flip-+`

Counts

3 → 249

Calls

3 calls:

156.0ms	(+ (/ (/ 1.0 x) 9.0) (/ (/ y 3.0) (sqrt x)))
15.0ms	(/ (/ 1.0 x) 9.0)
20.0ms	(/ (/ y 3.0) (sqrt x))

series191.0ms

Counts

3 → 9

Calls

3 calls:

91.0ms	(+ (/ (/ 1.0 x) 9.0) (/ (/ y 3.0) (sqrt x)))
29.0ms	(/ (/ 1.0 x) 9.0)
70.0ms	(/ (/ y 3.0) (sqrt x))

simplify1.6s

Counts

258 → 258

Iterations

Iter	Nodes
done	5000
2	2611
1	970
0	405

prune979.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes85.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify5.0s

Iterations

Iter	Nodes
done	5000
2483	4998
2482	4996
2481	4994
2480	4992
2479	4990
2478	4988
2477	4986
2476	4984
2475	4982
2474	4980
2473	4978
2472	4976
2471	4974
2470	4972
2469	4970
2468	4968
2467	4966
2466	4964
2465	4962
2464	4960
2463	4958
2462	4956
2461	4954
2460	4952
2459	4950
2458	4948
2457	4946
2456	4944
2455	4942
2454	4940
2453	4938
2452	4936
2451	4934
2450	4932
2449	4930
2448	4928
2447	4926
2446	4924
2445	4922
2444	4920
2443	4918
2442	4916
2441	4914
2440	4912
2439	4910
2438	4908
2437	4906
2436	4904
2435	4902
2434	4900
2433	4898
2432	4896
2431	4894
2430	4892
2429	4890
2428	4888
2427	4886
2426	4884
2425	4882
2424	4880
2423	4878
2422	4876
2421	4874
2420	4872
2419	4870
2418	4868
2417	4866
2416	4864
2415	4862
2414	4860
2413	4858
2412	4856
2411	4854
2410	4852
2409	4850
2408	4848
2407	4846
2406	4844
2405	4842
2404	4840
2403	4838
2402	4836
2401	4834
2400	4832
2399	4830
2398	4828
2397	4826
2396	4824
2395	4822
2394	4820
2393	4818
2392	4816
2391	4814
2390	4812
2389	4810
2388	4808
2387	4806
2386	4804
2385	4802
2384	4800
2383	4798
2382	4796
2381	4794
2380	4792
2379	4790
2378	4788
2377	4786
2376	4784
2375	4782
2374	4780
2373	4778
2372	4776
2371	4774
2370	4772
2369	4770
2368	4768
2367	4766
2366	4764
2365	4762
2364	4760
2363	4758
2362	4756
2361	4754
2360	4752
2359	4750
2358	4748
2357	4746
2356	4744
2355	4742
2354	4740
2353	4738
2352	4736
2351	4734
2350	4732
2349	4730
2348	4728
2347	4726
2346	4724
2345	4722
2344	4720
2343	4718
2342	4716
2341	4714
2340	4712
2339	4710
2338	4708
2337	4706
2336	4704
2335	4702
2334	4700
2333	4698
2332	4696
2331	4694
2330	4692
2329	4690
2328	4688
2327	4686
2326	4684
2325	4682
2324	4680
2323	4678
2322	4676
2321	4674
2320	4672
2319	4670
2318	4668
2317	4666
2316	4664
2315	4662
2314	4660
2313	4658
2312	4656
2311	4654
2310	4652
2309	4650
2308	4648
2307	4646
2306	4644
2305	4642
2304	4640
2303	4638
2302	4636
2301	4634
2300	4632
2299	4630
2298	4628
2297	4626
2296	4624
2295	4622
2294	4620
2293	4618
2292	4616
2291	4614
2290	4612
2289	4610
2288	4608
2287	4606
2286	4604
2285	4602
2284	4600
2283	4598
2282	4596
2281	4594
2280	4592
2279	4590
2278	4588
2277	4586
2276	4584
2275	4582
2274	4580
2273	4578
2272	4576
2271	4574
2270	4572
2269	4570
2268	4568
2267	4566
2266	4564
2265	4562
2264	4560
2263	4558
2262	4556
2261	4554
2260	4552
2259	4550
2258	4548
2257	4546
2256	4544
2255	4542
2254	4540
2253	4538
2252	4536
2251	4534
2250	4532
2249	4530
2248	4528
2247	4526
2246	4524
2245	4522
2244	4520
2243	4518
2242	4516
2241	4514
2240	4512
2239	4510
2238	4508
2237	4506
2236	4504
2235	4502
2234	4500
2233	4498
2232	4496
2231	4494
2230	4492
2229	4490
2228	4488
2227	4486
2226	4484
2225	4482
2224	4480
2223	4478
2222	4476
2221	4474
2220	4472
2219	4470
2218	4468
2217	4466
2216	4464
2215	4462
2214	4460
2213	4458
2212	4456
2211	4454
2210	4452
2209	4450
2208	4448
2207	4446
2206	4444
2205	4442
2204	4440
2203	4438
2202	4436
2201	4434
2200	4432
2199	4430
2198	4428
2197	4426
2196	4424
2195	4422
2194	4420
2193	4418
2192	4416
2191	4414
2190	4412
2189	4410
2188	4408
2187	4406
2186	4404
2185	4402
2184	4400
2183	4398
2182	4396
2181	4394
2180	4392
2179	4390
2178	4388
2177	4386
2176	4384
2175	4382
2174	4380
2173	4378
2172	4376
2171	4374
2170	4372
2169	4370
2168	4368
2167	4366
2166	4364
2165	4362
2164	4360
2163	4358
2162	4356
2161	4354
2160	4352
2159	4350
2158	4348
2157	4346
2156	4344
2155	4342
2154	4340
2153	4338
2152	4336
2151	4334
2150	4332
2149	4330
2148	4328
2147	4326
2146	4324
2145	4322
2144	4320
2143	4318
2142	4316
2141	4314
2140	4312
2139	4310
2138	4308
2137	4306
2136	4304
2135	4302
2134	4300
2133	4298
2132	4296
2131	4294
2130	4292
2129	4290
2128	4288
2127	4286
2126	4284
2125	4282
2124	4280
2123	4278
2122	4276
2121	4274
2120	4272
2119	4270
2118	4268
2117	4266
2116	4264
2115	4262
2114	4260
2113	4258
2112	4256
2111	4254
2110	4252
2109	4250
2108	4248
2107	4246
2106	4244
2105	4242
2104	4240
2103	4238
2102	4236
2101	4234
2100	4232
2099	4230
2098	4228
2097	4226
2096	4224
2095	4222
2094	4220
2093	4218
2092	4216
2091	4214
2090	4212
2089	4210
2088	4208
2087	4206
2086	4204
2085	4202
2084	4200
2083	4198
2082	4196
2081	4194
2080	4192
2079	4190
2078	4188
2077	4186
2076	4184
2075	4182
2074	4180
2073	4178
2072	4176
2071	4174
2070	4172
2069	4170
2068	4168
2067	4166
2066	4164
2065	4162
2064	4160
2063	4158
2062	4156
2061	4154
2060	4152
2059	4150
2058	4148
2057	4146
2056	4144
2055	4142
2054	4140
2053	4138
2052	4136
2051	4134
2050	4132
2049	4130
2048	4128
2047	4126
2046	4124
2045	4122
2044	4120
2043	4118
2042	4116
2041	4114
2040	4112
2039	4110
2038	4108
2037	4106
2036	4104
2035	4102
2034	4100
2033	4098
2032	4096
2031	4094
2030	4092
2029	4090
2028	4088
2027	4086
2026	4084
2025	4082
2024	4080
2023	4078
2022	4076
2021	4074
2020	4072
2019	4070
2018	4068
2017	4066
2016	4064
2015	4062
2014	4060
2013	4058
2012	4056
2011	4054
2010	4052
2009	4050
2008	4048
2007	4046
2006	4044
2005	4042
2004	4040
2003	4038
2002	4036
2001	4034
2000	4032
1999	4030
1998	4028
1997	4026
1996	4024
1995	4022
1994	4020
1993	4018
1992	4016
1991	4014
1990	4012
1989	4010
1988	4008
1987	4006
1986	4004
1985	4002
1984	4000
1983	3998
1982	3996
1981	3994
1980	3992
1979	3990
1978	3988
1977	3986
1976	3984
1975	3982
1974	3980
1973	3978
1972	3976
1971	3974
1970	3972
1969	3970
1968	3968
1967	3966
1966	3964
1965	3962
1964	3960
1963	3958
1962	3956
1961	3954
1960	3952
1959	3950
1958	3948
1957	3946
1956	3944
1955	3942
1954	3940
1953	3938
1952	3936
1951	3934
1950	3932
1949	3930
1948	3928
1947	3926
1946	3924
1945	3922
1944	3920
1943	3918
1942	3916
1941	3914
1940	3912
1939	3910
1938	3908
1937	3906
1936	3904
1935	3902
1934	3900
1933	3898
1932	3896
1931	3894
1930	3892
1929	3890
1928	3888
1927	3886
1926	3884
1925	3882
1924	3880
1923	3878
1922	3876
1921	3874
1920	3872
1919	3870
1918	3868
1917	3866
1916	3864
1915	3862
1914	3860
1913	3858
1912	3856
1911	3854
1910	3852
1909	3850
1908	3848
1907	3846
1906	3844
1905	3842
1904	3840
1903	3838
1902	3836
1901	3834
1900	3832
1899	3830
1898	3828
1897	3826
1896	3824
1895	3822
1894	3820
1893	3818
1892	3816
1891	3814
1890	3812
1889	3810
1888	3808
1887	3806
1886	3804
1885	3802
1884	3800
1883	3798
1882	3796
1881	3794
1880	3792
1879	3790
1878	3788
1877	3786
1876	3784
1875	3782
1874	3780
1873	3778
1872	3776
1871	3774
1870	3772
1869	3770
1868	3768
1867	3766
1866	3764
1865	3762
1864	3760
1863	3758
1862	3756
1861	3754
1860	3752
1859	3750
1858	3748
1857	3746
1856	3744
1855	3742
1854	3740
1853	3738
1852	3736
1851	3734
1850	3732
1849	3730
1848	3728
1847	3726
1846	3724
1845	3722
1844	3720
1843	3718
1842	3716
1841	3714
1840	3712
1839	3710
1838	3708
1837	3706
1836	3704
1835	3702
1834	3700
1833	3698
1832	3696
1831	3694
1830	3692
1829	3690
1828	3688
1827	3686
1826	3684
1825	3682
1824	3680
1823	3678
1822	3676
1821	3674
1820	3672
1819	3670
1818	3668
1817	3666
1816	3664
1815	3662
1814	3660
1813	3658
1812	3656
1811	3654
1810	3652
1809	3650
1808	3648
1807	3646
1806	3644
1805	3642
1804	3640
1803	3638
1802	3636
1801	3634
1800	3632
1799	3630
1798	3628
1797	3626
1796	3624
1795	3622
1794	3620
1793	3618
1792	3616
1791	3614
1790	3612
1789	3610
1788	3608
1787	3606
1786	3604
1785	3602
1784	3600
1783	3598
1782	3596
1781	3594
1780	3592
1779	3590
1778	3588
1777	3586
1776	3584
1775	3582
1774	3580
1773	3578
1772	3576
1771	3574
1770	3572
1769	3570
1768	3568
1767	3566
1766	3564
1765	3562
1764	3560
1763	3558
1762	3556
1761	3554
1760	3552
1759	3550
1758	3548
1757	3546
1756	3544
1755	3542
1754	3540
1753	3538
1752	3536
1751	3534
1750	3532
1749	3530
1748	3528
1747	3526
1746	3524
1745	3522
1744	3520
1743	3518
1742	3516
1741	3514
1740	3512
1739	3510
1738	3508
1737	3506
1736	3504
1735	3502
1734	3500
1733	3498
1732	3496
1731	3494
1730	3492
1729	3490
1728	3488
1727	3486
1726	3484
1725	3482
1724	3480
1723	3478
1722	3476
1721	3474
1720	3472
1719	3470
1718	3468
1717	3466
1716	3464
1715	3462
1714	3460
1713	3458
1712	3456
1711	3454
1710	3452
1709	3450
1708	3448
1707	3446
1706	3444
1705	3442
1704	3440
1703	3438
1702	3436
1701	3434
1700	3432
1699	3430
1698	3428
1697	3426
1696	3424
1695	3422
1694	3420
1693	3418
1692	3416
1691	3414
1690	3412
1689	3410
1688	3408
1687	3406
1686	3404
1685	3402
1684	3400
1683	3398
1682	3396
1681	3394
1680	3392
1679	3390
1678	3388
1677	3386
1676	3384
1675	3382
1674	3380
1673	3378
1672	3376
1671	3374
1670	3372
1669	3370
1668	3368
1667	3366
1666	3364
1665	3362
1664	3360
1663	3358
1662	3356
1661	3354
1660	3352
1659	3350
1658	3348
1657	3346
1656	3344
1655	3342
1654	3340
1653	3338
1652	3336
1651	3334
1650	3332
1649	3330
1648	3328
1647	3326
1646	3324
1645	3322
1644	3320
1643	3318
1642	3316
1641	3314
1640	3312
1639	3310
1638	3308
1637	3306
1636	3304
1635	3302
1634	3300
1633	3298
1632	3296
1631	3294
1630	3292
1629	3290
1628	3288
1627	3286
1626	3284
1625	3282
1624	3280
1623	3278
1622	3276
1621	3274
1620	3272
1619	3270
1618	3268
1617	3266
1616	3264
1615	3262
1614	3260
1613	3258
1612	3256
1611	3254
1610	3252
1609	3250
1608	3248
1607	3246
1606	3244
1605	3242
1604	3240
1603	3238
1602	3236
1601	3234
1600	3232
1599	3230
1598	3228
1597	3226
1596	3224
1595	3222
1594	3220
1593	3218
1592	3216
1591	3214
1590	3212
1589	3210
1588	3208
1587	3206
1586	3204
1585	3202
1584	3200
1583	3198
1582	3196
1581	3194
1580	3192
1579	3190
1578	3188
1577	3186
1576	3184
1575	3182
1574	3180
1573	3178
1572	3176
1571	3174
1570	3172
1569	3170
1568	3168
1567	3166
1566	3164
1565	3162
1564	3160
1563	3158
1562	3156
1561	3154
1560	3152
1559	3150
1558	3148
1557	3146
1556	3144
1555	3142
1554	3140
1553	3138
1552	3136
1551	3134
1550	3132
1549	3130
1548	3128
1547	3126
1546	3124
1545	3122
1544	3120
1543	3118
1542	3116
1541	3114
1540	3112
1539	3110
1538	3108
1537	3106
1536	3104
1535	3102
1534	3100
1533	3098
1532	3096
1531	3094
1530	3092
1529	3090
1528	3088
1527	3086
1526	3084
1525	3082
1524	3080
1523	3078
1522	3076
1521	3074
1520	3072
1519	3070
1518	3068
1517	3066
1516	3064
1515	3062
1514	3060
1513	3058
1512	3056
1511	3054
1510	3052
1509	3050
1508	3048
1507	3046
1506	3044
1505	3042
1504	3040
1503	3038
1502	3036
1501	3034
1500	3032
1499	3030
1498	3028
1497	3026
1496	3024
1495	3022
1494	3020
1493	3018
1492	3016
1491	3014
1490	3012
1489	3010
1488	3008
1487	3006
1486	3004
1485	3002
1484	3000
1483	2998
1482	2996
1481	2994
1480	2992
1479	2990
1478	2988
1477	2986
1476	2984
1475	2982
1474	2980
1473	2978
1472	2976
1471	2974
1470	2972
1469	2970
1468	2968
1467	2966
1466	2964
1465	2962
1464	2960
1463	2958
1462	2956
1461	2954
1460	2952
1459	2950
1458	2948
1457	2946
1456	2944
1455	2942
1454	2940
1453	2938
1452	2936
1451	2934
1450	2932
1449	2930
1448	2928
1447	2926
1446	2924
1445	2922
1444	2920
1443	2918
1442	2916
1441	2914
1440	2912
1439	2910
1438	2908
1437	2906
1436	2904
1435	2902
1434	2900
1433	2898
1432	2896
1431	2894
1430	2892
1429	2890
1428	2888
1427	2886
1426	2884
1425	2882
1424	2880
1423	2878
1422	2876
1421	2874
1420	2872
1419	2870
1418	2868
1417	2866
1416	2864
1415	2862
1414	2860
1413	2858
1412	2856
1411	2854
1410	2852
1409	2850
1408	2848
1407	2846
1406	2844
1405	2842
1404	2840
1403	2838
1402	2836
1401	2834
1400	2832
1399	2830
1398	2828
1397	2826
1396	2824
1395	2822
1394	2820
1393	2818
1392	2816
1391	2814
1390	2812
1389	2810
1388	2808
1387	2806
1386	2804
1385	2802
1384	2800
1383	2798
1382	2796
1381	2794
1380	2792
1379	2790
1378	2788
1377	2786
1376	2784
1375	2782
1374	2780
1373	2778
1372	2776
1371	2774
1370	2772
1369	2770
1368	2768
1367	2766
1366	2764
1365	2762
1364	2760
1363	2758
1362	2756
1361	2754
1360	2752
1359	2750
1358	2748
1357	2746
1356	2744
1355	2742
1354	2740
1353	2738
1352	2736
1351	2734
1350	2732
1349	2730
1348	2728
1347	2726
1346	2724
1345	2722
1344	2720
1343	2718
1342	2716
1341	2714
1340	2712
1339	2710
1338	2708
1337	2706
1336	2704
1335	2702
1334	2700
1333	2698
1332	2696
1331	2694
1330	2692
1329	2690
1328	2688
1327	2686
1326	2684
1325	2682
1324	2680
1323	2678
1322	2676
1321	2674
1320	2672
1319	2670
1318	2668
1317	2666
1316	2664
1315	2662
1314	2660
1313	2658
1312	2656
1311	2654
1310	2652
1309	2650
1308	2648
1307	2646
1306	2644
1305	2642
1304	2640
1303	2638
1302	2636
1301	2634
1300	2632
1299	2630
1298	2628
1297	2626
1296	2624
1295	2622
1294	2620
1293	2618
1292	2616
1291	2614
1290	2612
1289	2610
1288	2608
1287	2606
1286	2604
1285	2602
1284	2600
1283	2598
1282	2596
1281	2594
1280	2592
1279	2590
1278	2588
1277	2586
1276	2584
1275	2582
1274	2580
1273	2578
1272	2576
1271	2574
1270	2572
1269	2570
1268	2568
1267	2566
1266	2564
1265	2562
1264	2560
1263	2558
1262	2556
1261	2554
1260	2552
1259	2550
1258	2548
1257	2546
1256	2544
1255	2542
1254	2540
1253	2538
1252	2536
1251	2534
1250	2532
1249	2530
1248	2528
1247	2526
1246	2524
1245	2522
1244	2520
1243	2518
1242	2516
1241	2514
1240	2512
1239	2510
1238	2508
1237	2506
1236	2504
1235	2502
1234	2500
1233	2498
1232	2496
1231	2494
1230	2492
1229	2490
1228	2488
1227	2486
1226	2484
1225	2482
1224	2480
1223	2478
1222	2476
1221	2474
1220	2472
1219	2470
1218	2468
1217	2466
1216	2464
1215	2462
1214	2460
1213	2458
1212	2456
1211	2454
1210	2452
1209	2450
1208	2448
1207	2446
1206	2444
1205	2442
1204	2440
1203	2438
1202	2436
1201	2434
1200	2432
1199	2430
1198	2428
1197	2426
1196	2424
1195	2422
1194	2420
1193	2418
1192	2416
1191	2414
1190	2412
1189	2410
1188	2408
1187	2406
1186	2404
1185	2402
1184	2400
1183	2398
1182	2396
1181	2394
1180	2392
1179	2390
1178	2388
1177	2386
1176	2384
1175	2382
1174	2380
1173	2378
1172	2376
1171	2374
1170	2372
1169	2370
1168	2368
1167	2366
1166	2364
1165	2362
1164	2360
1163	2358
1162	2356
1161	2354
1160	2352
1159	2350
1158	2348
1157	2346
1156	2344
1155	2342
1154	2340
1153	2338
1152	2336
1151	2334
1150	2332
1149	2330
1148	2328
1147	2326
1146	2324
1145	2322
1144	2320
1143	2318
1142	2316
1141	2314
1140	2312
1139	2310
1138	2308
1137	2306
1136	2304
1135	2302
1134	2300
1133	2298
1132	2296
1131	2294
1130	2292
1129	2290
1128	2288
1127	2286
1126	2284
1125	2282
1124	2280
1123	2278
1122	2276
1121	2274
1120	2272
1119	2270
1118	2268
1117	2266
1116	2264
1115	2262
1114	2260
1113	2258
1112	2256
1111	2254
1110	2252
1109	2250
1108	2248
1107	2246
1106	2244
1105	2242
1104	2240
1103	2238
1102	2236
1101	2234
1100	2232
1099	2230
1098	2228
1097	2226
1096	2224
1095	2222
1094	2220
1093	2218
1092	2216
1091	2214
1090	2212
1089	2210
1088	2208
1087	2206
1086	2204
1085	2202
1084	2200
1083	2198
1082	2196
1081	2194
1080	2192
1079	2190
1078	2188
1077	2186
1076	2184
1075	2182
1074	2180
1073	2178
1072	2176
1071	2174
1070	2172
1069	2170
1068	2168
1067	2166
1066	2164
1065	2162
1064	2160
1063	2158
1062	2156
1061	2154
1060	2152
1059	2150
1058	2148
1057	2146
1056	2144
1055	2142
1054	2140
1053	2138
1052	2136
1051	2134
1050	2132
1049	2130
1048	2128
1047	2126
1046	2124
1045	2122
1044	2120
1043	2118
1042	2116
1041	2114
1040	2112
1039	2110
1038	2108
1037	2106
1036	2104
1035	2102
1034	2100
1033	2098
1032	2096
1031	2094
1030	2092
1029	2090
1028	2088
1027	2086
1026	2084
1025	2082
1024	2080
1023	2078
1022	2076
1021	2074
1020	2072
1019	2070
1018	2068
1017	2066
1016	2064
1015	2062
1014	2060
1013	2058
1012	2056
1011	2054
1010	2052
1009	2050
1008	2048
1007	2046
1006	2044
1005	2042
1004	2040
1003	2038
1002	2036
1001	2034
1000	2032
999	2030
998	2028
997	2026
996	2024
995	2022
994	2020
993	2018
992	2016
991	2014
990	2012
989	2010
988	2008
987	2006
986	2004
985	2002
984	2000
983	1998
982	1996
981	1994
980	1992
979	1990
978	1988
977	1986
976	1984
975	1982
974	1980
973	1978
972	1976
971	1974
970	1972
969	1970
968	1968
967	1966
966	1964
965	1962
964	1960
963	1958
962	1956
961	1954
960	1952
959	1950
958	1948
957	1946
956	1944
955	1942
954	1940
953	1938
952	1936
951	1934
950	1932
949	1930
948	1928
947	1926
946	1924
945	1922
944	1920
943	1918
942	1916
941	1914
940	1912
939	1910
938	1908
937	1906
936	1904
935	1902
934	1900
933	1898
932	1896
931	1894
930	1892
929	1890
928	1888
927	1886
926	1884
925	1882
924	1880
923	1878
922	1876
921	1874
920	1872
919	1870
918	1868
917	1866
916	1864
915	1862
914	1860
913	1858
912	1856
911	1854
910	1852
909	1850
908	1848
907	1846
906	1844
905	1842
904	1840
903	1838
902	1836
901	1834
900	1832
899	1830
898	1828
897	1826
896	1824
895	1822
894	1820
893	1818
892	1816
891	1814
890	1812
889	1810
888	1808
887	1806
886	1804
885	1802
884	1800
883	1798
882	1796
881	1794
880	1792
879	1790
878	1788
877	1786
876	1784
875	1782
874	1780
873	1778
872	1776
871	1774
870	1772
869	1770
868	1768
867	1766
866	1764
865	1762
864	1760
863	1758
862	1756
861	1754
860	1752
859	1750
858	1748
857	1746
856	1744
855	1742
854	1740
853	1738
852	1736
851	1734
850	1732
849	1730
848	1728
847	1726
846	1724
845	1722
844	1720
843	1718
842	1716
841	1714
840	1712
839	1710
838	1708
837	1706
836	1704
835	1702
834	1700
833	1698
832	1696
831	1694
830	1692
829	1690
828	1688
827	1686
826	1684
825	1682
824	1680
823	1678
822	1676
821	1674
820	1672
819	1670
818	1668
817	1666
816	1664
815	1662
814	1660
813	1658
812	1656
811	1654
810	1652
809	1650
808	1648
807	1646
806	1644
805	1642
804	1640
803	1638
802	1636
801	1634
800	1632
799	1630
798	1628
797	1626
796	1624
795	1622
794	1620
793	1618
792	1616
791	1614
790	1612
789	1610
788	1608
787	1606
786	1604
785	1602
784	1600
783	1598
782	1596
781	1594
780	1592
779	1590
778	1588
777	1586
776	1584
775	1582
774	1580
773	1578
772	1576
771	1574
770	1572
769	1570
768	1568
767	1566
766	1564
765	1562
764	1560
763	1558
762	1556
761	1554
760	1552
759	1550
758	1548
757	1546
756	1544
755	1542
754	1540
753	1538
752	1536
751	1534
750	1532
749	1530
748	1528
747	1526
746	1524
745	1522
744	1520
743	1518
742	1516
741	1514
740	1512
739	1510
738	1508
737	1506
736	1504
735	1502
734	1500
733	1498
732	1496
731	1494
730	1492
729	1490
728	1488
727	1486
726	1484
725	1482
724	1480
723	1478
722	1476
721	1474
720	1472
719	1470
718	1468
717	1466
716	1464
715	1462
714	1460
713	1458
712	1456
711	1454
710	1452
709	1450
708	1448
707	1446
706	1444
705	1442
704	1440
703	1438
702	1436
701	1434
700	1432
699	1430
698	1428
697	1426
696	1424
695	1422
694	1420
693	1418
692	1416
691	1414
690	1412
689	1410
688	1408
687	1406
686	1404
685	1402
684	1400
683	1398
682	1396
681	1394
680	1392
679	1390
678	1388
677	1386
676	1384
675	1382
674	1380
673	1378
672	1376
671	1374
670	1372
669	1370
668	1368
667	1366
666	1364
665	1362
664	1360
663	1358
662	1356
661	1354
660	1352
659	1350
658	1348
657	1346
656	1344
655	1342
654	1340
653	1338
652	1336
651	1334
650	1332
649	1330
648	1328
647	1326
646	1324
645	1322
644	1320
643	1318
642	1316
641	1314
640	1312
639	1310
638	1308
637	1306
636	1304
635	1302
634	1300
633	1298
632	1296
631	1294
630	1292
629	1290
628	1288
627	1286
626	1284
625	1282
624	1280
623	1278
622	1276
621	1274
620	1272
619	1270
618	1268
617	1266
616	1264
615	1262
614	1260
613	1258
612	1256
611	1254
610	1252
609	1250
608	1248
607	1246
606	1244
605	1242
604	1240
603	1238
602	1236
601	1234
600	1232
599	1230
598	1228
597	1226
596	1224
595	1222
594	1220
593	1218
592	1216
591	1214
590	1212
589	1210
588	1208
587	1206
586	1204
585	1202
584	1200
583	1198
582	1196
581	1194
580	1192
579	1190
578	1188
577	1186
576	1184
575	1182
574	1180
573	1178
572	1176
571	1174
570	1172
569	1170
568	1168
567	1166
566	1164
565	1162
564	1160
563	1158
562	1156
561	1154
560	1152
559	1150
558	1148
557	1146
556	1144
555	1142
554	1140
553	1138
552	1136
551	1134
550	1132
549	1130
548	1128
547	1126
546	1124
545	1122
544	1120
543	1118
542	1116
541	1114
540	1112
539	1110
538	1108
537	1106
536	1104
535	1102
534	1100
533	1098
532	1096
531	1094
530	1092
529	1090
528	1088
527	1086
526	1084
525	1082
524	1080
523	1078
522	1076
521	1074
520	1072
519	1070
518	1068
517	1066
516	1064
515	1062
514	1060
513	1058
512	1056
511	1054
510	1052
509	1050
508	1048
507	1046
506	1044
505	1042
504	1040
503	1038
502	1036
501	1034
500	1032
499	1030
498	1028
497	1026
496	1024
495	1022
494	1020
493	1018
492	1016
491	1014
490	1012
489	1010
488	1008
487	1006
486	1004
485	1002
484	1000
483	998
482	996
481	994
480	992
479	990
478	988
477	986
476	984
475	982
474	980
473	978
472	976
471	974
470	972
469	970
468	968
467	966
466	964
465	962
464	960
463	958
462	956
461	954
460	952
459	950
458	948
457	946
456	944
455	942
454	940
453	938
452	936
451	934
450	932
449	930
448	928
447	926
446	924
445	922
444	920
443	918
442	916
441	914
440	912
439	910
438	908
437	906
436	904
435	902
434	900
433	898
432	896
431	894
430	892
429	890
428	888
427	886
426	884
425	882
424	880
423	878
422	876
421	874
420	872
419	870
418	868
417	866
416	864
415	862
414	860
413	858
412	856
411	854
410	852
409	850
408	848
407	846
406	844
405	842
404	840
403	838
402	836
401	834
400	832
399	830
398	828
397	826
396	824
395	822
394	820
393	818
392	816
391	814
390	812
389	810
388	808
387	806
386	804
385	802
384	800
383	798
382	796
381	794
380	792
379	790
378	788
377	786
376	784
375	782
374	780
373	778
372	776
371	774
370	772
369	770
368	768
367	766
366	764
365	762
364	760
363	758
362	756
361	754
360	752
359	750
358	748
357	746
356	744
355	742
354	740
353	738
352	736
351	734
350	732
349	730
348	728
347	726
346	724
345	722
344	720
343	718
342	716
341	714
340	712
339	710
338	708
337	706
336	704
335	702
334	700
333	698
332	696
331	694
330	692
329	690
328	688
327	686
326	684
325	682
324	680
323	678
322	676
321	674
320	672
319	670
318	668
317	666
316	664
315	662
314	660
313	658
312	656
311	654
310	652
309	650
308	648
307	646
306	644
305	642
304	640
303	638
302	636
301	634
300	632
299	630
298	628
297	626
296	624
295	622
294	620
293	618
292	616
291	614
290	612
289	610
288	608
287	606
286	604
285	602
284	600
283	598
282	596
281	594
280	592
279	590
278	588
277	586
276	584
275	582
274	580
273	578
272	576
271	574
270	572
269	570
268	568
267	566
266	564
265	562
264	560
263	558
262	556
261	554
260	552
259	550
258	548
257	546
256	544
255	542
254	540
253	538
252	536
251	534
250	532
249	530
248	528
247	526
246	524
245	522
244	520
243	518
242	516
241	514
240	512
239	510
238	508
237	506
236	504
235	502
234	500
233	498
232	496
231	494
230	492
229	490
228	488
227	486
226	484
225	482
224	480
223	478
222	476
221	474
220	472
219	470
218	468
217	466
216	464
215	462
214	460
213	458
212	456
211	454
210	452
209	450
208	448
207	446
206	444
205	442
204	440
203	438
202	436
201	434
200	432
199	430
198	428
197	426
196	424
195	422
194	420
193	418
192	416
191	414
190	412
189	410
188	408
187	406
186	404
185	402
184	400
183	398
182	396
181	394
180	392
179	390
178	388
177	386
176	384
175	382
174	380
173	378
172	376
171	374
170	372
169	370
168	368
167	366
166	364
165	362
164	360
163	358
162	356
161	354
160	352
159	350
158	348
157	346
156	344
155	342
154	340
153	338
152	336
151	334
150	332
149	330
148	328
147	326
146	324
145	322
144	320
143	318
142	316
141	314
140	312
139	310
138	308
137	306
136	304
135	302
134	300
133	298
132	296
131	294
130	292
129	290
128	288
127	286
126	284
125	282
124	280
123	278
122	276
121	274
120	272
119	270
118	268
117	266
116	264
115	262
114	260
113	258
112	256
111	254
110	252
109	250
108	248
107	246
106	244
105	242
104	240
103	238
102	236
101	234
100	232
99	230
98	228
97	226
96	224
95	222
94	220
93	218
92	216
91	214
90	212
89	210
88	208
87	206
86	204
85	202
84	200
83	198
82	196
81	194
80	192
79	190
78	188
77	186
76	184
75	182
74	180
73	178
72	176
71	174
70	172
69	170
68	168
67	166
66	164
65	162
64	160
63	158
62	156
61	154
60	152
59	150
58	148
57	146
56	144
55	142
54	140
53	138
52	136
51	134
50	132
49	130
48	128
47	126
46	124
45	122
44	120
43	118
42	116
41	114
40	112
39	110
38	108
37	106
36	104
35	102
34	100
33	98
32	96
31	94
30	92
29	90
28	88
27	86
26	84
25	82
24	80
23	78
22	76
21	74
20	72
19	70
18	68
17	66
16	64
15	62
14	60
13	58
12	56
11	54
10	52
9	50
8	48
7	46
6	44
5	42
4	40
3	38
2	36
1	29
0	19

end0.0ms

sample1.6s

Algorithm

intervals

Results

648.0ms	8680×	body	80	nan
627.0ms	8516×	body	80	valid