Details

sample40.0ms

Algorithm

intervals

Results

14.0ms	269×	body	80	valid
11.0ms	247×	body	80	nan

simplify7.1s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize32.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))

rewrite172.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:

131.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
9.0ms	(/ y (* 3.0 (sqrt x)))
15.0ms	(/ 1.0 (* x 9.0))
12.0ms	(* 3.0 (sqrt x))

series173.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
64.0ms	(/ y (* 3.0 (sqrt x)))
18.0ms	(/ 1.0 (* x 9.0))
39.0ms	(* 3.0 (sqrt x))

simplify1.6s

Counts

170 → 170

Iterations

Iter	Nodes
done	5042
2	2640
1	815
0	313

prune785.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 1.0 (* x 9.0)))
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))

rewrite310.0ms

Algorithm

rewrite-expression-head

Rules

828×	`times-frac`
722×	`add-sqr-sqrt`
711×	`*-un-lft-identity`
538×	`add-cube-cbrt`
452×	`prod-diff`
239×	`sqrt-prod`
89×	`difference-of-squares`
87×	`distribute-lft-out--`
50×	`div-inv`
23×	`associate--l+`
16×	`associate-/l*`
14×	`add-cbrt-cube` `add-exp-log`
11×	`add-log-exp`
8×	`fma-neg`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `pow1` `diff-log` `insert-posit16` `log1p-expm1-u`
3×	`sub-neg` `flip3--` `flip--`
2×	`clear-num` `frac-2neg` `frac-sub`
1×	`associate--l-` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 644

Calls

4 calls:

22.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
198.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
11.0ms	(/ 1.0 (* x 9.0))
19.0ms	(/ (/ y 3.0) (sqrt x))

series535.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
375.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
28.0ms	(/ 1.0 (* x 9.0))
84.0ms	(/ (/ y 3.0) (sqrt x))

simplify1.7s

Counts

656 → 656

Iterations

Iter	Nodes
done	5000
1	2454
0	936

prune3.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (/ y (cbrt 3.0)) (sqrt x))
0.3b	(/ (/ y (cbrt 3.0)) (sqrt x))
0.3b	(/ (/ y (cbrt 3.0)) (sqrt x))
55.9b	(fma (- (/ (/ y (cbrt 3.0)) (sqrt x))) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1) (* (/ (/ y (cbrt 3.0)) (sqrt x)) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1)))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

