Details

sample28.0ms

Algorithm

intervals

Results

16.0ms

256×

body

80

valid

simplify5.1m

Counts

1 → 1

Iterations

Useful iterations: 5 (375.0ms)

Iter	Nodes	Cost
0	10	21
1	27	17
2	104	13
3	293	13
4	551	13
5	880	12
6	1307	12
7	1733	12
8	1968	12
9	2094	12
10	2110	12
11	2118	12
12	2122	12
13	2126	12
14	2130	12
15	2134	12
16	2138	12
17	2142	12
18	2146	12
19	2150	12
20	2154	12
21	2158	12
22	2162	12
23	2166	12
24	2170	12
25	2174	12
26	2178	12
27	2182	12
28	2186	12
29	2190	12
30	2194	12
31	2198	12
32	2202	12
33	2206	12
34	2210	12
35	2214	12
36	2218	12
37	2222	12
38	2226	12
39	2230	12
40	2234	12
41	2238	12
42	2242	12
43	2246	12
44	2250	12
45	2254	12
46	2258	12
47	2262	12
48	2266	12
49	2270	12
50	2274	12
51	2278	12
52	2282	12
53	2286	12
54	2290	12
55	2294	12
56	2298	12
57	2302	12
58	2306	12
59	2310	12
60	2314	12
61	2318	12
62	2322	12
63	2326	12
64	2330	12
65	2334	12
66	2338	12
67	2342	12
68	2346	12
69	2350	12
70	2354	12
71	2358	12
72	2362	12
73	2366	12
74	2370	12
75	2374	12
76	2378	12
77	2382	12
78	2386	12
79	2390	12
80	2394	12
81	2398	12
82	2402	12
83	2406	12
84	2410	12
85	2414	12
86	2418	12
87	2422	12
88	2426	12
89	2430	12
90	2434	12
91	2438	12
92	2442	12
93	2446	12
94	2450	12
95	2454	12
96	2458	12
97	2462	12
98	2466	12
99	2470	12
100	2474	12
101	2478	12
102	2482	12
103	2486	12
104	2490	12
105	2494	12
106	2498	12
107	2502	12
108	2506	12
109	2510	12
110	2514	12
111	2518	12
112	2522	12
113	2526	12
114	2530	12
115	2534	12
116	2538	12
117	2542	12
118	2546	12
119	2550	12
120	2554	12
121	2558	12
122	2562	12
123	2566	12
124	2570	12
125	2574	12
126	2578	12
127	2582	12
128	2586	12
129	2590	12
130	2594	12
131	2598	12
132	2602	12
133	2606	12
134	2610	12
135	2614	12
136	2618	12
137	2622	12
138	2626	12
139	2630	12
140	2634	12
141	2638	12
142	2642	12
143	2646	12
144	2650	12
145	2654	12
146	2658	12
147	2662	12
148	2666	12
149	2670	12
150	2674	12
151	2678	12
152	2682	12
153	2686	12
154	2690	12
155	2694	12
156	2698	12
157	2702	12
158	2706	12
159	2710	12
160	2714	12
161	2718	12
162	2722	12
163	2726	12
164	2730	12
165	2734	12
166	2738	12
167	2742	12
168	2746	12
169	2750	12
170	2754	12
171	2758	12
172	2762	12
173	2766	12
174	2770	12
175	2774	12
176	2778	12
177	2782	12
178	2786	12
179	2790	12
180	2794	12
181	2798	12
182	2802	12
183	2806	12
184	2810	12
185	2814	12
186	2818	12
187	2822	12
188	2826	12
189	2830	12
190	2834	12
191	2838	12
192	2842	12
193	2846	12
194	2850	12
195	2854	12
196	2858	12
197	2862	12
198	2866	12
199	2870	12
200	2874	12
201	2878	12
202	2882	12
203	2886	12
204	2890	12
205	2894	12
206	2898	12
207	2902	12
208	2906	12
209	2910	12
210	2914	12
211	2918	12
212	2922	12
213	2926	12
214	2930	12
215	2934	12
216	2938	12
217	2942	12
218	2946	12
219	2950	12
220	2954	12
221	2958	12
222	2962	12
223	2966	12
224	2970	12
225	2974	12
226	2978	12
227	2982	12
228	2986	12
229	2990	12
230	2994	12
231	2998	12
232	3002	12
233	3006	12
234	3010	12
235	3014	12
236	3018	12
237	3022	12
238	3026	12
239	3030	12
240	3034	12
241	3038	12
242	3042	12
243	3046	12
244	3050	12
245	3054	12
246	3058	12
247	3062	12
248	3066	12
249	3070	12
250	3074	12
251	3078	12
252	3082	12
253	3086	12
254	3090	12
255	3094	12
256	3098	12
257	3102	12
258	3106	12
259	3110	12
260	3114	12
261	3118	12
262	3122	12
263	3126	12
264	3130	12
265	3134	12
266	3138	12
267	3142	12
268	3146	12
269	3150	12
270	3154	12
271	3158	12
272	3162	12
273	3166	12
274	3170	12
275	3174	12
276	3178	12
277	3182	12
278	3186	12
279	3190	12
280	3194	12
281	3198	12
282	3202	12
283	3206	12
284	3210	12
285	3214	12
286	3218	12
287	3222	12
288	3226	12
289	3230	12
290	3234	12
291	3238	12
292	3242	12
293	3246	12
294	3250	12
295	3254	12
296	3258	12
297	3262	12
298	3266	12
299	3270	12
300	3274	12
301	3278	12
302	3282	12
303	3286	12
304	3290	12
305	3294	12
306	3298	12
307	3302	12
308	3306	12
309	3310	12
310	3314	12
311	3318	12
312	3322	12
313	3326	12
314	3330	12
315	3334	12
316	3338	12
317	3342	12
318	3346	12
319	3350	12
320	3354	12
321	3358	12
322	3362	12
323	3366	12
324	3370	12
325	3374	12
326	3378	12
327	3382	12
328	3386	12
329	3390	12
330	3394	12
331	3398	12
332	3402	12
333	3406	12
334	3410	12
335	3414	12
336	3418	12
337	3422	12
338	3426	12
339	3430	12
340	3434	12
341	3438	12
342	3442	12
343	3446	12
344	3450	12
345	3454	12
346	3458	12
347	3462	12
348	3466	12
349	3470	12
350	3474	12
351	3478	12
352	3482	12
353	3486	12
354	3490	12
355	3494	12
356	3498	12
357	3502	12
358	3506	12
359	3510	12
360	3514	12
361	3518	12
362	3522	12
363	3526	12
364	3530	12
365	3534	12
366	3538	12
367	3542	12
368	3546	12
369	3550	12
370	3554	12
371	3558	12
372	3562	12
373	3566	12
374	3570	12
375	3574	12
376	3578	12
377	3582	12
378	3586	12
379	3590	12
380	3594	12
381	3598	12
382	3602	12
383	3606	12
384	3610	12
385	3614	12
386	3618	12
387	3622	12
388	3626	12
389	3630	12
390	3634	12
391	3638	12
392	3642	12
393	3646	12
394	3650	12
395	3654	12
396	3658	12
397	3662	12
398	3666	12
399	3670	12
400	3674	12
401	3678	12
402	3682	12
403	3686	12
404	3690	12
405	3694	12
406	3698	12
407	3702	12
408	3706	12
409	3710	12
410	3714	12
411	3718	12
412	3722	12
413	3726	12
414	3730	12
415	3734	12
416	3738	12
417	3742	12
418	3746	12
419	3750	12
420	3754	12
421	3758	12
422	3762	12
423	3766	12
424	3770	12
425	3774	12
426	3778	12
427	3782	12
428	3786	12
429	3790	12
430	3794	12
431	3798	12
432	3802	12
433	3806	12
434	3810	12
435	3814	12
436	3818	12
437	3822	12
438	3826	12
439	3830	12
440	3834	12
441	3838	12
442	3842	12
443	3846	12
444	3850	12
445	3854	12
446	3858	12
447	3862	12
448	3866	12
449	3870	12
450	3874	12
451	3878	12
452	3882	12
453	3886	12
454	3890	12
455	3894	12
456	3898	12
457	3902	12
458	3906	12
459	3910	12
460	3914	12
461	3918	12
462	3922	12
463	3926	12
464	3930	12
465	3934	12
466	3938	12
467	3942	12
468	3946	12
469	3950	12
470	3954	12
471	3958	12
472	3962	12
473	3966	12
474	3970	12
475	3974	12
476	3978	12
477	3982	12
478	3986	12
479	3990	12
480	3994	12
481	3998	12
482	4002	12
483	4006	12
484	4010	12
485	4014	12
486	4018	12
487	4022	12
488	4026	12
489	4030	12
490	4034	12
491	4038	12
492	4042	12
493	4046	12
494	4050	12
495	4054	12
496	4058	12
497	4062	12
498	4066	12
499	4070	12
500	4074	12
501	4078	12
502	4082	12
503	4086	12
504	4090	12
505	4094	12
506	4098	12
507	4102	12
508	4106	12
509	4110	12
510	4114	12
511	4118	12
512	4122	12
513	4126	12
514	4130	12
515	4134	12
516	4138	12
517	4142	12
518	4146	12
519	4150	12
520	4154	12
521	4158	12
522	4162	12
523	4166	12
524	4170	12
525	4174	12
526	4178	12
527	4182	12
528	4186	12
529	4190	12
530	4194	12
531	4198	12
532	4202	12
533	4206	12
534	4210	12
535	4214	12
536	4218	12
537	4222	12
538	4226	12
539	4230	12
540	4234	12
541	4238	12
542	4242	12
543	4246	12
544	4250	12
545	4254	12
546	4258	12
547	4262	12
548	4266	12
549	4270	12
550	4274	12
551	4278	12
552	4282	12
553	4286	12
554	4290	12
555	4294	12
556	4298	12
557	4302	12
558	4306	12
559	4310	12
560	4314	12
561	4318	12
562	4322	12
563	4326	12
564	4330	12
565	4334	12
566	4338	12
567	4342	12
568	4346	12
569	4350	12
570	4354	12
571	4358	12
572	4362	12
573	4366	12
574	4370	12
575	4374	12
576	4378	12
577	4382	12
578	4386	12
579	4390	12
580	4394	12
581	4398	12
582	4402	12
583	4406	12
584	4410	12
585	4414	12
586	4418	12
587	4422	12
588	4426	12
589	4430	12
590	4434	12
591	4438	12
592	4442	12
593	4446	12
594	4450	12
595	4454	12
596	4458	12
597	4462	12
598	4466	12
599	4470	12
600	4474	12
601	4478	12
602	4482	12
603	4486	12
604	4490	12
605	4494	12
606	4498	12
607	4502	12
608	4506	12
609	4510	12
610	4514	12
611	4518	12
612	4522	12
613	4526	12
614	4530	12
615	4534	12
616	4538	12
617	4542	12
618	4546	12
619	4550	12
620	4554	12
621	4558	12
622	4562	12
623	4566	12
624	4570	12
625	4574	12
626	4578	12
627	4582	12
628	4586	12
629	4590	12
630	4594	12
631	4598	12
632	4602	12
633	4606	12
634	4610	12
635	4614	12
636	4618	12
637	4622	12
638	4626	12
639	4630	12
640	4634	12
641	4638	12
642	4642	12
643	4646	12
644	4650	12
645	4654	12
646	4658	12
647	4662	12
648	4666	12
649	4670	12
650	4674	12
651	4678	12
652	4682	12
653	4686	12
654	4690	12
655	4694	12
656	4698	12
657	4702	12
658	4706	12
659	4710	12
660	4714	12
661	4718	12
662	4722	12
663	4726	12
664	4730	12
665	4734	12
666	4738	12
667	4742	12
668	4746	12
669	4750	12
670	4754	12
671	4758	12
672	4762	12
673	4766	12
674	4770	12
675	4774	12
676	4778	12
677	4782	12
678	4786	12
679	4790	12
680	4794	12
681	4798	12
682	4802	12
683	4806	12
684	4810	12
685	4814	12
686	4818	12
687	4822	12
688	4826	12
689	4830	12
690	4834	12
691	4838	12
692	4842	12
693	4846	12
694	4850	12
695	4854	12
696	4858	12
697	4862	12
698	4866	12
699	4870	12
700	4874	12
701	4878	12
702	4882	12
703	4886	12
704	4890	12
705	4894	12
706	4898	12
707	4902	12
708	4906	12
709	4910	12
710	4914	12
711	4918	12
712	4922	12
713	4926	12
714	4930	12
715	4934	12
716	4938	12
717	4942	12
718	4946	12
719	4950	12
720	4954	12
721	4958	12
722	4962	12
723	4966	12
724	4970	12
725	4974	12
726	4978	12
727	4982	12
728	4986	12
729	4990	12
730	4994	12
731	4998	12
done	5000	12

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize8.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	21
1	13	21
2	15	21
3	17	21
done	17	21

end0.0ms

sample591.0ms

Algorithm

intervals

Results

555.0ms

8000×

body

80

valid