Details

sample10.0ms

Algorithm

intervals

Results

4.0ms

257×

body

80

valid

simplify1.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	10	5
2	14	5
3	17	5
4	21	5
5	26	5
6	34	5
7	54	5
8	66	5
9	97	5
10	140	5
11	174	5
12	221	5
13	268	5
14	310	5
15	368	5
16	415	5
17	457	5
18	515	5
19	562	5
20	602	5
21	660	5
22	707	5
23	747	5
24	805	5
25	852	5
26	890	5
27	948	5
28	995	5
29	1035	5
30	1093	5
31	1140	5
32	1178	5
33	1236	5
34	1283	5
35	1323	5
36	1381	5
37	1428	5
38	1468	5
39	1526	5
40	1573	5
41	1613	5
42	1671	5
43	1718	5
44	1758	5
45	1816	5
46	1863	5
47	1903	5
48	1961	5
49	2008	5
50	2049	5
51	2107	5
52	2154	5
53	2194	5
54	2252	5
55	2299	5
56	2337	5
57	2395	5
58	2442	5
59	2482	5
60	2540	5
61	2587	5
62	2627	5
63	2685	5
64	2732	5
65	2772	5
66	2830	5
67	2877	5
68	2917	5
69	2975	5
70	3022	5
71	3062	5
72	3120	5
73	3167	5
74	3207	5
75	3265	5
76	3312	5
77	3352	5
78	3410	5
79	3457	5
80	3497	5
81	3555	5
82	3602	5
83	3642	5
84	3700	5
85	3747	5
86	3787	5
87	3845	5
88	3892	5
89	3932	5
90	3990	5
91	4037	5
92	4077	5
93	4135	5
94	4182	5
95	4223	5
96	4281	5
97	4328	5
98	4368	5
99	4426	5
100	4473	5
101	4514	5
102	4572	5
103	4619	5
104	4657	5
105	4715	5
106	4762	5
107	4802	5
108	4860	5
109	4907	5
110	4947	5
done	5000	5

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	0	2	2

Merged error: 0b

Counts

2 → 1

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	0	0	0
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	0	1	1

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
done	4	5

end0.0ms

sample266.0ms

Algorithm

intervals

Results

119.0ms

8007×

body

80

valid

Profiling

Loading profile data...