774×	`times-frac`
415×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
207×	`sqrt-prod`
189×	`cbrt-prod`
66×	`associate-/l*`
24×	`div-inv`
19×	`add-exp-log`
18×	`associate-/r*`
16×	`add-cbrt-cube`
9×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg` `associate-/l/`
1×	`fma-udef`

Counts

4 → 545

Calls

4 calls:

16.0ms	(/ (/ y (cbrt 3.0)) (sqrt x))
15.0ms	(/ (/ y (cbrt 3.0)) (sqrt x))
16.0ms	(/ (/ y (cbrt 3.0)) (sqrt x))
5.0ms	(fma (- (/ (/ y (cbrt 3.0)) (sqrt x))) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1) (* (/ (/ y (cbrt 3.0)) (sqrt x)) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1)))

series801.0ms

Counts

4 → 12

Calls

4 calls:

199.0ms	(/ (/ y (cbrt 3.0)) (sqrt x))
208.0ms	(/ (/ y (cbrt 3.0)) (sqrt x))
174.0ms	(/ (/ y (cbrt 3.0)) (sqrt x))
220.0ms	(fma (- (/ (/ y (cbrt 3.0)) (sqrt x))) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1) (* (/ (/ y (cbrt 3.0)) (sqrt x)) (/ (/ 1 (* (cbrt 3.0) (cbrt 3.0))) 1)))

simplify1.5s

Counts

557 → 557

Iterations

Iter	Nodes
done	5001
2	1757
1	751
0	324

prune3.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite271.0ms

Algorithm

rewrite-expression-head

Rules

1049×	`times-frac`
1041×	`add-sqr-sqrt`
781×	`*-un-lft-identity`
610×	`add-cube-cbrt`
531×	`prod-diff`
278×	`sqrt-prod`
171×	`difference-of-squares`
86×	`distribute-lft-out--`
53×	`div-inv`
41×	`associate--l+`
13×	`associate-/l*`
7×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
6×	`associate-/r*` `fma-neg`
3×	`cbrt-undiv` `diff-log` `div-exp`
2×	`expm1-log1p-u` `pow1` `sub-neg` `flip3--` `frac-sub` `insert-posit16` `log1p-expm1-u` `flip--`
1×	`associate--l-` `clear-num` `frac-2neg` `associate-/l/`

Counts

2 → 680

Calls

2 calls:

182.0ms	(- (- 1.0 (/ 0.1111111111111111 x)) (/ (/ y 3.0) (sqrt x)))
14.0ms	(/ (/ y 3.0) (sqrt x))

series146.0ms

Counts

2 → 6

Calls

2 calls:

67.0ms	(- (- 1.0 (/ 0.1111111111111111 x)) (/ (/ y 3.0) (sqrt x)))
79.0ms	(/ (/ y 3.0) (sqrt x))

simplify2.0s

Counts

686 → 686

Iterations

Iter	Nodes
done	5000
1	2556
0	974

prune3.4s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes125.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.2s

Iterations

Iter	Nodes
done	5001
2481	4999
2480	4997
2479	4995
2478	4993
2477	4991
2476	4989
2475	4987
2474	4985
2473	4983
2472	4981
2471	4979
2470	4977
2469	4975
2468	4973
2467	4971
2466	4969
2465	4967
2464	4965
2463	4963
2462	4961
2461	4959
2460	4957
2459	4955
2458	4953
2457	4951
2456	4949
2455	4947
2454	4945
2453	4943
2452	4941
2451	4939
2450	4937
2449	4935
2448	4933
2447	4931
2446	4929
2445	4927
2444	4925
2443	4923
2442	4921
2441	4919
2440	4917
2439	4915
2438	4913
2437	4911
2436	4909
2435	4907
2434	4905
2433	4903
2432	4901
2431	4899
2430	4897
2429	4895
2428	4893
2427	4891
2426	4889
2425	4887
2424	4885
2423	4883
2422	4881
2421	4879
2420	4877
2419	4875
2418	4873
2417	4871
2416	4869
2415	4867
2414	4865
2413	4863
2412	4861
2411	4859
2410	4857
2409	4855
2408	4853
2407	4851
2406	4849
2405	4847
2404	4845
2403	4843
2402	4841
2401	4839
2400	4837
2399	4835
2398	4833
2397	4831
2396	4829
2395	4827
2394	4825
2393	4823
2392	4821
2391	4819
2390	4817
2389	4815
2388	4813
2387	4811
2386	4809
2385	4807
2384	4805
2383	4803
2382	4801
2381	4799
2380	4797
2379	4795
2378	4793
2377	4791
2376	4789
2375	4787
2374	4785
2373	4783
2372	4781
2371	4779
2370	4777
2369	4775
2368	4773
2367	4771
2366	4769
2365	4767
2364	4765
2363	4763
2362	4761
2361	4759
2360	4757
2359	4755
2358	4753
2357	4751
2356	4749
2355	4747
2354	4745
2353	4743
2352	4741
2351	4739
2350	4737
2349	4735
2348	4733
2347	4731
2346	4729
2345	4727
2344	4725
2343	4723
2342	4721
2341	4719
2340	4717
2339	4715
2338	4713
2337	4711
2336	4709
2335	4707
2334	4705
2333	4703
2332	4701
2331	4699
2330	4697
2329	4695
2328	4693
2327	4691
2326	4689
2325	4687
2324	4685
2323	4683
2322	4681
2321	4679
2320	4677
2319	4675
2318	4673
2317	4671
2316	4669
2315	4667
2314	4665
2313	4663
2312	4661
2311	4659
2310	4657
2309	4655
2308	4653
2307	4651
2306	4649
2305	4647
2304	4645
2303	4643
2302	4641
2301	4639
2300	4637
2299	4635
2298	4633
2297	4631
2296	4629
2295	4627
2294	4625
2293	4623
2292	4621
2291	4619
2290	4617
2289	4615
2288	4613
2287	4611
2286	4609
2285	4607
2284	4605
2283	4603
2282	4601
2281	4599
2280	4597
2279	4595
2278	4593
2277	4591
2276	4589
2275	4587
2274	4585
2273	4583
2272	4581
2271	4579
2270	4577
2269	4575
2268	4573
2267	4571
2266	4569
2265	4567
2264	4565
2263	4563
2262	4561
2261	4559
2260	4557
2259	4555
2258	4553
2257	4551
2256	4549
2255	4547
2254	4545
2253	4543
2252	4541
2251	4539
2250	4537
2249	4535
2248	4533
2247	4531
2246	4529
2245	4527
2244	4525
2243	4523
2242	4521
2241	4519
2240	4517
2239	4515
2238	4513
2237	4511
2236	4509
2235	4507
2234	4505
2233	4503
2232	4501
2231	4499
2230	4497
2229	4495
2228	4493
2227	4491
2226	4489
2225	4487
2224	4485
2223	4483
2222	4481
2221	4479
2220	4477
2219	4475
2218	4473
2217	4471
2216	4469
2215	4467
2214	4465
2213	4463
2212	4461
2211	4459
2210	4457
2209	4455
2208	4453
2207	4451
2206	4449
2205	4447
2204	4445
2203	4443
2202	4441
2201	4439
2200	4437
2199	4435
2198	4433
2197	4431
2196	4429
2195	4427
2194	4425
2193	4423
2192	4421
2191	4419
2190	4417
2189	4415
2188	4413
2187	4411
2186	4409
2185	4407
2184	4405
2183	4403
2182	4401
2181	4399
2180	4397
2179	4395
2178	4393
2177	4391
2176	4389
2175	4387
2174	4385
2173	4383
2172	4381
2171	4379
2170	4377
2169	4375
2168	4373
2167	4371
2166	4369
2165	4367
2164	4365
2163	4363
2162	4361
2161	4359
2160	4357
2159	4355
2158	4353
2157	4351
2156	4349
2155	4347
2154	4345
2153	4343
2152	4341
2151	4339
2150	4337
2149	4335
2148	4333
2147	4331
2146	4329
2145	4327
2144	4325
2143	4323
2142	4321
2141	4319
2140	4317
2139	4315
2138	4313
2137	4311
2136	4309
2135	4307
2134	4305
2133	4303
2132	4301
2131	4299
2130	4297
2129	4295
2128	4293
2127	4291
2126	4289
2125	4287
2124	4285
2123	4283
2122	4281
2121	4279
2120	4277
2119	4275
2118	4273
2117	4271
2116	4269
2115	4267
2114	4265
2113	4263
2112	4261
2111	4259
2110	4257
2109	4255
2108	4253
2107	4251
2106	4249
2105	4247
2104	4245
2103	4243
2102	4241
2101	4239
2100	4237
2099	4235
2098	4233
2097	4231
2096	4229
2095	4227
2094	4225
2093	4223
2092	4221
2091	4219
2090	4217
2089	4215
2088	4213
2087	4211
2086	4209
2085	4207
2084	4205
2083	4203
2082	4201
2081	4199
2080	4197
2079	4195
2078	4193
2077	4191
2076	4189
2075	4187
2074	4185
2073	4183
2072	4181
2071	4179
2070	4177
2069	4175
2068	4173
2067	4171
2066	4169
2065	4167
2064	4165
2063	4163
2062	4161
2061	4159
2060	4157
2059	4155
2058	4153
2057	4151
2056	4149
2055	4147
2054	4145
2053	4143
2052	4141
2051	4139
2050	4137
2049	4135
2048	4133
2047	4131
2046	4129
2045	4127
2044	4125
2043	4123
2042	4121
2041	4119
2040	4117
2039	4115
2038	4113
2037	4111
2036	4109
2035	4107
2034	4105
2033	4103
2032	4101
2031	4099
2030	4097
2029	4095
2028	4093
2027	4091
2026	4089
2025	4087
2024	4085
2023	4083
2022	4081
2021	4079
2020	4077
2019	4075
2018	4073
2017	4071
2016	4069
2015	4067
2014	4065
2013	4063
2012	4061
2011	4059
2010	4057
2009	4055
2008	4053
2007	4051
2006	4049
2005	4047
2004	4045
2003	4043
2002	4041
2001	4039
2000	4037
1999	4035
1998	4033
1997	4031
1996	4029
1995	4027
1994	4025
1993	4023
1992	4021
1991	4019
1990	4017
1989	4015
1988	4013
1987	4011
1986	4009
1985	4007
1984	4005
1983	4003
1982	4001
1981	3999
1980	3997
1979	3995
1978	3993
1977	3991
1976	3989
1975	3987
1974	3985
1973	3983
1972	3981
1971	3979
1970	3977
1969	3975
1968	3973
1967	3971
1966	3969
1965	3967
1964	3965
1963	3963
1962	3961
1961	3959
1960	3957
1959	3955
1958	3953
1957	3951
1956	3949
1955	3947
1954	3945
1953	3943
1952	3941
1951	3939
1950	3937
1949	3935
1948	3933
1947	3931
1946	3929
1945	3927
1944	3925
1943	3923
1942	3921
1941	3919
1940	3917
1939	3915
1938	3913
1937	3911
1936	3909
1935	3907
1934	3905
1933	3903
1932	3901
1931	3899
1930	3897
1929	3895
1928	3893
1927	3891
1926	3889
1925	3887
1924	3885
1923	3883
1922	3881
1921	3879
1920	3877
1919	3875
1918	3873
1917	3871
1916	3869
1915	3867
1914	3865
1913	3863
1912	3861
1911	3859
1910	3857
1909	3855
1908	3853
1907	3851
1906	3849
1905	3847
1904	3845
1903	3843
1902	3841
1901	3839
1900	3837
1899	3835
1898	3833
1897	3831
1896	3829
1895	3827
1894	3825
1893	3823
1892	3821
1891	3819
1890	3817
1889	3815
1888	3813
1887	3811
1886	3809
1885	3807
1884	3805
1883	3803
1882	3801
1881	3799
1880	3797
1879	3795
1878	3793
1877	3791
1876	3789
1875	3787
1874	3785
1873	3783
1872	3781
1871	3779
1870	3777
1869	3775
1868	3773
1867	3771
1866	3769
1865	3767
1864	3765
1863	3763
1862	3761
1861	3759
1860	3757
1859	3755
1858	3753
1857	3751
1856	3749
1855	3747
1854	3745
1853	3743
1852	3741
1851	3739
1850	3737
1849	3735
1848	3733
1847	3731
1846	3729
1845	3727
1844	3725
1843	3723
1842	3721
1841	3719
1840	3717
1839	3715
1838	3713
1837	3711
1836	3709
1835	3707
1834	3705
1833	3703
1832	3701
1831	3699
1830	3697
1829	3695
1828	3693
1827	3691
1826	3689
1825	3687
1824	3685
1823	3683
1822	3681
1821	3679
1820	3677
1819	3675
1818	3673
1817	3671
1816	3669
1815	3667
1814	3665
1813	3663
1812	3661
1811	3659
1810	3657
1809	3655
1808	3653
1807	3651
1806	3649
1805	3647
1804	3645
1803	3643
1802	3641
1801	3639
1800	3637
1799	3635
1798	3633
1797	3631
1796	3629
1795	3627
1794	3625
1793	3623
1792	3621
1791	3619
1790	3617
1789	3615
1788	3613
1787	3611
1786	3609
1785	3607
1784	3605
1783	3603
1782	3601
1781	3599
1780	3597
1779	3595
1778	3593
1777	3591
1776	3589
1775	3587
1774	3585
1773	3583
1772	3581
1771	3579
1770	3577
1769	3575
1768	3573
1767	3571
1766	3569
1765	3567
1764	3565
1763	3563
1762	3561
1761	3559
1760	3557
1759	3555
1758	3553
1757	3551
1756	3549
1755	3547
1754	3545
1753	3543
1752	3541
1751	3539
1750	3537
1749	3535
1748	3533
1747	3531
1746	3529
1745	3527
1744	3525
1743	3523
1742	3521
1741	3519
1740	3517
1739	3515
1738	3513
1737	3511
1736	3509
1735	3507
1734	3505
1733	3503
1732	3501
1731	3499
1730	3497
1729	3495
1728	3493
1727	3491
1726	3489
1725	3487
1724	3485
1723	3483
1722	3481
1721	3479
1720	3477
1719	3475
1718	3473
1717	3471
1716	3469
1715	3467
1714	3465
1713	3463
1712	3461
1711	3459
1710	3457
1709	3455
1708	3453
1707	3451
1706	3449
1705	3447
1704	3445
1703	3443
1702	3441
1701	3439
1700	3437
1699	3435
1698	3433
1697	3431
1696	3429
1695	3427
1694	3425
1693	3423
1692	3421
1691	3419
1690	3417
1689	3415
1688	3413
1687	3411
1686	3409
1685	3407
1684	3405
1683	3403
1682	3401
1681	3399
1680	3397
1679	3395
1678	3393
1677	3391
1676	3389
1675	3387
1674	3385
1673	3383
1672	3381
1671	3379
1670	3377
1669	3375
1668	3373
1667	3371
1666	3369
1665	3367
1664	3365
1663	3363
1662	3361
1661	3359
1660	3357
1659	3355
1658	3353
1657	3351
1656	3349
1655	3347
1654	3345
1653	3343
1652	3341
1651	3339
1650	3337
1649	3335
1648	3333
1647	3331
1646	3329
1645	3327
1644	3325
1643	3323
1642	3321
1641	3319
1640	3317
1639	3315
1638	3313
1637	3311
1636	3309
1635	3307
1634	3305
1633	3303
1632	3301
1631	3299
1630	3297
1629	3295
1628	3293
1627	3291
1626	3289
1625	3287
1624	3285
1623	3283
1622	3281
1621	3279
1620	3277
1619	3275
1618	3273
1617	3271
1616	3269
1615	3267
1614	3265
1613	3263
1612	3261
1611	3259
1610	3257
1609	3255
1608	3253
1607	3251
1606	3249
1605	3247
1604	3245
1603	3243
1602	3241
1601	3239
1600	3237
1599	3235
1598	3233
1597	3231
1596	3229
1595	3227
1594	3225
1593	3223
1592	3221
1591	3219
1590	3217
1589	3215
1588	3213
1587	3211
1586	3209
1585	3207
1584	3205
1583	3203
1582	3201
1581	3199
1580	3197
1579	3195
1578	3193
1577	3191
1576	3189
1575	3187
1574	3185
1573	3183
1572	3181
1571	3179
1570	3177
1569	3175
1568	3173
1567	3171
1566	3169
1565	3167
1564	3165
1563	3163
1562	3161
1561	3159
1560	3157
1559	3155
1558	3153
1557	3151
1556	3149
1555	3147
1554	3145
1553	3143
1552	3141
1551	3139
1550	3137
1549	3135
1548	3133
1547	3131
1546	3129
1545	3127
1544	3125
1543	3123
1542	3121
1541	3119
1540	3117
1539	3115
1538	3113
1537	3111
1536	3109
1535	3107
1534	3105
1533	3103
1532	3101
1531	3099
1530	3097
1529	3095
1528	3093
1527	3091
1526	3089
1525	3087
1524	3085
1523	3083
1522	3081
1521	3079
1520	3077
1519	3075
1518	3073
1517	3071
1516	3069
1515	3067
1514	3065
1513	3063
1512	3061
1511	3059
1510	3057
1509	3055
1508	3053
1507	3051
1506	3049
1505	3047
1504	3045
1503	3043
1502	3041
1501	3039
1500	3037
1499	3035
1498	3033
1497	3031
1496	3029
1495	3027
1494	3025
1493	3023
1492	3021
1491	3019
1490	3017
1489	3015
1488	3013
1487	3011
1486	3009
1485	3007
1484	3005
1483	3003
1482	3001
1481	2999
1480	2997
1479	2995
1478	2993
1477	2991
1476	2989
1475	2987
1474	2985
1473	2983
1472	2981
1471	2979
1470	2977
1469	2975
1468	2973
1467	2971
1466	2969
1465	2967
1464	2965
1463	2963
1462	2961
1461	2959
1460	2957
1459	2955
1458	2953
1457	2951
1456	2949
1455	2947
1454	2945
1453	2943
1452	2941
1451	2939
1450	2937
1449	2935
1448	2933
1447	2931
1446	2929
1445	2927
1444	2925
1443	2923
1442	2921
1441	2919
1440	2917
1439	2915
1438	2913
1437	2911
1436	2909
1435	2907
1434	2905
1433	2903
1432	2901
1431	2899
1430	2897
1429	2895
1428	2893
1427	2891
1426	2889
1425	2887
1424	2885
1423	2883
1422	2881
1421	2879
1420	2877
1419	2875
1418	2873
1417	2871
1416	2869
1415	2867
1414	2865
1413	2863
1412	2861
1411	2859
1410	2857
1409	2855
1408	2853
1407	2851
1406	2849
1405	2847
1404	2845
1403	2843
1402	2841
1401	2839
1400	2837
1399	2835
1398	2833
1397	2831
1396	2829
1395	2827
1394	2825
1393	2823
1392	2821
1391	2819
1390	2817
1389	2815
1388	2813
1387	2811
1386	2809
1385	2807
1384	2805
1383	2803
1382	2801
1381	2799
1380	2797
1379	2795
1378	2793
1377	2791
1376	2789
1375	2787
1374	2785
1373	2783
1372	2781
1371	2779
1370	2777
1369	2775
1368	2773
1367	2771
1366	2769
1365	2767
1364	2765
1363	2763
1362	2761
1361	2759
1360	2757
1359	2755
1358	2753
1357	2751
1356	2749
1355	2747
1354	2745
1353	2743
1352	2741
1351	2739
1350	2737
1349	2735
1348	2733
1347	2731
1346	2729
1345	2727
1344	2725
1343	2723
1342	2721
1341	2719
1340	2717
1339	2715
1338	2713
1337	2711
1336	2709
1335	2707
1334	2705
1333	2703
1332	2701
1331	2699
1330	2697
1329	2695
1328	2693
1327	2691
1326	2689
1325	2687
1324	2685
1323	2683
1322	2681
1321	2679
1320	2677
1319	2675
1318	2673
1317	2671
1316	2669
1315	2667
1314	2665
1313	2663
1312	2661
1311	2659
1310	2657
1309	2655
1308	2653
1307	2651
1306	2649
1305	2647
1304	2645
1303	2643
1302	2641
1301	2639
1300	2637
1299	2635
1298	2633
1297	2631
1296	2629
1295	2627
1294	2625
1293	2623
1292	2621
1291	2619
1290	2617
1289	2615
1288	2613
1287	2611
1286	2609
1285	2607
1284	2605
1283	2603
1282	2601
1281	2599
1280	2597
1279	2595
1278	2593
1277	2591
1276	2589
1275	2587
1274	2585
1273	2583
1272	2581
1271	2579
1270	2577
1269	2575
1268	2573
1267	2571
1266	2569
1265	2567
1264	2565
1263	2563
1262	2561
1261	2559
1260	2557
1259	2555
1258	2553
1257	2551
1256	2549
1255	2547
1254	2545
1253	2543
1252	2541
1251	2539
1250	2537
1249	2535
1248	2533
1247	2531
1246	2529
1245	2527
1244	2525
1243	2523
1242	2521
1241	2519
1240	2517
1239	2515
1238	2513
1237	2511
1236	2509
1235	2507
1234	2505
1233	2503
1232	2501
1231	2499
1230	2497
1229	2495
1228	2493
1227	2491
1226	2489
1225	2487
1224	2485
1223	2483
1222	2481
1221	2479
1220	2477
1219	2475
1218	2473
1217	2471
1216	2469
1215	2467
1214	2465
1213	2463
1212	2461
1211	2459
1210	2457
1209	2455
1208	2453
1207	2451
1206	2449
1205	2447
1204	2445
1203	2443
1202	2441
1201	2439
1200	2437
1199	2435
1198	2433
1197	2431
1196	2429
1195	2427
1194	2425
1193	2423
1192	2421
1191	2419
1190	2417
1189	2415
1188	2413
1187	2411
1186	2409
1185	2407
1184	2405
1183	2403
1182	2401
1181	2399
1180	2397
1179	2395
1178	2393
1177	2391
1176	2389
1175	2387
1174	2385
1173	2383
1172	2381
1171	2379
1170	2377
1169	2375
1168	2373
1167	2371
1166	2369
1165	2367
1164	2365
1163	2363
1162	2361
1161	2359
1160	2357
1159	2355
1158	2353
1157	2351
1156	2349
1155	2347
1154	2345
1153	2343
1152	2341
1151	2339
1150	2337
1149	2335
1148	2333
1147	2331
1146	2329
1145	2327
1144	2325
1143	2323
1142	2321
1141	2319
1140	2317
1139	2315
1138	2313
1137	2311
1136	2309
1135	2307
1134	2305
1133	2303
1132	2301
1131	2299
1130	2297
1129	2295
1128	2293
1127	2291
1126	2289
1125	2287
1124	2285
1123	2283
1122	2281
1121	2279
1120	2277
1119	2275
1118	2273
1117	2271
1116	2269
1115	2267
1114	2265
1113	2263
1112	2261
1111	2259
1110	2257
1109	2255
1108	2253
1107	2251
1106	2249
1105	2247
1104	2245
1103	2243
1102	2241
1101	2239
1100	2237
1099	2235
1098	2233
1097	2231
1096	2229
1095	2227
1094	2225
1093	2223
1092	2221
1091	2219
1090	2217
1089	2215
1088	2213
1087	2211
1086	2209
1085	2207
1084	2205
1083	2203
1082	2201
1081	2199
1080	2197
1079	2195
1078	2193
1077	2191
1076	2189
1075	2187
1074	2185
1073	2183
1072	2181
1071	2179
1070	2177
1069	2175
1068	2173
1067	2171
1066	2169
1065	2167
1064	2165
1063	2163
1062	2161
1061	2159
1060	2157
1059	2155
1058	2153
1057	2151
1056	2149
1055	2147
1054	2145
1053	2143
1052	2141
1051	2139
1050	2137
1049	2135
1048	2133
1047	2131
1046	2129
1045	2127
1044	2125
1043	2123
1042	2121
1041	2119
1040	2117
1039	2115
1038	2113
1037	2111
1036	2109
1035	2107
1034	2105
1033	2103
1032	2101
1031	2099
1030	2097
1029	2095
1028	2093
1027	2091
1026	2089
1025	2087
1024	2085
1023	2083
1022	2081
1021	2079
1020	2077
1019	2075
1018	2073
1017	2071
1016	2069
1015	2067
1014	2065
1013	2063
1012	2061
1011	2059
1010	2057
1009	2055
1008	2053
1007	2051
1006	2049
1005	2047
1004	2045
1003	2043
1002	2041
1001	2039
1000	2037
999	2035
998	2033
997	2031
996	2029
995	2027
994	2025
993	2023
992	2021
991	2019
990	2017
989	2015
988	2013
987	2011
986	2009
985	2007
984	2005
983	2003
982	2001
981	1999
980	1997
979	1995
978	1993
977	1991
976	1989
975	1987
974	1985
973	1983
972	1981
971	1979
970	1977
969	1975
968	1973
967	1971
966	1969
965	1967
964	1965
963	1963
962	1961
961	1959
960	1957
959	1955
958	1953
957	1951
956	1949
955	1947
954	1945
953	1943
952	1941
951	1939
950	1937
949	1935
948	1933
947	1931
946	1929
945	1927
944	1925
943	1923
942	1921
941	1919
940	1917
939	1915
938	1913
937	1911
936	1909
935	1907
934	1905
933	1903
932	1901
931	1899
930	1897
929	1895
928	1893
927	1891
926	1889
925	1887
924	1885
923	1883
922	1881
921	1879
920	1877
919	1875
918	1873
917	1871
916	1869
915	1867
914	1865
913	1863
912	1861
911	1859
910	1857
909	1855
908	1853
907	1851
906	1849
905	1847
904	1845
903	1843
902	1841
901	1839
900	1837
899	1835
898	1833
897	1831
896	1829
895	1827
894	1825
893	1823
892	1821
891	1819
890	1817
889	1815
888	1813
887	1811
886	1809
885	1807
884	1805
883	1803
882	1801
881	1799
880	1797
879	1795
878	1793
877	1791
876	1789
875	1787
874	1785
873	1783
872	1781
871	1779
870	1777
869	1775
868	1773
867	1771
866	1769
865	1767
864	1765
863	1763
862	1761
861	1759
860	1757
859	1755
858	1753
857	1751
856	1749
855	1747
854	1745
853	1743
852	1741
851	1739
850	1737
849	1735
848	1733
847	1731
846	1729
845	1727
844	1725
843	1723
842	1721
841	1719
840	1717
839	1715
838	1713
837	1711
836	1709
835	1707
834	1705
833	1703
832	1701
831	1699
830	1697
829	1695
828	1693
827	1691
826	1689
825	1687
824	1685
823	1683
822	1681
821	1679
820	1677
819	1675
818	1673
817	1671
816	1669
815	1667
814	1665
813	1663
812	1661
811	1659
810	1657
809	1655
808	1653
807	1651
806	1649
805	1647
804	1645
803	1643
802	1641
801	1639
800	1637
799	1635
798	1633
797	1631
796	1629
795	1627
794	1625
793	1623
792	1621
791	1619
790	1617
789	1615
788	1613
787	1611
786	1609
785	1607
784	1605
783	1603
782	1601
781	1599
780	1597
779	1595
778	1593
777	1591
776	1589
775	1587
774	1585
773	1583
772	1581
771	1579
770	1577
769	1575
768	1573
767	1571
766	1569
765	1567
764	1565
763	1563
762	1561
761	1559
760	1557
759	1555
758	1553
757	1551
756	1549
755	1547
754	1545
753	1543
752	1541
751	1539
750	1537
749	1535
748	1533
747	1531
746	1529
745	1527
744	1525
743	1523
742	1521
741	1519
740	1517
739	1515
738	1513
737	1511
736	1509
735	1507
734	1505
733	1503
732	1501
731	1499
730	1497
729	1495
728	1493
727	1491
726	1489
725	1487
724	1485
723	1483
722	1481
721	1479
720	1477
719	1475
718	1473
717	1471
716	1469
715	1467
714	1465
713	1463
712	1461
711	1459
710	1457
709	1455
708	1453
707	1451
706	1449
705	1447
704	1445
703	1443
702	1441
701	1439
700	1437
699	1435
698	1433
697	1431
696	1429
695	1427
694	1425
693	1423
692	1421
691	1419
690	1417
689	1415
688	1413
687	1411
686	1409
685	1407
684	1405
683	1403
682	1401
681	1399
680	1397
679	1395
678	1393
677	1391
676	1389
675	1387
674	1385
673	1383
672	1381
671	1379
670	1377
669	1375
668	1373
667	1371
666	1369
665	1367
664	1365
663	1363
662	1361
661	1359
660	1357
659	1355
658	1353
657	1351
656	1349
655	1347
654	1345
653	1343
652	1341
651	1339
650	1337
649	1335
648	1333
647	1331
646	1329
645	1327
644	1325
643	1323
642	1321
641	1319
640	1317
639	1315
638	1313
637	1311
636	1309
635	1307
634	1305
633	1303
632	1301
631	1299
630	1297
629	1295
628	1293
627	1291
626	1289
625	1287
624	1285
623	1283
622	1281
621	1279
620	1277
619	1275
618	1273
617	1271
616	1269
615	1267
614	1265
613	1263
612	1261
611	1259
610	1257
609	1255
608	1253
607	1251
606	1249
605	1247
604	1245
603	1243
602	1241
601	1239
600	1237
599	1235
598	1233
597	1231
596	1229
595	1227
594	1225
593	1223
592	1221
591	1219
590	1217
589	1215
588	1213
587	1211
586	1209
585	1207
584	1205
583	1203
582	1201
581	1199
580	1197
579	1195
578	1193
577	1191
576	1189
575	1187
574	1185
573	1183
572	1181
571	1179
570	1177
569	1175
568	1173
567	1171
566	1169
565	1167
564	1165
563	1163
562	1161
561	1159
560	1157
559	1155
558	1153
557	1151
556	1149
555	1147
554	1145
553	1143
552	1141
551	1139
550	1137
549	1135
548	1133
547	1131
546	1129
545	1127
544	1125
543	1123
542	1121
541	1119
540	1117
539	1115
538	1113
537	1111
536	1109
535	1107
534	1105
533	1103
532	1101
531	1099
530	1097
529	1095
528	1093
527	1091
526	1089
525	1087
524	1085
523	1083
522	1081
521	1079
520	1077
519	1075
518	1073
517	1071
516	1069
515	1067
514	1065
513	1063
512	1061
511	1059
510	1057
509	1055
508	1053
507	1051
506	1049
505	1047
504	1045
503	1043
502	1041
501	1039
500	1037
499	1035
498	1033
497	1031
496	1029
495	1027
494	1025
493	1023
492	1021
491	1019
490	1017
489	1015
488	1013
487	1011
486	1009
485	1007
484	1005
483	1003
482	1001
481	999
480	997
479	995
478	993
477	991
476	989
475	987
474	985
473	983
472	981
471	979
470	977
469	975
468	973
467	971
466	969
465	967
464	965
463	963
462	961
461	959
460	957
459	955
458	953
457	951
456	949
455	947
454	945
453	943
452	941
451	939
450	937
449	935
448	933
447	931
446	929
445	927
444	925
443	923
442	921
441	919
440	917
439	915
438	913
437	911
436	909
435	907
434	905
433	903
432	901
431	899
430	897
429	895
428	893
427	891
426	889
425	887
424	885
423	883
422	881
421	879
420	877
419	875
418	873
417	871
416	869
415	867
414	865
413	863
412	861
411	859
410	857
409	855
408	853
407	851
406	849
405	847
404	845
403	843
402	841
401	839
400	837
399	835
398	833
397	831
396	829
395	827
394	825
393	823
392	821
391	819
390	817
389	815
388	813
387	811
386	809
385	807
384	805
383	803
382	801
381	799
380	797
379	795
378	793
377	791
376	789
375	787
374	785
373	783
372	781
371	779
370	777
369	775
368	773
367	771
366	769
365	767
364	765
363	763
362	761
361	759
360	757
359	755
358	753
357	751
356	749
355	747
354	745
353	743
352	741
351	739
350	737
349	735
348	733
347	731
346	729
345	727
344	725
343	723
342	721
341	719
340	717
339	715
338	713
337	711
336	709
335	707
334	705
333	703
332	701
331	699
330	697
329	695
328	693
327	691
326	689
325	687
324	685
323	683
322	681
321	679
320	677
319	675
318	673
317	671
316	669
315	667
314	665
313	663
312	661
311	659
310	657
309	655
308	653
307	651
306	649
305	647
304	645
303	643
302	641
301	639
300	637
299	635
298	633
297	631
296	629
295	627
294	625
293	623
292	621
291	619
290	617
289	615
288	613
287	611
286	609
285	607
284	605
283	603
282	601
281	599
280	597
279	595
278	593
277	591
276	589
275	587
274	585
273	583
272	581
271	579
270	577
269	575
268	573
267	571
266	569
265	567
264	565
263	563
262	561
261	559
260	557
259	555
258	553
257	551
256	549
255	547
254	545
253	543
252	541
251	539
250	537
249	535
248	533
247	531
246	529
245	527
244	525
243	523
242	521
241	519
240	517
239	515
238	513
237	511
236	509
235	507
234	505
233	503
232	501
231	499
230	497
229	495
228	493
227	491
226	489
225	487
224	485
223	483
222	481
221	479
220	477
219	475
218	473
217	471
216	469
215	467
214	465
213	463
212	461
211	459
210	457
209	455
208	453
207	451
206	449
205	447
204	445
203	443
202	441
201	439
200	437
199	435
198	433
197	431
196	429
195	427
194	425
193	423
192	421
191	419
190	417
189	415
188	413
187	411
186	409
185	407
184	405
183	403
182	401
181	399
180	397
179	395
178	393
177	391
176	389
175	387
174	385
173	383
172	381
171	379
170	377
169	375
168	373
167	371
166	369
165	367
164	365
163	363
162	361
161	359
160	357
159	355
158	353
157	351
156	349
155	347
154	345
153	343
152	341
151	339
150	337
149	335
148	333
147	331
146	329
145	327
144	325
143	323
142	321
141	319
140	317
139	315
138	313
137	311
136	309
135	307
134	305
133	303
132	301
131	299
130	297
129	295
128	293
127	291
126	289
125	287
124	285
123	283
122	281
121	279
120	277
119	275
118	273
117	271
116	269
115	267
114	265
113	263
112	261
111	259
110	257
109	255
108	253
107	251
106	249
105	247
104	245
103	243
102	241
101	239
100	237
99	235
98	233
97	231
96	229
95	227
94	225
93	223
92	221
91	219
90	217
89	215
88	213
87	211
86	209
85	207
84	205
83	203
82	201
81	199
80	197
79	195
78	193
77	191
76	189
75	187
74	185
73	183
72	181
71	179
70	177
69	175
68	173
67	171
66	169
65	167
64	165
63	163
62	161
61	159
60	157
59	155
58	153
57	151
56	149
55	147
54	145
53	143
52	141
51	139
50	137
49	135
48	133
47	131
46	129
45	127
44	125
43	123
42	121
41	119
40	117
39	115
38	113
37	111
36	109
35	107
34	105
33	103
32	101
31	99
30	97
29	95
28	93
27	91
26	89
25	87
24	85
23	83
22	81
21	79
20	77
19	75
18	73
17	71
16	69
15	67
14	65
13	63
12	61
11	59
10	57
9	55
8	53
7	51
6	49
5	47
4	45
3	43
2	41
1	32
0	22

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.1s	8550×	body	80	nan
722.0ms	8513×	body	80	valid