Details

sample65.0ms

Algorithm

intervals

Results

13.0ms	24×	body	1280	valid
13.0ms	203×	body	80	valid
9.0ms	29×	body	640	valid
5.0ms	92×	body	80	nan
3.0ms	16×	body	320	valid
1.0ms	8×	body	160	valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	10	13
1	18	13
2	27	11
3	54	11
4	103	11
5	240	11
6	550	11
7	1627	11
done	5001	11

prune8.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: 7.3b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (pow (/ y (+ z y)) y) y)
0.0b	(+ (/ (pow (/ y (+ z y)) y) y) x)
0.0b	(/ y (+ z y))
7.6b	(pow (/ y (+ z y)) y)

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 184

Calls

4 calls:

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

series92.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (pow (/ y (+ z y)) y) y)
41.0ms	(+ (/ (pow (/ y (+ z y)) y) y) x)
6.0ms	(/ y (+ z y))
20.0ms	(pow (/ y (+ z y)) y)

simplify26.4min

Counts

196 → 196

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	1986	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	154	11
5	381	11
6	1159	11
7	4403	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	2098	11
done	5000	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	1285	7
6	3010	7
done	5000	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	200	9
6	604	9
7	2436	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	1619	9
done	5000	9
0	10	13
1	18	12
2	26	12
3	50	12
4	113	12
5	303	12
6	1032	12
7	4221	12
done	5000	12
0	9	12
1	15	12
2	22	12
3	46	12
4	107	12
5	292	12
6	975	12
7	3840	12
done	5000	12
0	9	12
1	18	12
2	26	12
3	50	12
4	113	12
5	304	12
6	1038	12
7	4224	12
done	5000	12
0	10	25
1	16	25
2	23	25
3	47	25
4	110	25
5	290	25
6	980	25
7	3822	25
done	5000	25
0	9	12
1	15	12
2	22	12
3	46	12
4	107	12
5	292	12
6	975	12
7	3840	12
done	5000	12
0	10	35
1	29	35
2	76	13
3	237	13
4	892	13
5	4319	13
done	5000	13
0	9	12
1	15	12
2	22	12
3	46	12
4	107	12
5	292	12
6	975	12
7	3840	12
done	5000	12
0	9	12
1	15	12
2	22	12
3	46	12
4	107	12
5	292	12
6	975	12
7	3840	12
done	5000	12
0	11	15
1	32	15
2	68	15
3	203	15
4	902	15
done	5001	15
0	12	35
1	31	33
2	70	33
3	173	25
4	577	25
5	2622	25
done	5000	25
0	10	23
1	24	23
2	48	23
3	123	17
4	420	17
5	1697	17
done	5000	17
0	8	11
1	15	11
2	23	11
3	47	11
4	110	11
5	292	11
6	983	11
7	3841	11
done	5000	11
0	8	11
1	14	11
2	21	11
3	45	11
4	106	11
5	292	11
6	980	11
7	3837	11
done	5001	11
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	2182	19
done	5001	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	3835	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	3834	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	5001	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	3847	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	3847	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	3823	9
done	5000	9
0	11	17
1	30	17
2	50	17
3	103	17
4	250	17
5	747	17
6	2735	17
done	5001	17
0	10	16
1	22	14
2	44	14
3	81	14
4	164	14
5	370	14
6	1085	14
7	3958	14
done	5000	14
0	10	14
1	27	14
2	43	14
3	84	14
4	185	14
5	482	14
6	1549	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	3958	14
done	5000	14
0	10	13
1	29	11
2	47	11
3	90	11
4	200	11
5	533	11
6	1856	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	3963	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	3826	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	3826	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	3851	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	2683	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	105	73
2	401	45
3	1328	37
4	4669	33
done	5000	33
0	28	69
1	78	63
2	255	59
3	1164	45
done	5001	45
0	29	77
1	82	71
2	276	71
3	828	46
4	3796	43
done	5000	43
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	33	63
1	94	55
2	286	37
3	904	33
4	2323	29
done	5000	29
0	15	29
1	33	27
2	72	25
3	141	23
4	375	19
5	1238	19
done	5001	19
0	16	33
1	35	31
2	79	31
3	182	25
4	513	23
5	1652	23
done	5000	23
0	33	63
1	94	55
2	286	37
3	904	33
4	2323	29
done	5000	29
0	27	69
1	74	63
2	235	59
3	1001	45
done	5000	45
0	28	77
1	78	71
2	260	71
3	747	46
4	3082	43
done	5001	43

