Details

sample86.0ms

Algorithm

intervals

Results

28.0ms	54×	body	1280	valid
15.0ms	51×	body	640	valid
8.0ms	145×	body	80	valid
5.0ms	97×	body	80	nan
5.0ms	25×	body	320	valid
2.0ms	18×	body	160	valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	8	11
1	15	11
2	24	9
3	51	9
4	100	9
5	235	9
6	543	9
7	1634	9
done	5001	9

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 11.5b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (pow (/ x (+ x y)) x) x)
0.0b	(/ x (+ x y))
6.4b	(pow (/ x (+ x y)) x)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
118×	`*-un-lft-identity`
90×	`unpow-prod-down`
80×	`add-sqr-sqrt` `add-cube-cbrt`
25×	`associate-/l*`
19×	`distribute-lft-out`
16×	`add-exp-log`
12×	`associate-/r/`
7×	`div-exp` `associate-/r*` `add-cbrt-cube` `div-inv`
6×	`flip3-+` `flip-+`
5×	`sqr-pow`
4×	`pow1` `pow-exp`
3×	`pow-unpow` `add-log-exp`
2×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `clear-num`
1×	`pow-pow`

Counts

3 → 172

Calls

3 calls:

12.0ms	(/ (pow (/ x (+ x y)) x) x)
6.0ms	(/ x (+ x y))
8.0ms	(pow (/ x (+ x y)) x)

series58.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(/ (pow (/ x (+ x y)) x) x)
11.0ms	(/ x (+ x y))
22.0ms	(pow (/ x (+ x y)) x)

simplify26.0min

Counts

