Details

sample34.0ms

Algorithm

intervals

Results

12.0ms

340×

body

valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	25	9
3	44	9
4	74	9
5	102	9
6	120	9
7	140	9
8	181	9
9	257	9
10	343	9
11	380	9
12	431	9
13	466	9
14	502	9
15	592	9
16	826	9
17	1110	9
18	1658	9
19	2147	9
20	2208	9
done	2208	9

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 6.2b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* y (- z x)) t))
0.0b	(* y (- z x))
6.4b	(/ (* y (- z x)) t)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r` `add-log-exp`
4×	`associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

10.0ms	(+ x (/ (* y (- z x)) t))
8.0ms	(* y (- z x))
8.0ms	(/ (* y (- z x)) t)

series35.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ x (/ (* y (- z x)) t))
8.0ms	(* y (- z x))
14.0ms	(/ (* y (- z x)) t)

simplify2.8min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	17	10
2	25	10
3	31	10
4	37	10
5	46	10
6	59	10
7	77	10
8	93	10
9	100	10
10	117	10
11	119	10
done	119	10
0	9	9
1	17	9
2	30	9
3	44	9
4	53	9
5	59	9
6	68	9
7	81	9
8	99	9
9	115	9
10	122	9
11	139	9
12	141	9
done	141	9
0	8	8
1	16	8
2	35	8
3	70	8
4	103	8
5	132	8
6	152	8
7	170	8
8	186	8
9	193	8
10	210	8
11	212	8
done	212	8
0	8	8
1	13	8
2	24	8
3	45	8
4	78	8
5	132	8
6	209	8
7	445	8
8	1543	8
done	5000	8
0	13	23
1	30	23
2	145	13
3	738	13
4	3282	11
done	5001	11
0	11	23
1	32	23
2	158	11
3	889	9
4	3774	9
done	5001	9
0	9	17
1	14	17
2	25	17
3	44	17
4	62	17
5	83	17
6	91	17
done	91	17
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	9	23
1	21	23
2	69	9
3	324	9
4	1721	9
done	5000	9
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	21	7
3	26	7
4	30	7
done	30	7
0	9	11
1	19	11
2	43	11
3	85	11
4	135	11
5	188	11
6	228	11
7	231	11
done	231	11
0	8	8
1	13	8
2	24	8
3	43	8
4	61	8
5	82	8
6	90	8
done	90	8
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	10	11
1	18	10
2	30	10
3	51	10
4	96	10
5	181	10
6	309	10
7	721	10
8	2992	10
done	5000	10
0	9	10
1	15	10
2	26	10
3	45	10
4	75	10
5	105	10
6	123	10
7	143	10
8	184	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	827	10
17	1107	10
18	1646	10
19	2127	10
20	2191	10
21	2199	10
22	2216	10
23	2237	10
24	2321	10
25	2586	10
26	3563	10
done	5000	10
0	9	10
1	18	10
2	30	10
3	51	10
4	96	10
5	181	10
6	307	10
7	719	10
8	2989	10
done	5000	10
0	10	21
1	16	21
2	27	21
3	46	21
4	76	21
5	106	21
6	124	21
7	144	21
8	185	21
9	261	21
10	347	21
11	384	21
12	435	21
13	470	21
14	506	21
15	596	21
16	828	21
17	1116	21
18	1664	21
19	2158	21
20	2212	21
done	2212	21
0	9	10
1	15	10
2	26	10
3	45	10
4	75	10
5	105	10
6	123	10
7	143	10
8	184	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	827	10
17	1107	10
18	1646	10
19	2125	10
20	2183	10
done	2183	10
0	10	29
1	29	29
2	88	11
3	325	11
4	1494	11
done	5001	11
0	9	10
1	15	10
2	26	10
3	45	10
4	75	10
5	105	10
6	123	10
7	143	10
8	184	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	827	10
17	1107	10
18	1646	10
19	2125	10
20	2183	10
done	2183	10
0	9	10
1	15	10
2	26	10
3	45	10
4	75	10
5	105	10
6	123	10
7	143	10
8	184	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	827	10
17	1107	10
18	1646	10
19	2125	10
20	2183	10
done	2183	10
0	11	13
1	33	13
2	85	13
3	311	13
4	1675	13
done	5000	13
0	12	29
1	31	21
2	91	21
3	315	21
4	1016	21
5	2664	21
done	5000	21
0	10	19
1	24	19
2	64	19
3	249	19
4	1065	19
5	3666	19
done	5000	19
0	8	9
1	15	9
2	31	9
3	64	9
4	137	9
5	212	9
6	266	9
7	290	9
8	346	9
9	455	9
10	494	9
11	530	9
12	620	9
13	850	9
14	1135	9
15	1672	9
16	2152	9
17	2203	9
done	2203	9
0	8	9
1	14	9
2	25	9
3	44	9
4	74	9
5	102	9
6	120	9
7	140	9
8	181	9
9	257	9
10	343	9
11	380	9
12	431	9
13	466	9
14	502	9
15	592	9
16	826	9
17	1110	9
18	1658	9
19	2147	9
20	2208	9
done	2208	9
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9

prune110.0ms

Filtered

52 candidates to 70 candidates (-34.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	6	71

Merged error: 0b

Counts

71 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (/ y t) (- z x)))
8.7b	(* (/ y t) (- z x))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 57

Calls

2 calls:

4.0ms	(+ x (* (/ y t) (- z x)))
10.0ms	(* (/ y t) (- z x))

series28.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(+ x (* (/ y t) (- z x)))
16.0ms	(* (/ y t) (- z x))

simplify2.2min

Counts

63 → 63

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	10	10
1	17	10
2	28	10
3	37	10
4	46	10
5	51	10
6	60	10
7	77	10
8	96	10
9	104	10
done	104	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	38	8
3	62	8
4	97	8
5	125	8
6	147	8
7	161	8
8	184	8
9	194	8
10	210	8
11	212	8
done	212	8
0	8	8
1	15	8
2	37	8
3	71	8
4	129	8
5	256	8
6	543	8
7	1604	8
done	5000	8
0	13	23
1	30	23
2	126	13
3	664	11
4	3550	11
done	5000	11
0	11	23
1	26	23
2	94	11
3	416	11
4	2089	9
done	5000	9
0	9	17
1	14	17
2	30	17
3	44	17
4	63	17
5	79	17
6	89	17
7	91	17
done	91	17
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	9	23
1	24	23
2	109	9
3	533	9
4	2368	9
done	5000	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	5	5
1	13	5
2	14	5
done	14	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	21	10
4	23	10
5	24	10
done	24	10
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	9	13
1	16	13
2	25	13
3	33	13
4	42	13
5	48	13
6	53	13
7	54	13
done	54	13
0	8	8
1	13	8
2	17	8
3	19	8
4	21	8
5	22	8
done	22	8
0	5	5
1	10	3
2	20	3
done	20	3
0	9	9
1	19	9
2	35	9
3	43	9
4	49	9
5	56	9
6	58	9
done	58	9
0	5	5
1	10	3
2	20	3
done	20	3
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	9	9
1	14	9
2	30	9
3	44	9
4	63	9
5	79	9
6	89	9
7	91	9
done	91	9
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	29	8
3	43	8
4	62	8
5	78	8
6	88	8
7	90	8
done	90	8
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	7	7
1	12	7
2	28	7
3	42	7
4	61	7
5	77	7
6	87	7
7	89	7
done	89	7
0	7	7
1	14	7
2	30	5
3	69	5
4	105	5
5	130	5
6	134	5
7	136	5
done	136	5
0	10	11
1	28	11
2	65	11
3	195	11
4	546	11
5	1911	11
done	5000	11
0	9	11
1	17	11
2	45	11
3	135	11
4	325	11
5	546	11
6	955	11
7	1786	11
done	5000	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	20	10
2	43	10
3	84	10
4	167	10
5	348	10
6	814	10
7	2703	10
done	5001	10
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	830	10
18	1113	10
19	1660	10
20	2160	10
21	2224	10
22	2232	10
23	2249	10
24	2271	10
25	2353	10
26	2648	10
27	3671	10
done	5001	10
0	9	10
1	18	10
2	39	10
3	72	10
4	136	10
5	263	10
6	587	10
7	1934	10
done	5000	10
0	10	21
1	16	21
2	32	21
3	50	21
4	74	21
5	96	21
6	115	21
7	137	21
8	183	21
9	249	21
10	332	21
11	362	21
12	415	21
13	455	21
14	471	21
15	507	21
16	597	21
17	827	21
18	1118	21
19	1667	21
20	2151	21
21	2210	21
done	2210	21
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	830	10
18	1113	10
19	1660	10
20	2158	10
21	2216	10
done	2216	10
0	10	29
1	29	29
2	101	11
3	431	11
4	2193	11
done	5000	11
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	830	10
18	1113	10
19	1660	10
20	2158	10
21	2216	10
done	2216	10
0	9	10
1	15	10
2	31	10
3	49	10
4	73	10
5	95	10
6	114	10
7	136	10
8	182	10
9	248	10
10	331	10
11	361	10
12	414	10
13	454	10
14	470	10
15	506	10
16	596	10
17	830	10
18	1113	10
19	1660	10
20	2158	10
21	2216	10
done	2216	10
0	11	13
1	33	13
2	100	13
3	407	13
4	1879	13
done	5000	13
0	12	29
1	34	21
2	133	21
3	463	21
4	1461	21
5	4549	21
done	5000	21
0	10	19
1	27	19
2	101	19
3	407	19
4	1569	19
5	4875	19
done	5000	19
0	8	9
1	15	9
2	40	9
3	83	9
4	157	9
5	200	9
6	252	9
7	287	9
8	367	9
9	483	9
10	520	9
11	610	9
12	840	9
13	1133	9
14	1678	9
15	2168	9
16	2226	9
done	2226	9
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9

