Details

sample10.0ms

Algorithm

intervals

Results

3.0ms

256×

body

80

valid

simplify29.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	82
1	10	82
2	16	82
3	22	82
4	24	82
5	26	82
6	34	82
7	43	82
8	59	82
9	81	82
10	100	82
11	170	82
12	244	82
13	260	82
14	266	82
15	280	82
16	286	82
17	299	82
18	304	82
19	311	82
20	318	82
21	330	82
22	335	82
23	342	82
24	349	82
25	361	82
26	366	82
27	373	82
28	382	82
29	390	82
30	395	82
31	404	82
32	409	82
33	422	82
34	427	82
35	434	82
36	443	82
37	451	82
38	456	82
39	465	82
40	470	82
41	483	82
42	488	82
43	495	82
44	502	82
45	514	82
46	519	82
47	526	82
48	535	82
49	543	82
50	548	82
51	557	82
52	564	82
53	577	82
54	582	82
55	589	82
56	594	82
57	606	82
58	611	82
59	618	82
60	625	82
61	637	82
62	642	82
63	649	82
64	654	82
65	666	82
66	671	82
67	678	82
68	685	82
69	697	82
70	702	82
71	709	82
72	716	82
73	728	82
74	733	82
75	740	82
76	747	82
77	759	82
78	764	82
79	771	82
80	778	82
81	790	82
82	795	82
83	802	82
84	807	82
85	819	82
86	824	82
87	831	82
88	838	82
89	850	82
90	855	82
91	862	82
92	867	82
93	879	82
94	884	82
95	891	82
96	898	82
97	910	82
98	915	82
99	922	82
100	927	82
101	939	82
102	944	82
103	951	82
104	958	82
105	970	82
106	975	82
107	982	82
108	987	82
109	999	82
110	1004	82
111	1011	82
112	1018	82
113	1030	82
114	1035	82
115	1042	82
116	1049	82
117	1061	82
118	1066	82
119	1073	82
120	1082	82
121	1090	82
122	1095	82
123	1104	82
124	1109	82
125	1122	82
126	1127	82
127	1134	82
128	1141	82
129	1153	82
130	1158	82
131	1165	82
132	1174	82
133	1182	82
134	1187	82
135	1196	82
136	1203	82
137	1216	82
138	1221	82
139	1228	82
140	1233	82
141	1245	82
142	1250	82
143	1257	82
144	1262	82
145	1274	82
146	1279	82
147	1286	82
148	1293	82
149	1305	82
150	1310	82
151	1317	82
152	1324	82
153	1336	82
154	1341	82
155	1348	82
156	1355	82
157	1367	82
158	1372	82
159	1379	82
160	1386	82
161	1398	82
162	1403	82
163	1410	82
164	1417	82
165	1429	82
166	1434	82
167	1441	82
168	1446	82
169	1458	82
170	1463	82
171	1470	82
172	1477	82
173	1489	82
174	1494	82
175	1501	82
176	1506	82
177	1518	82
178	1523	82
179	1530	82
180	1537	82
181	1549	82
182	1554	82
183	1561	82
184	1566	82
185	1578	82
186	1583	82
187	1590	82
188	1597	82
189	1609	82
190	1614	82
191	1621	82
192	1628	82
193	1640	82
194	1645	82
195	1652	82
196	1661	82
197	1669	82
198	1674	82
199	1683	82
200	1688	82
201	1701	82
202	1706	82
203	1713	82
204	1720	82
205	1732	82
206	1737	82
207	1744	82
208	1753	82
209	1761	82
210	1766	82
211	1775	82
212	1782	82
213	1791	82
214	1796	82
215	1805	82
216	1814	82
217	1823	82
218	1828	82
219	1837	82
220	1846	82
221	1855	82
222	1860	82
223	1869	82
224	1876	82
225	1889	82
226	1894	82
227	1901	82
228	1910	82
229	1918	82
230	1923	82
231	1932	82
232	1937	82
233	1950	82
234	1955	82
235	1962	82
236	1969	82
237	1981	82
238	1986	82
239	1993	82
240	2002	82
241	2010	82
242	2015	82
243	2024	82
244	2029	82
245	2042	82
246	2047	82
247	2054	82
248	2061	82
249	2073	82
250	2078	82
251	2085	82
252	2094	82
253	2102	82
254	2107	82
255	2116	82
256	2123	82
257	2136	82
258	2141	82
259	2148	82
260	2153	82
261	2165	82
262	2170	82
263	2177	82
264	2184	82
265	2196	82
266	2201	82
267	2208	82
268	2215	82
269	2227	82
270	2232	82
271	2239	82
272	2248	82
273	2256	82
274	2261	82
275	2270	82
276	2275	82
277	2288	82
278	2293	82
279	2300	82
280	2309	82
281	2317	82
282	2322	82
283	2331	82
284	2338	82
285	2347	82
286	2352	82
287	2361	82
288	2368	82
289	2381	82
290	2386	82
291	2393	82
292	2400	82
293	2412	82
294	2417	82
295	2424	82
296	2429	82
297	2441	82
298	2446	82
299	2453	82
300	2460	82
301	2472	82
302	2477	82
303	2484	82
304	2491	82
305	2503	82
306	2508	82
307	2515	82
308	2522	82
309	2534	82
310	2539	82
311	2546	82
312	2553	82
313	2565	82
314	2570	82
315	2577	82
316	2584	82
317	2596	82
318	2601	82
319	2608	82
320	2617	82
321	2625	82
322	2630	82
323	2639	82
324	2644	82
325	2657	82
326	2662	82
327	2669	82
328	2676	82
329	2688	82
330	2693	82
331	2700	82
332	2709	82
333	2717	82
334	2722	82
335	2731	82
336	2738	82
337	2751	82
338	2756	82
339	2763	82
340	2768	82
341	2780	82
342	2785	82
343	2792	82
344	2799	82
345	2811	82
346	2816	82
347	2823	82
348	2828	82
349	2840	82
350	2845	82
351	2852	82
352	2861	82
353	2869	82
354	2874	82
355	2883	82
356	2888	82
357	2901	82
358	2906	82
359	2913	82
360	2920	82
361	2932	82
362	2937	82
363	2944	82
364	2949	82
365	2961	82
366	2966	82
367	2973	82
368	2980	82
369	2992	82
370	2997	82
371	3004	82
372	3009	82
373	3021	82
374	3026	82
375	3033	82
376	3040	82
377	3052	82
378	3057	82
379	3064	82
380	3069	82
381	3081	82
382	3086	82
383	3093	82
384	3102	82
385	3110	82
386	3115	82
387	3124	82
388	3129	82
389	3142	82
390	3147	82
391	3154	82
392	3159	82
393	3171	82
394	3176	82
395	3183	82
396	3190	82
397	3202	82
398	3207	82
399	3214	82
400	3219	82
401	3231	82
402	3236	82
403	3243	82
404	3250	82
405	3262	82
406	3267	82
407	3274	82
408	3281	82
409	3293	82
410	3298	82
411	3305	82
412	3312	82
413	3324	82
414	3329	82
415	3336	82
416	3343	82
417	3355	82
418	3360	82
419	3367	82
420	3376	82
421	3384	82
422	3389	82
423	3398	82
424	3403	82
425	3416	82
426	3421	82
427	3428	82
428	3437	82
429	3445	82
430	3450	82
431	3459	82
432	3464	82
433	3477	82
434	3482	82
435	3489	82
436	3496	82
437	3508	82
438	3513	82
439	3520	82
440	3529	82
441	3537	82
442	3542	82
443	3551	82
444	3556	82
445	3569	82
446	3574	82
447	3581	82
448	3588	82
449	3600	82
450	3605	82
451	3612	82
452	3619	82
453	3631	82
454	3636	82
455	3643	82
456	3648	82
457	3660	82
458	3665	82
459	3672	82
460	3681	82
461	3689	82
462	3694	82
463	3703	82
464	3710	82
465	3723	82
466	3728	82
467	3735	82
468	3740	82
469	3752	82
470	3757	82
471	3764	82
472	3771	82
473	3783	82
474	3788	82
475	3795	82
476	3802	82
477	3814	82
478	3819	82
479	3826	82
480	3835	82
481	3843	82
482	3848	82
483	3857	82
484	3862	82
485	3875	82
486	3880	82
487	3887	82
488	3894	82
489	3906	82
490	3911	82
491	3918	82
492	3927	82
493	3935	82
494	3940	82
495	3949	82
496	3956	82
497	3965	82
498	3970	82
499	3979	82
500	3988	82
501	3997	82
502	4002	82
503	4011	82
504	4020	82
505	4029	82
506	4034	82
507	4043	82
508	4050	82
509	4063	82
510	4068	82
511	4075	82
512	4084	82
513	4092	82
514	4097	82
515	4106	82
516	4113	82
517	4122	82
518	4127	82
519	4136	82
520	4143	82
521	4156	82
522	4161	82
523	4168	82
524	4175	82
525	4187	82
526	4192	82
527	4199	82
528	4206	82
529	4218	82
530	4223	82
531	4230	82
532	4237	82
533	4249	82
534	4254	82
535	4261	82
536	4270	82
537	4278	82
538	4283	82
539	4292	82
540	4299	82
541	4312	82
542	4317	82
543	4324	82
544	4331	82
545	4343	82
546	4348	82
547	4355	82
548	4364	82
549	4372	82
550	4377	82
551	4386	82
552	4391	82
553	4404	82
554	4409	82
555	4416	82
556	4423	82
557	4435	82
558	4440	82
559	4447	82
560	4454	82
561	4466	82
562	4471	82
563	4478	82
564	4483	82
565	4495	82
566	4500	82
567	4507	82
568	4514	82
569	4526	82
570	4531	82
571	4538	82
572	4543	82
573	4555	82
574	4560	82
575	4567	82
576	4574	82
577	4586	82
578	4591	82
579	4598	82
580	4605	82
581	4617	82
582	4622	82
583	4629	82
584	4636	82
585	4648	82
586	4653	82
587	4660	82
588	4667	82
589	4679	82
590	4684	82
591	4691	82
592	4698	82
593	4710	82
594	4715	82
595	4722	82
596	4731	82
597	4739	82
598	4744	82
599	4753	82
600	4758	82
601	4771	82
602	4776	82
603	4783	82
604	4790	82
605	4802	82
606	4807	82
607	4814	82
608	4823	82
609	4831	82
610	4836	82
611	4845	82
612	4852	82
613	4865	82
614	4870	82
615	4877	82
616	4882	82
617	4894	82
618	4899	82
619	4906	82
620	4913	82
621	4925	82
622	4930	82
623	4937	82
624	4944	82
625	4956	82
626	4961	82
627	4968	82
628	4977	82
629	4985	82
630	4990	82
631	4999	82
done	5001	82

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

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

sample275.0ms

Algorithm

intervals

Results

146.0ms

8003×

body

80

valid