181 → 181

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1289	7
6	2990	7
done	5001	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	208	9
6	613	9
7	2441	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	8	12
1	14	12
2	22	12
3	33	12
4	47	12
5	55	12
6	67	12
7	92	12
8	142	12
9	189	12
10	209	12
11	247	12
12	334	12
13	453	12
14	580	12
15	682	12
16	752	12
17	756	12
done	756	12
0	8	11
1	14	11
2	17	11
3	24	11
4	35	11
5	49	11
6	57	11
7	69	11
8	94	11
9	144	11
10	191	11
11	211	11
12	249	11
13	338	11
14	463	11
15	602	11
16	706	11
17	774	11
18	778	11
done	778	11
0	8	11
1	14	11
2	17	11
3	24	11
4	35	11
5	49	11
6	57	11
7	69	11
8	94	11
9	144	11
10	191	11
11	211	11
12	249	11
13	338	11
14	463	11
15	602	11
16	706	11
17	774	11
18	778	11
done	778	11
0	8	11
1	17	11
2	28	11
3	59	11
4	155	11
5	506	11
6	2012	11
done	5000	11
0	7	10
1	15	10
2	28	10
3	67	10
4	176	10
5	579	10
6	2342	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	43	10
4	106	10
5	297	10
6	1032	10
7	4183	10
done	5000	10
0	10	29
1	26	23
2	84	13
3	338	11
4	1653	11
done	5000	11
0	8	21
1	13	21
2	20	21
3	44	21
4	107	21
5	287	21
6	965	21
7	3842	21
done	5000	21
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	8	29
1	20	29
2	50	11
3	167	11
4	751	11
5	4302	11
done	5000	11
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	6	8
1	11	8
2	19	8
3	44	8
4	106	8
5	288	8
6	978	8
7	3760	8
done	5000	8
0	2	2
done	2	2
0	10	21
1	17	21
2	28	21
3	64	21
4	171	21
5	549	21
6	2163	21
done	5001	21
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	9	18
1	14	18
2	21	18
3	45	18
4	106	18
5	295	18
6	982	18
7	3850	18
done	5000	18
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	9	17
1	16	15
2	25	15
3	51	15
4	123	15
5	348	15
6	1274	15
done	5000	15
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	9	14
1	16	14
2	27	14
3	63	14
4	170	14
5	547	14
6	2161	14
done	5000	14
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	8	10
1	15	8
2	24	8
3	50	8
4	122	8
5	343	8
6	1270	8
done	5000	8
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	10	23
1	23	23
2	43	23
3	85	23
4	194	23
5	578	23
6	2211	23
done	5001	23
0	8	12
1	13	12
2	20	12
3	44	12
4	105	12
5	289	12
6	969	12
7	3818	12
done	5000	12
0	11	20
1	22	20
2	38	20
3	68	20
4	131	20
5	318	20
6	995	20
7	3856	20
done	5000	20
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	295	12
6	982	12
7	3850	12
done	5000	12
0	11	19
1	24	17
2	42	17
3	74	17
4	148	17
5	370	17
6	1309	17
done	5000	17
0	8	11
1	13	11
2	20	11
3	44	11
4	105	11
5	289	11
6	968	11
7	3814	11
done	5000	11
0	9	18
1	18	18
2	31	18
3	68	18
4	177	18
5	558	18
6	2176	18
done	5000	18
0	8	12
1	13	12
2	20	12
3	44	12
4	105	12
5	289	12
6	969	12
7	3818	12
done	5000	12
0	10	15
1	17	15
2	26	15
3	51	15
4	112	15
5	295	15
6	985	15
7	3838	15
done	5000	15
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	295	12
6	982	12
7	3850	12
done	5000	12
0	10	14
1	19	12
2	30	12
3	57	12
4	131	12
5	350	12
6	1299	12
done	5000	12
0	8	11
1	13	11
2	20	11
3	44	11
4	105	11
5	289	11
6	968	11
7	3814	11
done	5000	11
0	7	15
1	17	13
2	36	13
3	99	13
4	293	13
5	966	13
6	3426	13
done	5001	13
0	7	11
1	12	11
2	19	11
3	43	11
4	104	11
5	289	11
6	973	11
7	3830	11
done	5001	11
0	8	12
1	16	10
2	29	10
3	58	10
4	118	10
5	302	10
6	975	10
7	3849	10
done	5000	10
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	7	11
1	15	7
2	29	7
3	60	7
4	132	7
5	350	7
6	1295	7
done	5000	7
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	7	15
1	17	13
2	36	13
3	99	13
4	293	13
5	966	13
6	3426	13
done	5001	13
0	7	11
1	12	11
2	19	11
3	43	11
4	104	11
5	289	11
6	973	11
7	3830	11
done	5001	11
0	8	12
1	16	10
2	29	10
3	58	10
4	118	10
5	302	10
6	975	10
7	3849	10
done	5000	10
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	7	11
1	15	7
2	29	7
3	60	7
4	132	7
5	350	7
6	1295	7
done	5000	7
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	11	20
1	20	20
2	31	20
3	67	20
4	176	20
5	546	20
6	2174	20
done	5000	20
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	295	12
6	982	12
7	3850	12
done	5000	12
0	9	17
1	16	17
2	23	17
3	47	17
4	108	17
5	296	17
6	977	17
7	3848	17
done	5000	17
0	8	12
1	13	12
2	20	12
3	44	12
4	105	12
5	289	12
6	969	12
7	3818	12
done	5000	12
0	10	16
1	19	14
2	28	14
3	54	14
4	126	14
5	353	14
6	1283	14
done	5001	14
0	8	11
1	13	11
2	20	11
3	44	11
4	105	11
5	289	11
6	968	11
7	3814	11
done	5000	11
0	10	15
1	17	15
2	28	15
3	64	15
4	171	15
5	549	15
6	2163	15
done	5001	15
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	295	12
6	982	12
7	3850	12
done	5000	12
0	8	12
1	13	12
2	20	12
3	44	12
4	105	12
5	289	12
6	969	12
7	3818	12
done	5000	12
0	8	12
1	13	12
2	20	12
3	44	12
4	105	12
5	289	12
6	969	12
7	3818	12
done	5000	12
0	9	11
1	16	9
2	25	9
3	51	9
4	123	9
5	348	9
6	1274	9
done	5000	9
0	8	11
1	13	11
2	20	11
3	44	11
4	105	11
5	289	11
6	968	11
7	3814	11
done	5000	11
0	8	12
1	16	10
2	29	10
3	65	10
4	171	10
5	547	10
6	2159	10
done	5000	10
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	6	9
1	12	7
2	22	7
3	52	7
4	146	7
5	413	7
6	1362	7
done	5001	7
0	7	11
1	12	11
2	19	11
3	43	11
4	104	11
5	289	11
6	973	11
7	3830	11
done	5001	11
0	6	8
1	12	4
2	22	4
3	48	4
4	120	4
5	342	4
6	1267	4
done	5000	4
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	8	12
1	16	10
2	29	10
3	65	10
4	171	10
5	547	10
6	2159	10
done	5000	10
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	6	9
1	12	7
2	22	7
3	52	7
4	146	7
5	413	7
6	1362	7
done	5001	7
0	7	11
1	12	11
2	19	11
3	43	11
4	104	11
5	289	11
6	973	11
7	3830	11
done	5001	11
0	6	8
1	12	4
2	22	4
3	48	4
4	120	4
5	342	4
6	1267	4
done	5000	4
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	11	19
1	22	19
2	33	19
3	69	19
4	177	19
5	552	19
6	2181	19
done	5000	19
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	10	16
1	19	16
2	26	16
3	50	16
4	110	16
5	293	16
6	981	16
7	3834	16
done	5000	16
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	9	15
1	18	13
2	27	13
3	53	13
4	125	13
5	350	13
6	1292	13
done	5001	13
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	10	14
1	19	14
2	30	14
3	66	14
4	172	14
5	547	14
6	2169	14
done	5000	14
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	9	11
1	16	11
2	23	11
3	47	11
4	107	11
5	291	11
6	974	11
7	3833	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	288	11
6	962	11
7	3825	11
done	5000	11
0	8	10
1	15	8
2	24	8
3	50	8
4	122	8
5	344	8
6	1288	8
done	5000	8
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	289	10
6	973	10
7	3835	10
done	5000	10
0	7	11
1	15	9
2	26	7
3	44	7
4	55	7
5	68	7
6	82	7
7	98	7
8	117	7
9	139	7
10	164	7
11	192	7
12	223	7
13	257	7
14	294	7
15	334	7
16	377	7
17	423	7
18	472	7
19	524	7
20	579	7
21	637	7
22	698	7
23	762	7
24	829	7
25	899	7
26	972	7
27	1048	7
28	1127	7
29	1209	7
30	1294	7
31	1382	7
32	1473	7
33	1567	7
34	1664	7
35	1764	7
36	1867	7
37	1973	7
38	2082	7
39	2194	7
40	2309	7
41	2427	7
42	2548	7
43	2672	7
44	2799	7
45	2929	7
46	3062	7
47	3198	7
48	3337	7
49	3479	7
50	3624	7
51	3772	7
52	3923	7
53	4077	7
54	4234	7
55	4394	7
56	4557	7
57	4723	7
58	4892	7
done	5000	7
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	6	8
1	12	6
2	19	4
3	29	4
4	40	4
5	53	4
6	67	4
7	83	4
8	102	4
9	124	4
10	149	4
11	177	4
12	208	4
13	242	4
14	279	4
15	319	4
16	362	4
17	408	4
18	457	4
19	509	4
20	564	4
21	622	4
22	683	4
23	747	4
24	814	4
25	884	4
26	957	4
27	1033	4
28	1112	4
29	1194	4
30	1279	4
31	1367	4
32	1458	4
33	1552	4
34	1649	4
35	1749	4
36	1852	4
37	1958	4
38	2067	4
39	2179	4
40	2294	4
41	2412	4
42	2533	4
43	2657	4
44	2784	4
45	2914	4
46	3047	4
47	3183	4
48	3322	4
49	3464	4
50	3609	4
51	3757	4
52	3908	4
53	4062	4
54	4219	4
55	4379	4
56	4542	4
57	4708	4
58	4877	4
done	5000	4
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	5	7
1	11	3
2	20	1
3	29	1
4	39	1
5	52	1
6	66	1
7	82	1
8	101	1
9	123	1
10	148	1
11	176	1
12	207	1
13	241	1
14	278	1
15	318	1
16	361	1
17	407	1
18	456	1
19	508	1
20	563	1
21	621	1
22	682	1
23	746	1
24	813	1
25	883	1
26	956	1
27	1032	1
28	1111	1
29	1193	1
30	1278	1
31	1366	1
32	1457	1
33	1551	1
34	1648	1
35	1748	1
36	1851	1
37	1957	1
38	2066	1
39	2178	1
40	2293	1
41	2411	1
42	2532	1
43	2656	1
44	2783	1
45	2913	1
46	3046	1
47	3182	1
48	3321	1
49	3463	1
50	3608	1
51	3756	1
52	3907	1
53	4061	1
54	4218	1
55	4378	1
56	4541	1
57	4707	1
58	4876	1
done	5000	1
0	6	9
1	11	9
2	18	9
3	42	9
4	103	9
5	285	9
6	965	9
7	3810	9
done	5000	9
0	7	11
1	15	9
2	26	7
3	44	7
4	55	7
5	68	7
6	82	7
7	98	7
8	117	7
9	139	7
10	164	7
11	192	7
12	223	7
13	257	7
14	294	7
15	334	7
16	377	7
17	423	7
18	472	7
19	524	7
20	579	7
21	637	7
22	698	7
23	762	7
24	829	7
25	899	7
26	972	7
27	1048	7
28	1127	7
29	1209	7
30	1294	7
31	1382	7
32	1473	7
33	1567	7
34	1664	7
35	1764	7
36	1867	7
37	1973	7
38	2082	7
39	2194	7
40	2309	7
41	2427	7
42	2548	7
43	2672	7
44	2799	7
45	2929	7
46	3062	7
47	3198	7
48	3337	7
49	3479	7
50	3624	7
51	3772	7
52	3923	7
53	4077	7
54	4234	7
55	4394	7
56	4557	7
57	4723	7
58	4892	7
done	5000	7
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	6	8
1	12	6
2	19	4
3	29	4
4	40	4
5	53	4
6	67	4
7	83	4
8	102	4
9	124	4
10	149	4
11	177	4
12	208	4
13	242	4
14	279	4
15	319	4
16	362	4
17	408	4
18	457	4
19	509	4
20	564	4
21	622	4
22	683	4
23	747	4
24	814	4
25	884	4
26	957	4
27	1033	4
28	1112	4
29	1194	4
30	1279	4
31	1367	4
32	1458	4
33	1552	4
34	1649	4
35	1749	4
36	1852	4
37	1958	4
38	2067	4
39	2179	4
40	2294	4
41	2412	4
42	2533	4
43	2657	4
44	2784	4
45	2914	4
46	3047	4
47	3183	4
48	3322	4
49	3464	4
50	3609	4
51	3757	4
52	3908	4
53	4062	4
54	4219	4
55	4379	4
56	4542	4
57	4708	4
58	4877	4
done	5000	4
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	5	7
1	11	3
2	20	1
3	29	1
4	39	1
5	52	1
6	66	1
7	82	1
8	101	1
9	123	1
10	148	1
11	176	1
12	207	1
13	241	1
14	278	1
15	318	1
16	361	1
17	407	1
18	456	1
19	508	1
20	563	1
21	621	1
22	682	1
23	746	1
24	813	1
25	883	1
26	956	1
27	1032	1
28	1111	1
29	1193	1
30	1278	1
31	1366	1
32	1457	1
33	1551	1
34	1648	1
35	1748	1
36	1851	1
37	1957	1
38	2066	1
39	2178	1
40	2293	1
41	2411	1
42	2532	1
43	2656	1
44	2783	1
45	2913	1
46	3046	1
47	3182	1
48	3321	1
49	3463	1
50	3608	1
51	3756	1
52	3907	1
53	4061	1
54	4218	1
55	4378	1
56	4541	1
57	4707	1
58	4876	1
done	5000	1
0	6	9
1	11	9
2	18	9
3	42	9
4	103	9
5	285	9
6	965	9
7	3810	9
done	5000	9
0	6	9
1	14	7
2	17	7
3	23	7
4	30	7
5	40	7
6	53	7
7	69	7
8	88	7
9	110	7
10	135	7
11	163	7
12	194	7
13	228	7
14	265	7
15	305	7
16	348	7
17	394	7
18	443	7
19	495	7
20	550	7
21	608	7
22	669	7
23	733	7
24	800	7
25	870	7
26	943	7
27	1019	7
28	1098	7
29	1180	7
30	1265	7
31	1353	7
32	1444	7
33	1538	7
34	1635	7
35	1735	7
36	1838	7
37	1944	7
38	2053	7
39	2165	7
40	2280	7
41	2398	7
42	2519	7
43	2643	7
44	2770	7
45	2900	7
46	3033	7
47	3169	7
48	3308	7
49	3450	7
50	3595	7
51	3743	7
52	3894	7
53	4048	7
54	4205	7
55	4365	7
56	4528	7
57	4694	7
58	4863	7
done	5000	7
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	5	6
1	11	4
2	14	4
3	20	4
4	27	4
5	37	4
6	50	4
7	66	4
8	85	4
9	107	4
10	132	4
11	160	4
12	191	4
13	225	4
14	262	4
15	302	4
16	345	4
17	391	4
18	440	4
19	492	4
20	547	4
21	605	4
22	666	4
23	730	4
24	797	4
25	867	4
26	940	4
27	1016	4
28	1095	4
29	1177	4
30	1262	4
31	1350	4
32	1441	4
33	1535	4
34	1632	4
35	1732	4
36	1835	4
37	1941	4
38	2050	4
39	2162	4
40	2277	4
41	2395	4
42	2516	4
43	2640	4
44	2767	4
45	2897	4
46	3030	4
47	3166	4
48	3305	4
49	3447	4
50	3592	4
51	3740	4
52	3891	4
53	4045	4
54	4202	4
55	4362	4
56	4525	4
57	4691	4
58	4860	4
done	5000	4
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	4	5
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	6	9
1	11	9
2	18	9
3	42	9
4	103	9
5	285	9
6	965	9
7	3810	9
done	5000	9
0	5	9
1	11	9
2	22	9
3	58	9
4	167	9
5	540	9
6	2146	9
done	5001	9
0	8	10
1	15	10
2	22	10
3	46	10
4	108	10
5	291	10
6	973	10
7	3838	10
done	5000	10
0	4	6
1	8	6
2	15	6
3	39	6
4	100	6
5	285	6
6	969	6
7	3793	6
done	5000	6
0	8	10
1	15	10
2	22	10
3	46	10
4	108	10
5	291	10
6	973	10
7	3838	10
done	5000	10
0	4	5
1	10	3
2	19	3
3	45	3
4	117	3
5	340	3
6	1279	3
done	5000	3
0	7	9
1	14	9
2	21	9
3	45	9
4	105	9
5	287	9
6	966	9
7	3820	9
done	5000	9
0	11	17
1	30	17
2	50	17
3	103	17
4	250	17
5	740	17
6	2748	17
done	5000	17
0	10	16
1	22	14
2	44	14
3	81	14
4	164	14
5	370	14
6	1085	14
7	3961	14
done	5000	14
0	10	14
1	27	14
2	43	14
3	84	14
4	185	14
5	477	14
6	1568	14
done	5000	14
0	10	16
1	22	14
2	44	14
3	81	14
4	164	14
5	370	14
6	1085	14
7	3961	14
done	5000	14
0	10	13
1	29	11
2	47	11
3	90	11
4	204	11
5	540	11
6	1889	11
done	5000	11
0	9	15
1	21	13
2	43	13
3	80	13
4	163	13
5	366	13
6	1076	13
7	3959	13
done	5000	13
0	10	17
1	21	17
2	41	17
3	94	17
4	226	17
5	650	17
6	2324	17
done	5001	17
0	6	8
1	12	8
2	20	8
3	44	8
4	107	8
5	290	8
6	967	8
7	3815	8
done	5000	8
0	9	14
1	18	14
2	34	14
3	75	14
4	161	14
5	387	14
6	1123	14
7	4182	14
done	5000	14
0	6	8
1	12	8
2	20	8
3	44	8
4	107	8
5	290	8
6	967	8
7	3815	8
done	5000	8
0	9	13
1	20	11
2	38	11
3	81	11
4	180	11
5	446	11
6	1431	11
done	5000	11
0	5	7
1	11	7
2	19	7
3	43	7
4	104	7
5	290	7
6	983	7
7	3843	7
done	5000	7
0	10	23
1	21	23
2	35	23
3	59	23
4	99	23
5	206	23
6	582	23
7	1987	23
done	5000	23
0	8	11
1	13	11
2	18	11
3	36	11
4	76	11
5	186	11
6	566	11
7	1975	11
done	5001	11
0	9	20
1	16	20
2	23	20
3	42	20
4	82	20
5	184	20
6	558	20
7	1973	20
done	5000	20
0	8	11
1	13	11
2	18	11
3	36	11
4	76	11
5	186	11
6	566	11
7	1975	11
done	5001	11
0	9	19
1	18	17
2	29	17
3	52	17
4	91	17
5	197	17
6	562	17
7	1968	17
done	5000	17
0	7	10
1	12	10
2	17	10
3	35	10
4	75	10
5	179	10
6	550	10
7	1961	10
done	5000	10
0	9	14
1	16	14
2	22	14
3	40	14
4	80	14
5	184	14
6	561	14
7	1961	14
done	5000	14
0	8	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1979	11
done	5000	11
0	8	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1979	11
done	5000	11
0	8	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1979	11
done	5000	11
0	8	10
1	15	8
2	23	8
3	41	8
4	80	8
5	180	8
6	547	8
7	1965	8
done	5001	8
0	7	10
1	12	10
2	18	10
3	36	10
4	76	10
5	186	10
6	569	10
7	1969	10
done	5000	10
0	5	7
1	9	7
done	9	7
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	4	4
1	6	4
done	6	4
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	2	3
1	4	1
done	4	1
0	6	9
1	11	9
2	18	9
3	42	9
4	103	9
5	285	9
6	965	9
7	3810	9
done	5000	9
0	10	15
1	16	15
2	30	15
3	69	15
4	186	15
5	591	15
6	2338	15
done	5001	15
0	9	12
1	13	12
2	23	12
3	50	12
4	119	12
5	329	12
6	1147	12
7	4417	12
done	5000	12
0	9	12
1	13	12
2	23	12
3	50	12
4	119	12
5	329	12
6	1147	12
7	4417	12
done	5000	12
0	9	12
1	13	12
2	23	12
3	50	12
4	119	12
5	329	12
6	1147	12
7	4417	12
done	5000	12
0	9	11
1	15	9
2	27	9
3	56	9
4	136	9
5	380	9
6	1448	9
done	5000	9
0	8	11
1	12	11
2	22	11
3	49	11
4	118	11
5	326	11
6	1131	11
7	4399	11
done	5000	11
0	3	3
1	5	3
done	5	3
0	6	9
1	11	9
2	18	9
3	40	9
4	93	9
5	234	9
6	717	9
7	2562	9
done	5000	9
0	8	13
1	15	13
2	26	13
3	62	13
4	169	13
5	549	13
6	2171	13
done	5000	13
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3833	10
done	5000	10
0	7	9
1	14	7
2	23	7
3	49	7
4	121	7
5	338	7
6	1266	7
done	5000	7
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	8	11
1	13	11
2	20	11
3	42	11
4	95	11
5	234	11
6	714	11
7	2565	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	42	11
4	95	11
5	234	11
6	714	11
7	2565	11
done	5000	11
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	8	11
1	13	11
2	20	11
3	42	11
4	95	11
5	234	11
6	714	11
7	2565	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	42	11
4	95	11
5	234	11
6	714	11
7	2565	11
done	5000	11
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	7	10
1	12	10
2	19	10
3	41	10
4	94	10
5	235	10
6	713	10
7	2563	10
done	5001	10
0	6	9
1	11	9
2	18	9
3	40	9
4	93	9
5	234	9
6	717	9
7	2562	9
done	5000	9
0	6	9
1	11	9
2	18	9
3	40	9
4	93	9
5	234	9
6	717	9
7	2562	9
done	5000	9
0	6	9
1	11	9
2	18	9
3	40	9
4	93	9
5	234	9
6	717	9
7	2562	9
done	5000	9
0	7	9
1	14	9
2	21	9
3	43	9
4	95	9
5	236	9
6	719	9
7	2566	9
done	5000	9
0	9	15
1	21	13
2	43	13
3	78	13
4	151	13
5	314	13
6	808	13
7	2681	13
done	5000	13
0	5	7
1	11	7
2	19	7
3	41	7
4	94	7
5	235	7
6	719	7
7	2574	7
done	5001	7
0	7	10
1	12	10
2	17	10
3	35	10
4	75	10
5	179	10
6	550	10
7	1961	10
done	5000	10
0	7	10
1	12	10
2	18	10
3	36	10
4	76	10
5	186	10
6	569	10
7	1969	10
done	5000	10
0	6	9
1	11	9
2	18	9
3	40	9
4	93	9
5	234	9
6	717	9
7	2562	9
done	5000	9
0	8	11
1	12	11
2	22	11
3	47	11
4	108	11
5	276	11
6	882	11
7	3132	11
done	5000	11
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	33	63
1	95	54
2	285	36
3	957	30
4	2287	29
done	5000	29
0	27	69
1	81	63
2	252	59
3	1236	46
done	5000	46
0	28	77
1	77	71
2	244	71
3	699	48
4	2879	43
done	5000	43

