Details

sample18.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify21.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
690	4999
689	4992
688	4985
687	4978
686	4971
685	4964
684	4957
683	4950
682	4943
681	4936
680	4929
679	4922
678	4915
677	4908
676	4901
675	4894
674	4887
673	4880
672	4873
671	4866
670	4859
669	4852
668	4845
667	4838
666	4831
665	4824
664	4817
663	4810
662	4803
661	4796
660	4789
659	4782
658	4775
657	4768
656	4761
655	4754
654	4747
653	4740
652	4733
651	4726
650	4719
649	4712
648	4705
647	4698
646	4691
645	4684
644	4677
643	4670
642	4663
641	4656
640	4649
639	4642
638	4635
637	4628
636	4621
635	4614
634	4607
633	4600
632	4593
631	4586
630	4579
629	4572
628	4565
627	4558
626	4551
625	4544
624	4537
623	4530
622	4523
621	4516
620	4509
619	4502
618	4495
617	4488
616	4481
615	4474
614	4467
613	4460
612	4453
611	4446
610	4439
609	4432
608	4425
607	4418
606	4411
605	4404
604	4397
603	4390
602	4383
601	4376
600	4369
599	4362
598	4355
597	4348
596	4341
595	4334
594	4327
593	4320
592	4313
591	4306
590	4299
589	4292
588	4285
587	4278
586	4271
585	4264
584	4257
583	4250
582	4243
581	4236
580	4229
579	4222
578	4215
577	4208
576	4201
575	4194
574	4187
573	4180
572	4173
571	4166
570	4159
569	4152
568	4145
567	4138
566	4131
565	4124
564	4117
563	4110
562	4103
561	4096
560	4089
559	4082
558	4075
557	4068
556	4061
555	4054
554	4047
553	4040
552	4033
551	4026
550	4019
549	4012
548	4005
547	3998
546	3991
545	3984
544	3977
543	3970
542	3963
541	3956
540	3949
539	3942
538	3935
537	3928
536	3921
535	3914
534	3907
533	3900
532	3893
531	3886
530	3879
529	3872
528	3865
527	3858
526	3851
525	3844
524	3837
523	3830
522	3823
521	3816
520	3809
519	3802
518	3795
517	3788
516	3781
515	3774
514	3767
513	3760
512	3753
511	3746
510	3739
509	3732
508	3725
507	3718
506	3711
505	3704
504	3697
503	3690
502	3683
501	3676
500	3669
499	3662
498	3655
497	3648
496	3641
495	3634
494	3627
493	3620
492	3613
491	3606
490	3599
489	3592
488	3585
487	3578
486	3571
485	3564
484	3557
483	3550
482	3543
481	3536
480	3529
479	3522
478	3515
477	3508
476	3501
475	3494
474	3487
473	3480
472	3473
471	3466
470	3459
469	3452
468	3445
467	3438
466	3431
465	3424
464	3417
463	3410
462	3403
461	3396
460	3389
459	3382
458	3375
457	3368
456	3361
455	3354
454	3347
453	3340
452	3333
451	3326
450	3319
449	3312
448	3305
447	3298
446	3291
445	3284
444	3277
443	3270
442	3263
441	3256
440	3249
439	3242
438	3235
437	3228
436	3221
435	3214
434	3207
433	3200
432	3193
431	3186
430	3179
429	3172
428	3165
427	3158
426	3151
425	3144
424	3137
423	3130
422	3123
421	3116
420	3109
419	3102
418	3095
417	3088
416	3081
415	3074
414	3067
413	3060
412	3053
411	3046
410	3039
409	3032
408	3025
407	3018
406	3011
405	3004
404	2997
403	2990
402	2983
401	2976
400	2969
399	2962
398	2955
397	2948
396	2941
395	2934
394	2927
393	2920
392	2913
391	2906
390	2899
389	2892
388	2885
387	2878
386	2871
385	2864
384	2857
383	2850
382	2843
381	2836
380	2829
379	2822
378	2815
377	2808
376	2801
375	2794
374	2787
373	2780
372	2773
371	2766
370	2759
369	2752
368	2745
367	2738
366	2731
365	2724
364	2717
363	2710
362	2703
361	2696
360	2689
359	2682
358	2675
357	2668
356	2661
355	2654
354	2647
353	2640
352	2633
351	2626
350	2619
349	2612
348	2605
347	2598
346	2591
345	2584
344	2577
343	2570
342	2563
341	2556
340	2549
339	2542
338	2535
337	2528
336	2521
335	2514
334	2507
333	2500
332	2493
331	2486
330	2479
329	2472
328	2465
327	2458
326	2451
325	2444
324	2437
323	2430
322	2423
321	2416
320	2409
319	2402
318	2395
317	2388
316	2381
315	2374
314	2367
313	2360
312	2353
311	2346
310	2339
309	2332
308	2325
307	2318
306	2311
305	2304
304	2297
303	2290
302	2283
301	2276
300	2269
299	2262
298	2255
297	2248
296	2241
295	2234
294	2227
293	2220
292	2213
291	2206
290	2199
289	2192
288	2185
287	2178
286	2171
285	2164
284	2157
283	2150
282	2143
281	2136
280	2129
279	2122
278	2115
277	2108
276	2101
275	2094
274	2087
273	2080
272	2073
271	2066
270	2059
269	2052
268	2045
267	2038
266	2031
265	2024
264	2017
263	2010
262	2003
261	1996
260	1989
259	1982
258	1975
257	1968
256	1961
255	1954
254	1947
253	1940
252	1933
251	1926
250	1919
249	1912
248	1905
247	1898
246	1891
245	1884
244	1877
243	1870
242	1863
241	1856
240	1849
239	1842
238	1835
237	1828
236	1821
235	1814
234	1807
233	1800
232	1793
231	1786
230	1779
229	1772
228	1765
227	1758
226	1751
225	1744
224	1737
223	1730
222	1723
221	1716
220	1709
219	1702
218	1695
217	1688
216	1681
215	1674
214	1667
213	1660
212	1653
211	1646
210	1639
209	1632
208	1625
207	1618
206	1611
205	1604
204	1597
203	1590
202	1583
201	1576
200	1569
199	1562
198	1555
197	1548
196	1541
195	1534
194	1527
193	1520
192	1513
191	1506
190	1499
189	1492
188	1485
187	1478
186	1471
185	1464
184	1457
183	1450
182	1443
181	1436
180	1429
179	1422
178	1415
177	1408
176	1401
175	1394
174	1387
173	1380
172	1373
171	1366
170	1359
169	1352
168	1345
167	1338
166	1331
165	1324
164	1317
163	1310
162	1303
161	1296
160	1289
159	1282
158	1275
157	1268
156	1261
155	1254
154	1247
153	1240
152	1233
151	1226
150	1219
149	1212
148	1205
147	1198
146	1191
145	1184
144	1177
143	1170
142	1163
141	1156
140	1149
139	1142
138	1135
137	1128
136	1121
135	1114
134	1107
133	1100
132	1093
131	1086
130	1079
129	1072
128	1065
127	1058
126	1051
125	1044
124	1037
123	1030
122	1023
121	1016
120	1009
119	1002
118	995
117	988
116	981
115	974
114	967
113	960
112	953
111	946
110	939
109	932
108	925
107	918
106	911
105	904
104	897
103	890
102	883
101	876
100	869
99	862
98	855
97	848
96	841
95	834
94	827
93	820
92	813
91	806
90	799
89	792
88	785
87	778
86	771
85	764
84	757
83	750
82	743
81	736
80	729
79	722
78	715
77	708
76	701
75	694
74	687
73	680
72	673
71	666
70	659
69	652
68	645
67	638
66	631
65	624
64	617
63	610
62	603
61	596
60	589
59	582
58	575
57	568
56	561
55	554
54	547
53	540
52	533
51	526
50	519
49	512
48	505
47	498
46	491
45	484
44	477
43	470
42	463
41	456
40	449
39	442
38	435
37	428
36	421
35	414
34	407
33	400
32	393
31	386
30	379
29	372
28	365
27	358
26	351
25	344
24	337
23	330
22	323
21	316
20	309
19	302
18	295
17	288
16	281
15	274
14	267
13	260
12	253
11	246
10	239
9	232
8	225
7	218
6	208
5	181
4	132
3	75
2	36
1	15
0	7

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) y)
7.7b	(/ (* x 2.0) (/ (- x y) y))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