prune81.0ms

Filtered

47 candidates to 63 candidates (-34.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	63	6	69

Merged error: 0b

Counts

69 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (/ t (- z x))))
0.0b	(/ t (- z x))
6.3b	(/ y (/ t (- z x)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
105×	`*-un-lft-identity`
103×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 151

Calls

3 calls:

22.0ms	(+ x (/ y (/ t (- z x))))
6.0ms	(/ t (- z x))
12.0ms	(/ y (/ t (- z x)))

series35.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ x (/ y (/ t (- z x))))
8.0ms	(/ t (- z x))
15.0ms	(/ y (/ t (- z x)))

simplify2.1min

Counts

160 → 160

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	18	10
2	27	10
3	40	10
4	45	10
5	53	10
6	68	10
7	94	10
8	103	10
done	103	10
0	9	9
1	16	9
2	22	9
3	29	9
4	42	9
5	47	9
6	55	9
7	70	9
8	96	9
9	105	9
done	105	9
0	8	8
1	15	8
2	32	8
3	58	8
4	86	8
5	117	8
6	139	8
7	154	8
8	173	8
9	193	8
10	199	8
done	199	8
0	8	8
1	12	8
2	24	8
3	51	8
4	94	8
5	160	8
6	341	8
7	955	8
8	3709	8
done	5000	8
0	13	23
1	29	23
2	122	13
3	587	11
4	2859	9
done	5000	9
0	11	23
1	28	23
2	87	11
3	367	9
4	1736	9
done	5000	9
0	9	17
1	13	17
2	23	17
3	41	17
4	59	17
5	73	17
6	87	17
7	91	17
8	92	17
done	92	17
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	9	23
1	20	23
2	65	9
3	317	9
4	1647	9
done	5000	9
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	2	2
done	2	2
0	6	6
1	10	6
2	11	6
done	11	6
0	11	19
1	19	19
2	29	19
3	35	19
done	35	19
0	9	9
1	11	9
2	12	9
done	12	9
0	10	12
1	14	12
2	17	12
3	18	12
done	18	12
0	9	9
1	11	9
2	12	9
done	12	9
0	13	21
1	25	21
2	62	21
3	153	21
4	283	21
5	376	21
6	412	21
7	422	21
done	422	21
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	12	16
1	20	16
2	39	16
3	83	16
4	127	16
5	146	16
6	151	16
7	152	16
done	152	16
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	13	17
1	20	17
2	46	17
3	130	17
4	246	17
5	369	17
6	417	17
7	436	17
8	442	17
9	445	17
10	447	17
done	447	17
0	11	11
1	15	11
2	25	11
3	43	11
4	61	11
5	75	11
6	89	11
7	93	11
8	94	11
done	94	11
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	12	18
1	20	18
2	36	18
3	64	18
4	101	18
5	124	18
6	134	18
7	143	18
done	143	18
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	13
1	17	13
2	27	13
3	37	13
4	47	13
5	51	13
6	53	13
7	54	13
done	54	13
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	12	14
1	17	14
2	34	14
3	68	14
4	114	14
5	138	14
6	148	14
7	155	14
8	156	14
done	156	14
0	11	11
1	15	11
2	25	11
3	43	11
4	61	11
5	75	11
6	89	11
7	93	11
8	94	11
done	94	11
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	257	15
6	302	15
done	302	15
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	10	12
1	18	12
2	28	10
3	54	10
4	101	10
5	110	10
done	110	10
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	11	13
1	18	13
2	35	11
3	79	11
4	166	11
5	226	11
6	298	11
done	298	11
0	10	10
1	14	10
2	24	10
3	42	10
4	60	10
5	74	10
6	88	10
7	92	10
8	93	10
done	93	10
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	12	15
1	31	15
2	68	15
3	187	15
4	673	15
5	2845	15
done	5000	15
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	11	15
1	20	15
2	46	15
3	145	15
4	496	15
5	1097	15
6	1927	15
7	3426	15
done	5000	15
0	6	6
1	7	6
done	7	6
0	10	16
1	14	16
2	15	16
done	15	16
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	12	18
1	22	18
2	44	18
3	75	18
4	101	18
5	135	18
6	156	18
7	166	18
done	166	18
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	13
1	17	13
2	26	13
3	39	13
4	47	13
5	53	13
6	56	13
done	56	13
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	12	14
1	17	14
2	33	14
3	66	14
4	98	14
5	130	14
6	149	14
7	154	14
8	155	14
9	157	14
10	158	14
done	158	14
0	11	11
1	15	11
2	25	11
3	43	11
4	61	11
5	75	11
6	89	11
7	93	11
8	94	11
done	94	11
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	11	15
1	17	15
2	25	15
3	33	15
4	37	15
5	46	15
6	52	15
7	57	15
done	57	15
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	11	11
1	14	11
2	25	11
3	38	11
4	46	11
5	52	11
6	59	11
7	61	11
done	61	11
0	11	11
1	15	11
2	25	11
3	43	11
4	61	11
5	75	11
6	89	11
7	93	11
8	94	11
done	94	11
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	10	14
1	18	14
2	26	12
3	42	12
4	68	12
5	93	12
6	112	12
done	112	12
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	10	10
1	15	10
2	26	8
3	37	8
4	52	8
5	66	8
6	90	8
done	90	8
0	10	10
1	14	10
2	24	10
3	42	10
4	60	10
5	74	10
6	88	10
7	92	10
8	93	10
done	93	10
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	4	4
done	4	4
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	11	12
1	28	12
2	59	12
3	155	12
4	455	12
5	1629	12
done	5000	12
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	10	12
1	17	12
2	37	12
3	107	12
4	282	12
5	520	12
6	862	12
7	1616	12
done	5001	12
0	6	6
1	7	6
done	7	6
0	9	15
1	15	15
2	16	15
done	16	15
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	12	8
2	13	8
done	13	8
0	8	8
1	10	8
2	11	8
done	11	8
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	200	15
done	200	15
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	10	12
1	18	12
2	27	12
3	40	10
4	67	10
5	104	10
done	104	10
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	11	13
1	18	13
2	34	13
3	67	11
4	140	11
5	211	11
6	215	11
done	215	11
0	10	10
1	14	10
2	24	10
3	42	10
4	60	10
5	74	10
6	88	10
7	92	10
8	93	10
done	93	10
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	10	14
1	18	14
2	26	14
3	34	12
4	58	12
5	75	12
done	75	12
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	10	10
1	15	10
2	26	10
3	39	8
4	74	8
5	91	8
done	91	8
0	10	10
1	14	10
2	24	10
3	42	10
4	60	10
5	74	10
6	88	10
7	92	10
8	93	10
done	93	10
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	12	8
2	22	8
3	40	8
4	58	8
5	72	8
6	86	8
7	90	8
8	91	8
done	91	8
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	3	5
1	6	1
done	6	1
0	7	7
1	11	7
2	21	7
3	39	7
4	57	7
5	71	7
6	85	7
7	89	7
8	90	7
done	90	7
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	9	9
1	13	9
2	23	9
3	41	9
4	59	9
5	73	9
6	87	9
7	91	9
8	92	9
done	92	9
0	3	5
1	6	1
done	6	1
0	7	7
1	11	7
2	21	7
3	39	7
4	57	7
5	71	7
6	85	7
7	89	7
8	90	7
done	90	7
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	21	7
3	39	7
4	57	7
5	71	7
6	85	7
7	89	7
8	90	7
done	90	7
0	3	3
1	5	3
done	5	3
0	7	7
1	13	7
2	23	5
3	34	5
4	48	5
5	66	5
6	84	5
7	93	5
8	114	5
9	121	5
10	124	5
done	124	5
0	10	11
1	29	11
2	60	11
3	156	9
4	482	9
5	1955	9
done	5000	9
0	9	13
1	16	11
2	24	11
3	27	11
4	28	11
done	28	11
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	5	5
1	6	5
done	6	5
0	7	7
1	13	7
2	23	7
3	41	5
4	88	5
5	124	5
6	145	5
7	147	5
8	148	5
done	148	5
0	7	7
1	11	7
2	21	7
3	26	7
4	30	7
done	30	7
0	9	15
1	13	15
2	14	15
done	14	15
0	8	8
1	10	8
2	11	8
done	11	8
0	11	17
1	21	17
2	43	17
3	72	17
4	98	17
5	130	17
6	151	17
7	161	17
done	161	17
0	10	12
1	16	12
2	25	12
3	38	12
4	46	12
5	52	12
6	55	12
done	55	12
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	11	13
1	16	13
2	32	13
3	65	13
4	97	13
5	129	13
6	148	13
7	153	13
8	154	13
9	156	13
10	157	13
done	157	13
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	10	14
1	16	14
2	24	14
3	32	14
4	36	14
5	45	14
6	51	14
7	56	14
8	57	14
done	57	14
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	10	10
1	13	10
2	24	10
3	37	10
4	45	10
5	51	10
6	58	10
7	60	10
done	60	10
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	4	5
1	8	3
2	13	1
done	13	1
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	10	11
1	27	11
2	58	11
3	154	11
4	443	11
5	1627	11
done	5000	11
0	9	11
1	16	11
2	36	11
3	106	11
4	281	11
5	517	11
6	856	11
7	1598	11
done	5001	11
0	8	8
1	12	8
2	22	8
3	27	8
4	31	8
done	31	8
0	8	8
1	12	8
2	22	8
3	27	8
4	31	8
done	31	8
0	7	7
1	11	7
2	21	7
3	26	7
4	30	7
done	30	7
0	3	3
done	3	3
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	10	11
1	17	10
2	30	10
3	61	10
4	120	10
5	218	10
6	492	10
7	1631	10
done	5001	10
0	9	10
1	14	10
2	24	10
3	46	10
4	69	10
5	89	10
6	112	10
7	136	10
8	183	10
9	249	10
10	332	10
11	362	10
12	415	10
13	455	10
14	471	10
15	507	10
16	597	10
17	827	10
18	1117	10
19	1667	10
20	2154	10
21	2215	10
22	2223	10
23	2240	10
24	2263	10
25	2343	10
26	2618	10
27	3731	10
done	5000	10
0	9	10
1	17	10
2	30	10
3	61	10
4	120	10
5	218	10
6	490	10
7	1646	10
done	5000	10
0	10	21
1	15	21
2	25	21
3	47	21
4	70	21
5	90	21
6	113	21
7	137	21
8	184	21
9	250	21
10	333	21
11	363	21
12	416	21
13	456	21
14	472	21
15	508	21
16	598	21
17	830	21
18	1113	21
19	1660	21
20	2149	21
21	2207	21
done	2207	21
0	9	10
1	14	10
2	24	10
3	46	10
4	69	10
5	89	10
6	112	10
7	136	10
8	183	10
9	249	10
10	332	10
11	362	10
12	415	10
13	455	10
14	471	10
15	507	10
16	597	10
17	827	10
18	1117	10
19	1667	10
20	2152	10
21	2207	10
done	2207	10
0	10	29
1	28	29
2	86	11
3	366	11
4	1894	11
done	5001	11
0	9	10
1	14	10
2	24	10
3	46	10
4	69	10
5	89	10
6	112	10
7	136	10
8	183	10
9	249	10
10	332	10
11	362	10
12	415	10
13	455	10
14	471	10
15	507	10
16	597	10
17	827	10
18	1117	10
19	1667	10
20	2152	10
21	2207	10
done	2207	10
0	9	10
1	14	10
2	24	10
3	46	10
4	69	10
5	89	10
6	112	10
7	136	10
8	183	10
9	249	10
10	332	10
11	362	10
12	415	10
13	455	10
14	471	10
15	507	10
16	597	10
17	827	10
18	1117	10
19	1667	10
20	2152	10
21	2207	10
done	2207	10
0	11	13
1	32	13
2	85	13
3	316	13
4	1430	13
done	5000	13
0	12	29
1	30	21
2	87	21
3	325	21
4	1005	21
5	3189	21
done	5000	21
0	10	19
1	23	19
2	61	19
3	263	19
4	1081	19
5	3517	19
done	5000	19
0	8	9
1	14	9
2	31	9
3	74	9
4	148	9
5	192	9
6	244	9
7	340	9
8	426	9
9	542	9
10	579	9
11	669	9
12	901	9
13	1188	9
14	1734	9
15	2214	9
16	2273	9
done	2273	9
0	8	9
1	13	9
2	23	9
3	45	9
4	68	9
5	88	9
6	111	9
7	135	9
8	182	9
9	248	9
10	331	9
11	361	9
12	414	9
13	454	9
14	470	9
15	506	9
16	596	9
17	824	9
18	1112	9
19	1664	9
20	2157	9
21	2214	9
done	2214	9
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9

prune156.0ms

Filtered

120 candidates to 160 candidates (-33.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	160	6	166

Merged error: 0b

Counts

166 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (/ y t) (/ 1 (- z x))))
0.0b	(/ 1 (- z x))
8.8b	(/ (/ y t) (/ 1 (- z x)))

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

