Details

sample10.0ms

Algorithm

intervals

Results

4.0ms

257×

body

80

valid

simplify1.5min

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	10	5
2	14	5
3	17	5
4	21	5
5	26	5
6	34	5
7	39	5
8	44	5
9	53	5
10	69	5
11	83	5
12	95	5
13	106	5
14	117	5
15	128	5
16	138	5
17	149	5
18	159	5
19	170	5
20	181	5
21	192	5
22	202	5
23	213	5
24	223	5
25	234	5
26	245	5
27	256	5
28	266	5
29	277	5
30	287	5
31	298	5
32	308	5
33	319	5
34	330	5
35	341	5
36	351	5
37	362	5
38	372	5
39	383	5
40	393	5
41	404	5
42	414	5
43	425	5
44	435	5
45	446	5
46	457	5
47	468	5
48	478	5
49	489	5
50	499	5
51	510	5
52	520	5
53	531	5
54	541	5
55	552	5
56	562	5
57	573	5
58	583	5
59	594	5
60	604	5
61	615	5
62	625	5
63	636	5
64	646	5
65	657	5
66	668	5
67	679	5
68	689	5
69	700	5
70	710	5
71	721	5
72	731	5
73	742	5
74	752	5
75	763	5
76	773	5
77	784	5
78	794	5
79	805	5
80	815	5
81	826	5
82	836	5
83	847	5
84	857	5
85	868	5
86	878	5
87	889	5
88	899	5
89	910	5
90	921	5
91	932	5
92	942	5
93	953	5
94	964	5
95	975	5
96	985	5
97	996	5
98	1007	5
99	1018	5
100	1029	5
101	1040	5
102	1051	5
103	1062	5
104	1073	5
105	1084	5
106	1095	5
107	1106	5
108	1116	5
109	1127	5
110	1137	5
111	1148	5
112	1159	5
113	1170	5
114	1181	5
115	1192	5
116	1202	5
117	1213	5
118	1224	5
119	1235	5
120	1246	5
121	1257	5
122	1268	5
123	1279	5
124	1289	5
125	1300	5
126	1311	5
127	1322	5
128	1332	5
129	1343	5
130	1353	5
131	1364	5
132	1374	5
133	1385	5
134	1396	5
135	1407	5
136	1418	5
137	1429	5
138	1439	5
139	1450	5
140	1460	5
141	1471	5
142	1482	5
143	1493	5
144	1504	5
145	1515	5
146	1525	5
147	1536	5
148	1546	5
149	1557	5
150	1568	5
151	1579	5
152	1589	5
153	1600	5
154	1610	5
155	1621	5
156	1632	5
157	1643	5
158	1654	5
159	1665	5
160	1676	5
161	1687	5
162	1698	5
163	1709	5
164	1720	5
165	1731	5
166	1742	5
167	1753	5
168	1763	5
169	1774	5
170	1784	5
171	1795	5
172	1806	5
173	1817	5
174	1827	5
175	1838	5
176	1849	5
177	1860	5
178	1871	5
179	1882	5
180	1893	5
181	1904	5
182	1915	5
183	1926	5
184	1936	5
185	1947	5
186	1957	5
187	1968	5
188	1978	5
189	1989	5
190	2000	5
191	2011	5
192	2021	5
193	2032	5
194	2042	5
195	2053	5
196	2064	5
197	2075	5
198	2085	5
199	2096	5
200	2106	5
201	2117	5
202	2127	5
203	2138	5
204	2148	5
205	2159	5
206	2169	5
207	2180	5
208	2190	5
209	2201	5
210	2212	5
211	2223	5
212	2233	5
213	2244	5
214	2254	5
215	2265	5
216	2275	5
217	2286	5
218	2296	5
219	2307	5
220	2318	5
221	2329	5
222	2339	5
223	2350	5
224	2360	5
225	2371	5
226	2381	5
227	2392	5
228	2403	5
229	2414	5
230	2425	5
231	2436	5
232	2446	5
233	2457	5
234	2467	5
235	2478	5
236	2488	5
237	2499	5
238	2510	5
239	2521	5
240	2531	5
241	2542	5
242	2552	5
243	2563	5
244	2574	5
245	2585	5
246	2595	5
247	2606	5
248	2616	5
249	2627	5
250	2637	5
251	2648	5
252	2658	5
253	2669	5
254	2679	5
255	2690	5
256	2700	5
257	2711	5
258	2721	5
259	2732	5
260	2743	5
261	2754	5
262	2764	5
263	2775	5
264	2785	5
265	2796	5
266	2806	5
267	2817	5
268	2827	5
269	2838	5
270	2848	5
271	2859	5
272	2869	5
273	2880	5
274	2890	5
275	2901	5
276	2911	5
277	2922	5
278	2933	5
279	2944	5
280	2954	5
281	2965	5
282	2975	5
283	2986	5
284	2997	5
285	3008	5
286	3018	5
287	3029	5
288	3039	5
289	3050	5
290	3060	5
291	3071	5
292	3082	5
293	3093	5
294	3103	5
295	3114	5
296	3124	5
297	3135	5
298	3146	5
299	3157	5
300	3167	5
301	3178	5
302	3189	5
303	3200	5
304	3211	5
305	3222	5
306	3232	5
307	3243	5
308	3253	5
309	3264	5
310	3274	5
311	3285	5
312	3296	5
313	3307	5
314	3317	5
315	3328	5
316	3339	5
317	3350	5
318	3360	5
319	3371	5
320	3381	5
321	3392	5
322	3402	5
323	3413	5
324	3424	5
325	3435	5
326	3446	5
327	3457	5
328	3467	5
329	3478	5
330	3488	5
331	3499	5
332	3509	5
333	3520	5
334	3530	5
335	3541	5
336	3551	5
337	3562	5
338	3572	5
339	3583	5
340	3593	5
341	3604	5
342	3614	5
343	3625	5
344	3635	5
345	3646	5
346	3657	5
347	3668	5
348	3678	5
349	3689	5
350	3700	5
351	3711	5
352	3722	5
353	3733	5
354	3744	5
355	3755	5
356	3765	5
357	3776	5
358	3786	5
359	3797	5
360	3808	5
361	3819	5
362	3829	5
363	3840	5
364	3850	5
365	3861	5
366	3871	5
367	3882	5
368	3892	5
369	3903	5
370	3913	5
371	3924	5
372	3934	5
373	3945	5
374	3955	5
375	3966	5
376	3976	5
377	3987	5
378	3997	5
379	4008	5
380	4018	5
381	4029	5
382	4040	5
383	4051	5
384	4061	5
385	4072	5
386	4082	5
387	4093	5
388	4103	5
389	4114	5
390	4124	5
391	4135	5
392	4145	5
393	4156	5
394	4166	5
395	4177	5
396	4187	5
397	4198	5
398	4208	5
399	4219	5
400	4230	5
401	4241	5
402	4251	5
403	4262	5
404	4272	5
405	4283	5
406	4293	5
407	4304	5
408	4315	5
409	4326	5
410	4336	5
411	4347	5
412	4357	5
413	4368	5
414	4378	5
415	4389	5
416	4399	5
417	4410	5
418	4420	5
419	4431	5
420	4441	5
421	4452	5
422	4462	5
423	4473	5
424	4483	5
425	4494	5
426	4504	5
427	4515	5
428	4525	5
429	4536	5
430	4546	5
431	4557	5
432	4567	5
433	4578	5
434	4589	5
435	4600	5
436	4610	5
437	4621	5
438	4631	5
439	4642	5
440	4653	5
441	4664	5
442	4674	5
443	4685	5
444	4695	5
445	4706	5
446	4716	5
447	4727	5
448	4737	5
449	4748	5
450	4758	5
451	4769	5
452	4779	5
453	4790	5
454	4800	5
455	4811	5
456	4821	5
457	4832	5
458	4842	5
459	4853	5
460	4863	5
461	4874	5
462	4884	5
463	4895	5
464	4905	5
465	4916	5
466	4926	5
467	4937	5
468	4948	5
469	4959	5
470	4969	5
471	4980	5
472	4991	5
done	5001	5

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	0	2	2

Merged error: 0b

Counts

2 → 1

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	0	0	0
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	0	1	1

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
done	4	5

end0.0ms

sample300.0ms

Algorithm

intervals

Results

142.0ms

8007×

body

80

valid

Profiling

Loading profile data...