prune251.0ms

Filtered

153 candidates to 196 candidates (-28.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	189	7	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	190	7	197

Merged error: 0.9b

Counts

197 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
3.0b	(pow (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))) y)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
13×	`unpow-prod-down`
12×	`cbrt-div`
9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`associate-/r/`
6×	`flip3-+` `flip-+`
5×	`pow1` `pow-exp`
4×	`frac-times` `div-exp` `prod-exp` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `pow1/3`
2×	`associate-r/` `associate-l/`
1×	`pow-to-exp` `pow-pow` `times-frac` `div-inv` `sqr-pow`

Counts

4 → 64

Calls

4 calls:

2.0ms	(cbrt y)
2.0ms	(cbrt y)
2.0ms	(cbrt y)
18.0ms	(pow (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))) y)

series126.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
32.0ms	(cbrt y)
26.0ms	(cbrt y)
43.0ms	(pow (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))) y)

simplify3.8min

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	21
1	22	15
2	51	13
3	100	13
4	162	13
5	239	13
6	355	13
7	508	13
8	647	13
9	665	13
done	665	13
0	11	20
1	21	18
2	44	15
3	81	13
4	150	13
5	232	13
6	350	13
7	479	13
8	642	13
9	777	13
done	777	13
0	11	20
1	21	16
2	44	15
3	94	13
4	158	13
5	225	13
6	315	13
7	474	13
8	640	13
9	699	13
10	701	13
done	701	13
0	11	19
1	19	19
2	37	15
3	77	13
4	142	13
5	210	13
6	287	13
7	419	13
8	587	13
9	716	13
10	720	13
done	720	13
0	10	18
1	21	18
2	42	18
3	81	12
4	156	12
5	238	12
6	363	12
7	483	12
8	657	12
9	789	12
10	790	12
done	790	12
0	10	18
1	21	18
2	42	18
3	81	12
4	156	12
5	238	12
6	363	12
7	483	12
8	657	12
9	789	12
10	790	12
done	790	12
0	3	3
1	6	1
done	6	1
0	9	21
1	20	21
2	36	21
3	66	21
4	125	21
5	287	21
6	907	21
7	3528	21
done	5000	21
0	10	18
1	21	18
2	35	18
3	59	18
4	101	18
5	210	18
6	585	18
7	2196	18
done	5000	18
0	10	17
1	24	15
2	40	15
3	58	15
4	82	15
5	148	15
6	372	15
7	1293	15
done	5000	15
0	11	35
1	22	35
2	36	35
3	60	35
4	100	35
5	206	35
6	588	35
7	1992	35
done	5000	35
0	10	18
1	21	18
2	35	18
3	59	18
4	101	18
5	210	18
6	585	18
7	1992	18
done	5000	18
0	10	18
1	21	18
2	36	10
3	60	10
4	100	10
5	213	10
6	594	10
7	2026	10
done	5000	10
0	10	18
1	21	18
2	36	10
3	60	10
4	100	10
5	213	10
6	594	10
7	2026	10
done	5000	10
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	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	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	4	7
1	8	7
2	13	7
3	31	7
4	71	7
5	175	7
6	552	7
7	1953	7
done	5000	7
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	12	25
1	35	25
2	58	25
3	99	25
4	177	25
5	397	25
6	1177	25
7	4404	25
done	5001	25
0	10	27
1	22	23
2	42	23
3	73	23
4	135	23
5	267	23
6	671	23
7	2115	23
done	5000	23
0	16	25
1	44	25
2	78	25
3	140	25
4	249	25
5	502	25
6	1337	25
7	4752	25
done	5001	25
0	12	19
1	27	17
2	47	17
3	77	17
4	134	17
5	258	17
6	648	17
7	2066	17
done	5001	17
0	16	25
1	44	25
2	78	25
3	140	25
4	247	25
5	499	25
6	1334	25
7	4757	25
done	5000	25
0	12	19
1	27	17
2	47	17
3	77	17
4	134	17
5	258	17
6	648	17
7	2066	17
done	5000	17
0	11	25
1	26	25
2	47	25
3	86	25
4	151	25
5	300	25
6	742	25
7	2304	25
done	5000	25
0	6	11
1	12	11
2	18	11
3	36	11
4	78	11
5	182	11
6	562	11
7	1973	11
done	5000	11
0	14	21
1	40	21
2	67	21
3	114	21
4	198	21
5	417	21
6	1199	21
7	4394	21
done	5000	21
0	9	14
1	21	12
2	41	12
3	72	12
4	134	12
5	264	12
6	664	12
7	2111	12
done	5001	12
0	13	21
1	30	21
2	54	21
3	99	21
4	166	21
5	315	21
6	758	21
7	2345	21
done	5000	21
0	5	6
1	11	6
2	17	6
3	35	6
4	75	6
5	185	6
6	569	6
7	1992	6
done	5000	6
0	14	21
1	40	21
2	67	21
3	114	21
4	198	21
5	412	21
6	1190	21
7	4392	21
done	5001	21
0	9	14
1	21	12
2	41	12
3	72	12
4	134	12
5	264	12
6	664	12
7	2111	12
done	5001	12
0	13	21
1	30	21
2	54	21
3	99	21
4	166	21
5	315	21
6	758	21
7	2345	21
done	5001	21
0	5	6
1	11	6
2	17	6
3	35	6
4	75	6
5	185	6
6	569	6
7	1992	6
done	5000	6
0	10	18
1	23	18
2	51	18
3	101	12
4	283	12
5	921	12
6	3940	12
done	5000	12
0	10	18
1	21	18
2	37	18
3	66	18
4	121	18
5	286	18
6	913	18
7	3739	18
done	5000	18
0	11	37
1	22	37
2	36	37
3	60	37
4	100	37
5	211	37
6	592	37
7	2016	37
done	5001	37
0	10	18
1	21	18
2	35	18
3	59	18
4	101	18
5	210	18
6	585	18
7	1985	18
done	5000	18
0	11	53
1	25	37
2	55	19
3	114	19
4	264	19
5	831	19
6	3708	19
done	5001	19
0	10	18
1	21	18
2	36	18
3	60	18
4	100	18
5	213	18
6	591	18
7	2025	18
done	5001	18
0	10	18
1	21	18
2	36	18
3	60	18
4	100	18
5	213	18
6	591	18
7	2025	18
done	5001	18
0	11	19
1	21	19
2	38	19
3	65	19
4	113	19
5	238	19
6	737	19
7	2543	19
done	5000	19
0	11	19
1	21	19
2	38	19
3	65	19
4	113	19
5	238	19
6	737	19
7	2543	19
done	5000	19
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	46	91
1	131	85
2	490	57
3	1662	43
done	5000	43
0	33	95
1	96	91
2	319	83
3	1445	71
done	5000	71
0	33	95
1	88	95
2	298	87
3	926	79
4	4168	51
done	5000	51
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune120.0ms

