Details

sample23.0ms

Algorithm

intervals

Results

9.0ms

256×

body

80

valid

simplify29.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
131	4943
130	4907
129	4868
128	4837
127	4798
126	4767
125	4728
124	4697
123	4658
122	4627
121	4588
120	4557
119	4518
118	4487
117	4448
116	4417
115	4378
114	4347
113	4308
112	4277
111	4238
110	4207
109	4168
108	4137
107	4098
106	4067
105	4028
104	3997
103	3958
102	3927
101	3888
100	3857
99	3818
98	3787
97	3748
96	3717
95	3678
94	3647
93	3608
92	3577
91	3538
90	3507
89	3468
88	3437
87	3398
86	3367
85	3328
84	3297
83	3258
82	3227
81	3188
80	3157
79	3118
78	3087
77	3048
76	3017
75	2978
74	2947
73	2908
72	2877
71	2838
70	2807
69	2768
68	2737
67	2698
66	2667
65	2628
64	2597
63	2558
62	2527
61	2488
60	2457
59	2418
58	2387
57	2348
56	2317
55	2278
54	2247
53	2208
52	2177
51	2138
50	2107
49	2068
48	2037
47	1998
46	1967
45	1928
44	1897
43	1858
42	1827
41	1788
40	1757
39	1718
38	1687
37	1648
36	1617
35	1578
34	1547
33	1508
32	1477
31	1438
30	1407
29	1368
28	1337
27	1298
26	1267
25	1228
24	1197
23	1158
22	1127
21	1088
20	1057
19	1018
18	987
17	948
16	917
15	878
14	847
13	814
12	778
11	739
10	613
9	461
8	368
7	239
6	111
5	61
4	49
3	37
2	24
1	12
0	5

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

prune6.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Iter	Nodes
done	4
1	4
0	3

end0.0ms

sample1.3s

Algorithm

intervals

Results

1.1s

8005×

body

80

valid