Details

sample11.0ms

Algorithm

intervals

Results

4.0ms

256×

body

80

valid

simplify25.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	82
1	10	82
2	15	82
3	20	82
4	22	82
5	24	82
6	32	82
7	41	82
8	53	82
9	71	82
10	84	82
11	143	82
12	198	82
13	215	82
14	221	82
15	235	82
16	243	82
17	256	82
18	261	82
19	268	82
20	275	82
21	287	82
22	292	82
23	299	82
24	306	82
25	318	82
26	323	82
27	330	82
28	339	82
29	347	82
30	352	82
31	361	82
32	368	82
33	381	82
34	386	82
35	393	82
36	398	82
37	410	82
38	415	82
39	422	82
40	429	82
41	441	82
42	446	82
43	453	82
44	460	82
45	472	82
46	477	82
47	484	82
48	491	82
49	503	82
50	508	82
51	515	82
52	522	82
53	534	82
54	539	82
55	546	82
56	551	82
57	563	82
58	568	82
59	575	82
60	582	82
61	594	82
62	599	82
63	606	82
64	613	82
65	625	82
66	630	82
67	637	82
68	646	82
69	654	82
70	659	82
71	668	82
72	673	82
73	686	82
74	691	82
75	698	82
76	707	82
77	715	82
78	720	82
79	729	82
80	736	82
81	745	82
82	750	82
83	759	82
84	768	82
85	777	82
86	782	82
87	791	82
88	800	82
89	809	82
90	814	82
91	823	82
92	828	82
93	841	82
94	846	82
95	853	82
96	860	82
97	872	82
98	877	82
99	884	82
100	891	82
101	903	82
102	908	82
103	915	82
104	922	82
105	934	82
106	939	82
107	946	82
108	953	82
109	965	82
110	970	82
111	977	82
112	986	82
113	994	82
114	999	82
115	1008	82
116	1015	82
117	1024	82
118	1029	82
119	1038	82
120	1047	82
121	1056	82
122	1061	82
123	1070	82
124	1075	82
125	1088	82
126	1093	82
127	1100	82
128	1105	82
129	1117	82
130	1122	82
131	1129	82
132	1136	82
133	1148	82
134	1153	82
135	1160	82
136	1165	82
137	1177	82
138	1182	82
139	1189	82
140	1196	82
141	1208	82
142	1213	82
143	1220	82
144	1227	82
145	1239	82
146	1244	82
147	1251	82
148	1258	82
149	1270	82
150	1275	82
151	1282	82
152	1289	82
153	1301	82
154	1306	82
155	1313	82
156	1318	82
157	1330	82
158	1335	82
159	1342	82
160	1351	82
161	1359	82
162	1364	82
163	1373	82
164	1380	82
165	1393	82
166	1398	82
167	1405	82
168	1414	82
169	1422	82
170	1427	82
171	1436	82
172	1443	82
173	1452	82
174	1457	82
175	1466	82
176	1475	82
177	1484	82
178	1489	82
179	1498	82
180	1507	82
181	1516	82
182	1521	82
183	1530	82
184	1537	82
185	1550	82
186	1555	82
187	1562	82
188	1571	82
189	1579	82
190	1584	82
191	1593	82
192	1598	82
193	1611	82
194	1616	82
195	1623	82
196	1630	82
197	1642	82
198	1647	82
199	1654	82
200	1663	82
201	1671	82
202	1676	82
203	1685	82
204	1692	82
205	1701	82
206	1706	82
207	1715	82
208	1724	82
209	1733	82
210	1738	82
211	1747	82
212	1756	82
213	1765	82
214	1770	82
215	1779	82
216	1784	82
217	1797	82
218	1802	82
219	1809	82
220	1814	82
221	1826	82
222	1831	82
223	1838	82
224	1845	82
225	1857	82
226	1862	82
227	1869	82
228	1876	82
229	1888	82
230	1893	82
231	1900	82
232	1909	82
233	1917	82
234	1922	82
235	1931	82
236	1936	82
237	1949	82
238	1954	82
239	1961	82
240	1970	82
241	1978	82
242	1983	82
243	1992	82
244	1997	82
245	2010	82
246	2015	82
247	2022	82
248	2027	82
249	2039	82
250	2044	82
251	2051	82
252	2058	82
253	2070	82
254	2075	82
255	2082	82
256	2089	82
257	2101	82
258	2106	82
259	2113	82
260	2122	82
261	2130	82
262	2135	82
263	2144	82
264	2149	82
265	2162	82
266	2167	82
267	2174	82
268	2181	82
269	2193	82
270	2198	82
271	2205	82
272	2212	82
273	2224	82
274	2229	82
275	2236	82
276	2241	82
277	2253	82
278	2258	82
279	2265	82
280	2272	82
281	2284	82
282	2289	82
283	2296	82
284	2303	82
285	2315	82
286	2320	82
287	2327	82
288	2334	82
289	2346	82
290	2351	82
291	2358	82
292	2365	82
293	2377	82
294	2382	82
295	2389	82
296	2396	82
297	2408	82
298	2413	82
299	2420	82
300	2429	82
301	2437	82
302	2442	82
303	2451	82
304	2456	82
305	2469	82
306	2474	82
307	2481	82
308	2488	82
309	2500	82
310	2505	82
311	2512	82
312	2521	82
313	2529	82
314	2534	82
315	2543	82
316	2550	82
317	2563	82
318	2568	82
319	2575	82
320	2582	82
321	2594	82
322	2599	82
323	2606	82
324	2613	82
325	2625	82
326	2630	82
327	2637	82
328	2644	82
329	2656	82
330	2661	82
331	2668	82
332	2677	82
333	2685	82
334	2690	82
335	2699	82
336	2704	82
337	2717	82
338	2722	82
339	2729	82
340	2736	82
341	2748	82
342	2753	82
343	2760	82
344	2769	82
345	2777	82
346	2782	82
347	2791	82
348	2798	82
349	2811	82
350	2816	82
351	2823	82
352	2828	82
353	2840	82
354	2845	82
355	2852	82
356	2861	82
357	2869	82
358	2874	82
359	2883	82
360	2890	82
361	2903	82
362	2908	82
363	2915	82
364	2922	82
365	2934	82
366	2939	82
367	2946	82
368	2953	82
369	2965	82
370	2970	82
371	2977	82
372	2986	82
373	2994	82
374	2999	82
375	3008	82
376	3013	82
377	3026	82
378	3031	82
379	3038	82
380	3045	82
381	3057	82
382	3062	82
383	3069	82
384	3078	82
385	3086	82
386	3091	82
387	3100	82
388	3107	82
389	3120	82
390	3125	82
391	3132	82
392	3139	82
393	3151	82
394	3156	82
395	3163	82
396	3168	82
397	3180	82
398	3185	82
399	3192	82
400	3199	82
401	3211	82
402	3216	82
403	3223	82
404	3228	82
405	3240	82
406	3245	82
407	3252	82
408	3259	82
409	3271	82
410	3276	82
411	3283	82
412	3290	82
413	3302	82
414	3307	82
415	3314	82
416	3323	82
417	3331	82
418	3336	82
419	3345	82
420	3350	82
421	3363	82
422	3368	82
423	3375	82
424	3384	82
425	3392	82
426	3397	82
427	3406	82
428	3411	82
429	3424	82
430	3429	82
431	3436	82
432	3443	82
433	3455	82
434	3460	82
435	3467	82
436	3476	82
437	3484	82
438	3489	82
439	3498	82
440	3505	82
441	3514	82
442	3519	82
443	3528	82
444	3537	82
445	3546	82
446	3551	82
447	3560	82
448	3567	82
449	3580	82
450	3585	82
451	3592	82
452	3599	82
453	3611	82
454	3616	82
455	3623	82
456	3632	82
457	3640	82
458	3645	82
459	3654	82
460	3659	82
461	3672	82
462	3677	82
463	3684	82
464	3691	82
465	3703	82
466	3708	82
467	3715	82
468	3724	82
469	3732	82
470	3737	82
471	3746	82
472	3753	82
473	3762	82
474	3767	82
475	3776	82
476	3785	82
477	3794	82
478	3799	82
479	3808	82
480	3817	82
481	3826	82
482	3831	82
483	3840	82
484	3847	82
485	3860	82
486	3865	82
487	3872	82
488	3881	82
489	3889	82
490	3894	82
491	3903	82
492	3908	82
493	3921	82
494	3926	82
495	3933	82
496	3940	82
497	3952	82
498	3957	82
499	3964	82
500	3973	82
501	3981	82
502	3986	82
503	3995	82
504	4000	82
505	4013	82
506	4018	82
507	4025	82
508	4032	82
509	4044	82
510	4049	82
511	4056	82
512	4063	82
513	4075	82
514	4080	82
515	4087	82
516	4092	82
517	4104	82
518	4109	82
519	4116	82
520	4123	82
521	4135	82
522	4140	82
523	4147	82
524	4154	82
525	4166	82
526	4171	82
527	4178	82
528	4183	82
529	4195	82
530	4200	82
531	4207	82
532	4214	82
533	4226	82
534	4231	82
535	4238	82
536	4245	82
537	4257	82
538	4262	82
539	4269	82
540	4278	82
541	4286	82
542	4291	82
543	4300	82
544	4305	82
545	4318	82
546	4323	82
547	4330	82
548	4339	82
549	4347	82
550	4352	82
551	4361	82
552	4366	82
553	4379	82
554	4384	82
555	4391	82
556	4398	82
557	4410	82
558	4415	82
559	4422	82
560	4431	82
561	4439	82
562	4444	82
563	4453	82
564	4460	82
565	4469	82
566	4474	82
567	4483	82
568	4492	82
569	4501	82
570	4506	82
571	4515	82
572	4524	82
573	4533	82
574	4538	82
575	4547	82
576	4554	82
577	4567	82
578	4572	82
579	4579	82
580	4588	82
581	4596	82
582	4601	82
583	4610	82
584	4617	82
585	4626	82
586	4631	82
587	4640	82
588	4647	82
589	4660	82
590	4665	82
591	4672	82
592	4679	82
593	4691	82
594	4696	82
595	4703	82
596	4712	82
597	4720	82
598	4725	82
599	4734	82
600	4741	82
601	4754	82
602	4759	82
603	4766	82
604	4771	82
605	4783	82
606	4788	82
607	4795	82
608	4802	82
609	4814	82
610	4819	82
611	4826	82
612	4831	82
613	4843	82
614	4848	82
615	4855	82
616	4862	82
617	4874	82
618	4879	82
619	4886	82
620	4891	82
621	4903	82
622	4908	82
623	4915	82
624	4924	82
625	4932	82
626	4937	82
627	4946	82
628	4953	82
629	4966	82
630	4971	82
631	4978	82
632	4987	82
633	4995	82
done	5000	82

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize9.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

prune6.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	82
done	4	82

end0.0ms

sample393.0ms

Algorithm

intervals

Results

247.0ms

8003×

body

80

valid