Details

sample16.0ms

Algorithm

intervals

Results

5.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true

simplify1.6m

Counts

1 → 1

Iterations

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize4.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify0.0ms

Iterations

Iter	Nodes
done	2
0	2

end0.0ms

sample359.0ms

Algorithm

intervals

Results

144.0ms	8000×	body	80	valid
141.0ms	8000×	pre	80	true