Details

sample15.0ms

Algorithm

intervals

Results

5.0ms

365×

body

80

valid

simplify2.4m

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	3	81
1	7	81
2	12	56
3	18	56
4	31	56
5	74	56
6	94	56
7	120	56
8	144	56
9	162	56
10	176	56
11	194	56
12	208	56
13	226	56
14	240	56
15	258	56
16	272	56
17	290	56
18	304	56
19	322	56
20	336	56
21	354	56
22	368	56
23	386	56
24	400	56
25	418	56
26	432	56
27	450	56
28	464	56
29	482	56
30	496	56
31	514	56
32	528	56
33	546	56
34	560	56
35	578	56
36	592	56
37	610	56
38	624	56
39	642	56
40	656	56
41	674	56
42	688	56
43	706	56
44	720	56
45	738	56
46	752	56
47	770	56
48	784	56
49	802	56
50	816	56
51	834	56
52	848	56
53	866	56
54	880	56
55	898	56
56	912	56
57	930	56
58	944	56
59	962	56
60	976	56
61	994	56
62	1008	56
63	1026	56
64	1040	56
65	1058	56
66	1072	56
67	1090	56
68	1104	56
69	1122	56
70	1136	56
71	1154	56
72	1168	56
73	1186	56
74	1200	56
75	1218	56
76	1232	56
77	1250	56
78	1264	56
79	1282	56
80	1296	56
81	1314	56
82	1328	56
83	1346	56
84	1360	56
85	1378	56
86	1392	56
87	1410	56
88	1424	56
89	1442	56
90	1456	56
91	1474	56
92	1488	56
93	1506	56
94	1520	56
95	1538	56
96	1552	56
97	1570	56
98	1584	56
99	1602	56
100	1616	56
101	1634	56
102	1648	56
103	1666	56
104	1680	56
105	1698	56
106	1712	56
107	1730	56
108	1744	56
109	1762	56
110	1776	56
111	1794	56
112	1808	56
113	1826	56
114	1840	56
115	1858	56
116	1872	56
117	1890	56
118	1904	56
119	1922	56
120	1936	56
121	1954	56
122	1968	56
123	1986	56
124	2000	56
125	2018	56
126	2032	56
127	2050	56
128	2064	56
129	2082	56
130	2096	56
131	2114	56
132	2128	56
133	2146	56
134	2160	56
135	2178	56
136	2192	56
137	2210	56
138	2224	56
139	2242	56
140	2256	56
141	2274	56
142	2288	56
143	2306	56
144	2320	56
145	2338	56
146	2352	56
147	2370	56
148	2384	56
149	2402	56
150	2416	56
151	2434	56
152	2448	56
153	2466	56
154	2480	56
155	2498	56
156	2512	56
157	2530	56
158	2544	56
159	2562	56
160	2576	56
161	2594	56
162	2608	56
163	2626	56
164	2640	56
165	2658	56
166	2672	56
167	2690	56
168	2704	56
169	2722	56
170	2736	56
171	2754	56
172	2768	56
173	2786	56
174	2800	56
175	2818	56
176	2832	56
177	2850	56
178	2864	56
179	2882	56
180	2896	56
181	2914	56
182	2928	56
183	2946	56
184	2960	56
185	2978	56
186	2992	56
187	3010	56
188	3024	56
189	3042	56
190	3056	56
191	3074	56
192	3088	56
193	3106	56
194	3120	56
195	3138	56
196	3152	56
197	3170	56
198	3184	56
199	3202	56
200	3216	56
201	3234	56
202	3248	56
203	3266	56
204	3280	56
205	3298	56
206	3312	56
207	3330	56
208	3344	56
209	3362	56
210	3376	56
211	3394	56
212	3408	56
213	3426	56
214	3440	56
215	3458	56
216	3472	56
217	3490	56
218	3504	56
219	3522	56
220	3536	56
221	3554	56
222	3568	56
223	3586	56
224	3600	56
225	3618	56
226	3632	56
227	3650	56
228	3664	56
229	3682	56
230	3696	56
231	3714	56
232	3728	56
233	3746	56
234	3760	56
235	3778	56
236	3792	56
237	3810	56
238	3824	56
239	3842	56
240	3856	56
241	3874	56
242	3888	56
243	3906	56
244	3920	56
245	3938	56
246	3952	56
247	3970	56
248	3984	56
249	4002	56
250	4016	56
251	4034	56
252	4048	56
253	4066	56
254	4080	56
255	4098	56
256	4112	56
257	4130	56
258	4144	56
259	4162	56
260	4176	56
261	4194	56
262	4208	56
263	4226	56
264	4240	56
265	4258	56
266	4272	56
267	4290	56
268	4304	56
269	4322	56
270	4336	56
271	4354	56
272	4368	56
273	4386	56
274	4400	56
275	4418	56
276	4432	56
277	4450	56
278	4464	56
279	4482	56
280	4496	56
281	4514	56
282	4528	56
283	4546	56
284	4560	56
285	4578	56
286	4592	56
287	4610	56
288	4624	56
289	4642	56
290	4656	56
291	4674	56
292	4688	56
293	4706	56
294	4720	56
295	4738	56
296	4752	56
297	4770	56
298	4784	56
299	4802	56
300	4816	56
301	4834	56
302	4848	56
303	4866	56
304	4880	56
305	4898	56
306	4912	56
307	4930	56
308	4944	56
309	4962	56
310	4976	56
311	4997	56
done	5001	56

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize7.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	2	56
done	2	56

end0.0ms

sample758.0ms

Algorithm

intervals

Results

252.0ms

10718×

body

80

valid