Details

sample11.0ms

Algorithm

intervals

Results

5.0ms

257×

body

80

valid

simplify16.6s

Counts

1 → 1

Iterations

Useful iterations: 4 (31.0ms)

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize3.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	3	42
1	4	42
done	4	42

end0.0ms

sample447.0ms

Algorithm

intervals

Results

310.0ms

8011×

body

80

valid