64×	`times-frac`
50×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`add-cbrt-cube` `add-exp-log`
10×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/l*`
4×	`div-inv`
2×	`pow1` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `add-log-exp` `associate-/l/`
1×	`flip3--` `div-sub` `associate-/r/` `flip--`

Counts

2 → 96

Calls

2 calls:

24.0ms	(/ (- x y) y)
26.0ms	(/ (* x 2.0) (/ (- x y) y))

series123.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(/ (- x y) y)
84.0ms	(/ (* x 2.0) (/ (- x y) y))

simplify1.1s

Counts

102 → 102

Iterations

Iter	Nodes
done	5001
2	2492
1	422
0	151

prune404.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (- x y))
7.0b	(* (/ x (- x y)) (* 2.0 y))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`times-frac`
21×	`associate-l` `add-cube-cbrt`
16×	`add-cbrt-cube` `add-exp-log`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-/r*`
4×	`associate-/r/`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*`
2×	`flip3--` `div-inv` `flip--` `add-log-exp`
1×	`clear-num` `frac-2neg` `associate-r` `associate-l/` `-commutative`

Counts

2 → 78

Calls

2 calls:

9.0ms	(/ x (- x y))
63.0ms	(* (/ x (- x y)) (* 2.0 y))

series155.0ms

Counts

2 → 6

Calls

2 calls:

69.0ms	(/ x (- x y))
86.0ms	(* (/ x (- x y)) (* 2.0 y))

simplify705.0ms

Counts

84 → 84

Iterations

Iter	Nodes
done	5000
2	1239
1	327
0	119

prune350.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 1 expressions with local error:

7.7b	(/ (- (* x 2.0)) (+ (- (/ x y)) 1))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
30×	`times-frac`
14×	`add-sqr-sqrt` `add-cube-cbrt` `distribute-lft-out`
13×	`distribute-rgt-neg-in`
6×	`distribute-lft-neg-in` `neg-mul-1` `associate-/l*`
5×	`associate-/r*`
3×	`add-cbrt-cube` `add-exp-log`
2×	`associate-/r/`
1×	`neg-sub0` `pow1` `cbrt-undiv` `clear-num` `frac-2neg` `flip3-+` `div-sub` `div-exp` `distribute-frac-neg` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 57

Calls

1 calls:

84.0ms

(/ (- (* x 2.0)) (+ (- (/ x y)) 1))

series102.0ms

Counts

1 → 3

Calls

1 calls:

102.0ms

(/ (- (* x 2.0)) (+ (- (/ x y)) 1))

simplify602.0ms

Counts

60 → 60

Iterations

Iter	Nodes
done	5001
2	1061
1	218
0	90

prune190.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) y)
7.7b	(/ (* 2.0 x) (/ (- x y) y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

64×	`times-frac`
50×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`add-cbrt-cube` `add-exp-log`
10×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/l*`
4×	`div-inv`
2×	`pow1` `clear-num` `frac-2neg` `prod-exp` `cbrt-unprod` `add-log-exp` `associate-/l/`
1×	`flip3--` `div-sub` `associate-/r/` `flip--`

Counts

2 → 96

Calls

2 calls:

12.0ms	(/ (- x y) y)
16.0ms	(/ (* 2.0 x) (/ (- x y) y))

series129.0ms

Counts

2 → 6

Calls

2 calls:

53.0ms	(/ (- x y) y)
76.0ms	(/ (* 2.0 x) (/ (- x y) y))

simplify1.1s

Counts

102 → 102

Iterations

Iter	Nodes
done	5002
2	2475
1	417
0	151

prune387.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes127.0ms

Accuracy

73.6% (1.9b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 7.4b

bsearch102.0ms

Steps

Iters	Range		Point
8	3.2169827340741625e-158	3.485276264119076e-155	3.448485370032303e-155
8	-1.2665164637226831e-155	-2.6235253916143137e-159	-1.794266843434528e-157

simplify6.6s

Iterations

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

end0.0ms

sample615.0ms

Algorithm

intervals

Results

385.0ms

8000×

body

valid