prune220.0ms

Filtered

140 candidates to 181 candidates (-29.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	176	5	181
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	176	6	182

Merged error: 0.3b

Counts

182 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (/ (pow (/ x (+ x y)) x) x))
6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
117×	`*-un-lft-identity`
108×	`unpow-prod-down`
81×	`add-sqr-sqrt` `add-cube-cbrt`
70×	`cbrt-prod`
18×	`distribute-lft-out`
13×	`add-exp-log`
12×	`associate-/r/`
9×	`pow-unpow`
7×	`pow1` `div-inv`
6×	`flip3-+` `pow-exp` `flip-+` `sqr-pow`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-to-exp` `pow-pow` `div-exp`
1×	`cbrt-div` `pow1/3`

Counts

4 → 178

Calls

4 calls:

12.0ms	(cbrt (/ (pow (/ x (+ x y)) x) x))
8.0ms	(pow (/ x (+ x y)) x)
8.0ms	(pow (/ x (+ x y)) x)
8.0ms	(pow (/ x (+ x y)) x)

series112.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(cbrt (/ (pow (/ x (+ x y)) x) x))
20.0ms	(pow (/ x (+ x y)) x)
21.0ms	(pow (/ x (+ x y)) x)
20.0ms	(pow (/ x (+ x y)) x)

simplify36.5min

Counts

190 → 190

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	9	22
1	14	22
2	21	22
3	45	22
4	106	22
5	292	22
6	980	22
7	3840	22
done	5000	22
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	11	22
1	18	22
2	29	22
3	65	22
4	172	22
5	554	22
6	2167	22
done	5000	22
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	10	19
1	15	19
2	22	19
3	46	19
4	107	19
5	295	19
6	978	19
7	3824	19
done	5000	19
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	10	18
1	17	16
2	26	16
3	52	16
4	124	16
5	347	16
6	1287	16
done	5001	16
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	10	15
1	17	15
2	28	15
3	64	15
4	171	15
5	548	15
6	2169	15
done	5000	15
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	9	11
1	16	9
2	25	9
3	51	9
4	125	9
5	349	9
6	1281	9
done	5001	9
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	11	24
1	24	24
2	44	24
3	86	24
4	195	24
5	577	24
6	2206	24
done	5001	24
0	9	13
1	14	13
2	21	13
3	45	13
4	106	13
5	294	13
6	976	13
7	3823	13
done	5000	13
0	12	21
1	23	21
2	39	21
3	69	21
4	130	21
5	319	21
6	1002	21
7	3848	21
done	5000	21
0	10	13
1	15	13
2	22	13
3	46	13
4	107	13
5	295	13
6	978	13
7	3824	13
done	5000	13
0	12	20
1	25	18
2	43	18
3	75	18
4	149	18
5	370	18
6	1318	18
done	5000	18
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	294	12
6	978	12
7	3831	12
done	5000	12
0	10	19
1	19	19
2	32	19
3	69	19
4	178	19
5	562	19
6	2178	19
done	5000	19
0	9	13
1	14	13
2	21	13
3	45	13
4	106	13
5	294	13
6	976	13
7	3823	13
done	5000	13
0	11	16
1	18	16
2	27	16
3	52	16
4	113	16
5	299	16
6	991	16
7	3840	16
done	5000	16
0	10	13
1	15	13
2	22	13
3	46	13
4	107	13
5	295	13
6	978	13
7	3824	13
done	5000	13
0	11	15
1	20	13
2	31	13
3	58	13
4	130	13
5	352	13
6	1304	13
done	5000	13
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	294	12
6	978	12
7	3831	12
done	5000	12
0	8	16
1	18	14
2	37	14
3	100	14
4	294	14
5	964	14
6	3419	14
done	5000	14
0	8	12
1	13	12
2	20	12
3	44	12
4	107	12
5	290	12
6	972	12
7	3817	12
done	5000	12
0	9	13
1	17	11
2	30	11
3	59	11
4	121	11
5	304	11
6	979	11
7	3831	11
done	5000	11
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	8	12
1	16	8
2	30	8
3	61	8
4	133	8
5	358	8
6	1299	8
done	5000	8
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	8	16
1	18	14
2	37	14
3	100	14
4	294	14
5	964	14
6	3419	14
done	5000	14
0	8	12
1	13	12
2	20	12
3	44	12
4	107	12
5	290	12
6	972	12
7	3817	12
done	5000	12
0	9	13
1	17	11
2	30	11
3	59	11
4	121	11
5	304	11
6	979	11
7	3831	11
done	5000	11
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	8	12
1	16	8
2	30	8
3	61	8
4	133	8
5	358	8
6	1299	8
done	5000	8
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	12	21
1	21	21
2	32	21
3	68	21
4	177	21
5	550	21
6	2166	21
done	5001	21
0	10	13
1	15	13
2	22	13
3	46	13
4	107	13
5	295	13
6	978	13
7	3824	13
done	5000	13
0	10	18
1	17	18
2	24	18
3	48	18
4	109	18
5	300	18
6	988	18
7	3835	18
done	5000	18
0	9	13
1	14	13
2	21	13
3	45	13
4	106	13
5	294	13
6	976	13
7	3823	13
done	5000	13
0	11	17
1	20	15
2	29	15
3	55	15
4	127	15
5	354	15
6	1303	15
done	5001	15
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	294	12
6	978	12
7	3831	12
done	5000	12
0	11	16
1	18	16
2	29	16
3	65	16
4	172	16
5	554	16
6	2167	16
done	5000	16
0	10	13
1	15	13
2	22	13
3	46	13
4	107	13
5	295	13
6	978	13
7	3824	13
done	5000	13
0	9	13
1	14	13
2	21	13
3	45	13
4	106	13
5	294	13
6	976	13
7	3823	13
done	5000	13
0	9	13
1	14	13
2	21	13
3	45	13
4	106	13
5	294	13
6	976	13
7	3823	13
done	5000	13
0	10	12
1	17	10
2	26	10
3	52	10
4	124	10
5	347	10
6	1287	10
done	5001	10
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	294	12
6	978	12
7	3831	12
done	5000	12
0	9	13
1	17	11
2	30	11
3	66	11
4	172	11
5	557	11
6	2169	11
done	5000	11
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	7	10
1	13	8
2	23	8
3	53	8
4	147	8
5	416	8
6	1337	8
done	5000	8
0	8	12
1	13	12
2	20	12
3	44	12
4	107	12
5	290	12
6	972	12
7	3817	12
done	5000	12
0	7	9
1	13	5
2	23	5
3	49	5
4	121	5
5	343	5
6	1271	5
done	5000	5
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	9	13
1	17	11
2	30	11
3	66	11
4	172	11
5	557	11
6	2169	11
done	5000	11
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	7	10
1	13	8
2	23	8
3	53	8
4	147	8
5	416	8
6	1337	8
done	5000	8
0	8	12
1	13	12
2	20	12
3	44	12
4	107	12
5	290	12
6	972	12
7	3817	12
done	5000	12
0	7	9
1	13	5
2	23	5
3	49	5
4	121	5
5	343	5
6	1271	5
done	5000	5
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	12	20
1	23	20
2	34	20
3	70	20
4	176	20
5	548	20
6	2168	20
done	5000	20
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	11	17
1	20	17
2	27	17
3	51	17
4	111	17
5	294	17
6	976	17
7	3824	17
done	5000	17
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	10	16
1	19	14
2	28	14
3	54	14
4	126	14
5	353	14
6	1283	14
done	5000	14
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	11	15
1	20	15
2	31	15
3	67	15
4	175	15
5	558	15
6	2173	15
done	5001	15
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	10	12
1	17	12
2	24	12
3	48	12
4	108	12
5	291	12
6	971	12
7	3819	12
done	5000	12
0	9	12
1	14	12
2	21	12
3	45	12
4	106	12
5	291	12
6	979	12
7	3838	12
done	5000	12
0	9	11
1	16	9
2	25	9
3	51	9
4	123	9
5	348	9
6	1276	9
done	5000	9
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3834	11
done	5000	11
0	8	12
1	16	10
2	27	8
3	45	8
4	56	8
5	69	8
6	83	8
7	99	8
8	118	8
9	140	8
10	165	8
11	193	8
12	224	8
13	258	8
14	295	8
15	335	8
16	378	8
17	424	8
18	473	8
19	525	8
20	580	8
21	638	8
22	699	8
23	763	8
24	830	8
25	900	8
26	973	8
27	1049	8
28	1128	8
29	1210	8
30	1295	8
31	1383	8
32	1474	8
33	1568	8
34	1665	8
35	1765	8
36	1868	8
37	1974	8
38	2083	8
39	2195	8
40	2310	8
41	2428	8
42	2549	8
43	2673	8
44	2800	8
45	2930	8
46	3063	8
47	3199	8
48	3338	8
49	3480	8
50	3625	8
51	3773	8
52	3924	8
53	4078	8
54	4235	8
55	4395	8
56	4558	8
57	4724	8
58	4893	8
done	5001	8
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	7	9
1	13	7
2	20	5
3	30	5
4	41	5
5	54	5
6	68	5
7	84	5
8	103	5
9	125	5
10	150	5
11	178	5
12	209	5
13	243	5
14	280	5
15	320	5
16	363	5
17	409	5
18	458	5
19	510	5
20	565	5
21	623	5
22	684	5
23	748	5
24	815	5
25	885	5
26	958	5
27	1034	5
28	1113	5
29	1195	5
30	1280	5
31	1368	5
32	1459	5
33	1553	5
34	1650	5
35	1750	5
36	1853	5
37	1959	5
38	2068	5
39	2180	5
40	2295	5
41	2413	5
42	2534	5
43	2658	5
44	2785	5
45	2915	5
46	3048	5
47	3184	5
48	3323	5
49	3465	5
50	3610	5
51	3758	5
52	3909	5
53	4063	5
54	4220	5
55	4380	5
56	4543	5
57	4709	5
58	4878	5
done	5000	5
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	6	8
1	12	4
2	21	2
3	30	2
4	40	2
5	53	2
6	67	2
7	83	2
8	102	2
9	124	2
10	149	2
11	177	2
12	208	2
13	242	2
14	279	2
15	319	2
16	362	2
17	408	2
18	457	2
19	509	2
20	564	2
21	622	2
22	683	2
23	747	2
24	814	2
25	884	2
26	957	2
27	1033	2
28	1112	2
29	1194	2
30	1279	2
31	1367	2
32	1458	2
33	1552	2
34	1649	2
35	1749	2
36	1852	2
37	1958	2
38	2067	2
39	2179	2
40	2294	2
41	2412	2
42	2533	2
43	2657	2
44	2784	2
45	2914	2
46	3047	2
47	3183	2
48	3322	2
49	3464	2
50	3609	2
51	3757	2
52	3908	2
53	4062	2
54	4219	2
55	4379	2
56	4542	2
57	4708	2
58	4877	2
done	5000	2
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	8	12
1	16	10
2	27	8
3	45	8
4	56	8
5	69	8
6	83	8
7	99	8
8	118	8
9	140	8
10	165	8
11	193	8
12	224	8
13	258	8
14	295	8
15	335	8
16	378	8
17	424	8
18	473	8
19	525	8
20	580	8
21	638	8
22	699	8
23	763	8
24	830	8
25	900	8
26	973	8
27	1049	8
28	1128	8
29	1210	8
30	1295	8
31	1383	8
32	1474	8
33	1568	8
34	1665	8
35	1765	8
36	1868	8
37	1974	8
38	2083	8
39	2195	8
40	2310	8
41	2428	8
42	2549	8
43	2673	8
44	2800	8
45	2930	8
46	3063	8
47	3199	8
48	3338	8
49	3480	8
50	3625	8
51	3773	8
52	3924	8
53	4078	8
54	4235	8
55	4395	8
56	4558	8
57	4724	8
58	4893	8
done	5001	8
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	7	9
1	13	7
2	20	5
3	30	5
4	41	5
5	54	5
6	68	5
7	84	5
8	103	5
9	125	5
10	150	5
11	178	5
12	209	5
13	243	5
14	280	5
15	320	5
16	363	5
17	409	5
18	458	5
19	510	5
20	565	5
21	623	5
22	684	5
23	748	5
24	815	5
25	885	5
26	958	5
27	1034	5
28	1113	5
29	1195	5
30	1280	5
31	1368	5
32	1459	5
33	1553	5
34	1650	5
35	1750	5
36	1853	5
37	1959	5
38	2068	5
39	2180	5
40	2295	5
41	2413	5
42	2534	5
43	2658	5
44	2785	5
45	2915	5
46	3048	5
47	3184	5
48	3323	5
49	3465	5
50	3610	5
51	3758	5
52	3909	5
53	4063	5
54	4220	5
55	4380	5
56	4543	5
57	4709	5
58	4878	5
done	5000	5
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	6	8
1	12	4
2	21	2
3	30	2
4	40	2
5	53	2
6	67	2
7	83	2
8	102	2
9	124	2
10	149	2
11	177	2
12	208	2
13	242	2
14	279	2
15	319	2
16	362	2
17	408	2
18	457	2
19	509	2
20	564	2
21	622	2
22	683	2
23	747	2
24	814	2
25	884	2
26	957	2
27	1033	2
28	1112	2
29	1194	2
30	1279	2
31	1367	2
32	1458	2
33	1552	2
34	1649	2
35	1749	2
36	1852	2
37	1958	2
38	2067	2
39	2179	2
40	2294	2
41	2412	2
42	2533	2
43	2657	2
44	2784	2
45	2914	2
46	3047	2
47	3183	2
48	3322	2
49	3464	2
50	3609	2
51	3757	2
52	3908	2
53	4062	2
54	4219	2
55	4379	2
56	4542	2
57	4708	2
58	4877	2
done	5000	2
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	7	10
1	15	8
2	18	8
3	24	8
4	31	8
5	41	8
6	54	8
7	70	8
8	89	8
9	111	8
10	136	8
11	164	8
12	195	8
13	229	8
14	266	8
15	306	8
16	349	8
17	395	8
18	444	8
19	496	8
20	551	8
21	609	8
22	670	8
23	734	8
24	801	8
25	871	8
26	944	8
27	1020	8
28	1099	8
29	1181	8
30	1266	8
31	1354	8
32	1445	8
33	1539	8
34	1636	8
35	1736	8
36	1839	8
37	1945	8
38	2054	8
39	2166	8
40	2281	8
41	2399	8
42	2520	8
43	2644	8
44	2771	8
45	2901	8
46	3034	8
47	3170	8
48	3309	8
49	3451	8
50	3596	8
51	3744	8
52	3895	8
53	4049	8
54	4206	8
55	4366	8
56	4529	8
57	4695	8
58	4864	8
done	5000	8
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	6	7
1	12	5
2	15	5
3	21	5
4	28	5
5	38	5
6	51	5
7	67	5
8	86	5
9	108	5
10	133	5
11	161	5
12	192	5
13	226	5
14	263	5
15	303	5
16	346	5
17	392	5
18	441	5
19	493	5
20	548	5
21	606	5
22	667	5
23	731	5
24	798	5
25	868	5
26	941	5
27	1017	5
28	1096	5
29	1178	5
30	1263	5
31	1351	5
32	1442	5
33	1536	5
34	1633	5
35	1733	5
36	1836	5
37	1942	5
38	2051	5
39	2163	5
40	2278	5
41	2396	5
42	2517	5
43	2641	5
44	2768	5
45	2898	5
46	3031	5
47	3167	5
48	3306	5
49	3448	5
50	3593	5
51	3741	5
52	3892	5
53	4046	5
54	4203	5
55	4363	5
56	4526	5
57	4692	5
58	4861	5
done	5001	5
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	5	6
1	11	2
2	14	2
3	20	2
4	27	2
5	37	2
6	50	2
7	66	2
8	85	2
9	107	2
10	132	2
11	160	2
12	191	2
13	225	2
14	262	2
15	302	2
16	345	2
17	391	2
18	440	2
19	492	2
20	547	2
21	605	2
22	666	2
23	730	2
24	797	2
25	867	2
26	940	2
27	1016	2
28	1095	2
29	1177	2
30	1262	2
31	1350	2
32	1441	2
33	1535	2
34	1632	2
35	1732	2
36	1835	2
37	1941	2
38	2050	2
39	2162	2
40	2277	2
41	2395	2
42	2516	2
43	2640	2
44	2767	2
45	2897	2
46	3030	2
47	3166	2
48	3305	2
49	3447	2
50	3592	2
51	3740	2
52	3891	2
53	4045	2
54	4202	2
55	4362	2
56	4525	2
57	4691	2
58	4860	2
done	5000	2
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	6	10
1	12	10
2	23	10
3	59	10
4	168	10
5	541	10
6	2159	10
done	5000	10
0	9	11
1	16	11
2	23	11
3	47	11
4	109	11
5	291	11
6	977	11
7	3828	11
done	5000	11
0	5	7
1	9	7
2	16	7
3	40	7
4	103	7
5	290	7
6	969	7
7	3815	7
done	5000	7
0	9	11
1	16	11
2	23	11
3	47	11
4	109	11
5	291	11
6	977	11
7	3828	11
done	5000	11
0	5	6
1	11	4
2	20	4
3	46	4
4	118	4
5	345	4
6	1279	4
done	5000	4
0	8	10
1	15	10
2	22	10
3	46	10
4	108	10
5	291	10
6	973	10
7	3840	10
done	5000	10
0	12	18
1	31	18
2	51	18
3	104	18
4	251	18
5	746	18
6	2772	18
done	5000	18
0	11	17
1	23	15
2	45	15
3	82	15
4	165	15
5	373	15
6	1070	15
7	3937	15
done	5000	15
0	11	15
1	28	15
2	44	15
3	85	15
4	186	15
5	486	15
6	1566	15
done	5000	15
0	11	17
1	23	15
2	45	15
3	82	15
4	165	15
5	373	15
6	1070	15
7	3937	15
done	5000	15
0	11	14
1	30	12
2	48	12
3	91	12
4	205	12
5	535	12
6	1892	12
done	5001	12
0	10	16
1	22	14
2	44	14
3	81	14
4	164	14
5	370	14
6	1085	14
7	3965	14
done	5000	14
0	11	18
1	22	18
2	42	18
3	95	18
4	227	18
5	649	18
6	2320	18
done	5001	18
0	7	9
1	13	9
2	21	9
3	45	9
4	106	9
5	292	9
6	975	9
7	3842	9
done	5000	9
0	10	15
1	19	15
2	35	15
3	76	15
4	162	15
5	386	15
6	1130	15
7	4147	15
done	5000	15
0	7	9
1	13	9
2	21	9
3	45	9
4	106	9
5	292	9
6	975	9
7	3842	9
done	5000	9
0	10	14
1	21	12
2	39	12
3	82	12
4	181	12
5	443	12
6	1427	12
done	5000	12
0	6	8
1	12	8
2	20	8
3	44	8
4	107	8
5	290	8
6	968	8
7	3830	8
done	5000	8
0	11	24
1	22	24
2	36	24
3	60	24
4	100	24
5	207	24
6	577	24
7	2004	24
done	5001	24
0	9	12
1	14	12
2	19	12
3	37	12
4	77	12
5	183	12
6	560	12
7	1966	12
done	5001	12
0	10	21
1	17	21
2	24	21
3	43	21
4	83	21
5	191	21
6	571	21
7	1982	21
done	5000	21
0	9	12
1	14	12
2	19	12
3	37	12
4	77	12
5	183	12
6	560	12
7	1966	12
done	5001	12
0	10	20
1	19	18
2	30	18
3	53	18
4	92	18
5	197	18
6	565	18
7	1987	18
done	5000	18
0	8	11
1	13	11
2	18	11
3	36	11
4	76	11
5	186	11
6	566	11
7	1975	11
done	5001	11
0	10	15
1	17	15
2	23	15
3	41	15
4	81	15
5	187	15
6	570	15
7	1987	15
done	5000	15
0	9	12
1	14	12
2	20	12
3	38	12
4	78	12
5	184	12
6	562	12
7	1985	12
done	5000	12
0	9	12
1	14	12
2	20	12
3	38	12
4	78	12
5	184	12
6	562	12
7	1985	12
done	5000	12
0	9	12
1	14	12
2	20	12
3	38	12
4	78	12
5	184	12
6	562	12
7	1985	12
done	5000	12
0	9	11
1	16	9
2	24	9
3	42	9
4	81	9
5	184	9
6	560	9
7	1984	9
done	5000	9
0	8	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1979	11
done	5000	11
0	6	8
1	10	8
done	10	8
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	290	11
6	972	11
7	3836	11
done	5000	11
0	3	4
1	5	1
done	5	1
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	11	16
1	17	16
2	31	16
3	70	16
4	185	16
5	591	16
6	2336	16
done	5001	16
0	10	13
1	14	13
2	24	13
3	51	13
4	120	13
5	330	13
6	1146	13
7	4419	13
done	5000	13
0	10	13
1	14	13
2	24	13
3	51	13
4	120	13
5	330	13
6	1146	13
7	4419	13
done	5000	13
0	10	13
1	14	13
2	24	13
3	51	13
4	120	13
5	330	13
6	1146	13
7	4419	13
done	5000	13
0	10	12
1	16	10
2	28	10
3	57	10
4	137	10
5	382	10
6	1438	10
done	5000	10
0	9	12
1	13	12
2	23	12
3	50	12
4	119	12
5	329	12
6	1145	12
7	4406	12
done	5000	12
0	2	2
1	4	1
done	4	1
0	7	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	972	10
7	3818	10
done	5000	10
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	4	4
1	6	4
done	6	4
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	2	2
done	2	2
0	9	23
1	14	23
2	21	23
3	45	23
4	106	23
5	292	23
6	980	23
7	3840	23
done	5000	23
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	9	32
1	15	32
2	24	12
3	52	9
4	118	9
5	311	9
6	1015	9
7	3926	9
done	5000	9
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	8	11
1	13	11
2	20	11
3	44	11
4	107	11
5	287	11
6	965	11
7	3842	11
done	5000	11
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	53	179
1	165	163
2	613	97
3	2321	67
done	5000	67
0	36	107
1	103	91
2	338	83
3	1588	79
done	5001	79
0	39	127
1	111	123
2	398	115
3	1459	111
done	5000	111

prune269.0ms

Filtered

149 candidates to 190 candidates (-27.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	187	3	190
Fresh	3	1	4
Picked	1	0	1
Done	0	1	1
Total	191	5	196

Merged error: 0.3b

Counts

196 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

72×	`unpow-prod-down`
64×	`*-un-lft-identity`
48×	`times-frac`
40×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log`
12×	`pow-unpow` `distribute-lft-out`
8×	`pow1` `pow-exp` `associate-/r/`
4×	`pow-to-exp` `pow-pow` `flip3-+` `div-exp` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp` `sqr-pow`

Counts

4 → 132

Calls

4 calls:

8.0ms	(pow (/ x (+ x y)) x)
14.0ms	(pow (/ x (+ x y)) x)
8.0ms	(pow (/ x (+ x y)) x)
8.0ms	(pow (/ x (+ x y)) x)

series91.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(pow (/ x (+ x y)) x)
21.0ms	(pow (/ x (+ x y)) x)
20.0ms	(pow (/ x (+ x y)) x)
21.0ms	(pow (/ x (+ x y)) x)

simplify24.0min

Counts

144 → 144

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38
0	36	79
1	104	72
2	410	48
3	1558	38
4	4310	33
done	5000	33
0	28	69
1	85	63
2	268	59
3	1351	46
done	5000	46
0	29	77
1	81	71
2	265	71
3	780	48
4	3599	38
done	5001	38

prune204.0ms

Filtered

112 candidates to 144 candidates (-28.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	144	5	149

Merged error: 0.3b

Counts

149 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

2.2b	(pow (/ (pow (/ x (+ x y)) x) x) 1/3)
6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)
6.4b	(pow (/ x (+ x y)) x)

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

178×	`unpow-prod-down`
138×	`times-frac`
118×	`*-un-lft-identity`
82×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`add-exp-log`
18×	`distribute-lft-out`
13×	`pow-exp`
12×	`pow-unpow` `associate-/r/`
8×	`pow1` `div-exp`
7×	`div-inv` `sqr-pow`
6×	`flip3-+` `flip-+`
5×	`pow-to-exp`
4×	`pow-pow` `add-cbrt-cube` `add-log-exp`
1×	`unpow1/3`

Counts

4 → 188

Calls

4 calls:

19.0ms	(pow (/ (pow (/ x (+ x y)) x) x) 1/3)
8.0ms	(pow (/ x (+ x y)) x)
8.0ms	(pow (/ x (+ x y)) x)
8.0ms	(pow (/ x (+ x y)) x)

series117.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(pow (/ (pow (/ x (+ x y)) x) x) 1/3)
20.0ms	(pow (/ x (+ x y)) x)
29.0ms	(pow (/ x (+ x y)) x)
20.0ms	(pow (/ x (+ x y)) x)

simplify13.5min

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	5	7
1	10	7
2	15	7
3	33	7
4	73	7
5	179	7
6	562	7
7	1962	7
done	5000	7
0	2	3
1	6	3
2	11	3
3	29	3
4	71	3
5	178	3
6	560	3
7	1973	3
done	5000	3
0	6	7
1	13	7
2	18	7
3	36	7
4	77	7
5	183	7
6	573	7
7	1989	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	156	11
5	381	11
6	1148	11
7	4398	11
done	5000	11
0	8	13
1	20	11
2	40	11
3	71	11
4	133	11
5	263	11
6	664	11
7	2100	11
done	5001	11
0	7	11
1	16	11
2	30	11
3	65	11
4	132	11
5	279	11
6	712	11
7	2300	11
done	5000	11
0	4	5
1	10	5
2	16	5
3	34	5
4	74	5
5	182	5
6	565	5
7	1978	5
done	5000	5
0	6	8
1	13	8
2	24	8
3	49	8
4	136	8
5	419	8
6	1603	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	41	8
4	96	8
5	260	8
6	880	8
7	3708	8
done	5001	8
0	7	17
1	12	17
2	17	17
3	35	17
4	75	17
5	179	17
6	550	17
7	1961	17
done	5000	17
0	6	8
1	11	8
2	16	8
3	34	8
4	74	8
5	183	8
6	561	8
7	1977	8
done	5000	8
0	7	23
1	15	17
2	36	9
3	89	9
4	242	9
5	801	9
6	3665	9
done	5001	9
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	6	8
1	11	8
2	17	8
3	35	8
4	75	8
5	185	8
6	569	8
7	1989	8
done	5001	8
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	19	9
3	40	9
4	88	9
5	219	9
6	730	9
7	2535	9
done	5001	9
0	7	9
1	11	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	6	8
1	11	8
2	13	8
3	20	8
4	25	8
5	29	8
done	29	8
0	3	3
1	6	1
done	6	1
0	7	11
1	12	11
2	19	11
3	43	11
4	100	11
5	259	11
6	880	11
7	3313	11
done	5000	11
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	2194	8
done	5001	8
0	6	7
1	14	5
2	21	5
3	32	5
4	56	5
5	122	5
6	338	5
7	1278	5
done	5000	5
0	7	15
1	12	15
2	17	15
3	35	15
4	75	15
5	184	15
6	562	15
7	1980	15
done	5001	15
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	9	17
1	20	17
2	34	17
3	58	17
4	100	17
5	211	17
6	587	17
7	1996	17
done	5000	17
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	8	12
1	15	12
2	22	12
3	41	12
4	81	12
5	188	12
6	559	12
7	1961	12
done	5000	12
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	6	9
1	14	7
2	25	7
3	48	7
4	89	7
5	194	7
6	557	7
7	1972	7
done	5000	7
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	14
1	15	14
2	20	14
3	38	14
4	78	14
5	184	14
6	570	14
7	1976	14
done	5000	14
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1980	9
done	5001	9
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	5	6
1	11	4
2	18	4
3	36	4
4	75	4
5	183	4
6	557	4
7	1971	4
done	5001	4
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	8	13
1	17	13
2	22	13
3	40	13
4	79	13
5	183	13
6	557	13
7	1975	13
done	5000	13
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	7	8
1	14	8
2	19	8
3	37	8
4	76	8
5	179	8
6	554	8
7	1962	8
done	5001	8
0	6	8
1	11	8
2	16	8
3	34	8
4	76	8
5	182	8
6	566	8
7	1983	8
done	5000	8
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1

Details

sample86.0ms

simplify2.1s

prune7.0ms

localize6.0ms

rewrite36.0ms

series58.0ms

simplify26.0min

prune220.0ms

localize11.0ms

rewrite51.0ms

series112.0ms

simplify36.5min

prune269.0ms

localize16.0ms

rewrite45.0ms

series91.0ms

simplify24.0min

prune204.0ms

localize19.0ms

rewrite53.0ms

series117.0ms

simplify13.5min

Profiling