Details

sample14.0ms

Algorithm

intervals

Results

7.0ms

256×

body

80

valid

simplify8.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
142	4977
141	4936
140	4900
139	4871
138	4835
137	4806
136	4770
135	4741
134	4705
133	4676
132	4640
131	4611
130	4575
129	4546
128	4510
127	4481
126	4445
125	4416
124	4380
123	4351
122	4315
121	4286
120	4250
119	4221
118	4185
117	4156
116	4120
115	4091
114	4055
113	4026
112	3990
111	3961
110	3925
109	3896
108	3860
107	3831
106	3795
105	3766
104	3730
103	3701
102	3665
101	3636
100	3600
99	3571
98	3535
97	3506
96	3470
95	3441
94	3405
93	3376
92	3340
91	3311
90	3275
89	3246
88	3210
87	3181
86	3145
85	3116
84	3080
83	3051
82	3015
81	2986
80	2950
79	2921
78	2885
77	2856
76	2820
75	2791
74	2755
73	2726
72	2690
71	2661
70	2625
69	2596
68	2560
67	2531
66	2495
65	2466
64	2430
63	2401
62	2365
61	2336
60	2300
59	2271
58	2235
57	2206
56	2170
55	2141
54	2105
53	2076
52	2040
51	2011
50	1975
49	1946
48	1910
47	1881
46	1845
45	1816
44	1780
43	1751
42	1715
41	1686
40	1650
39	1621
38	1585
37	1556
36	1520
35	1491
34	1455
33	1426
32	1390
31	1361
30	1325
29	1296
28	1260
27	1231
26	1195
25	1166
24	1130
23	1101
22	1065
21	1036
20	1000
19	961
18	908
17	862
16	823
15	780
14	740
13	684
12	632
11	585
10	483
9	408
8	336
7	227
6	94
5	58
4	50
3	35
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

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

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

sample431.0ms

Algorithm

intervals

Results

309.0ms

8007×

body

80

valid