696×	`times-frac`
387×	`*-un-lft-identity`
385×	`add-sqr-sqrt`
293×	`add-cube-cbrt`
46×	`distribute-lft-out--` `difference-of-squares`
38×	`div-inv`
31×	`associate-/r/`
29×	`add-exp-log`
26×	`associate-/r*`
18×	`div-exp`
17×	`add-cbrt-cube`
16×	`associate-/l*`
15×	`flip3--` `flip--`
9×	`cbrt-undiv`
5×	`add-log-exp`
4×	`pow1`
3×	`rec-exp` `1-exp`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `pow-flip` `flip3-+` `sum-log` `flip-+` `associate-/l/` `distribute-lft-out` `inv-pow`

Counts

3 → 384

Calls

3 calls:

73.0ms	(+ x (/ (/ y t) (/ 1 (- z x))))
7.0ms	(/ 1 (- z x))
24.0ms	(/ (/ y t) (/ 1 (- z x)))

series40.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(+ x (/ (/ y t) (/ 1 (- z x))))
5.0ms	(/ 1 (- z x))
15.0ms	(/ (/ y t) (/ 1 (- z x)))

simplify5.0min

Counts

393 → 393

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	32	10
3	44	10
4	48	10
5	56	10
6	71	10
7	97	10
8	106	10
done	106	10
0	12	12
1	24	11
2	52	10
3	111	10
4	162	10
5	229	10
6	316	10
done	316	10
0	13	13
1	27	12
2	52	10
3	140	10
4	191	10
5	258	10
6	351	10
done	351	10
0	12	12
1	26	11
2	44	10
3	78	10
4	131	10
5	167	10
6	268	10
7	330	10
done	330	10
0	10	10
1	17	10
2	25	9
3	36	9
4	45	9
5	49	9
6	57	9
7	72	9
8	98	9
9	107	9
done	107	9
0	11	11
1	22	10
2	41	9
3	84	9
4	141	9
5	208	9
6	288	9
7	329	9
done	329	9
0	12	12
1	25	11
2	42	9
3	108	9
4	162	9
5	228	9
6	310	9
7	350	9
done	350	9
0	11	11
1	24	10
2	35	9
3	61	9
4	118	9
5	166	9
6	231	9
7	313	9
done	313	9
0	10	10
1	21	10
2	49	8
3	115	8
4	231	8
5	381	8
6	594	8
7	755	8
8	782	8
9	793	8
done	793	8
0	10	10
1	18	10
2	36	8
3	92	8
4	187	8
5	304	8
6	582	8
7	1245	8
8	4310	8
done	5001	8
0	17	29
1	42	25
2	147	13
3	822	11
4	4725	11
done	5000	11
0	15	29
1	39	29
2	137	15
3	671	13
4	3872	9
done	5000	9
0	15	29
1	38	25
2	120	11
3	562	11
4	2991	11
done	5000	11
0	13	29
1	38	29
2	122	13
3	579	9
4	2819	9
done	5001	9
0	11	21
1	19	21
2	35	17
3	82	17
4	153	17
5	216	17
6	321	17
7	369	17
8	389	17
9	400	17
done	400	17
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	215	8
6	320	8
7	368	8
8	388	8
9	399	8
done	399	8
0	11	29
1	26	29
2	92	9
3	459	9
4	2926	9
done	5000	9
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	215	8
6	320	8
7	368	8
8	388	8
9	399	8
done	399	8
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	215	8
6	320	8
7	368	8
8	388	8
9	399	8
done	399	8
0	4	4
1	6	4
done	6	4
0	6	6
1	13	5
2	14	5
done	14	5
0	13	23
1	23	23
2	33	23
3	39	23
done	39	23
0	11	11
1	15	11
2	16	11
done	16	11
0	12	16
1	18	16
2	21	16
3	22	16
done	22	16
0	11	11
1	15	11
2	16	11
done	16	11
0	15	25
1	29	23
2	66	21
3	143	19
4	197	19
5	245	19
done	245	19
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	14	20
1	24	18
2	43	16
3	74	14
4	98	14
5	112	14
6	114	14
done	114	14
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	10	17
1	18	13
2	39	11
3	70	9
4	78	9
done	78	9
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	15	21
1	24	19
2	50	17
3	115	15
4	163	15
5	225	15
6	290	15
done	290	15
0	13	13
1	19	12
2	29	12
3	47	10
4	72	10
5	115	10
6	175	10
7	188	10
done	188	10
0	10	17
1	18	13
2	39	11
3	70	9
4	78	9
done	78	9
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	14	22
1	24	21
2	40	21
3	68	19
4	125	19
5	242	19
6	279	19
done	279	19
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	13	17
1	21	16
2	31	16
3	41	14
4	66	14
5	103	14
6	108	14
done	108	14
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	9	14
1	15	11
2	24	9
3	45	9
4	62	9
done	62	9
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	14	18
1	21	17
2	38	17
3	72	15
4	133	15
5	215	15
6	282	15
done	282	15
0	13	13
1	19	12
2	29	12
3	47	10
4	72	10
5	115	10
6	175	10
7	188	10
done	188	10
0	9	14
1	15	11
2	24	9
3	45	9
4	62	9
done	62	9
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	13	21
1	23	21
2	39	19
3	86	19
4	199	19
5	265	19
6	309	19
done	309	19
0	11	11
1	17	11
2	21	11
3	30	9
4	39	9
5	41	9
done	41	9
0	12	16
1	20	16
2	30	14
3	56	14
4	103	14
5	111	14
done	111	14
0	11	11
1	17	11
2	21	11
3	30	9
4	39	9
5	41	9
done	41	9
0	8	13
1	14	11
2	23	9
3	44	9
4	58	9
done	58	9
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	13	17
1	20	17
2	37	15
3	81	15
4	166	15
5	222	15
6	294	15
done	294	15
0	12	12
1	18	12
2	28	10
3	44	10
4	66	10
5	91	10
6	133	10
7	139	10
done	139	10
0	8	13
1	14	11
2	23	9
3	44	9
4	58	9
done	58	9
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	14	19
1	35	19
2	72	17
3	203	17
4	726	17
5	3002	17
done	5001	17
0	12	16
1	19	14
2	27	14
3	28	14
4	29	14
done	29	14
0	13	19
1	24	19
2	50	17
3	161	17
4	566	17
5	1248	17
6	2673	17
7	4023	17
done	5001	17
0	8	8
1	9	8
done	9	8
0	12	18
1	18	18
2	19	18
done	19	18
0	11	11
1	15	11
2	16	11
done	16	11
0	11	11
1	15	11
2	16	11
done	16	11
0	11	11
1	15	11
2	16	11
done	16	11
0	14	20
1	26	18
2	48	16
3	72	14
4	79	14
5	95	14
done	95	14
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	13	15
1	21	13
2	30	11
3	36	9
4	39	9
5	46	9
6	47	9
done	47	9
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	9	12
1	15	8
2	26	6
3	33	4
4	37	4
done	37	4
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	14	16
1	21	14
2	37	12
3	57	10
4	66	10
5	87	10
6	112	10
done	112	10
0	13	13
1	19	12
2	29	12
3	47	10
4	72	10
5	115	10
6	175	10
7	188	10
done	188	10
0	9	12
1	15	8
2	26	6
3	33	4
4	37	4
done	37	4
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	13	17
1	21	16
2	29	16
3	37	14
4	53	14
5	105	14
6	136	14
done	136	14
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	12	12
1	18	11
2	22	11
3	23	9
4	32	9
5	46	9
6	54	9
done	54	9
0	8	9
1	12	6
2	17	4
3	19	4
4	23	4
done	23	4
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	13	13
1	18	12
2	29	12
3	42	10
4	57	10
5	85	10
6	121	10
done	121	10
0	13	13
1	19	12
2	29	12
3	47	10
4	72	10
5	115	10
6	175	10
7	188	10
done	188	10
0	8	9
1	12	6
2	17	4
3	19	4
4	23	4
done	23	4
0	11	11
1	17	10
2	27	10
3	45	8
4	70	8
5	113	8
6	173	8
7	186	8
done	186	8
0	12	16
1	20	16
2	28	14
3	44	14
4	70	14
5	91	14
6	110	14
done	110	14
0	11	11
1	17	11
2	21	11
3	30	9
4	39	9
5	41	9
done	41	9
0	11	11
1	17	11
2	21	11
3	30	9
4	39	9
5	41	9
done	41	9
0	11	11
1	17	11
2	21	11
3	30	9
4	39	9
5	41	9
done	41	9
0	7	8
1	11	6
2	16	4
3	18	4
4	22	4
done	22	4
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	12	12
1	17	12
2	28	10
3	39	10
4	54	10
5	68	10
6	92	10
done	92	10
0	12	12
1	18	12
2	28	10
3	44	10
4	66	10
5	91	10
6	133	10
7	139	10
done	139	10
0	7	8
1	11	6
2	16	4
3	18	4
4	22	4
done	22	4
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	6	6
1	8	4
2	10	4
done	10	4
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	6	6
1	8	4
2	10	4
done	10	4
0	10	10
1	16	10
2	26	8
3	42	8
4	64	8
5	89	8
6	131	8
7	137	8
done	137	8
0	13	14
1	32	14
2	63	12
3	155	12
4	424	12
5	1610	12
done	5000	12
0	12	16
1	19	14
2	27	14
3	28	14
4	29	14
done	29	14
0	12	14
1	21	14
2	41	12
3	106	12
4	255	12
5	505	12
6	1082	12
7	1721	12
8	4744	12
done	5000	12
0	8	8
1	9	8
done	9	8
0	15	25
1	29	25
2	65	25
3	153	25
4	280	25
5	315	25
done	315	25
0	12	12
1	18	12
2	22	12
done	22	12
0	14	18
1	26	18
2	50	18
3	87	18
4	128	18
5	133	18
done	133	18
0	12	12
1	18	12
2	22	12
done	22	12
0	17	27
1	37	25
2	103	23
3	337	21
4	934	21
5	1343	21
6	1564	21
7	1566	21
done	1566	21
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	16	22
1	32	20
2	77	18
3	218	16
4	567	16
5	709	16
6	759	16
7	761	16
done	761	16
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	12	19
1	26	15
2	70	13
3	189	11
4	361	11
5	481	11
6	482	11
done	482	11
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	17	23
1	32	21
2	84	19
3	279	17
4	831	17
5	1376	17
6	1829	17
7	1892	17
8	2000	17
done	2000	17
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	12	19
1	26	15
2	70	13
3	189	11
4	361	11
5	481	11
6	482	11
done	482	11
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	16	24
1	32	23
2	74	23
3	207	21
4	679	21
5	1404	21
6	1579	21
7	1582	21
done	1582	21
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	15	19
1	29	18
2	65	18
3	157	16
4	385	16
5	548	16
6	586	16
7	588	16
done	588	16
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	11	16
1	23	13
2	53	11
3	150	11
4	336	11
5	443	11
6	446	11
done	446	11
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	16	20
1	29	19
2	72	19
3	208	17
4	605	17
5	1139	17
6	1574	17
7	1635	17
8	1741	17
done	1741	17
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	11	16
1	23	13
2	53	11
3	150	11
4	336	11
5	443	11
6	446	11
done	446	11
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	15	23
1	31	23
2	73	21
3	264	21
4	826	21
5	1405	21
6	1504	21
7	1505	21
done	1505	21
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	14	18
1	28	18
2	64	16
3	199	16
4	471	16
5	615	16
6	626	16
done	626	16
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	10	15
1	22	13
2	52	11
3	150	11
4	344	11
5	500	11
6	504	11
done	504	11
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	15	19
1	28	19
2	71	17
3	262	17
4	721	17
5	1229	17
6	1567	17
7	1627	17
8	1735	17
9	1736	17
done	1736	17
0	13	13
1	21	13
2	37	11
3	84	11
4	180	11
5	303	11
6	383	11
7	417	11
done	417	11
0	10	15
1	22	13
2	52	11
3	150	11
4	344	11
5	500	11
6	504	11
done	504	11
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	16	21
1	43	21
2	106	19
3	386	19
4	1809	19
done	5000	19
0	13	17
1	22	15
2	33	15
3	58	15
4	85	15
5	97	15
done	97	15
0	15	21
1	32	21
2	84	19
3	366	19
4	1628	19
5	4906	19
done	5000	19
0	9	9
1	12	9
2	15	9
3	23	9
done	23	9
0	14	22
1	24	22
2	41	22
3	77	22
4	116	22
5	126	22
done	126	22
0	12	12
1	18	12
2	22	12
done	22	12
0	13	15
1	21	15
2	33	15
3	46	15
4	56	15
done	56	15
0	12	12
1	18	12
2	22	12
done	22	12
0	16	24
1	32	22
2	76	20
3	201	18
4	452	18
5	664	18
6	715	18
7	716	18
done	716	18
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	15	19
1	27	17
2	54	15
3	123	13
4	249	13
5	325	13
6	339	13
done	339	13
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	11	16
1	21	12
2	49	10
3	110	8
4	178	8
5	200	8
6	201	8
done	201	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	16	20
1	27	18
2	61	16
3	160	14
4	386	14
5	660	14
6	858	14
7	875	14
8	902	14
done	902	14
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	11	16
1	21	12
2	49	10
3	110	8
4	178	8
5	200	8
6	201	8
done	201	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	15	21
1	27	20
2	53	20
3	123	18
4	377	18
5	756	18
6	821	18
done	821	18
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	14	16
1	24	15
2	44	15
3	86	13
4	197	13
5	297	13
6	312	13
7	313	13
done	313	13
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	10	13
1	18	10
2	36	8
3	84	8
4	179	8
5	212	8
6	214	8
done	214	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	15	17
1	24	16
2	51	16
3	121	14
4	336	14
5	646	14
6	828	14
7	845	14
8	872	14
done	872	14
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	10	13
1	18	10
2	36	8
3	84	8
4	179	8
5	212	8
6	214	8
done	214	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	14	20
1	26	20
2	52	18
3	158	18
4	445	18
5	732	18
6	779	18
7	780	18
done	780	18
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	13	15
1	23	15
2	43	13
3	114	13
4	241	13
5	314	13
6	317	13
done	317	13
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	9	12
1	17	10
2	35	8
3	83	8
4	177	8
5	210	8
6	213	8
done	213	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	14	16
1	23	16
2	50	14
3	153	14
4	386	14
5	662	14
6	810	14
7	827	14
8	858	14
done	858	14
0	13	13
1	21	13
2	37	11
3	84	11
4	180	11
5	303	11
6	383	11
7	417	11
done	417	11
0	9	12
1	17	10
2	35	8
3	83	8
4	177	8
5	210	8
6	213	8
done	213	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	15	18
1	38	18
2	85	16
3	273	16
4	1219	16
done	5000	16
0	13	17
1	22	15
2	33	15
3	58	15
4	85	15
5	97	15
done	97	15
0	14	18
1	27	18
2	63	16
3	243	16
4	1026	16
5	2824	16
done	5000	16
0	9	9
1	12	9
2	15	9
3	23	9
done	23	9
0	12	21
1	22	19
2	52	19
3	109	19
4	125	19
done	125	19
0	11	11
1	17	11
2	21	11
done	21	11
0	11	14
1	19	12
2	40	12
3	62	12
4	63	12
done	63	12
0	11	11
1	17	11
2	21	11
done	21	11
0	14	23
1	30	19
2	81	15
3	180	15
4	234	15
5	257	15
done	257	15
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	13	18
1	25	14
2	58	10
3	106	10
4	125	10
5	129	10
done	129	10
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	9	15
1	19	9
2	46	5
3	69	5
4	96	5
done	96	5
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	14	19
1	25	15
2	65	11
3	144	11
4	203	11
5	268	11
6	292	11
done	292	11
0	13	13
1	21	12
2	37	12
3	74	10
4	137	10
5	212	10
6	325	10
7	383	10
8	403	10
9	408	10
done	408	10
0	9	15
1	19	9
2	46	5
3	69	5
4	96	5
done	96	5
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	13	20
1	25	15
2	59	15
3	131	15
4	208	15
5	243	15
done	243	15
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	12	15
1	22	10
2	48	10
3	85	10
4	97	10
5	109	10
done	109	10
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	8	12
1	16	5
2	24	5
3	49	5
4	61	5
done	61	5
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	13	16
1	22	11
2	55	11
3	119	11
4	167	11
5	249	11
6	273	11
done	273	11
0	13	13
1	21	12
2	37	12
3	74	10
4	137	10
5	212	10
6	325	10
7	383	10
8	403	10
9	408	10
done	408	10
0	8	12
1	16	5
2	24	5
3	49	5
4	61	5
done	61	5
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	12	19
1	24	15
2	58	15
3	134	15
4	209	15
5	236	15
done	236	15
0	11	11
1	19	11
2	29	9
3	57	9
4	82	9
5	95	9
6	96	9
7	99	9
8	100	9
done	100	9
0	11	14
1	21	10
2	47	10
3	84	10
4	97	10
5	109	10
done	109	10
0	11	11
1	19	11
2	29	9
3	57	9
4	82	9
5	95	9
6	96	9
7	99	9
8	100	9
done	100	9
0	7	11
1	15	5
2	23	5
3	48	5
4	57	5
done	57	5
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	12	15
1	21	11
2	54	11
3	118	11
4	167	11
5	237	11
6	261	11
done	261	11
0	12	12
1	20	12
2	36	10
3	83	10
4	154	10
5	226	10
6	327	10
7	378	10
8	394	10
9	398	10
done	398	10
0	7	11
1	15	5
2	23	5
3	48	5
4	57	5
done	57	5
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	13	17
1	36	13
2	89	13
3	241	13
4	689	13
5	3101	13
done	5001	13
0	12	16
1	21	14
2	32	14
3	57	14
4	84	14
5	94	14
done	94	14
0	12	17
1	25	13
2	67	13
3	205	13
4	531	13
5	1248	13
6	2460	13
7	3703	13
done	5000	13
0	8	8
1	11	8
2	14	8
3	22	8
done	22	8
0	14	22
1	24	22
2	37	22
3	64	22
4	70	22
done	70	22
0	12	12
1	18	12
2	22	12
done	22	12
0	13	15
1	21	15
2	28	15
3	36	15
done	36	15
0	12	12
1	18	12
2	22	12
done	22	12
0	16	24
1	32	22
2	73	20
3	178	18
4	350	18
5	455	18
6	567	18
7	569	18
done	569	18
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	15	19
1	27	17
2	49	15
3	101	13
4	202	13
5	235	13
6	268	13
7	269	13
done	269	13
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	11	16
1	21	12
2	46	10
3	103	8
4	150	8
5	218	8
done	218	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	16	20
1	27	18
2	56	16
3	138	14
4	320	14
5	488	14
6	638	14
7	658	14
8	694	14
9	698	14
done	698	14
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	11	16
1	21	12
2	46	10
3	103	8
4	150	8
5	218	8
done	218	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	15	21
1	27	20
2	48	20
3	103	18
4	262	18
5	494	18
6	597	18
7	600	18
done	600	18
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	14	16
1	24	15
2	39	15
3	70	13
4	132	13
5	179	13
6	206	13
7	207	13
done	207	13
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	10	13
1	18	10
2	31	8
3	76	8
4	130	8
5	208	8
done	208	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	15	17
1	24	16
2	46	16
3	105	14
4	233	14
5	421	14
6	562	14
7	584	14
8	620	14
9	624	14
done	624	14
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	10	13
1	18	10
2	31	8
3	76	8
4	130	8
5	208	8
done	208	8
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	14	20
1	26	20
2	47	18
3	131	18
4	298	18
5	482	18
6	569	18
done	569	18
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	13	15
1	23	15
2	38	13
3	92	13
4	154	13
5	199	13
6	207	13
done	207	13
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	9	12
1	17	10
2	30	8
3	75	8
4	129	8
5	201	8
done	201	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	14	16
1	23	16
2	45	14
3	125	14
4	251	14
5	429	14
6	533	14
7	553	14
8	589	14
9	593	14
done	593	14
0	13	13
1	21	13
2	37	11
3	84	11
4	180	11
5	303	11
6	383	11
7	417	11
done	417	11
0	9	12
1	17	10
2	30	8
3	75	8
4	129	8
5	201	8
done	201	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	15	18
1	38	18
2	80	16
3	245	16
4	910	16
5	4433	16
done	5000	16
0	13	17
1	22	15
2	33	15
3	58	15
4	85	15
5	97	15
done	97	15
0	14	18
1	27	18
2	58	16
3	212	16
4	738	16
5	1964	16
6	4590	16
done	5001	16
0	9	9
1	12	9
2	15	9
3	23	9
done	23	9
0	13	19
1	21	19
2	28	19
3	34	19
done	34	19
0	12	12
1	18	12
2	22	12
done	22	12
0	12	12
1	18	12
2	22	12
done	22	12
0	12	12
1	18	12
2	22	12
done	22	12
0	15	21
1	29	19
2	63	17
3	128	15
4	182	15
5	230	15
6	260	15
7	261	15
done	261	15
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	14	16
1	24	14
2	41	12
3	68	10
4	92	10
5	107	10
6	117	10
7	118	10
done	118	10
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	10	13
1	18	9
2	38	7
3	67	5
4	82	5
5	89	5
done	89	5
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	15	17
1	24	15
2	48	13
3	97	11
4	163	11
5	249	11
6	303	11
7	308	11
8	315	11
9	319	11
done	319	11
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	10	13
1	18	9
2	38	7
3	67	5
4	82	5
5	89	5
done	89	5
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	14	18
1	24	17
2	40	17
3	70	15
4	159	15
5	293	15
6	323	15
7	324	15
done	324	15
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	13	13
1	21	12
2	31	12
3	43	10
4	77	10
5	103	10
6	111	10
done	111	10
0	9	10
1	15	7
2	25	5
3	44	5
4	71	5
5	83	5
done	83	5
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	14	14
1	21	13
2	38	13
3	70	11
4	148	11
5	248	11
6	300	11
7	305	11
8	312	11
9	316	11
done	316	11
0	14	14
1	22	13
2	38	13
3	75	11
4	170	11
5	298	11
6	395	11
7	430	11
done	430	11
0	9	10
1	15	7
2	25	5
3	44	5
4	71	5
5	83	5
done	83	5
0	12	12
1	20	11
2	36	11
3	73	9
4	168	9
5	297	9
6	394	9
7	427	9
done	427	9
0	13	17
1	23	17
2	39	15
3	88	15
4	183	15
5	271	15
6	293	15
7	294	15
done	294	15
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	12	12
1	20	12
2	30	10
3	58	10
4	93	10
5	113	10
done	113	10
0	8	9
1	14	7
2	24	5
3	43	5
4	70	5
5	80	5
done	80	5
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	13	13
1	20	13
2	37	11
3	79	11
4	156	11
5	247	11
6	283	11
7	288	11
8	295	11
9	299	11
done	299	11
0	13	13
1	21	13
2	37	11
3	84	11
4	180	11
5	303	11
6	383	11
7	417	11
done	417	11
0	8	9
1	14	7
2	24	5
3	43	5
4	70	5
5	80	5
done	80	5
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	11	11
1	19	11
2	35	9
3	82	9
4	178	9
5	302	9
6	382	9
7	414	9
done	414	9
0	14	15
1	35	15
2	72	13
3	199	13
4	700	13
5	2971	13
done	5000	13
0	13	17
1	22	15
2	33	15
3	58	15
4	85	15
5	97	15
done	97	15
0	13	15
1	24	15
2	50	13
3	161	13
4	533	13
5	1240	13
6	2611	13
7	4091	13
done	5001	13
0	9	9
1	12	9
2	15	9
3	23	9
done	23	9
0	11	18
1	19	16
2	29	16
3	37	16
done	37	16
0	11	11
1	17	11
2	21	11
done	21	11
0	10	11
1	16	9
2	23	9
done	23	9
0	11	11
1	17	11
2	21	11
done	21	11
0	13	20
1	27	16
2	57	12
3	75	12
4	88	12
5	101	12
done	101	12
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	12	15
1	22	11
2	36	7
3	39	7
4	43	7
5	45	7
6	46	7
done	46	7
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	8	12
1	16	6
2	28	2
3	30	2
4	34	2
done	34	2
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	13	16
1	22	12
2	43	8
3	48	8
4	58	8
5	72	8
6	97	8
done	97	8
0	13	13
1	21	12
2	37	12
3	74	10
4	137	10
5	212	10
6	325	10
7	383	10
8	403	10
9	408	10
done	408	10
0	8	12
1	16	6
2	28	2
3	30	2
4	34	2
done	34	2
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	12	17
1	22	12
2	37	12
3	48	12
4	73	12
5	86	12
done	86	12
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	11	12
1	19	7
2	28	7
3	30	7
4	35	7
5	37	7
done	37	7
0	12	12
1	20	11
2	30	11
3	42	9
4	59	9
5	83	9
6	93	9
7	95	9
8	96	9
done	96	9
0	7	9
1	13	2
2	14	2
3	16	2
4	20	2
done	20	2
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	12	13
1	19	8
2	35	8
3	39	8
4	50	8
5	64	8
6	88	8
done	88	8
0	13	13
1	21	12
2	37	12
3	74	10
4	137	10
5	212	10
6	325	10
7	383	10
8	403	10
9	408	10
done	408	10
0	7	9
1	13	2
2	14	2
3	16	2
4	20	2
done	20	2
0	11	11
1	19	10
2	35	10
3	72	8
4	135	8
5	210	8
6	323	8
7	381	8
8	401	8
9	406	8
done	406	8
0	11	16
1	21	12
2	36	12
3	47	12
4	72	12
5	84	12
done	84	12
0	11	11
1	19	11
2	29	9
3	57	9
4	82	9
5	95	9
6	96	9
7	99	9
8	100	9
done	100	9
0	10	11
1	18	7
2	27	7
3	29	7
4	34	7
5	36	7
done	36	7
0	11	11
1	19	11
2	29	9
3	57	9
4	82	9
5	95	9
6	96	9
7	99	9
8	100	9
done	100	9
0	6	8
1	12	2
2	13	2
3	15	2
4	19	2
done	19	2
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	11	12
1	18	8
2	34	8
3	38	8
4	49	8
5	63	8
6	87	8
done	87	8
0	12	12
1	20	12
2	36	10
3	83	10
4	154	10
5	226	10
6	327	10
7	378	10
8	394	10
9	398	10
done	398	10
0	6	8
1	12	2
2	13	2
3	15	2
4	19	2
done	19	2
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	5	6
1	9	2
done	9	2
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	5	6
1	9	2
done	9	2
0	10	10
1	18	10
2	34	8
3	81	8
4	152	8
5	224	8
6	326	8
7	375	8
8	392	8
9	396	8
done	396	8
0	12	14
1	33	10
2	69	10
3	154	10
4	427	10
5	1617	10
done	5000	10
0	12	16
1	21	14
2	32	14
3	57	14
4	84	14
5	94	14
done	94	14
0	11	14
1	22	10
2	47	10
3	109	10
4	254	10
5	502	10
6	1041	10
7	1654	10
8	4674	10
done	5000	10
0	8	8
1	11	8
2	14	8
3	22	8
done	22	8
0	12	21
1	22	21
2	35	21
3	62	21
4	66	21
done	66	21
0	11	11
1	17	11
2	21	11
done	21	11
0	11	14
1	19	14
2	26	14
3	34	14
done	34	14
0	11	11
1	17	11
2	21	11
done	21	11
0	14	23
1	30	21
2	71	19
3	174	15
4	365	15
5	495	15
6	499	15
done	499	15
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	13	18
1	25	16
2	47	14
3	99	10
4	170	10
5	236	10
6	238	10
done	238	10
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	9	15
1	19	11
2	43	7
3	67	7
4	80	7
5	89	7
done	89	7
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	14	19
1	25	17
2	54	15
3	136	11
4	272	11
5	478	11
6	510	11
done	510	11
0	13	13
1	21	12
2	37	12
3	74	10
4	169	10
5	294	10
6	390	10
7	449	10
8	455	10
done	455	10
0	9	15
1	19	11
2	43	7
3	67	7
4	80	7
5	89	7
done	89	7
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	13	20
1	25	19
2	46	19
3	101	15
4	273	15
5	441	15
6	445	15
done	445	15
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	12	15
1	22	14
2	37	14
3	68	12
4	116	10
5	198	10
6	263	10
done	263	10
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	8	12
1	16	9
2	24	7
3	42	7
4	59	7
5	71	7
done	71	7
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	13	16
1	22	15
2	44	15
3	103	13
4	202	11
5	444	11
6	637	11
done	637	11
0	13	13
1	21	12
2	37	12
3	74	10
4	169	10
5	294	10
6	390	10
7	449	10
8	455	10
done	455	10
0	8	12
1	16	9
2	24	7
3	42	7
4	59	7
5	71	7
done	71	7
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	12	19
1	24	19
2	45	17
3	129	15
4	292	15
5	413	15
6	417	15
done	417	15
0	11	11
1	19	11
2	29	9
3	57	9
4	92	9
5	112	9
6	115	9
done	115	9
0	11	14
1	21	14
2	36	12
3	90	10
4	153	10
5	204	10
6	206	10
done	206	10
0	11	11
1	19	11
2	29	9
3	57	9
4	92	9
5	112	9
6	115	9
done	115	9
0	7	11
1	15	9
2	23	7
3	41	7
4	55	7
5	66	7
done	66	7
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	12	15
1	21	15
2	43	13
3	123	11
4	234	11
5	411	11
6	439	11
done	439	11
0	12	12
1	20	12
2	36	10
3	83	10
4	179	10
5	300	10
6	386	10
7	428	10
8	434	10
done	434	10
0	7	11
1	15	9
2	23	7
3	41	7
4	55	7
5	66	7
done	66	7
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	13	17
1	36	17
2	78	15
3	243	13
4	849	13
5	4497	13
done	5000	13
0	12	16
1	21	14
2	32	14
3	57	14
4	84	14
5	94	14
done	94	14
0	12	17
1	25	17
2	56	15
3	210	13
4	691	13
5	2103	13
6	3763	13
done	5000	13
0	8	8
1	11	8
2	14	8
3	22	8
done	22	8
0	11	18
1	19	18
2	26	18
3	32	18
done	32	18
0	11	11
1	17	11
2	21	11
done	21	11
0	10	11
1	16	11
2	20	11
done	20	11
0	11	11
1	17	11
2	21	11
done	21	11
0	13	20
1	27	18
2	61	16
3	124	12
4	187	12
5	244	12
done	244	12
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	12	15
1	22	13
2	39	11
3	66	7
4	83	7
5	109	7
done	109	7
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	8	12
1	16	8
2	35	4
3	39	4
done	39	4
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	13	16
1	22	14
2	46	12
3	95	8
4	138	8
5	245	8
6	264	8
done	264	8
0	13	13
1	21	12
2	37	12
3	74	10
4	169	10
5	294	10
6	390	10
7	449	10
8	455	10
done	455	10
0	8	12
1	16	8
2	35	4
3	39	4
done	39	4
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	12	17
1	22	16
2	38	16
3	68	12
4	160	12
5	238	12
done	238	12
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	11	12
1	19	11
2	29	11
3	41	9
4	69	7
5	101	7
6	103	7
done	103	7
0	12	12
1	20	11
2	30	11
3	42	9
4	76	9
5	101	9
6	110	9
7	117	9
done	117	9
0	7	9
1	13	6
2	18	4
3	20	4
4	23	4
done	23	4
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	12	13
1	19	12
2	36	12
3	68	10
4	124	8
5	238	8
6	260	8
done	260	8
0	13	13
1	21	12
2	37	12
3	74	10
4	169	10
5	294	10
6	390	10
7	449	10
8	455	10
done	455	10
0	7	9
1	13	6
2	18	4
3	20	4
4	23	4
done	23	4
0	11	11
1	19	10
2	35	10
3	72	8
4	167	8
5	293	8
6	388	8
7	444	8
8	448	8
done	448	8
0	11	16
1	21	16
2	37	14
3	86	12
4	170	12
5	200	12
done	200	12
0	11	11
1	19	11
2	29	9
3	57	9
4	92	9
5	112	9
6	115	9
done	115	9
0	10	11
1	18	11
2	28	9
3	56	7
4	86	7
5	99	7
done	99	7
0	11	11
1	19	11
2	29	9
3	57	9
4	92	9
5	112	9
6	115	9
done	115	9
0	6	8
1	12	6
2	17	4
3	19	4
4	22	4
done	22	4
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	11	12
1	18	12
2	35	10
3	77	8
4	134	8
5	209	8
6	227	8
done	227	8
0	12	12
1	20	12
2	36	10
3	83	10
4	179	10
5	300	10
6	386	10
7	428	10
8	434	10
done	434	10
0	6	8
1	12	6
2	17	4
3	19	4
4	22	4
done	22	4
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	5	6
1	9	4
2	16	4
done	16	4
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	5	6
1	9	4
2	16	4
done	16	4
0	10	10
1	18	10
2	34	8
3	81	8
4	177	8
5	298	8
6	384	8
7	423	8
8	427	8
done	427	8
0	12	14
1	33	14
2	70	12
3	197	10
4	629	10
5	2970	10
done	5001	10
0	12	16
1	21	14
2	32	14
3	57	14
4	84	14
5	94	14
done	94	14
0	11	14
1	22	14
2	48	12
3	159	10
4	463	10
5	1246	10
6	2197	10
7	3388	10
done	5000	10
0	8	8
1	11	8
2	14	8
3	22	8
done	22	8
0	9	17
1	17	15
2	22	15
3	32	15
4	33	15
done	33	15
0	10	10
1	16	10
2	20	10
done	20	10
0	8	10
1	14	8
2	17	8
3	21	8
done	21	8
0	10	10
1	16	10
2	20	10
done	20	10
0	11	19
1	25	15
2	52	11
3	69	9
4	74	9
done	74	9
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	10	14
1	20	10
2	31	6
3	32	4
4	33	4
done	33	4
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	6	11
1	14	1
done	14	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	11	15
1	20	11
2	38	7
3	39	5
4	40	5
done	40	5
0	12	12
1	20	11
2	36	11
3	73	9
4	136	9
5	201	9
6	316	9
7	390	9
8	413	9
9	424	9
done	424	9
0	6	11
1	14	1
done	14	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	10	16
1	20	11
2	32	11
3	42	9
4	50	9
done	50	9
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	9	11
1	17	6
2	23	6
3	24	4
4	25	4
done	25	4
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	5	8
1	11	1
done	11	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	10	12
1	17	7
2	30	7
3	31	5
4	32	5
done	32	5
0	12	12
1	20	11
2	36	11
3	73	9
4	136	9
5	201	9
6	316	9
7	390	9
8	413	9
9	424	9
done	424	9
0	5	8
1	11	1
done	11	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	9	15
1	19	11
2	31	9
3	49	9
4	55	9
done	55	9
0	10	10
1	18	10
2	28	8
3	56	8
4	81	8
5	92	8
6	96	8
7	99	8
8	100	8
done	100	8
0	8	10
1	16	6
2	22	4
3	23	4
done	23	4
0	10	10
1	18	10
2	28	8
3	56	8
4	81	8
5	92	8
6	96	8
7	99	8
8	100	8
done	100	8
0	3	7
1	9	1
done	9	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	9	11
1	16	7
2	29	5
3	38	5
done	38	5
0	11	11
1	19	11
2	35	9
3	82	9
4	153	9
5	216	9
6	321	9
7	371	9
8	390	9
9	400	9
done	400	9
0	3	7
1	9	1
done	9	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	3	5
1	7	1
done	7	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	3	5
1	7	1
done	7	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	10	13
1	31	9
2	64	7
3	157	7
4	452	7
5	1315	7
done	5000	7
0	11	15
1	20	13
2	31	13
3	58	13
4	85	13
5	101	13
done	101	13
0	9	13
1	20	9
2	42	7
3	116	7
4	280	7
5	398	7
6	631	7
7	990	7
8	2769	7
done	5001	7
0	7	7
1	10	7
2	13	7
3	21	7
done	21	7
0	8	15
1	14	15
2	15	15
done	15	15
0	10	10
1	16	10
2	20	10
done	20	10
0	7	8
1	11	8
2	12	8
done	12	8
0	10	10
1	16	10
2	20	10
done	20	10
0	10	17
1	22	15
2	44	11
3	61	9
4	65	9
done	65	9
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	9	12
1	17	10
2	26	6
3	28	4
4	29	4
done	29	4
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	5	9
1	11	5
2	19	1
done	19	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	10	13
1	17	11
2	33	7
3	35	5
4	44	5
done	44	5
0	12	12
1	20	11
2	36	11
3	73	9
4	136	9
5	201	9
6	316	9
7	390	9
8	413	9
9	424	9
done	424	9
0	5	9
1	11	5
2	19	1
done	19	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	9	14
1	17	13
2	25	13
3	33	9
4	96	9
5	234	9
6	278	9
7	532	9
done	532	9
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	8	9
1	14	8
2	18	8
3	19	4
4	47	4
5	145	4
6	177	4
7	350	4
done	350	4
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	4	6
1	8	3
2	12	1
done	12	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	9	10
1	14	9
2	25	9
3	38	5
4	104	5
5	245	5
6	275	5
7	400	5
done	400	5
0	12	12
1	20	11
2	36	11
3	73	9
4	136	9
5	201	9
6	316	9
7	390	9
8	413	9
9	424	9
done	424	9
0	4	6
1	8	3
2	12	1
done	12	1
0	10	10
1	18	9
2	34	9
3	71	7
4	134	7
5	199	7
6	314	7
7	389	7
8	413	7
9	424	7
done	424	7
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	10	10
1	18	10
2	28	8
3	56	8
4	81	8
5	92	8
6	96	8
7	99	8
8	100	8
done	100	8
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	10	10
1	18	10
2	28	8
3	56	8
4	81	8
5	92	8
6	96	8
7	99	8
8	100	8
done	100	8
0	3	5
1	6	1
done	6	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	11	11
1	19	11
2	35	9
3	82	9
4	153	9
5	216	9
6	321	9
7	371	9
8	390	9
9	400	9
done	400	9
0	3	5
1	6	1
done	6	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	2	3
1	4	1
done	4	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	2	3
1	4	1
done	4	1
0	9	9
1	17	9
2	33	7
3	80	7
4	151	7
5	214	7
6	319	7
7	367	7
8	387	7
9	398	7
done	398	7
0	9	11
1	28	7
2	61	7
3	150	7
4	400	7
5	1068	7
6	4094	7
done	5000	7
0	11	15
1	20	13
2	31	13
3	58	13
4	85	13
5	101	13
done	101	13
0	8	11
1	17	7
2	39	7
3	106	7
4	253	7
5	342	7
6	477	7
7	846	7
8	2637	7
done	5000	7
0	7	7
1	10	7
2	13	7
3	21	7
done	21	7
0	9	15
1	15	15
2	16	15
done	16	15
0	9	10
1	15	10
2	19	10
done	19	10
0	8	8
1	12	8
2	13	8
done	13	8
0	9	10
1	15	10
2	19	10
done	19	10
0	11	17
1	23	15
2	45	13
3	67	11
4	74	11
5	90	11
6	102	11
done	102	11
0	10	11
1	18	10
2	28	10
3	40	8
4	54	6
5	91	6
6	105	6
done	105	6
0	10	12
1	18	10
2	27	8
3	33	6
4	36	6
5	43	6
6	49	6
done	49	6
0	10	11
1	18	10
2	28	10
3	40	8
4	54	6
5	91	6
6	105	6
done	105	6
0	6	9
1	12	5
2	23	3
3	30	1
done	30	1
0	9	10
1	17	9
2	33	9
3	70	7
4	113	5
5	213	5
6	328	5
7	437	5
8	479	5
done	479	5
0	11	13
1	18	11
2	34	9
3	54	7
4	63	7
5	80	7
6	110	7
done	110	7
0	11	12
1	19	11
2	35	11
3	72	9
4	115	7
5	221	7
6	351	7
7	464	7
8	487	7
done	487	7
0	6	9
1	12	5
2	23	3
3	30	1
done	30	1
0	9	10
1	17	9
2	33	9
3	70	7
4	113	5
5	213	5
6	328	5
7	437	5
8	479	5
done	479	5
0	10	14
1	18	13
2	26	13
3	34	11
4	50	11
5	102	11
6	134	11
done	134	11
0	10	11
1	18	10
2	28	10
3	40	8
4	54	6
5	91	6
6	105	6
done	105	6
0	9	9
1	15	8
2	19	8
3	20	6
4	29	6
5	43	6
6	51	6
done	51	6
0	10	11
1	18	10
2	28	10
3	40	8
4	54	6
5	91	6
6	105	6
done	105	6
0	5	6
1	9	3
2	14	1
done	14	1
0	9	10
1	17	9
2	33	9
3	70	7
4	113	5
5	213	5
6	328	5
7	437	5
8	479	5
done	479	5
0	10	10
1	15	9
2	26	9
3	39	7
4	54	7
5	82	7
6	118	7
done	118	7
0	11	12
1	19	11
2	35	11
3	72	9
4	115	7
5	221	7
6	351	7
7	464	7
8	487	7
done	487	7
0	5	6
1	9	3
2	14	1
done	14	1
0	9	10
1	17	9
2	33	9
3	70	7
4	113	5
5	213	5
6	328	5
7	437	5
8	479	5
done	479	5
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	9	10
1	17	10
2	27	8
3	55	6
4	84	6
5	112	6
done	112	6
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	9	10
1	17	10
2	27	8
3	55	6
4	84	6
5	112	6
done	112	6
0	4	5
1	8	3
2	13	1
done	13	1
0	8	9
1	16	9
2	32	7
3	79	5
4	133	5
5	220	5
6	317	5
7	402	5
8	421	5
9	429	5
done	429	5
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	10	11
1	18	11
2	34	9
3	81	7
4	134	7
5	224	7
6	330	7
7	405	7
8	411	7
done	411	7
0	4	5
1	8	3
2	13	1
done	13	1
0	8	9
1	16	9
2	32	7
3	79	5
4	133	5
5	220	5
6	317	5
7	402	5
8	421	5
9	429	5
done	429	5
0	3	3
1	5	1
done	5	1
0	8	9
1	16	9
2	32	7
3	79	5
4	133	5
5	220	5
6	317	5
7	402	5
8	421	5
9	429	5
done	429	5
0	3	3
1	5	1
done	5	1
0	8	9
1	16	9
2	32	7
3	79	5
4	133	5
5	220	5
6	317	5
7	402	5
8	421	5
9	429	5
done	429	5
0	10	11
1	29	11
2	60	9
3	147	9
4	355	9
5	1182	9
done	5002	9
0	11	15
1	22	13
2	33	13
3	60	13
4	87	13
5	101	13
done	101	13
0	9	11
1	18	11
2	38	9
3	97	9
4	217	9
5	388	9
6	712	9
7	1490	9
8	4552	9
done	5000	9
0	7	7
1	12	7
2	15	7
3	23	7
done	23	7
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	9	9
1	17	9
2	33	9
3	62	9
4	94	7
5	154	7
6	260	7
7	312	7
8	367	7
9	410	7
10	416	7
done	416	7
0	11	17
1	19	17
2	26	17
3	32	17
done	32	17
0	10	10
1	16	10
2	20	10
done	20	10
0	13	19
1	27	17
2	61	15
3	124	13
4	169	13
5	222	13
6	282	13
7	302	13
done	302	13
0	12	14
1	22	12
2	39	10
3	66	8
4	80	8
5	95	8
6	108	8
7	118	8
8	119	8
done	119	8
0	8	11
1	16	7
2	36	5
3	65	3
4	75	3
5	93	3
6	106	3
7	107	3
done	107	3
0	13	15
1	22	13
2	46	11
3	95	9
4	135	9
5	178	9
6	255	9
7	283	9
8	293	9
9	299	9
10	303	9
done	303	9
0	8	11
1	16	7
2	36	5
3	65	3
4	75	3
5	93	3
6	106	3
7	107	3
done	107	3
0	12	16
1	22	15
2	38	15
3	68	13
4	124	13
5	227	13
6	310	13
7	336	13
done	336	13
0	11	11
1	19	10
2	29	10
3	41	8
4	58	8
5	79	8
6	91	8
7	100	8
8	101	8
done	101	8
0	7	8
1	13	5
2	23	3
3	36	3
4	45	3
5	53	3
6	68	3
7	88	3
8	91	3
done	91	3
0	12	12
1	19	11
2	36	11
3	68	9
4	113	9
5	162	9
6	238	9
7	265	9
8	275	9
9	281	9
10	285	9
done	285	9
0	7	8
1	13	5
2	23	3
3	36	3
4	45	3
5	53	3
6	68	3
7	88	3
8	91	3
done	91	3
0	11	15
1	21	15
2	37	13
3	86	13
4	156	13
5	236	13
6	311	13
7	313	13
done	313	13
0	10	10
1	18	10
2	28	8
3	56	8
4	81	8
5	92	8
6	96	8
7	99	8
8	100	8
done	100	8
0	6	7
1	12	5
2	22	3
3	35	3
4	44	3
5	52	3
6	65	3
7	85	3
8	90	3
done	90	3
0	11	11
1	18	11
2	35	9
3	77	9
4	128	9
5	169	9
6	231	9
7	250	9
8	260	9
9	266	9
10	270	9
done	270	9
0	6	7
1	12	5
2	22	3
3	35	3
4	44	3
5	52	3
6	65	3
7	85	3
8	90	3
done	90	3
0	5	5
1	9	3
2	16	3
done	16	3
0	5	5
1	9	3
2	16	3
done	16	3
0	12	13
1	33	13
2	70	11
3	197	11
4	654	11
5	2580	11
done	5000	11
0	11	13
1	22	13
2	48	11
3	159	11
4	484	11
5	1018	11
6	2264	11
7	3851	11
done	5001	11
0	10	10
1	16	10
2	26	10
3	31	10
4	35	10
done	35	10
0	10	10
1	16	10
2	26	10
3	31	10
4	35	10
done	35	10
0	11	11
1	19	11
2	35	11
3	64	11
4	96	9
5	204	9
6	410	9
7	470	9
8	499	9
done	499	9
0	11	11
1	19	11
2	35	11
3	64	11
4	96	9
5	204	9
6	410	9
7	470	9
8	499	9
done	499	9
0	10	10
1	18	10
2	34	10
3	63	10
4	95	8
5	156	8
6	264	8
7	322	8
8	383	8
9	426	8
done	426	8
0	11	11
1	19	11
2	35	11
3	64	11
4	96	9
5	204	9
6	410	9
7	470	9
8	499	9
done	499	9
0	11	11
1	19	11
2	35	11
3	64	11
4	96	9
5	204	9
6	410	9
7	470	9
8	499	9
done	499	9
0	10	10
1	18	10
2	34	10
3	63	10
4	95	8
5	156	8
6	264	8
7	322	8
8	383	8
9	426	8
done	426	8
0	10	10
1	18	10
2	34	10
3	63	10
4	95	8
5	208	8
6	420	8
7	475	8
8	503	8
done	503	8
0	10	10
1	18	10
2	34	10
3	63	10
4	95	8
5	208	8
6	420	8
7	475	8
8	503	8
done	503	8
0	9	9
1	17	9
2	33	9
3	62	9
4	94	7
5	154	7
6	260	7
7	312	7
8	367	7
9	410	7
10	416	7
done	416	7
0	9	9
1	17	9
2	33	9
3	62	9
4	94	7
5	154	7
6	260	7
7	312	7
8	367	7
9	410	7
10	416	7
done	416	7
0	8	9
1	16	9
2	32	7
3	77	5
4	141	5
5	201	5
6	225	5
7	243	5
8	296	5
9	400	5
10	454	5
11	461	5
done	461	5
0	5	5
1	9	3
2	16	3
done	16	3
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	12	13
1	23	12
2	42	10
3	102	10
4	213	10
5	360	10
6	731	10
7	1910	10
done	5001	10
0	11	12
1	20	12
2	36	10
3	87	10
4	163	10
5	231	10
6	343	10
7	411	10
8	482	10
9	588	10
10	763	10
11	864	10
12	921	10
13	991	10
14	1008	10
15	1052	10
16	1204	10
17	1825	10
18	2960	10
done	5000	10
0	11	12
1	23	12
2	42	10
3	102	10
4	213	10
5	360	10
6	730	10
7	1923	10
done	5000	10
0	12	25
1	21	25
2	37	21
3	88	21
4	164	21
5	232	21
6	344	21
7	412	21
8	483	21
9	589	21
10	764	21
11	865	21
12	922	21
13	994	21
14	1011	21
15	1055	21
16	1207	21
17	1832	21
18	2976	21
done	5000	21
0	11	12
1	20	12
2	36	10
3	87	10
4	163	10
5	231	10
6	343	10
7	411	10
8	482	10
9	588	10
10	763	10
11	864	10
12	921	10
13	991	10
14	1008	10
15	1052	10
16	1204	10
17	1825	10
18	2960	10
done	5000	10
0	12	35
1	34	35
2	106	11
3	477	11
4	2689	11
done	5000	11
0	11	12
1	20	12
2	36	10
3	87	10
4	163	10
5	231	10
6	343	10
7	411	10
8	482	10
9	588	10
10	763	10
11	864	10
12	921	10
13	991	10
14	1008	10
15	1052	10
16	1204	10
17	1825	10
18	2960	10
done	5000	10
0	11	12
1	20	12
2	36	10
3	87	10
4	163	10
5	231	10
6	343	10
7	411	10
8	482	10
9	588	10
10	763	10
11	864	10
12	921	10
13	991	10
14	1008	10
15	1052	10
16	1204	10
17	1825	10
18	2960	10
done	5000	10
0	13	15
1	38	15
2	108	13
3	449	13
4	2432	13
done	5001	13
0	14	35
1	36	25
2	116	21
3	466	21
4	1858	21
done	5001	21
0	12	23
1	29	23
2	83	19
3	370	19
4	1756	19
done	5000	19
0	10	11
1	20	11
2	45	9
3	125	9
4	273	9
5	409	9
6	643	9
7	827	9
8	935	9
9	1103	9
10	1148	9
11	1300	9
12	1923	9
13	3107	9
done	5000	9
0	10	11
1	19	11
2	35	9
3	86	9
4	162	9
5	230	9
6	342	9
7	410	9
8	481	9
9	587	9
10	762	9
11	863	9
12	920	9
13	988	9
14	1005	9
15	1049	9
16	1201	9
17	1824	9
18	2944	9
done	5001	9
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9

prune257.0ms

Filtered

200 candidates to 393 candidates (-96.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	393	0	393
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	393	6	399

Merged error: 0b

Counts

399 → 6

regimes270.0ms

Accuracy

0% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 2.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	10	9
done	10	9

end0.0ms

sample980.0ms

Algorithm

intervals

Results

377.0ms

10577×

body

valid

Details

sample34.0ms

simplify3.7s

prune4.0ms

localize7.0ms

rewrite27.0ms

series35.0ms

simplify2.8min

prune110.0ms

localize7.0ms

rewrite16.0ms

series28.0ms

simplify2.2min

prune81.0ms

localize7.0ms

rewrite49.0ms

series35.0ms

simplify2.1min

prune156.0ms

localize9.0ms

rewrite136.0ms

series40.0ms

simplify5.0min

prune257.0ms

regimes270.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample980.0ms

Profiling