Details

sample36.0ms

Algorithm

intervals

Results

9.0ms	256×	pre	80	true
7.0ms	256×	body	80	valid

simplify3.8m

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
321	4999
320	4979
319	4965
318	4948
317	4934
316	4917
315	4903
314	4886
313	4872
312	4855
311	4841
310	4824
309	4810
308	4793
307	4779
306	4762
305	4748
304	4731
303	4717
302	4700
301	4686
300	4669
299	4655
298	4638
297	4624
296	4607
295	4593
294	4576
293	4562
292	4545
291	4531
290	4514
289	4500
288	4483
287	4469
286	4452
285	4438
284	4421
283	4407
282	4390
281	4376
280	4359
279	4345
278	4328
277	4314
276	4297
275	4283
274	4266
273	4252
272	4235
271	4221
270	4204
269	4190
268	4173
267	4159
266	4142
265	4128
264	4111
263	4097
262	4080
261	4066
260	4049
259	4035
258	4018
257	4004
256	3987
255	3973
254	3956
253	3942
252	3925
251	3911
250	3894
249	3880
248	3863
247	3849
246	3832
245	3818
244	3801
243	3787
242	3770
241	3756
240	3739
239	3725
238	3708
237	3694
236	3677
235	3663
234	3646
233	3632
232	3615
231	3601
230	3584
229	3570
228	3553
227	3539
226	3522
225	3508
224	3491
223	3477
222	3460
221	3446
220	3429
219	3415
218	3398
217	3384
216	3367
215	3353
214	3336
213	3322
212	3305
211	3291
210	3274
209	3260
208	3243
207	3229
206	3212
205	3198
204	3181
203	3167
202	3150
201	3136
200	3119
199	3105
198	3088
197	3074
196	3057
195	3043
194	3026
193	3012
192	2995
191	2981
190	2964
189	2950
188	2933
187	2919
186	2902
185	2888
184	2871
183	2857
182	2840
181	2826
180	2809
179	2795
178	2778
177	2764
176	2747
175	2733
174	2716
173	2702
172	2685
171	2671
170	2654
169	2640
168	2623
167	2609
166	2592
165	2578
164	2561
163	2547
162	2530
161	2516
160	2499
159	2485
158	2468
157	2454
156	2437
155	2423
154	2406
153	2392
152	2375
151	2361
150	2344
149	2330
148	2313
147	2299
146	2282
145	2268
144	2251
143	2237
142	2220
141	2206
140	2189
139	2175
138	2158
137	2144
136	2127
135	2113
134	2096
133	2082
132	2065
131	2051
130	2034
129	2020
128	2003
127	1989
126	1972
125	1958
124	1941
123	1927
122	1910
121	1896
120	1879
119	1865
118	1848
117	1834
116	1817
115	1803
114	1786
113	1772
112	1755
111	1741
110	1724
109	1710
108	1693
107	1679
106	1662
105	1648
104	1631
103	1617
102	1600
101	1586
100	1569
99	1555
98	1538
97	1524
96	1507
95	1493
94	1476
93	1462
92	1445
91	1431
90	1414
89	1400
88	1383
87	1369
86	1352
85	1338
84	1321
83	1307
82	1290
81	1276
80	1259
79	1245
78	1228
77	1214
76	1197
75	1183
74	1166
73	1152
72	1135
71	1121
70	1104
69	1090
68	1073
67	1059
66	1042
65	1028
64	1011
63	997
62	980
61	966
60	949
59	935
58	918
57	904
56	887
55	873
54	856
53	842
52	825
51	811
50	794
49	780
48	763
47	749
46	732
45	718
44	701
43	687
42	670
41	656
40	639
39	625
38	608
37	594
36	577
35	563
34	546
33	532
32	515
31	501
30	484
29	470
28	453
27	439
26	422
25	408
24	391
23	377
22	360
21	346
20	329
19	315
18	298
17	284
16	267
15	253
14	236
13	222
12	205
11	191
10	174
9	160
8	143
7	119
6	94
5	74
4	31
3	18
2	12
1	7
0	3

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

simplify1.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune12.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Iter	Nodes
done	2
0	2

end0.0ms

sample591.0ms

Algorithm

intervals

Results

206.0ms	8000×	body	80	valid
133.0ms	8000×	pre	80	true