Filtered

53 candidates to 76 candidates (-43.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	78	5	83

Merged error: 0.2b

Counts

83 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(pow (/ (cbrt y) (cbrt (+ z y))) y)
0.6b	(cbrt y)
0.6b	(cbrt y)
2.4b	(log (/ (cbrt y) (cbrt (+ z y))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

96×	`cbrt-prod`
85×	`*-un-lft-identity`
84×	`times-frac`
61×	`add-sqr-sqrt` `add-cube-cbrt`
48×	`unpow-prod-down` `log-prod`
12×	`distribute-lft-out`
10×	`add-exp-log`
6×	`pow1`
4×	`cbrt-div` `associate-/r/` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`flip3-+` `pow1/3` `div-exp` `rem-log-exp` `pow-exp` `flip-+` `div-inv`
1×	`pow-to-exp` `log-div` `pow-pow` `log-pow` `sqr-pow`

Counts

4 → 144

Calls

4 calls:

12.0ms	(pow (/ (cbrt y) (cbrt (+ z y))) y)
2.0ms	(cbrt y)
2.0ms	(cbrt y)
9.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

series116.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(pow (/ (cbrt y) (cbrt (+ z y))) y)
26.0ms	(cbrt y)
26.0ms	(cbrt y)
33.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

simplify12.7min

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	18
1	12	18
2	14	11
3	15	11
done	15	11
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	11	18
1	15	18
2	17	18
3	18	18
done	18	18
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	10	13
1	14	13
2	16	13
3	17	13
done	17	13
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	10
1	13	9
2	15	9
3	16	9
done	16	9
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	8	10
1	13	9
2	15	9
3	16	9
done	16	9
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	11	19
1	17	19
2	23	19
3	31	16
4	43	16
5	51	16
6	60	16
7	73	16
8	89	16
9	92	16
done	92	16
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	10	13
1	14	13
2	16	13
3	17	13
done	17	13
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	7	9
1	11	7
2	17	7
3	21	7
done	21	7
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	10	15
1	14	15
2	16	15
3	17	15
done	17	15
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	7	7
1	12	6
2	14	6
3	15	6
done	15	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	7	7
1	12	6
2	14	6
3	15	6
done	15	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	10	16
1	16	16
2	22	16
3	30	13
4	42	13
5	51	13
6	60	13
7	73	13
8	89	13
9	92	13
done	92	13
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	6	6
1	10	4
2	16	4
3	20	4
done	20	4
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	10	14
1	16	13
2	18	13
3	19	13
done	19	13
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	9	9
1	15	8
2	17	8
3	18	8
done	18	8
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	4	6
1	8	1
done	8	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	4	6
1	8	1
done	8	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	10	15
1	18	14
2	24	14
3	32	9
4	56	8
5	142	8
6	587	8
7	3817	8
done	5000	8
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	9	9
1	15	8
2	17	8
3	18	8
done	18	8
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	4	5
1	8	1
done	8	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	11	19
1	17	19
2	25	19
3	38	18
4	46	18
5	50	18
6	58	18
7	72	18
8	84	18
9	96	18
10	106	18
11	107	18
done	107	18
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	10	14
1	16	14
2	24	14
3	37	13
4	45	13
5	49	13
6	57	13
7	72	13
8	84	13
9	96	13
10	108	13
11	109	13
done	109	13
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	8	11
1	15	10
2	23	10
3	34	6
4	72	6
5	186	6
6	903	6
7	1585	6
8	1595	6
done	1595	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	8	11
1	15	10
2	23	10
3	34	6
4	72	6
5	186	6
6	903	6
7	1585	6
8	1595	6
done	1595	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	11	20
1	21	20
2	42	20
3	71	12
4	110	12
5	144	12
6	198	12
7	240	12
8	277	12
9	280	12
done	280	12
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	10	14
1	16	14
2	24	14
3	37	13
4	45	13
5	49	13
6	57	13
7	72	13
8	84	13
9	96	13
10	108	13
11	109	13
done	109	13
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	7	10
1	13	8
2	27	8
3	50	6
4	68	6
5	81	6
6	93	6
7	106	6
done	106	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	10	15
1	14	15
2	16	15
3	17	15
done	17	15
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	7	7
1	12	6
2	14	6
3	15	6
done	15	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	7	7
1	12	6
2	14	6
3	15	6
done	15	6
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	10	16
1	16	16
2	22	16
3	30	13
4	42	13
5	51	13
6	60	13
7	73	13
8	89	13
9	92	13
done	92	13
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	9	10
1	13	10
2	15	10
3	16	10
done	16	10
0	6	6
1	10	4
2	16	4
3	20	4
done	20	4
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	9	13
1	16	12
2	17	12
3	21	12
4	23	12
5	29	12
6	34	12
done	34	12
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	8	8
1	15	7
2	16	7
3	20	7
4	22	7
5	28	7
6	33	7
done	33	7
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	4	5
1	10	2
2	11	1
done	11	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	4	5
1	10	2
2	11	1
done	11	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	9	14
1	18	13
2	23	13
3	36	9
4	48	8
5	78	8
6	104	8
7	110	8
8	119	8
done	119	8
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	8	8
1	15	7
2	16	7
3	20	7
4	22	7
5	28	7
6	33	7
done	33	7
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	3	4
1	7	1
done	7	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	3	3
done	3	3
0	7	7
1	14	6
2	15	6
3	19	6
4	21	6
5	27	6
6	32	6
done	32	6
0	10	12
1	27	12
2	38	12
3	56	12
4	95	12
5	215	12
6	626	12
7	2450	12
done	5001	12
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	9	12
1	17	12
2	26	12
3	42	12
4	67	12
5	108	12
6	168	12
7	336	12
8	1623	12
done	5000	12
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	7	8
1	11	8
2	13	8
3	14	8
done	14	8
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	8	9
1	12	7
2	17	7
3	20	7
4	25	7
5	34	7
6	43	7
7	73	7
8	87	7
9	119	7
10	180	7
11	194	7
12	207	7
done	207	7
0	9	19
1	13	19
2	15	19
3	16	19
done	16	19
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	9	26
1	14	26
2	18	10
3	36	10
4	80	10
5	193	10
6	534	10
7	1776	10
done	5001	10
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	8	9
1	12	9
2	14	9
3	15	9
done	15	9
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	9	11
1	13	11
2	20	11
3	25	11
4	29	11
done	29	11
0	8	10
1	13	10
2	15	10
3	22	10
4	27	10
5	31	10
done	31	10
0	8	10
1	13	10
2	15	10
3	22	10
4	27	10
5	31	10
done	31	10
0	3	3
1	6	1
done	6	1
0	8	13
1	13	13
2	20	13
3	44	13
4	103	13
5	262	13
6	880	13
7	3311	13
done	5000	13
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	2183	10
done	5000	10
0	8	9
1	16	7
2	23	7
3	34	7
4	56	7
5	122	7
6	335	7
7	1277	7
done	5000	7
0	9	19
1	14	19
2	19	19
3	37	19
4	77	19
5	185	19
6	566	19
7	1991	19
done	5001	19
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	11	19
1	16	19
2	21	19
3	39	19
4	79	19
5	184	19
6	553	19
7	1974	19
done	5000	19
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	10	14
1	15	14
2	20	14
3	38	14
4	80	14
5	191	14
6	568	14
7	1973	14
done	5001	14
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	8	11
1	14	10
2	19	10
3	37	10
4	76	10
5	181	10
6	555	10
7	1979	10
done	5000	10
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	8	11
1	14	10
2	19	10
3	37	10
4	76	10
5	181	10
6	555	10
7	1979	10
done	5000	10
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	11	20
1	18	20
2	23	20
3	41	20
4	81	20
5	185	20
6	555	20
7	1969	20
done	5000	20
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	10	14
1	15	14
2	20	14
3	38	14
4	80	14
5	191	14
6	568	14
7	1973	14
done	5001	14
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	7	10
1	13	8
2	20	8
3	38	8
4	77	8
5	179	8
6	556	8
7	1971	8
done	5001	8
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	10	16
1	15	16
2	20	16
3	38	16
4	80	16
5	191	16
6	568	16
7	1973	16
done	5001	16
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	7	8
1	13	7
2	18	7
3	36	7
4	75	7
5	180	7
6	564	7
7	1973	7
done	5000	7
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	7	8
1	13	7
2	18	7
3	36	7
4	75	7
5	180	7
6	564	7
7	1973	7
done	5000	7
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	10	17
1	17	17
2	22	17
3	40	17
4	82	17
5	191	17
6	573	17
7	1968	17
done	5000	17
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	6	7
1	12	5
2	19	5
3	37	5
4	76	5
5	182	5
6	557	5
7	1965	5
done	5000	5
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	10	15
1	17	14
2	22	14
3	40	14
4	81	14
5	188	14
6	565	14
7	1995	14
done	5000	14
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	9	10
1	16	9
2	21	9
3	39	9
4	78	9
5	187	9
6	562	9
7	1959	9
done	5000	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	5	7
1	11	3
2	16	1
3	25	1
4	35	1
5	48	1
6	62	1
7	78	1
8	97	1
9	119	1
10	144	1
11	172	1
12	203	1
13	237	1
14	274	1
15	314	1
16	357	1
17	403	1
18	452	1
19	504	1
20	559	1
21	617	1
22	678	1
23	742	1
24	809	1
25	879	1
26	952	1
27	1028	1
28	1107	1
29	1189	1
30	1274	1
31	1362	1
32	1453	1
33	1547	1
34	1644	1
35	1744	1
36	1847	1
37	1953	1
38	2062	1
39	2174	1
40	2289	1
41	2407	1
42	2528	1
43	2652	1
44	2779	1
45	2909	1
46	3042	1
47	3178	1
48	3317	1
49	3459	1
50	3604	1
51	3752	1
52	3903	1
53	4057	1
54	4214	1
55	4374	1
56	4537	1
57	4703	1
58	4872	1
done	5000	1
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	7
1	11	3
2	16	1
3	25	1
4	35	1
5	48	1
6	62	1
7	78	1
8	97	1
9	119	1
10	144	1
11	172	1
12	203	1
13	237	1
14	274	1
15	314	1
16	357	1
17	403	1
18	452	1
19	504	1
20	559	1
21	617	1
22	678	1
23	742	1
24	809	1
25	879	1
26	952	1
27	1028	1
28	1107	1
29	1189	1
30	1274	1
31	1362	1
32	1453	1
33	1547	1
34	1644	1
35	1744	1
36	1847	1
37	1953	1
38	2062	1
39	2174	1
40	2289	1
41	2407	1
42	2528	1
43	2652	1
44	2779	1
45	2909	1
46	3042	1
47	3178	1
48	3317	1
49	3459	1
50	3604	1
51	3752	1
52	3903	1
53	4057	1
54	4214	1
55	4374	1
56	4537	1
57	4703	1
58	4872	1
done	5000	1
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	10	16
1	19	15
2	24	15
3	42	15
4	83	15
5	190	15
6	565	15
7	1974	15
done	5000	15
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	9	10
1	16	9
2	21	9
3	39	9
4	78	9
5	187	9
6	562	9
7	1959	9
done	5000	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	5	6
1	11	3
2	16	1
3	25	1
4	35	1
5	48	1
6	62	1
7	78	1
8	97	1
9	119	1
10	144	1
11	172	1
12	203	1
13	237	1
14	274	1
15	314	1
16	357	1
17	403	1
18	452	1
19	504	1
20	559	1
21	617	1
22	678	1
23	742	1
24	809	1
25	879	1
26	952	1
27	1028	1
28	1107	1
29	1189	1
30	1274	1
31	1362	1
32	1453	1
33	1547	1
34	1644	1
35	1744	1
36	1847	1
37	1953	1
38	2062	1
39	2174	1
40	2289	1
41	2407	1
42	2528	1
43	2652	1
44	2779	1
45	2909	1
46	3042	1
47	3178	1
48	3317	1
49	3459	1
50	3604	1
51	3752	1
52	3903	1
53	4057	1
54	4214	1
55	4374	1
56	4537	1
57	4703	1
58	4872	1
done	5000	1
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	11	20
1	18	20
2	25	20
3	44	20
4	84	20
5	188	20
6	561	20
7	1980	20
done	5000	20
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	10	15
1	17	15
2	24	15
3	43	15
4	83	15
5	196	15
6	570	15
7	1978	15
done	5001	15
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	8	12
1	16	11
2	23	11
3	42	9
4	88	9
5	191	9
6	567	9
7	1974	9
done	5000	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	8	12
1	16	11
2	23	11
3	42	9
4	88	9
5	191	9
6	567	9
7	1974	9
done	5000	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	11	21
1	22	21
2	36	21
3	60	21
4	100	21
5	206	21
6	588	21
7	1992	21
done	5000	21
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	10	15
1	17	15
2	24	15
3	43	15
4	83	15
5	196	15
6	570	15
7	1978	15
done	5001	15
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	7	11
1	15	9
2	26	9
3	49	9
4	88	9
5	192	9
6	563	9
7	1955	9
done	5001	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	10	16
1	15	16
2	20	16
3	38	16
4	80	16
5	191	16
6	568	16
7	1973	16
done	5001	16
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	7	8
1	13	7
2	18	7
3	36	7
4	75	7
5	180	7
6	564	7
7	1973	7
done	5000	7
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	7	8
1	13	7
2	18	7
3	36	7
4	75	7
5	180	7
6	564	7
7	1973	7
done	5000	7
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	10	17
1	17	17
2	22	17
3	40	17
4	82	17
5	191	17
6	573	17
7	1968	17
done	5000	17
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5001	11
0	6	7
1	12	5
2	19	5
3	37	5
4	76	5
5	182	5
6	557	5
7	1965	5
done	5000	5
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	9	14
1	16	14
2	21	14
3	39	14
4	78	14
5	187	14
6	562	14
7	1961	14
done	5000	14
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	8	9
1	15	9
2	20	9
3	38	9
4	77	9
5	179	9
6	555	9
7	1962	9
done	5000	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	5	6
1	11	5
2	16	5
3	34	5
4	73	5
5	176	5
6	552	5
7	1962	5
done	5000	5
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	5
2	16	5
3	34	5
4	73	5
5	176	5
6	552	5
7	1962	5
done	5000	5
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	9	15
1	18	15
2	23	15
3	41	15
4	80	15
5	183	15
6	566	15
7	1974	15
done	5000	15
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
0	8	9
1	15	9
2	20	9
3	38	9
4	77	9
5	179	9
6	555	9
7	1962	9
done	5000	9
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1974	10
done	5000	10
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	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	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	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	3	4
1	7	4
2	12	4
3	30	4
4	72	4
5	183	4
6	568	4
7	1972	4
done	5000	4
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	10	13
1	27	13
2	41	13
3	76	13
4	156	13
5	386	13
6	1171	13
7	4432	13
done	5001	13
0	9	14
1	21	12
2	41	12
3	72	12
4	134	12
5	264	12
6	664	12
7	2111	12
done	5001	12
0	9	13
1	18	13
2	30	13
3	63	13
4	130	13
5	282	13
6	729	13
7	2304	13
done	5001	13
0	5	6
1	11	6
2	17	6
3	35	6
4	75	6
5	185	6
6	569	6
7	1992	6
done	5000	6
0	8	10
1	15	10
2	26	10
3	51	10
4	136	10
5	422	10
6	1604	10
done	5000	10
0	8	10
1	13	10
2	20	10
3	43	10
4	98	10
5	263	10
6	887	10
7	3722	10
done	5000	10
0	9	21
1	14	21
2	19	21
3	37	21
4	77	21
5	182	21
6	564	21
7	1969	21
done	5000	21
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	183	10
6	556	10
7	1963	10
done	5001	10
0	9	29
1	17	21
2	38	11
3	91	11
4	248	11
5	813	11
6	3715	11
done	5001	11
0	8	10
1	13	10
2	19	10
3	37	10
4	77	10
5	182	10
6	561	10
7	1974	10
done	5000	10
0	8	10
1	13	10
2	19	10
3	37	10
4	77	10
5	182	10
6	561	10
7	1974	10
done	5000	10
0	9	11
1	13	11
2	21	11
3	42	11
4	90	11
5	222	11
6	717	11
7	2526	11
done	5000	11
0	9	11
1	13	11
2	21	11
3	42	11
4	90	11
5	222	11
6	717	11
7	2526	11
done	5000	11
0	10	10
1	18	9
2	37	7
3	62	7
4	79	7
5	107	7
6	164	7
7	208	7
8	239	7
9	272	7
10	289	7
11	301	7
done	301	7
0	4	4
1	13	1
done	13	1
0	4	4
1	13	1
done	13	1
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	44	91
1	130	81
2	467	57
3	1613	43
done	5001	43
0	32	79
1	87	75
2	304	71
3	1409	67
done	5000	67
0	33	87
1	89	83
2	302	83
3	944	79
4	4109	51
done	5000	51

prune228.0ms

Filtered

112 candidates to 156 candidates (-39.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	156	5	161

Merged error: 0.2b

Counts

161 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (/ (pow (/ y (+ z y)) y) y))
7.6b	(pow (/ y (+ z y)) y)
7.6b	(pow (/ y (+ z y)) y)
7.6b	(pow (/ y (+ z y)) y)

rewrite54.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:

13.0ms	(cbrt (/ (pow (/ y (+ z y)) y) y))
8.0ms	(pow (/ y (+ z y)) y)
14.0ms	(pow (/ y (+ z y)) y)
8.0ms	(pow (/ y (+ z y)) y)

series116.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(cbrt (/ (pow (/ y (+ z y)) y) y))
28.0ms	(pow (/ y (+ z y)) y)
21.0ms	(pow (/ y (+ z y)) y)
21.0ms	(pow (/ y (+ z y)) y)

simplify36.0min

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	1986	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	154	11
5	381	11
6	1159	11
7	4403	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	2098	11
done	5000	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	1986	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	154	11
5	381	11
6	1159	11
7	4403	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	2098	11
done	5000	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	1986	7
done	5000	7
0	8	11
1	25	11
2	39	11
3	74	11
4	154	11
5	381	11
6	1159	11
7	4403	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	2098	11
done	5000	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	3823	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	2171	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	3820	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	3829	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	3829	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	3844	10
done	5000	10
0	12	18
1	31	18
2	51	18
3	104	18
4	251	18
5	746	18
6	2785	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	3940	15
done	5000	15
0	11	15
1	28	15
2	44	15
3	85	15
4	186	15
5	481	15
6	1575	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	3940	15
done	5000	15
0	11	14
1	30	12
2	48	12
3	91	12
4	201	12
5	534	12
6	1880	12
done	5000	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	3843	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	3843	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	3817	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	105	73
2	401	45
3	1328	37
4	4669	33
done	5000	33
0	28	69
1	78	63
2	255	59
3	1164	45
done	5001	45
0	29	77
1	82	71
2	276	71
3	828	46
4	3796	43
done	5000	43
0	36	79
1	105	73
2	401	45
3	1328	37
4	4669	33
done	5000	33
0	28	69
1	78	63
2	255	59
3	1164	45
done	5001	45
0	29	77
1	82	71
2	276	71
3	828	46
4	3796	43
done	5000	43
0	36	79
1	105	73
2	401	45
3	1328	37
4	4669	33
done	5000	33
0	28	69
1	78	63
2	255	59
3	1164	45
done	5001	45
0	29	77
1	82	71
2	276	71
3	828	46
4	3796	43
done	5000	43
0	52	179
1	165	163
2	609	97
3	2242	71
done	5000	71
0	36	107
1	101	99
2	332	95
3	1581	83
done	5000	79
0	42	127
1	118	123
2	395	123
3	1424	111
done	5001	111

prune261.0ms

Filtered

149 candidates to 190 candidates (-27.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	190	5	195

Merged error: 0.2b

Counts

195 → 5

regimes170.0ms

Accuracy

0% (0.1b remaining)

Error of 1.0b against oracle of 1.0b and baseline of 1.0b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	16	27
1	21	27
done	21	27

end0.0ms

sample2.0s

Algorithm

intervals

Results

422.0ms	6561×	body	80	valid
387.0ms	759×	body	1280	valid
312.0ms	938×	body	640	valid
161.0ms	3000×	body	80	nan
129.0ms	568×	body	320	valid
45.0ms	323×	body	160	valid

Details

sample65.0ms

simplify2.0s

prune8.0ms

localize8.0ms

rewrite69.0ms

series92.0ms

simplify26.4min

prune251.0ms

localize23.0ms

rewrite25.0ms

series126.0ms

simplify3.8min

prune120.0ms

localize18.0ms

rewrite34.0ms

series116.0ms

simplify12.7min

prune228.0ms

localize14.0ms

rewrite54.0ms

series116.0ms

simplify36.0min

prune261.0ms

regimes170.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.0s

Profiling