Details

sample71.0ms

Algorithm

intervals

Results

24.0ms	281×	body	80	valid
7.0ms	93×	body	80	nan

simplify124.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	14
1	21	14
2	45	14
3	68	14
4	93	14
5	114	14
done	114	14

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.3b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b	(- (* z z) (* t a))
3.7b	(* (* x y) z)
8.1b	(/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
27.7b	(sqrt (- (* z z) (* t a)))

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt`
10×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
9×	`sqrt-prod`
6×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `add-log-exp`
4×	`sqrt-div`
3×	`cbrt-undiv` `flip3--` `div-exp` `associate-r` `pow-prod-down` `flip--`
2×	`associate-/r/`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `associate-l` `clear-num` `-commutative` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

15.0ms	(- (* z z) (* t a))
37.0ms	(* (* x y) z)
62.0ms	(/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
17.0ms	(sqrt (- (* z z) (* t a)))

series430.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(- (* z z) (* t a))
49.0ms	(* (* x y) z)
190.0ms	(/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
116.0ms	(sqrt (- (* z z) (* t a)))

simplify2.2s

Counts

88 → 88

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	134	1237
1	369	1135
2	2350	989
done	5001	987

prune827.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 4.2b

localize48.0ms

Local error

Found 4 expressions with local error:

1.1b	(/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
5.4b	(* (/ (* x y) (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
27.7b	(sqrt (- (* z z) (* t a)))
27.7b	(sqrt (- (* z z) (* t a)))

rewrite312.0ms

Algorithm

rewrite-expression-head

Rules

63×	`sqrt-prod`
48×	`add-sqr-sqrt` `times-frac`
35×	`add-cube-cbrt` `*-un-lft-identity`
33×	`associate-r`
30×	`add-exp-log` `add-cbrt-cube`
16×	`sqrt-div`
15×	`associate-l`
9×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r*` `cbrt-unprod`
8×	`pow1`
6×	`associate-/r/`
5×	`flip3--` `flip--`
4×	`add-log-exp` `unswap-sqr`
3×	`div-inv`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `-commutative` `associate-/l`

Counts

4 → 141

Calls

4 calls:

44.0ms	(/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
218.0ms	(* (/ (* x y) (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
19.0ms	(sqrt (- (* z z) (* t a)))
19.0ms	(sqrt (- (* z z) (* t a)))

series605.0ms

Counts

4 → 12

Calls

4 calls:

185.0ms	(/ (* x y) (sqrt (sqrt (- (* z z) (* t a)))))
172.0ms	(* (/ (* x y) (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
129.0ms	(sqrt (- (* z z) (* t a)))
118.0ms	(sqrt (- (* z z) (* t a)))

simplify4.1s

Counts

153 → 153

Iterations

Useful iterations: done (4.1s)

Iter	Nodes	Cost
0	224	3682
1	678	3347
2	4210	2978
done	5000	2952

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.2b

localize55.0ms

Local error

Found 4 expressions with local error:

3.6b	(/ (* (* x y) (/ z (sqrt (sqrt (- (* z z) (* t a)))))) (sqrt (sqrt (- (* z z) (* t a)))))
3.6b	(* (* x y) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
27.7b	(sqrt (- (* z z) (* t a)))
27.7b	(sqrt (- (* z z) (* t a)))

rewrite256.0ms

Algorithm

rewrite-expression-head

Rules

51×	`sqrt-prod`
36×	`times-frac`
34×	`add-exp-log` `add-cbrt-cube`
33×	`add-sqr-sqrt` `associate-r`
31×	`add-cube-cbrt` `*-un-lft-identity`
12×	`sqrt-div` `prod-exp` `cbrt-unprod`
11×	`pow1`
9×	`cbrt-undiv` `div-exp` `associate-/r*`
4×	`flip3--` `associate-/r/` `flip--` `add-log-exp`
3×	`pow-prod-down`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*r/` `div-inv`
1×	`frac-2neg` `associate-l` `clear-num` `-commutative` `associate-/l/` `associate-/l`

Counts

4 → 125

Calls

4 calls:

97.0ms	(/ (* (* x y) (/ z (sqrt (sqrt (- (* z z) (* t a)))))) (sqrt (sqrt (- (* z z) (* t a)))))
111.0ms	(* (* x y) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
18.0ms	(sqrt (- (* z z) (* t a)))
19.0ms	(sqrt (- (* z z) (* t a)))

series680.0ms

Counts

4 → 12

Calls

4 calls:

188.0ms	(/ (* (* x y) (/ z (sqrt (sqrt (- (* z z) (* t a)))))) (sqrt (sqrt (- (* z z) (* t a)))))
244.0ms	(* (* x y) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
129.0ms	(sqrt (- (* z z) (* t a)))
119.0ms	(sqrt (- (* z z) (* t a)))

simplify4.0s

Counts

137 → 137

Iterations

Useful iterations: done (4.0s)

Iter	Nodes	Cost
0	211	3083
1	648	2710
2	4224	2143
done	5000	2126

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.2b

localize55.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (/ x (sqrt (sqrt 1))) (* (/ y (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a)))))))
6.0b	(* (/ y (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
27.7b	(sqrt (- (* z z) (* t a)))
27.7b	(sqrt (- (* z z) (* t a)))

rewrite451.0ms

Algorithm

rewrite-expression-head

Rules

121×	`add-sqr-sqrt`
111×	`sqrt-prod`
105×	`times-frac`
64×	`associate-l`
63×	`add-cube-cbrt` `*-un-lft-identity`
57×	`add-exp-log` `add-cbrt-cube`
34×	`associate-r`
22×	`prod-exp` `cbrt-unprod`
17×	`cbrt-undiv` `div-exp`
16×	`unswap-sqr`
13×	`pow1`
12×	`sqrt-div`
6×	`frac-times` `associate-*r/`
4×	`flip3--` `pow-prod-down` `associate-*l/` `associate-/r/` `flip--` `add-log-exp`
3×	`div-inv`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `*-commutative`

Counts

4 → 201

Calls

4 calls:

199.0ms	(* (/ x (sqrt (sqrt 1))) (* (/ y (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a)))))))
187.0ms	(* (/ y (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
17.0ms	(sqrt (- (* z z) (* t a)))
27.0ms	(sqrt (- (* z z) (* t a)))

series531.0ms

Counts

4 → 12

Calls

4 calls:

184.0ms	(* (/ x (sqrt (sqrt 1))) (* (/ y (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a)))))))
111.0ms	(* (/ y (sqrt (sqrt (- (* z z) (* t a))))) (/ z (sqrt (sqrt (- (* z z) (* t a))))))
124.0ms	(sqrt (- (* z z) (* t a)))
112.0ms	(sqrt (- (* z z) (* t a)))

simplify768.0ms

Counts

213 → 213

Iterations

Useful iterations: done (757.0ms)

Iter	Nodes	Cost
0	297	6393
1	907	5826
done	5001	5034

prune1.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.2b

regimes1.3s

Accuracy

81.8% (3.7b remaining)

Error of 7.2b against oracle of 3.6b and baseline of 23.8b

bsearch138.0ms

Steps

Iters	Range		Point
4	2.635805807203389e+81	5.223125367879209e+81	3.396669184341053e+81
9	-6.215183965753672e+74	-1.5421164969392891e+69	-2.8045670485597684e+72

simplify6.4s

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	25	37
1	34	33
2	38	29
3	57	29
4	80	29
5	85	29
6	89	29
7	93	29
8	97	29
9	101	29
10	105	29
11	109	29
12	113	29
13	117	29
14	121	29
15	125	29
16	129	29
17	133	29
18	137	29
19	141	29
20	145	29
21	149	29
22	153	29
23	157	29
24	161	29
25	165	29
26	169	29
27	173	29
28	177	29
29	181	29
30	185	29
31	189	29
32	193	29
33	197	29
34	201	29
35	205	29
36	209	29
37	213	29
38	217	29
39	221	29
40	225	29
41	229	29
42	233	29
43	237	29
44	241	29
45	245	29
46	249	29
47	253	29
48	257	29
49	261	29
50	265	29
51	269	29
52	273	29
53	277	29
54	281	29
55	285	29
56	289	29
57	293	29
58	297	29
59	301	29
60	305	29
61	309	29
62	313	29
63	317	29
64	321	29
65	325	29
66	329	29
67	333	29
68	337	29
69	341	29
70	345	29
71	349	29
72	353	29
73	357	29
74	361	29
75	365	29
76	369	29
77	373	29
78	377	29
79	381	29
80	385	29
81	389	29
82	393	29
83	397	29
84	401	29
85	405	29
86	409	29
87	413	29
88	417	29
89	421	29
90	425	29
91	429	29
92	433	29
93	437	29
94	441	29
95	445	29
96	449	29
97	453	29
98	457	29
99	461	29
100	465	29
101	469	29
102	473	29
103	477	29
104	481	29
105	485	29
106	489	29
107	493	29
108	497	29
109	501	29
110	505	29
111	509	29
112	513	29
113	517	29
114	521	29
115	525	29
116	529	29
117	533	29
118	537	29
119	541	29
120	545	29
121	549	29
122	553	29
123	557	29
124	561	29
125	565	29
126	569	29
127	573	29
128	577	29
129	581	29
130	585	29
131	589	29
132	593	29
133	597	29
134	601	29
135	605	29
136	609	29
137	613	29
138	617	29
139	621	29
140	625	29
141	629	29
142	633	29
143	637	29
144	641	29
145	645	29
146	649	29
147	653	29
148	657	29
149	661	29
150	665	29
151	669	29
152	673	29
153	677	29
154	681	29
155	685	29
156	689	29
157	693	29
158	697	29
159	701	29
160	705	29
161	709	29
162	713	29
163	717	29
164	721	29
165	725	29
166	729	29
167	733	29
168	737	29
169	741	29
170	745	29
171	749	29
172	753	29
173	757	29
174	761	29
175	765	29
176	769	29
177	773	29
178	777	29
179	781	29
180	785	29
181	789	29
182	793	29
183	797	29
184	801	29
185	805	29
186	809	29
187	813	29
188	817	29
189	821	29
190	825	29
191	829	29
192	833	29
193	837	29
194	841	29
195	845	29
196	849	29
197	853	29
198	857	29
199	861	29
200	865	29
201	869	29
202	873	29
203	877	29
204	881	29
205	885	29
206	889	29
207	893	29
208	897	29
209	901	29
210	905	29
211	909	29
212	913	29
213	917	29
214	921	29
215	925	29
216	929	29
217	933	29
218	937	29
219	941	29
220	945	29
221	949	29
222	953	29
223	957	29
224	961	29
225	965	29
226	969	29
227	973	29
228	977	29
229	981	29
230	985	29
231	989	29
232	993	29
233	997	29
234	1001	29
235	1005	29
236	1009	29
237	1013	29
238	1017	29
239	1021	29
240	1025	29
241	1029	29
242	1033	29
243	1037	29
244	1041	29
245	1045	29
246	1049	29
247	1053	29
248	1057	29
249	1061	29
250	1065	29
251	1069	29
252	1073	29
253	1077	29
254	1081	29
255	1085	29
256	1089	29
257	1093	29
258	1097	29
259	1101	29
260	1105	29
261	1109	29
262	1113	29
263	1117	29
264	1121	29
265	1125	29
266	1129	29
267	1133	29
268	1137	29
269	1141	29
270	1145	29
271	1149	29
272	1153	29
273	1157	29
274	1161	29
275	1165	29
276	1169	29
277	1173	29
278	1177	29
279	1181	29
280	1185	29
281	1189	29
282	1193	29
283	1197	29
284	1201	29
285	1205	29
286	1209	29
287	1213	29
288	1217	29
289	1221	29
290	1225	29
291	1229	29
292	1233	29
293	1237	29
294	1241	29
295	1245	29
296	1249	29
297	1253	29
298	1257	29
299	1261	29
300	1265	29
301	1269	29
302	1273	29
303	1277	29
304	1281	29
305	1285	29
306	1289	29
307	1293	29
308	1297	29
309	1301	29
310	1305	29
311	1309	29
312	1313	29
313	1317	29
314	1321	29
315	1325	29
316	1329	29
317	1333	29
318	1337	29
319	1341	29
320	1345	29
321	1349	29
322	1353	29
323	1357	29
324	1361	29
325	1365	29
326	1369	29
327	1373	29
328	1377	29
329	1381	29
330	1385	29
331	1389	29
332	1393	29
333	1397	29
334	1401	29
335	1405	29
336	1409	29
337	1413	29
338	1417	29
339	1421	29
340	1425	29
341	1429	29
342	1433	29
343	1437	29
344	1441	29
345	1445	29
346	1449	29
347	1453	29
348	1457	29
349	1461	29
350	1465	29
351	1469	29
352	1473	29
353	1477	29
354	1481	29
355	1485	29
356	1489	29
357	1493	29
358	1497	29
359	1501	29
360	1505	29
361	1509	29
362	1513	29
363	1517	29
364	1521	29
365	1525	29
366	1529	29
367	1533	29
368	1537	29
369	1541	29
370	1545	29
371	1549	29
372	1553	29
373	1557	29
374	1561	29
375	1565	29
376	1569	29
377	1573	29
378	1577	29
379	1581	29
380	1585	29
381	1589	29
382	1593	29
383	1597	29
384	1601	29
385	1605	29
386	1609	29
387	1613	29
388	1617	29
389	1621	29
390	1625	29
391	1629	29
392	1633	29
393	1637	29
394	1641	29
395	1645	29
396	1649	29
397	1653	29
398	1657	29
399	1661	29
400	1665	29
401	1669	29
402	1673	29
403	1677	29
404	1681	29
405	1685	29
406	1689	29
407	1693	29
408	1697	29
409	1701	29
410	1705	29
411	1709	29
412	1713	29
413	1717	29
414	1721	29
415	1725	29
416	1729	29
417	1733	29
418	1737	29
419	1741	29
420	1745	29
421	1749	29
422	1753	29
423	1757	29
424	1761	29
425	1765	29
426	1769	29
427	1773	29
428	1777	29
429	1781	29
430	1785	29
431	1789	29
432	1793	29
433	1797	29
434	1801	29
435	1805	29
436	1809	29
437	1813	29
438	1817	29
439	1821	29
440	1825	29
441	1829	29
442	1833	29
443	1837	29
444	1841	29
445	1845	29
446	1849	29
447	1853	29
448	1857	29
449	1861	29
450	1865	29
451	1869	29
452	1873	29
453	1877	29
454	1881	29
455	1885	29
456	1889	29
457	1893	29
458	1897	29
459	1901	29
460	1905	29
461	1909	29
462	1913	29
463	1917	29
464	1921	29
465	1925	29
466	1929	29
467	1933	29
468	1937	29
469	1941	29
470	1945	29
471	1949	29
472	1953	29
473	1957	29
474	1961	29
475	1965	29
476	1969	29
477	1973	29
478	1977	29
479	1981	29
480	1985	29
481	1989	29
482	1993	29
483	1997	29
484	2001	29
485	2005	29
486	2009	29
487	2013	29
488	2017	29
489	2021	29
490	2025	29
491	2029	29
492	2033	29
493	2037	29
494	2041	29
495	2045	29
496	2049	29
497	2053	29
498	2057	29
499	2061	29
500	2065	29
501	2069	29
502	2073	29
503	2077	29
504	2081	29
505	2085	29
506	2089	29
507	2093	29
508	2097	29
509	2101	29
510	2105	29
511	2109	29
512	2113	29
513	2117	29
514	2121	29
515	2125	29
516	2129	29
517	2133	29
518	2137	29
519	2141	29
520	2145	29
521	2149	29
522	2153	29
523	2157	29
524	2161	29
525	2165	29
526	2169	29
527	2173	29
528	2177	29
529	2181	29
530	2185	29
531	2189	29
532	2193	29
533	2197	29
534	2201	29
535	2205	29
536	2209	29
537	2213	29
538	2217	29
539	2221	29
540	2225	29
541	2229	29
542	2233	29
543	2237	29
544	2241	29
545	2245	29
546	2249	29
547	2253	29
548	2257	29
549	2261	29
550	2265	29
551	2269	29
552	2273	29
553	2277	29
554	2281	29
555	2285	29
556	2289	29
557	2293	29
558	2297	29
559	2301	29
560	2305	29
561	2309	29
562	2313	29
563	2317	29
564	2321	29
565	2325	29
566	2329	29
567	2333	29
568	2337	29
569	2341	29
570	2345	29
571	2349	29
572	2353	29
573	2357	29
574	2361	29
575	2365	29
576	2369	29
577	2373	29
578	2377	29
579	2381	29
580	2385	29
581	2389	29
582	2393	29
583	2397	29
584	2401	29
585	2405	29
586	2409	29
587	2413	29
588	2417	29
589	2421	29
590	2425	29
591	2429	29
592	2433	29
593	2437	29
594	2441	29
595	2445	29
596	2449	29
597	2453	29
598	2457	29
599	2461	29
600	2465	29
601	2469	29
602	2473	29
603	2477	29
604	2481	29
605	2485	29
606	2489	29
607	2493	29
608	2497	29
609	2501	29
610	2505	29
611	2509	29
612	2513	29
613	2517	29
614	2521	29
615	2525	29
616	2529	29
617	2533	29
618	2537	29
619	2541	29
620	2545	29
621	2549	29
622	2553	29
623	2557	29
624	2561	29
625	2565	29
626	2569	29
627	2573	29
628	2577	29
629	2581	29
630	2585	29
631	2589	29
632	2593	29
633	2597	29
634	2601	29
635	2605	29
636	2609	29
637	2613	29
638	2617	29
639	2621	29
640	2625	29
641	2629	29
642	2633	29
643	2637	29
644	2641	29
645	2645	29
646	2649	29
647	2653	29
648	2657	29
649	2661	29
650	2665	29
651	2669	29
652	2673	29
653	2677	29
654	2681	29
655	2685	29
656	2689	29
657	2693	29
658	2697	29
659	2701	29
660	2705	29
661	2709	29
662	2713	29
663	2717	29
664	2721	29
665	2725	29
666	2729	29
667	2733	29
668	2737	29
669	2741	29
670	2745	29
671	2749	29
672	2753	29
673	2757	29
674	2761	29
675	2765	29
676	2769	29
677	2773	29
678	2777	29
679	2781	29
680	2785	29
681	2789	29
682	2793	29
683	2797	29
684	2801	29
685	2805	29
686	2809	29
687	2813	29
688	2817	29
689	2821	29
690	2825	29
691	2829	29
692	2833	29
693	2837	29
694	2841	29
695	2845	29
696	2849	29
697	2853	29
698	2857	29
699	2861	29
700	2865	29
701	2869	29
702	2873	29
703	2877	29
704	2881	29
705	2885	29
706	2889	29
707	2893	29
708	2897	29
709	2901	29
710	2905	29
711	2909	29
712	2913	29
713	2917	29
714	2921	29
715	2925	29
716	2929	29
717	2933	29
718	2937	29
719	2941	29
720	2945	29
721	2949	29
722	2953	29
723	2957	29
724	2961	29
725	2965	29
726	2969	29
727	2973	29
728	2977	29
729	2981	29
730	2985	29
731	2989	29
732	2993	29
733	2997	29
734	3001	29
735	3005	29
736	3009	29
737	3013	29
738	3017	29
739	3021	29
740	3025	29
741	3029	29
742	3033	29
743	3037	29
744	3041	29
745	3045	29
746	3049	29
747	3053	29
748	3057	29
749	3061	29
750	3065	29
751	3069	29
752	3073	29
753	3077	29
754	3081	29
755	3085	29
756	3089	29
757	3093	29
758	3097	29
759	3101	29
760	3105	29
761	3109	29
762	3113	29
763	3117	29
764	3121	29
765	3125	29
766	3129	29
767	3133	29
768	3137	29
769	3141	29
770	3145	29
771	3149	29
772	3153	29
773	3157	29
774	3161	29
775	3165	29
776	3169	29
777	3173	29
778	3177	29
779	3181	29
780	3185	29
781	3189	29
782	3193	29
783	3197	29
784	3201	29
785	3205	29
786	3209	29
787	3213	29
788	3217	29
789	3221	29
790	3225	29
791	3229	29
792	3233	29
793	3237	29
794	3241	29
795	3245	29
796	3249	29
797	3253	29
798	3257	29
799	3261	29
800	3265	29
801	3269	29
802	3273	29
803	3277	29
804	3281	29
805	3285	29
806	3289	29
807	3293	29
808	3297	29
809	3301	29
810	3305	29
811	3309	29
812	3313	29
813	3317	29
814	3321	29
815	3325	29
816	3329	29
817	3333	29
818	3337	29
819	3341	29
820	3345	29
821	3349	29
822	3353	29
823	3357	29
824	3361	29
825	3365	29
826	3369	29
827	3373	29
828	3377	29
829	3381	29
830	3385	29
831	3389	29
832	3393	29
833	3397	29
834	3401	29
835	3405	29
836	3409	29
837	3413	29
838	3417	29
839	3421	29
840	3425	29
841	3429	29
842	3433	29
843	3437	29
844	3441	29
845	3445	29
846	3449	29
847	3453	29
848	3457	29
849	3461	29
850	3465	29
851	3469	29
852	3473	29
853	3477	29
854	3481	29
855	3485	29
856	3489	29
857	3493	29
858	3497	29
859	3501	29
860	3505	29
861	3509	29
862	3513	29
863	3517	29
864	3521	29
865	3525	29
866	3529	29
867	3533	29
868	3537	29
869	3541	29
870	3545	29
871	3549	29
872	3553	29
873	3557	29
874	3561	29
875	3565	29
876	3569	29
877	3573	29
878	3577	29
879	3581	29
880	3585	29
881	3589	29
882	3593	29
883	3597	29
884	3601	29
885	3605	29
886	3609	29
887	3613	29
888	3617	29
889	3621	29
890	3625	29
891	3629	29
892	3633	29
893	3637	29
894	3641	29
895	3645	29
896	3649	29
897	3653	29
898	3657	29
899	3661	29
900	3665	29
901	3669	29
902	3673	29
903	3677	29
904	3681	29
905	3685	29
906	3689	29
907	3693	29
908	3697	29
909	3701	29
910	3705	29
911	3709	29
912	3713	29
913	3717	29
914	3721	29
915	3725	29
916	3729	29
917	3733	29
918	3737	29
919	3741	29
920	3745	29
921	3749	29
922	3753	29
923	3757	29
924	3761	29
925	3765	29
926	3769	29
927	3773	29
928	3777	29
929	3781	29
930	3785	29
931	3789	29
932	3793	29
933	3797	29
934	3801	29
935	3805	29
936	3809	29
937	3813	29
938	3817	29
939	3821	29
940	3825	29
941	3829	29
942	3833	29
943	3837	29
944	3841	29
945	3845	29
946	3849	29
947	3853	29
948	3857	29
949	3861	29
950	3865	29
951	3869	29
952	3873	29
953	3877	29
954	3881	29
955	3885	29
956	3889	29
957	3893	29
958	3897	29
959	3901	29
960	3905	29
961	3909	29
962	3913	29
963	3917	29
964	3921	29
965	3925	29
966	3929	29
967	3933	29
968	3937	29
969	3941	29
970	3945	29
971	3949	29
972	3953	29
973	3957	29
974	3961	29
975	3965	29
976	3969	29
977	3973	29
978	3977	29
979	3981	29
980	3985	29
981	3989	29
982	3993	29
983	3997	29
984	4001	29
985	4005	29
986	4009	29
987	4013	29
988	4017	29
989	4021	29
990	4025	29
991	4029	29
992	4033	29
993	4037	29
994	4041	29
995	4045	29
996	4049	29
997	4053	29
998	4057	29
999	4061	29
1000	4065	29
1001	4069	29
1002	4073	29
1003	4077	29
1004	4081	29
1005	4085	29
1006	4089	29
1007	4093	29
1008	4097	29
1009	4101	29
1010	4105	29
1011	4109	29
1012	4113	29
1013	4117	29
1014	4121	29
1015	4125	29
1016	4129	29
1017	4133	29
1018	4137	29
1019	4141	29
1020	4145	29
1021	4149	29
1022	4153	29
1023	4157	29
1024	4161	29
1025	4165	29
1026	4169	29
1027	4173	29
1028	4177	29
1029	4181	29
1030	4185	29
1031	4189	29
1032	4193	29
1033	4197	29
1034	4201	29
1035	4205	29
1036	4209	29
1037	4213	29
1038	4217	29
1039	4221	29
1040	4225	29
1041	4229	29
1042	4233	29
1043	4237	29
1044	4241	29
1045	4245	29
1046	4249	29
1047	4253	29
1048	4257	29
1049	4261	29
1050	4265	29
1051	4269	29
1052	4273	29
1053	4277	29
1054	4281	29
1055	4285	29
1056	4289	29
1057	4293	29
1058	4297	29
1059	4301	29
1060	4305	29
1061	4309	29
1062	4313	29
1063	4317	29
1064	4321	29
1065	4325	29
1066	4329	29
1067	4333	29
1068	4337	29
1069	4341	29
1070	4345	29
1071	4349	29
1072	4353	29
1073	4357	29
1074	4361	29
1075	4365	29
1076	4369	29
1077	4373	29
1078	4377	29
1079	4381	29
1080	4385	29
1081	4389	29
1082	4393	29
1083	4397	29
1084	4401	29
1085	4405	29
1086	4409	29
1087	4413	29
1088	4417	29
1089	4421	29
1090	4425	29
1091	4429	29
1092	4433	29
1093	4437	29
1094	4441	29
1095	4445	29
1096	4449	29
1097	4453	29
1098	4457	29
1099	4461	29
1100	4465	29
1101	4469	29
1102	4473	29
1103	4477	29
1104	4481	29
1105	4485	29
1106	4489	29
1107	4493	29
1108	4497	29
1109	4501	29
1110	4505	29
1111	4509	29
1112	4513	29
1113	4517	29
1114	4521	29
1115	4525	29
1116	4529	29
1117	4533	29
1118	4537	29
1119	4541	29
1120	4545	29
1121	4549	29
1122	4553	29
1123	4557	29
1124	4561	29
1125	4565	29
1126	4569	29
1127	4573	29
1128	4577	29
1129	4581	29
1130	4585	29
1131	4589	29
1132	4593	29
1133	4597	29
1134	4601	29
1135	4605	29
1136	4609	29
1137	4613	29
1138	4617	29
1139	4621	29
1140	4625	29
1141	4629	29
1142	4633	29
1143	4637	29
1144	4641	29
1145	4645	29
1146	4649	29
1147	4653	29
1148	4657	29
1149	4661	29
1150	4665	29
1151	4669	29
1152	4673	29
1153	4677	29
1154	4681	29
1155	4685	29
1156	4689	29
1157	4693	29
1158	4697	29
1159	4701	29
1160	4705	29
1161	4709	29
1162	4713	29
1163	4717	29
1164	4721	29
1165	4725	29
1166	4729	29
1167	4733	29
1168	4737	29
1169	4741	29
1170	4745	29
1171	4749	29
1172	4753	29
1173	4757	29
1174	4761	29
1175	4765	29
1176	4769	29
1177	4773	29
1178	4777	29
1179	4781	29
1180	4785	29
1181	4789	29
1182	4793	29
1183	4797	29
1184	4801	29
1185	4805	29
1186	4809	29
1187	4813	29
1188	4817	29
1189	4821	29
1190	4825	29
1191	4829	29
1192	4833	29
1193	4837	29
1194	4841	29
1195	4845	29
1196	4849	29
1197	4853	29
1198	4857	29
1199	4861	29
1200	4865	29
1201	4869	29
1202	4873	29
1203	4877	29
1204	4881	29
1205	4885	29
1206	4889	29
1207	4893	29
1208	4897	29
1209	4901	29
1210	4905	29
1211	4909	29
1212	4913	29
1213	4917	29
1214	4921	29
1215	4925	29
1216	4929	29
1217	4933	29
1218	4937	29
1219	4941	29
1220	4945	29
1221	4949	29
1222	4953	29
1223	4957	29
1224	4961	29
1225	4965	29
1226	4969	29
1227	4973	29
1228	4977	29
1229	4981	29
1230	4985	29
1231	4989	29
1232	4993	29
1233	4997	29
done	5001	29

end0.0ms

sample2.8s

Algorithm

intervals

Results

960.0ms	8842×	body	80	valid
313.0ms	2877×	body	80	nan