Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

256×

body

80

valid

simplify5.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	83
1	11	83
2	20	83
3	35	83
4	57	83
5	88	83
6	109	83
7	144	83
8	216	83
9	352	83
10	491	83
11	622	83
12	735	83
13	865	83
14	986	83
15	1116	83
16	1229	83
17	1359	83
18	1472	83
19	1602	83
20	1715	83
21	1845	83
22	1958	83
23	2088	83
24	2201	83
25	2331	83
26	2444	83
27	2574	83
28	2687	83
29	2817	83
30	2930	83
31	3060	83
32	3173	83
33	3303	83
34	3416	83
35	3546	83
36	3659	83
37	3789	83
38	3902	83
39	4032	83
40	4145	83
41	4275	83
42	4388	83
43	4518	83
44	4631	83
45	4761	83
46	4874	83
done	5000	83

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

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune3.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	5	83
done	5	83

end0.0ms

sample351.0ms

Algorithm

intervals

Results

170.0ms	7996×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid