Details

sample14.0ms

Algorithm

intervals

Results

4.0ms

256×

body

80

valid

simplify934.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	11	5
2	22	5
3	38	5
4	49	5
5	69	5
6	88	5
7	119	5
8	173	5
9	222	5
10	303	5
11	384	5
12	449	5
13	529	5
14	600	5
15	665	5
16	755	5
17	826	5
18	891	5
19	981	5
20	1052	5
21	1117	5
22	1205	5
23	1276	5
24	1341	5
25	1431	5
26	1502	5
27	1567	5
28	1657	5
29	1728	5
30	1793	5
31	1885	5
32	1956	5
33	2021	5
34	2109	5
35	2180	5
36	2245	5
37	2335	5
38	2406	5
39	2471	5
40	2559	5
41	2630	5
42	2695	5
43	2785	5
44	2856	5
45	2921	5
46	3011	5
47	3082	5
48	3147	5
49	3235	5
50	3306	5
51	3371	5
52	3461	5
53	3532	5
54	3597	5
55	3687	5
56	3758	5
57	3823	5
58	3911	5
59	3982	5
60	4047	5
61	4137	5
62	4208	5
63	4273	5
64	4363	5
65	4434	5
66	4499	5
67	4589	5
68	4660	5
69	4725	5
70	4815	5
71	4886	5
72	4951	5
done	5001	5

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

localize4.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	5	5
done	5	5

end0.0ms

sample361.0ms

Algorithm

intervals

Results

142.0ms	7994×	body	80	valid
0.0ms	3×	body	1280	valid
0.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid

Profiling

Loading profile data...