Details

sample26.0ms

Algorithm

intervals

Results

11.0ms

284×

body

valid

simplify52.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	21	11
2	36	11
3	56	11
4	82	11
5	99	11
done	99	11

prune3.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: 7.0b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (* z z))
3.9b	(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
4.7b	(* y (+ 1.0 (* z z)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

31×	`times-frac`
21×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity`
17×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
6×	`cbrt-undiv` `div-exp`
5×	`pow1` `add-log-exp`
4×	`associate-*r/`
3×	`flip3-+` `associate-r` `associate-l` `prod-exp` `cbrt-unprod` `flip-+` `div-inv`
2×	`associate-/r/`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `associate-/r` `sum-log` `-commutative` `associate-/l/` `unswap-sqr`

Counts

3 → 81

Calls

3 calls:

6.0ms	(+ 1.0 (* z z))
9.0ms	(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
6.0ms	(* y (+ 1.0 (* z z)))

series34.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ 1.0 (* z z))
19.0ms	(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
11.0ms	(* y (+ 1.0 (* z z)))

simplify1.6min

Counts

90 → 90

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	14	7
2	19	7
done	19	7
0	8	9
1	10	9
done	10	9
0	7	8
1	18	8
2	24	8
3	26	8
done	26	8
0	7	8
1	17	8
2	31	8
3	54	8
4	96	8
5	253	8
6	719	8
7	2567	8
done	5001	8
0	10	23
1	30	23
2	121	11
3	457	11
4	1715	9
done	5000	9
0	8	17
1	16	17
2	21	17
done	21	17
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	8	23
1	26	23
2	102	9
3	394	9
4	1127	9
5	3442	9
done	5001	9
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	3	3
1	4	3
done	4	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	7	5
2	9	5
done	9	5
0	8	15
1	12	15
2	14	15
done	14	15
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	7	8
1	15	8
2	20	8
3	22	8
done	22	8
0	6	7
1	14	7
2	19	7
done	19	7
0	9	11
1	32	11
2	85	9
3	183	9
4	386	9
5	1092	9
6	3647	9
done	5000	9
0	8	13
1	18	13
2	43	11
3	126	9
4	285	9
5	596	9
6	1278	9
7	3488	9
done	5000	9
0	13	15
1	23	15
2	49	15
3	109	15
4	207	15
5	344	15
6	489	15
7	589	15
8	599	15
done	599	15
0	12	14
1	29	14
2	53	14
3	99	14
4	175	14
5	299	14
6	426	14
7	527	14
8	538	14
done	538	14
0	12	14
1	21	14
2	38	14
3	84	14
4	184	14
5	307	14
6	402	14
7	539	14
8	558	14
9	559	14
done	559	14
0	11	13
1	27	13
2	45	13
3	77	13
4	150	13
5	265	13
6	347	13
7	503	13
8	525	13
9	526	13
done	526	13
0	10	12
1	25	12
2	53	12
3	101	12
4	196	12
5	334	12
6	468	12
7	605	12
8	680	12
9	696	12
10	697	12
done	697	12
0	10	12
1	22	12
2	37	12
3	57	12
4	83	12
5	103	12
done	103	12
0	17	35
1	50	35
2	237	19
3	1433	17
done	5000	17
0	15	35
1	46	35
2	220	17
3	1489	15
done	5000	15
0	15	35
1	49	35
2	227	17
3	1169	17
done	5000	17
0	13	35
1	45	35
2	219	15
3	1252	13
done	5000	13
0	11	25
1	23	25
2	38	25
3	58	25
4	84	25
5	102	25
done	102	25
0	10	12
1	22	12
2	37	12
3	57	12
4	83	12
5	103	12
done	103	12
0	11	35
1	30	35
2	106	13
3	571	13
4	4524	13
done	5000	13
0	10	12
1	22	12
2	37	12
3	57	12
4	83	12
5	103	12
done	103	12
0	10	12
1	22	12
2	37	12
3	57	12
4	83	12
5	103	12
done	103	12
0	4	4
1	6	4
done	6	4
0	7	8
1	19	8
2	41	8
3	67	8
4	74	8
done	74	8
0	7	11
1	9	11
2	11	11
3	12	11
done	12	11
0	8	10
1	9	10
done	9	10
0	6	6
done	6	6
0	8	10
1	9	10
done	9	10
0	9	13
1	17	13
2	40	13
3	77	13
4	118	13
5	123	13
done	123	13
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	8	10
1	12	10
2	23	10
3	36	10
4	46	10
done	46	10
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	7	9
1	13	7
2	33	7
3	51	7
4	61	7
5	66	7
done	66	7
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	8	10
1	12	10
2	18	10
3	26	10
done	26	10
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	6	6
1	10	4
2	16	4
done	16	4
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	7	9
1	13	9
2	19	9
3	27	9
done	27	9
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	6	6
1	10	6
2	13	6
done	13	6
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	7	9
1	10	9
2	13	9
3	21	9
4	25	9
5	27	9
done	27	9
0	3	3
1	5	3
done	5	3
0	7	9
1	10	9
2	13	9
3	21	9
4	25	9
5	27	9
done	27	9
0	3	3
done	3	3
0	8	9
1	13	9
2	16	9
3	24	9
4	28	9
done	28	9
0	8	9
1	20	9
2	27	9
3	29	9
done	29	9
0	9	11
1	21	11
2	39	11
3	67	11
4	124	11
5	190	11
6	267	11
7	368	11
8	411	11
9	927	11
done	5001	11
0	5	5
1	7	5
2	10	5
done	10	5
0	10	12
1	20	12
2	29	12
3	40	12
4	47	12
5	60	12
6	74	12
7	86	12
8	91	12
done	91	12
0	10	12
1	20	12
2	29	12
3	40	12
4	47	12
5	60	12
6	74	12
7	86	12
8	91	12
done	91	12
0	11	13
1	23	13
2	41	13
3	69	13
4	126	13
5	189	13
6	265	13
7	365	13
8	404	13
9	409	13
done	409	13
0	11	13
1	23	13
2	41	13
3	69	13
4	126	13
5	189	13
6	265	13
7	365	13
8	404	13
9	409	13
done	409	13
0	10	12
1	22	12
2	40	12
3	68	12
4	125	12
5	189	12
6	263	12
7	363	12
8	402	12
9	406	12
done	406	12
0	11	13
1	23	13
2	41	13
3	69	13
4	126	13
5	189	13
6	265	13
7	365	13
8	404	13
9	409	13
done	409	13
0	11	13
1	23	13
2	41	13
3	69	13
4	126	13
5	189	13
6	265	13
7	365	13
8	404	13
9	409	13
done	409	13
0	10	12
1	22	12
2	40	12
3	68	12
4	125	12
5	189	12
6	263	12
7	363	12
8	402	12
9	406	12
done	406	12
0	10	12
1	22	12
2	40	12
3	68	12
4	125	12
5	189	12
6	262	12
7	363	12
8	406	12
9	1263	12
done	5000	12
0	10	12
1	22	12
2	40	12
3	68	12
4	125	12
5	189	12
6	262	12
7	363	12
8	406	12
9	1263	12
done	5000	12
0	9	11
1	21	11
2	39	11
3	67	11
4	124	11
5	190	11
6	267	11
7	368	11
8	411	11
9	927	11
done	5001	11
0	9	11
1	21	11
2	39	11
3	67	11
4	124	11
5	190	11
6	267	11
7	368	11
8	411	11
9	927	11
done	5001	11
0	10	11
1	24	11
2	42	9
3	101	9
4	231	9
5	307	9
6	488	9
7	631	9
8	710	9
done	710	9
0	12	15
1	39	15
2	102	13
3	227	13
4	556	13
5	1884	13
done	5001	13
0	11	17
1	25	17
2	62	15
3	191	13
4	536	13
5	1361	13
6	3050	13
done	5000	13
0	8	9
1	19	9
2	36	9
3	61	9
4	77	9
done	77	9
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	117	6
6	311	6
7	1004	6
8	3775	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	312	6
8	1002	6
9	3766	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	167	7
4	412	7
5	1132	7
6	2574	7
7	4038	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	184	7
5	461	7
6	1472	7
done	5000	7
0	8	17
1	22	13
2	49	13
3	91	11
4	127	11
5	176	11
6	280	11
7	596	11
8	2365	11
done	5000	11
0	6	11
1	15	11
2	30	9
3	66	7
4	125	7
5	245	7
6	503	7
7	1334	7
done	5000	7
0	4	5
1	6	5
2	10	5
done	10	5
0	3	3
1	4	3
done	4	3
0	8	9
1	18	7
2	36	7
3	41	7
4	47	7
5	57	7
6	79	7
7	140	7
8	354	7
9	1296	7
done	5000	7
0	8	9
1	18	7
2	36	7
3	41	7
4	47	7
5	57	7
6	79	7
7	140	7
8	354	7
9	1296	7
done	5000	7
0	13	17
1	34	15
2	101	15
3	327	13
4	1149	11
5	4452	11
done	5000	11
0	9	9
1	20	9
2	54	9
3	94	9
4	126	9
5	138	9
6	162	9
7	228	9
8	443	9
9	1382	9
done	5001	9
0	9	9
1	20	9
2	54	9
3	94	9
4	126	9
5	138	9
6	162	9
7	228	9
8	443	9
9	1382	9
done	5001	9
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune187.0ms

Filtered

76 candidates to 90 candidates (-18.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	10	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Merged error: 5.6b

Counts

91 → 10

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (* z z))
0.2b	(/ (/ 1.0 x) y)
6.7b	(/ (/ (/ 1.0 x) y) (+ 1.0 (* z z)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

468×	`times-frac`
229×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
56×	`associate-/l*`
22×	`div-inv`
17×	`add-exp-log` `add-cbrt-cube`
9×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
5×	`add-log-exp`
3×	`pow1`
2×	`frac-2neg` `flip3-+` `clear-num` `associate-/r/` `flip-+` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

3 → 275

Calls

3 calls:

3.0ms	(+ 1.0 (* z z))
7.0ms	(/ (/ 1.0 x) y)
16.0ms	(/ (/ (/ 1.0 x) y) (+ 1.0 (* z z)))

series28.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ 1.0 (* z z))
4.0ms	(/ (/ 1.0 x) y)
20.0ms	(/ (/ (/ 1.0 x) y) (+ 1.0 (* z z)))

simplify2.5min

Counts

284 → 284

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	15
1	24	15
2	53	15
3	138	15
4	244	15
5	313	15
6	428	15
7	593	15
8	605	15
done	605	15
0	12	14
1	22	14
2	41	14
3	102	14
4	216	14
5	274	14
6	348	14
7	497	14
8	577	14
9	578	14
done	578	14
0	11	13
1	19	13
2	34	13
3	70	13
4	154	13
5	240	13
6	301	13
7	399	13
8	488	13
9	564	13
10	565	13
done	565	13
0	10	12
1	18	12
2	38	12
3	83	12
4	176	12
5	310	12
6	420	12
7	511	12
8	595	12
9	678	12
10	688	12
done	688	12
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	17	35
1	49	35
2	197	19
3	1070	17
done	5000	17
0	15	35
1	48	35
2	189	17
3	899	15
done	5001	15
0	13	35
1	43	35
2	162	15
3	698	13
4	4452	13
done	5000	13
0	11	25
1	16	25
2	26	25
3	45	25
4	72	25
5	100	25
6	110	25
done	110	25
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	11	35
1	23	35
2	70	13
3	342	13
4	2356	13
done	5000	13
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	6	6
1	10	6
2	16	6
3	20	6
done	20	6
0	5	6
1	9	6
2	14	6
3	15	6
done	15	6
0	13	27
1	22	27
2	34	27
3	40	27
done	40	27
0	11	13
1	14	13
2	17	13
done	17	13
0	12	20
1	17	20
2	22	20
3	23	20
done	23	20
0	11	13
1	14	13
2	17	13
done	17	13
0	9	15
1	15	13
2	24	13
3	29	13
done	29	13
0	10	12
1	13	12
2	16	12
done	16	12
0	12	20
1	17	20
2	20	20
done	20	20
0	11	13
1	14	13
2	17	13
done	17	13
0	11	13
1	14	13
2	17	13
done	17	13
0	11	13
1	14	13
2	17	13
done	17	13
0	8	8
1	12	6
2	17	6
done	17	6
0	10	12
1	13	12
2	16	12
done	16	12
0	15	29
1	26	29
2	61	29
3	149	29
4	277	29
5	315	29
done	315	29
0	12	14
1	15	14
2	18	14
done	18	14
0	14	22
1	23	22
2	46	22
3	83	22
4	124	22
5	130	22
done	130	22
0	12	14
1	15	14
2	18	14
done	18	14
0	11	17
1	21	15
2	48	15
3	97	15
4	127	15
5	128	15
done	128	15
0	11	13
1	14	13
2	17	13
3	25	13
4	29	13
done	29	13
0	14	26
1	21	26
2	37	26
3	73	26
4	114	26
5	124	26
done	124	26
0	12	14
1	15	14
2	18	14
done	18	14
0	13	19
1	18	19
2	29	19
3	42	19
4	52	19
done	52	19
0	12	14
1	15	14
2	18	14
done	18	14
0	10	14
1	16	12
2	31	12
3	48	12
4	58	12
done	58	12
0	11	13
1	14	13
2	17	13
3	25	13
4	29	13
done	29	13
0	13	25
1	22	23
2	51	23
3	108	23
4	124	23
done	124	23
0	11	13
1	14	13
2	17	13
done	17	13
0	12	18
1	19	16
2	39	16
3	61	16
4	62	16
done	62	16
0	11	13
1	14	13
2	17	13
done	17	13
0	8	13
1	14	9
2	18	9
3	23	9
done	23	9
0	10	12
1	13	12
2	16	12
3	24	12
4	28	12
done	28	12
0	14	24
1	21	24
2	33	24
3	60	24
4	65	24
done	65	24
0	12	14
1	15	14
2	18	14
done	18	14
0	13	17
1	18	17
2	24	17
3	32	17
done	32	17
0	12	14
1	15	14
2	18	14
done	18	14
0	10	12
1	16	10
2	26	10
3	42	10
done	42	10
0	11	13
1	14	13
2	17	13
3	25	13
4	29	13
done	29	13
0	13	21
1	18	21
2	24	21
3	30	21
done	30	21
0	12	14
1	15	14
2	18	14
done	18	14
0	12	14
1	15	14
2	18	14
done	18	14
0	12	14
1	15	14
2	18	14
done	18	14
0	9	9
1	13	7
2	20	7
3	22	7
done	22	7
0	11	13
1	14	13
2	17	13
3	25	13
4	29	13
done	29	13
0	12	20
1	19	18
2	28	18
3	36	18
done	36	18
0	11	13
1	14	13
2	17	13
done	17	13
0	11	13
1	16	11
2	22	11
done	22	11
0	11	13
1	14	13
2	17	13
done	17	13
0	7	8
1	11	4
done	11	4
0	10	12
1	13	12
2	16	12
3	24	12
4	28	12
done	28	12
0	17	31
1	32	31
2	94	31
3	374	31
4	1266	31
5	2679	31
6	2951	31
done	2951	31
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	16	24
1	29	24
2	83	24
3	265	24
4	721	24
5	1227	24
6	1268	24
done	1268	24
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	13	19
1	27	17
2	85	17
3	267	17
4	661	17
5	852	17
done	852	17
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	16	28
1	29	28
2	73	28
3	235	28
4	650	28
5	1162	28
6	1230	28
done	1230	28
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	15	21
1	26	21
2	65	21
3	170	21
4	364	21
5	491	21
done	491	21
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	12	16
1	24	14
2	67	14
3	162	14
4	366	14
5	453	14
done	453	14
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	15	27
1	30	25
2	99	25
3	292	25
4	575	25
5	680	25
done	680	25
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	14	20
1	27	18
2	81	18
3	185	18
4	315	18
5	344	18
done	344	18
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	10	15
1	22	11
2	47	11
3	96	11
4	126	11
5	127	11
done	127	11
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	108	13
done	108	13
0	16	28
1	27	28
2	63	28
3	214	28
4	617	28
5	1169	28
6	1244	28
done	1244	28
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	15	21
1	24	21
2	52	21
3	140	21
4	330	21
5	515	21
6	525	21
done	525	21
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	12	16
1	22	14
2	54	14
3	153	14
4	334	14
5	448	14
done	448	14
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	15	25
1	24	25
2	49	25
3	139	25
4	318	25
5	478	25
6	490	25
done	490	25
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	14	18
1	21	18
2	41	18
3	92	18
4	160	18
5	198	18
done	198	18
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	11	13
1	19	11
2	43	11
3	95	11
4	190	11
5	238	11
done	238	11
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	14	24
1	25	22
2	65	22
3	153	22
4	251	22
5	312	22
done	312	22
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	13	17
1	22	15
2	53	15
3	95	15
4	139	15
5	158	15
done	158	15
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	9	12
1	17	8
2	30	8
3	47	8
4	57	8
done	57	8
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	108	13
done	108	13
0	15	27
1	28	25
2	81	25
3	273	25
4	602	25
5	788	25
done	788	25
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	14	20
1	25	18
2	70	18
3	197	18
4	341	18
5	391	18
done	391	18
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	10	15
1	20	11
2	54	11
3	121	11
4	138	11
done	138	11
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	14	24
1	25	22
2	63	22
3	168	22
4	324	22
5	379	22
done	379	22
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	13	17
1	22	15
2	55	15
3	125	15
4	191	15
5	199	15
done	199	15
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	9	12
1	17	8
2	39	8
3	63	8
4	64	8
done	64	8
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	12	23
1	23	19
2	50	19
3	107	19
4	123	19
done	123	19
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	11	16
1	20	12
2	38	12
3	60	12
4	61	12
done	61	12
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	7	11
1	14	5
2	18	5
3	23	5
done	23	5
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	16	28
1	27	28
2	59	28
3	169	28
4	390	28
5	515	28
6	516	28
done	516	28
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	15	21
1	24	21
2	48	21
3	110	21
4	207	21
5	234	21
done	234	21
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	12	16
1	22	14
2	50	14
3	122	14
4	203	14
5	204	14
done	204	14
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	15	25
1	24	25
2	44	25
3	96	25
4	183	25
5	214	25
done	214	25
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	14	18
1	21	18
2	36	18
3	65	18
4	92	18
5	95	18
done	95	18
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	11	13
1	19	11
2	38	11
3	67	11
4	105	11
done	105	11
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	14	24
1	25	22
2	60	22
3	127	22
4	154	22
5	156	22
done	156	22
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	13	17
1	22	15
2	48	15
3	80	15
4	87	15
done	87	15
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	9	12
1	17	8
2	25	8
3	41	8
done	41	8
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	108	13
done	108	13
0	15	25
1	24	25
2	48	25
3	109	25
4	200	25
5	232	25
done	232	25
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	14	18
1	21	18
2	37	18
3	64	18
4	98	18
5	106	18
done	106	18
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	11	13
1	19	11
2	39	11
3	81	11
4	114	11
done	114	11
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	14	22
1	21	22
2	36	22
3	64	22
4	89	22
5	93	22
done	93	22
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	13	15
1	18	15
2	28	15
3	39	15
4	44	15
done	44	15
0	10	10
1	16	8
2	30	8
3	46	8
4	61	8
done	61	8
0	12	14
1	17	14
2	27	14
3	46	14
4	71	14
5	101	14
6	111	14
done	111	14
0	13	21
1	22	19
2	48	19
3	76	19
4	84	19
done	84	19
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	12	14
1	19	12
2	38	12
3	47	12
4	48	12
done	48	12
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	8	9
1	14	5
2	19	5
3	21	5
done	21	5
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	108	13
done	108	13
0	14	24
1	25	22
2	52	22
3	115	22
4	182	22
5	183	22
done	183	22
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	13	17
1	22	15
2	41	15
3	75	15
4	99	15
done	99	15
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	9	12
1	17	8
2	30	8
3	39	8
done	39	8
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	13	21
1	22	19
2	40	19
3	65	19
4	93	19
done	93	19
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	12	14
1	19	12
2	32	12
3	45	12
4	56	12
done	56	12
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	8	9
1	14	5
2	21	5
done	21	5
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	11	20
1	20	16
2	27	16
3	35	16
done	35	16
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	10	13
1	17	9
2	21	9
done	21	9
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	6	8
1	11	2
done	11	2
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	16	27
1	29	27
2	61	27
3	171	27
4	394	27
5	515	27
6	517	27
done	517	27
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	15	20
1	26	20
2	50	20
3	112	20
4	203	20
5	230	20
done	230	20
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	10	15
1	20	13
2	48	13
3	120	13
4	183	13
done	183	13
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	15	24
1	26	24
2	46	24
3	98	24
4	185	24
5	212	24
done	212	24
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	14	17
1	23	17
2	38	17
3	67	17
4	96	17
5	99	17
done	99	17
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	9	12
1	17	10
2	36	10
3	65	10
4	95	10
done	95	10
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	13	23
1	24	21
2	59	21
3	117	21
4	144	21
5	146	21
done	146	21
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	12	16
1	21	14
2	47	14
3	72	14
4	81	14
done	81	14
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	7	11
1	15	7
2	23	7
3	33	7
done	33	7
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	15	24
1	26	24
2	50	24
3	111	24
4	201	24
5	232	24
done	232	24
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	14	17
1	23	17
2	39	17
3	66	17
4	101	17
5	106	17
done	106	17
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	9	12
1	17	10
2	37	10
3	79	10
4	104	10
done	104	10
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	14	21
1	23	21
2	38	21
3	66	21
4	92	21
5	97	21
done	97	21
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	13	14
1	20	14
2	30	14
3	41	14
4	48	14
done	48	14
0	12	14
1	17	14
2	27	14
3	38	14
4	43	14
done	43	14
0	8	9
1	14	7
2	28	7
3	44	7
4	53	7
done	53	7
0	11	13
1	16	13
2	26	13
3	45	13
4	69	13
5	97	13
6	104	13
done	104	13
0	12	20
1	21	18
2	47	18
3	70	18
4	77	18
done	77	18
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	11	13
1	18	11
2	37	11
3	43	11
4	45	11
done	45	11
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	6	8
1	12	4
2	17	4
done	17	4
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	13	23
1	24	21
2	44	21
3	100	21
4	160	21
done	160	21
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	12	16
1	21	14
2	33	14
3	65	14
4	86	14
done	86	14
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	7	11
1	15	7
2	24	7
3	34	7
done	34	7
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	12	20
1	21	18
2	33	18
3	57	18
4	86	18
done	86	18
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	11	13
1	18	11
2	25	11
3	39	11
4	52	11
done	52	11
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	6	8
1	12	4
2	16	4
done	16	4
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	10	19
1	19	15
2	23	15
3	29	15
4	30	15
done	30	15
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	9	12
1	16	8
2	18	8
done	18	8
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	4	7
1	9	1
done	9	1
0	9	11
1	14	11
2	24	11
3	43	11
4	69	11
5	97	11
6	110	11
done	110	11
0	12	21
1	21	21
2	33	21
3	60	21
4	64	21
done	64	21
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	11	14
1	18	14
2	24	14
3	32	14
done	32	14
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	11	18
1	18	18
2	24	18
3	30	18
done	30	18
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	10	11
1	15	11
2	18	11
done	18	11
0	11	13
1	16	13
2	26	13
3	37	13
4	41	13
done	41	13
0	5	6
1	9	4
2	16	4
done	16	4
0	10	12
1	15	12
2	25	12
3	44	12
4	71	12
5	99	12
6	104	12
done	104	12
0	9	17
1	16	15
2	20	15
3	30	15
4	31	15
done	31	15
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	8	10
1	13	8
2	15	8
3	19	8
done	19	8
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	3	5
1	7	1
done	7	1
0	9	11
1	14	11
2	24	11
3	43	11
4	69	11
5	97	11
6	110	11
done	110	11
0	11	21
1	18	21
2	30	21
3	57	21
4	61	21
done	61	21
0	12	13
1	19	13
2	29	13
3	40	13
4	44	13
done	44	13
0	10	14
1	15	14
2	21	14
3	29	14
done	29	14
0	12	13
1	19	13
2	29	13
3	40	13
4	44	13
done	44	13
0	7	9
1	13	7
2	23	7
3	39	7
done	39	7
0	11	12
1	18	12
2	28	12
3	47	12
4	71	12
5	101	12
6	114	12
done	114	12
0	10	18
1	15	18
2	21	18
3	27	18
done	27	18
0	12	13
1	19	13
2	29	13
3	40	13
4	44	13
done	44	13
0	9	11
1	12	11
2	15	11
done	15	11
0	12	13
1	19	13
2	29	13
3	40	13
4	44	13
done	44	13
0	6	6
1	10	4
2	17	4
3	19	4
done	19	4
0	11	12
1	18	12
2	28	12
3	47	12
4	71	12
5	101	12
6	114	12
done	114	12
0	9	17
1	16	15
2	20	15
3	30	15
4	31	15
done	31	15
0	11	12
1	18	12
2	28	12
3	39	12
4	43	12
done	43	12
0	8	10
1	13	8
2	15	8
3	19	8
done	19	8
0	11	12
1	18	12
2	28	12
3	39	12
4	43	12
done	43	12
0	4	5
1	8	1
done	8	1
0	10	11
1	17	11
2	27	11
3	46	11
4	73	11
5	103	11
6	114	11
done	114	11
0	8	15
1	13	15
done	13	15
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	7	8
1	10	8
done	10	8
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	2	3
1	4	1
done	4	1
0	9	11
1	14	11
2	24	11
3	43	11
4	69	11
5	97	11
6	110	11
done	110	11
0	9	17
1	14	17
2	20	17
3	26	17
done	26	17
0	9	10
1	14	10
2	17	10
done	17	10
0	8	10
1	11	10
2	14	10
done	14	10
0	9	10
1	14	10
2	17	10
done	17	10
0	5	5
1	9	3
2	16	3
done	16	3
0	8	9
1	13	9
2	16	9
3	24	9
4	28	9
done	28	9
0	6	7
1	9	7
done	9	7
0	9	11
1	14	11
2	23	11
3	38	11
4	63	11
5	93	11
6	144	11
7	195	11
8	257	11
9	319	11
10	377	11
11	866	11
done	5001	11
0	11	19
1	18	19
2	33	19
3	61	19
4	86	19
5	90	19
done	90	19
0	10	12
1	15	12
2	25	12
3	36	12
4	41	12
done	41	12
0	7	7
1	13	5
2	27	5
3	36	5
4	51	5
done	51	5
0	10	12
1	13	12
2	16	12
done	16	12
0	10	12
1	13	12
2	16	12
done	16	12
0	11	13
1	14	13
2	17	13
3	18	13
4	28	13
5	34	13
6	43	13
7	49	13
8	60	13
9	74	13
10	86	13
11	91	13
done	91	13
0	11	13
1	14	13
2	17	13
3	18	13
4	28	13
5	34	13
6	43	13
7	49	13
8	60	13
9	74	13
10	86	13
11	91	13
done	91	13
0	10	12
1	13	12
2	16	12
3	17	12
4	27	12
5	33	12
6	42	12
7	48	12
8	59	12
9	73	12
10	85	12
11	90	12
done	90	12
0	11	13
1	14	13
2	17	13
3	18	13
4	28	13
5	34	13
6	43	13
7	49	13
8	60	13
9	74	13
10	86	13
11	91	13
done	91	13
0	11	13
1	14	13
2	17	13
3	18	13
4	28	13
5	34	13
6	43	13
7	49	13
8	60	13
9	74	13
10	86	13
11	91	13
done	91	13
0	10	12
1	13	12
2	16	12
3	17	12
4	27	12
5	33	12
6	42	12
7	48	12
8	59	12
9	73	12
10	85	12
11	90	12
done	90	12
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	372	12
11	389	12
12	390	12
done	390	12
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	12	14
1	17	14
2	26	14
3	41	14
4	65	14
5	95	14
6	144	14
7	192	14
8	251	14
9	315	14
10	371	14
11	387	14
done	387	14
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	368	13
11	384	13
done	384	13
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	372	12
11	389	12
12	390	12
done	390	12
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	370	13
11	1432	13
done	5000	13
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	370	13
11	1432	13
done	5000	13
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	374	12
11	1160	12
done	5000	12
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	370	13
11	1432	13
done	5000	13
0	11	13
1	16	13
2	25	13
3	40	13
4	64	13
5	94	13
6	143	13
7	191	13
8	250	13
9	312	13
10	370	13
11	1432	13
done	5000	13
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	374	12
11	1160	12
done	5000	12
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	374	12
11	1202	12
done	5000	12
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	374	12
11	1202	12
done	5000	12
0	9	11
1	14	11
2	23	11
3	38	11
4	63	11
5	93	11
6	144	11
7	195	11
8	257	11
9	319	11
10	377	11
11	866	11
done	5001	11
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	374	12
11	1202	12
done	5000	12
0	10	12
1	15	12
2	24	12
3	39	12
4	64	12
5	94	12
6	143	12
7	192	12
8	252	12
9	316	12
10	374	12
11	1202	12
done	5000	12
0	9	11
1	14	11
2	23	11
3	38	11
4	63	11
5	93	11
6	144	11
7	195	11
8	257	11
9	319	11
10	377	11
11	866	11
done	5001	11
0	11	12
1	18	12
2	27	12
3	42	10
4	93	10
5	180	10
6	265	10
7	277	10
8	362	10
9	675	10
10	832	10
done	832	10
0	11	12
1	18	12
2	27	12
3	42	10
4	93	10
5	180	10
6	265	10
7	277	10
8	362	10
9	675	10
10	832	10
done	832	10
0	10	11
1	17	11
2	26	11
3	41	9
4	93	9
5	182	9
6	273	9
7	282	9
8	377	9
9	691	9
10	855	9
done	855	9
0	9	11
1	14	11
2	23	11
3	38	11
4	63	11
5	93	11
6	144	11
7	195	11
8	257	11
9	319	11
10	377	11
11	866	11
done	5001	11
0	8	9
1	13	9
2	16	7
3	33	7
4	46	7
5	58	7
done	58	7
0	12	15
1	32	15
2	66	13
3	125	13
4	303	13
5	1081	13
6	4855	13
done	5000	13
0	11	17
1	24	17
2	55	15
3	133	13
4	344	13
5	905	13
6	2375	13
done	5000	13
0	6	7
1	8	7
2	16	7
3	20	7
done	20	7
0	8	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	73	8
7	99	8
8	108	8
done	108	8
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	6	6
1	11	6
2	21	6
3	33	6
4	50	6
5	62	6
6	70	6
7	83	6
8	97	6
9	113	6
10	117	6
done	117	6
0	6	6
1	8	6
2	11	6
done	11	6
0	11	17
1	25	17
2	100	11
3	448	9
4	1791	7
done	5000	7
0	9	17
1	24	17
2	81	9
3	313	7
4	1242	7
5	3323	7
done	5000	7
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	16	17
2	50	7
3	195	7
4	886	7
5	2479	7
6	4453	7
done	5001	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	12
1	10	12
2	12	12
3	13	12
done	13	12
0	7	7
done	7	7
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	6	6
done	6	6
0	8	10
1	10	10
done	10	10
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	4
2	10	4
done	10	4
0	6	6
done	6	6
0	11	17
1	21	17
2	56	17
3	144	17
4	270	17
5	304	17
done	304	17
0	8	8
1	10	8
2	13	8
done	13	8
0	10	14
1	18	14
2	41	14
3	78	14
4	119	14
5	125	14
done	125	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	7	7
1	9	7
2	12	7
done	12	7
0	10	14
1	16	14
2	32	14
3	68	14
4	110	14
5	120	14
done	120	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	7	7
1	9	7
2	12	7
done	12	7
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	6	6
1	8	6
2	11	6
done	11	6
0	10	14
1	16	14
2	28	14
3	55	14
4	60	14
done	60	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	13	11
2	19	11
3	27	11
done	27	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	13	11
2	19	11
3	25	11
done	25	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	11	5
2	17	5
done	17	5
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	2
done	9	2
0	6	6
1	8	6
2	11	6
done	11	6
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	6	6
1	8	6
2	11	6
done	11	6
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	4
2	16	4
done	16	4
0	6	6
1	8	6
2	11	6
done	11	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	6	6
1	8	6
2	11	6
done	11	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	6	6
1	8	6
2	11	6
done	11	6
0	3	5
1	7	1
done	7	1
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	9	7
done	9	7
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	6	4
done	6	4
0	6	6
1	8	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	7	7
done	7	7
0	6	6
1	10	6
2	13	6
done	13	6
0	4	4
done	4	4
0	6	6
1	10	6
2	13	6
done	13	6
0	3	3
1	5	1
done	5	1
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	7	9
1	11	9
2	17	9
3	23	9
done	23	9
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	9	3
2	16	3
done	16	3
0	6	6
done	6	6
0	6	6
done	6	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	117	6
6	311	6
7	1004	6
8	3775	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	312	6
8	1002	6
9	3766	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	167	7
4	412	7
5	1132	7
6	2574	7
7	4038	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	184	7
5	461	7
6	1472	7
done	5000	7
0	8	17
1	22	13
2	49	13
3	91	11
4	127	11
5	176	11
6	280	11
7	596	11
8	2365	11
done	5000	11
0	6	11
1	15	11
2	30	9
3	66	7
4	125	7
5	245	7
6	503	7
7	1334	7
done	5000	7
0	4	5
1	6	5
2	10	5
done	10	5
0	13	17
1	34	15
2	101	15
3	327	13
4	1149	11
5	4452	11
done	5000	11
0	9	9
1	20	9
2	54	9
3	94	9
4	126	9
5	138	9
6	162	9
7	228	9
8	443	9
9	1382	9
done	5001	9
0	9	9
1	20	9
2	54	9
3	94	9
4	126	9
5	138	9
6	162	9
7	228	9
8	443	9
9	1382	9
done	5001	9
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune570.0ms

Filtered

252 candidates to 284 candidates (-12.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	281	3	284
Fresh	4	5	9
Picked	0	1	1
Done	0	0	0
Total	285	9	294

Merged error: 5.6b

Counts

294 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ 1.0 x) (sqrt (+ 1.0 (* z z))))
1.8b	(* (/ (/ 1.0 x) (sqrt (+ 1.0 (* z z)))) (/ (/ 1 y) (sqrt (+ 1.0 (* z z)))))
17.8b	(sqrt (+ 1.0 (* z z)))
17.8b	(sqrt (+ 1.0 (* z z)))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

497×	`times-frac`
375×	`add-sqr-sqrt`
231×	`*-un-lft-identity`
221×	`add-cube-cbrt`
155×	`sqrt-prod`
84×	`associate-r` `associate-l`
69×	`add-exp-log`
45×	`add-cbrt-cube`
36×	`div-exp`
35×	`unswap-sqr`
22×	`div-inv`
21×	`cbrt-undiv`
15×	`prod-exp`
13×	`associate-/l*`
10×	`sqrt-div`
9×	`cbrt-unprod`
8×	`pow1`
6×	`associate-/r*` `associate-/r/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`rec-exp` `1-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `associate-/l/`

Counts

4 → 383

Calls

4 calls:

10.0ms	(/ (/ 1.0 x) (sqrt (+ 1.0 (* z z))))
119.0ms	(* (/ (/ 1.0 x) (sqrt (+ 1.0 (* z z)))) (/ (/ 1 y) (sqrt (+ 1.0 (* z z)))))
3.0ms	(sqrt (+ 1.0 (* z z)))
3.0ms	(sqrt (+ 1.0 (* z z)))

series52.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(/ (/ 1.0 x) (sqrt (+ 1.0 (* z z))))
25.0ms	(* (/ (/ 1.0 x) (sqrt (+ 1.0 (* z z)))) (/ (/ 1 y) (sqrt (+ 1.0 (* z z)))))
4.0ms	(sqrt (+ 1.0 (* z z)))
5.0ms	(sqrt (+ 1.0 (* z z)))

simplify19.2min

Counts

395 → 395

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	20	8
3	29	8
4	37	8
5	47	8
6	68	8
7	127	8
8	342	8
9	1257	8
done	5000	8
0	7	14
1	9	7
done	9	7
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	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	48	8
3	88	8
4	183	8
5	465	8
6	1497	8
done	5000	8
0	9	18
1	23	14
2	50	14
3	92	12
4	128	12
5	175	12
6	279	12
7	594	12
8	2380	12
done	5001	12
0	7	12
1	16	12
2	31	10
3	67	8
4	126	8
5	254	8
6	510	8
7	1333	8
done	5001	8
0	5	6
1	7	6
2	11	6
done	11	6
0	3	3
1	6	1
done	6	1
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	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	20	8
3	29	8
4	37	8
5	47	8
6	68	8
7	127	8
8	342	8
9	1257	8
done	5000	8
0	7	14
1	9	7
done	9	7
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	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	48	8
3	88	8
4	183	8
5	465	8
6	1497	8
done	5000	8
0	9	18
1	23	14
2	50	14
3	92	12
4	128	12
5	175	12
6	279	12
7	594	12
8	2380	12
done	5001	12
0	7	12
1	16	12
2	31	10
3	67	8
4	126	8
5	254	8
6	510	8
7	1333	8
done	5001	8
0	5	6
1	7	6
2	11	6
done	11	6
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	13	21
1	25	21
2	53	21
3	153	19
4	517	11
5	950	11
6	1361	11
7	1506	11
8	1756	11
9	2527	11
done	5000	11
0	16	25
1	29	25
2	74	24
3	238	24
4	624	19
5	982	18
6	1256	18
7	1275	18
done	1275	18
0	17	26
1	34	25
2	95	24
3	358	24
4	1306	19
5	2444	18
6	2914	18
7	2930	18
done	2930	18
0	18	27
1	37	26
2	97	25
3	358	24
4	1301	19
5	2421	18
6	2891	18
7	2907	18
done	2907	18
0	17	26
1	36	25
2	87	24
3	310	24
4	1161	19
5	2102	18
6	2670	18
7	2693	18
done	2693	18
0	17	25
1	33	25
2	78	24
3	223	23
4	733	23
5	1540	18
6	2128	18
7	2154	18
done	2154	18
0	15	24
1	27	24
2	60	23
3	180	23
4	556	18
5	845	17
6	1119	17
7	1148	17
done	1148	17
0	16	25
1	32	24
2	81	23
3	284	23
4	1127	18
5	2087	17
6	2511	17
7	2527	17
done	2527	17
0	17	26
1	35	25
2	83	24
3	287	23
4	1122	18
5	2076	17
6	2519	17
7	2535	17
done	2535	17
0	16	25
1	34	24
2	73	23
3	241	23
4	1004	18
5	1846	17
6	2394	17
7	2420	17
done	2420	17
0	16	24
1	31	24
2	66	23
3	178	22
4	630	22
5	1341	17
6	2086	17
7	2130	17
done	2130	17
0	15	23
1	25	23
2	50	22
3	120	22
4	380	22
5	797	17
6	1208	17
7	1291	17
8	1292	17
done	1292	17
0	16	24
1	30	23
2	69	22
3	200	22
4	788	22
5	1546	17
6	2492	17
7	2575	17
done	2575	17
0	17	25
1	33	24
2	71	23
3	206	22
4	777	22
5	1530	17
6	2466	17
7	2550	17
done	2550	17
0	16	24
1	32	23
2	63	22
3	173	22
4	687	22
5	1392	17
6	2304	17
7	2388	17
done	2388	17
0	15	23
1	28	23
2	57	22
3	128	21
4	427	21
5	1305	18
6	2418	17
7	2519	17
8	2534	17
done	2534	17
0	14	22
1	29	22
2	72	22
3	224	20
4	847	12
5	2059	12
6	4078	12
7	4859	12
done	5000	12
0	14	22
1	28	22
2	62	22
3	176	20
4	623	12
5	1335	12
6	3171	12
done	5001	12
0	23	65
1	57	45
2	245	31
3	1666	27
done	5001	27
0	21	65
1	57	49
2	262	31
3	1931	27
done	5000	27
0	21	65
1	52	57
2	223	29
3	1422	27
done	5001	27
0	21	65
1	56	45
2	230	29
3	1444	25
done	5001	25
0	19	65
1	56	49
2	247	29
3	1708	25
done	5000	25
0	19	65
1	51	57
2	208	27
3	1207	25
done	5000	25
0	21	65
1	51	53
2	192	27
3	1038	25
done	5001	25
0	19	65
1	51	57
2	209	27
3	1239	25
done	5001	25
0	17	65
1	43	65
2	156	25
3	828	25
done	5001	25
0	15	45
1	27	45
2	55	45
3	155	41
4	522	25
5	969	25
6	1382	25
7	1521	25
8	1773	25
9	2546	25
done	5000	25
0	14	22
1	26	22
2	54	22
3	154	20
4	525	12
5	972	12
6	1369	12
7	1512	12
8	1762	12
9	2564	12
done	5000	12
0	15	65
1	37	65
2	156	23
3	995	21
done	5000	21
0	14	22
1	26	22
2	54	22
3	154	20
4	525	12
5	972	12
6	1369	12
7	1512	12
8	1762	12
9	2564	12
done	5000	12
0	14	22
1	26	22
2	54	22
3	154	20
4	525	12
5	972	12
6	1369	12
7	1512	12
8	1762	12
9	2564	12
done	5000	12
0	7	7
1	14	7
2	23	5
3	61	5
4	76	5
5	98	5
6	120	5
7	135	5
done	135	5
0	6	13
1	7	5
2	8	5
done	8	5
0	15	23
1	23	23
2	29	23
done	29	23
0	15	23
1	23	23
2	29	23
done	29	23
0	16	24
1	24	24
2	30	24
3	34	24
4	35	24
done	35	24
0	16	24
1	24	24
2	30	24
3	34	24
4	35	24
done	35	24
0	16	24
1	24	24
2	30	24
3	34	24
4	35	24
done	35	24
0	16	24
1	24	24
2	30	24
3	34	24
4	35	24
done	35	24
0	17	25
1	27	24
2	41	24
3	62	22
4	123	22
5	130	22
done	130	22
0	17	25
1	27	24
2	41	24
3	62	22
4	123	22
5	130	22
done	130	22
0	17	25
1	27	24
2	41	24
3	62	22
4	123	22
5	130	22
done	130	22
0	17	25
1	27	24
2	41	24
3	62	22
4	123	22
5	130	22
done	130	22
0	16	24
1	26	24
2	40	24
3	61	22
4	122	22
5	133	22
done	133	22
0	16	24
1	26	24
2	40	24
3	61	22
4	122	22
5	133	22
done	133	22
0	16	24
1	26	24
2	40	24
3	61	22
4	122	22
5	133	22
done	133	22
0	16	24
1	26	24
2	40	24
3	61	22
4	122	22
5	133	22
done	133	22
0	16	24
1	24	24
2	30	24
3	32	24
4	34	24
5	35	24
done	35	24
0	16	24
1	24	24
2	30	24
3	32	24
4	34	24
5	35	24
done	35	24
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	24
1	24	24
2	30	24
3	32	24
4	34	24
5	35	24
done	35	24
0	16	24
1	24	24
2	30	24
3	32	24
4	34	24
5	35	24
done	35	24
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	16	25
1	24	25
2	32	25
3	44	25
4	56	16
5	60	16
done	60	16
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	17	26
1	27	25
2	45	25
3	90	23
4	231	14
5	311	14
6	319	14
done	319	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	16	25
1	26	25
2	44	25
3	89	23
4	226	14
5	304	14
6	309	14
done	309	14
0	17	25
1	27	25
2	41	25
3	63	25
4	87	25
5	97	25
done	97	25
0	17	25
1	27	25
2	41	25
3	63	25
4	87	25
5	97	25
done	97	25
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	25
1	27	25
2	41	25
3	63	25
4	87	25
5	97	25
done	97	25
0	17	25
1	27	25
2	41	25
3	63	25
4	87	25
5	97	25
done	97	25
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	17	26
1	27	26
2	45	26
3	96	26
4	171	17
5	217	17
6	226	17
done	226	17
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	18	27
1	30	26
2	58	26
3	158	24
4	529	15
5	1006	15
6	1222	15
done	1222	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	17	26
1	29	26
2	57	26
3	157	24
4	534	15
5	1012	15
6	1219	15
7	1220	15
done	1220	15
0	15	34
1	27	34
2	48	34
3	95	34
4	170	34
5	233	34
6	250	34
done	250	34
0	14	22
1	24	22
2	38	22
3	60	22
4	84	22
5	94	22
done	94	22
0	17	36
1	33	36
2	84	36
3	261	36
4	821	36
5	2118	36
6	3022	36
7	3068	36
done	3068	36
0	18	35
1	31	28
2	59	28
3	159	28
4	436	28
5	889	28
6	1186	28
7	1208	28
done	1208	28
0	16	28
1	28	28
2	56	28
3	156	28
4	426	28
5	884	28
6	1175	28
7	1198	28
done	1198	28
0	16	23
1	28	22
2	56	22
3	152	20
4	431	20
5	902	20
6	1031	20
7	1032	20
done	1032	20
0	16	28
1	28	28
2	56	28
3	156	28
4	426	28
5	884	28
6	1175	28
7	1198	28
done	1198	28
0	15	22
1	27	20
2	61	20
3	197	20
4	502	20
5	848	20
6	905	20
done	905	20
0	16	31
1	28	31
2	57	31
3	156	31
4	387	31
5	743	31
6	928	31
done	928	31
0	17	30
1	28	23
2	47	23
3	106	23
4	216	23
5	317	23
6	357	23
done	357	23
0	15	23
1	25	23
2	44	23
3	103	23
4	211	23
5	312	23
6	350	23
done	350	23
0	15	18
1	25	17
2	44	17
3	103	15
4	272	15
5	477	15
6	516	15
done	516	15
0	15	23
1	25	23
2	44	23
3	103	23
4	211	23
5	312	23
6	350	23
done	350	23
0	14	17
1	24	15
2	45	15
3	111	15
4	241	15
5	311	15
done	311	15
0	19	38
1	39	36
2	116	34
3	462	32
4	2105	32
done	5000	32
0	20	37
1	39	28
2	94	26
3	311	24
4	1234	24
5	3067	24
6	4520	24
7	4644	24
done	4644	24
0	18	30
1	36	28
2	91	26
3	307	24
4	1239	24
5	3104	24
6	4524	24
7	4642	24
done	4642	24
0	18	25
1	36	22
2	91	18
3	270	16
4	867	16
5	1900	16
6	2333	16
7	2335	16
done	2335	16
0	18	30
1	36	28
2	91	26
3	307	24
4	1239	24
5	3104	24
6	4524	24
7	4642	24
done	4642	24
0	17	24
1	35	20
2	107	18
3	336	16
4	974	16
5	1964	16
6	2294	16
done	2294	16
0	18	35
1	34	33
2	88	31
3	302	29
4	1340	29
5	3447	29
6	4933	29
done	5001	29
0	19	34
1	34	25
2	73	23
3	218	21
4	812	21
5	1742	21
6	2277	21
7	2326	21
done	2326	21
0	17	27
1	31	25
2	70	23
3	215	21
4	814	21
5	1749	21
6	2248	21
7	2316	21
done	2316	21
0	17	22
1	31	19
2	70	15
3	177	13
4	572	13
5	1071	13
6	1313	13
7	1322	13
done	1322	13
0	17	27
1	31	25
2	70	23
3	215	21
4	814	21
5	1749	21
6	2248	21
7	2316	21
done	2316	21
0	16	21
1	30	17
2	78	15
3	204	13
4	586	13
5	1050	13
6	1205	13
done	1205	13
0	16	34
1	32	30
2	94	28
3	257	26
4	766	26
5	1709	26
6	2017	26
done	2017	26
0	17	33
1	32	22
2	75	20
3	169	18
4	454	18
5	910	18
6	1096	18
done	1096	18
0	15	26
1	29	22
2	72	20
3	166	18
4	448	18
5	913	18
6	1095	18
done	1095	18
0	15	21
1	29	14
2	68	12
3	130	10
4	227	10
5	328	10
6	341	10
7	349	10
done	349	10
0	15	26
1	29	22
2	72	20
3	166	18
4	448	18
5	913	18
6	1095	18
done	1095	18
0	14	20
1	28	12
2	44	10
3	111	10
4	214	10
5	322	10
6	332	10
done	332	10
0	18	35
1	34	34
2	84	34
3	312	32
4	1502	32
done	5000	32
0	19	34
1	34	26
2	68	26
3	219	24
4	917	24
5	2433	24
6	4007	24
7	4337	24
done	4337	24
0	17	27
1	31	26
2	65	26
3	216	24
4	928	24
5	2443	24
6	3996	24
7	4322	24
done	4322	24
0	16	22
1	30	20
2	64	18
3	203	16
4	699	16
5	1450	16
6	2002	16
7	2044	16
done	2044	16
0	17	27
1	31	26
2	65	26
3	216	24
4	928	24
5	2443	24
6	3996	24
7	4322	24
done	4322	24
0	16	21
1	30	18
2	74	18
3	231	16
4	745	16
5	1504	16
6	1928	16
7	1930	16
done	1930	16
0	17	32
1	31	31
2	73	31
3	238	29
4	1012	29
5	2842	29
6	4473	29
7	4810	29
done	4810	29
0	18	31
1	31	23
2	60	23
3	171	21
4	610	21
5	1237	21
6	1822	21
7	1909	21
done	1909	21
0	16	24
1	28	23
2	57	23
3	168	21
4	608	21
5	1232	21
6	1842	21
7	1967	21
done	1967	21
0	15	19
1	27	17
2	56	15
3	152	13
4	486	13
5	842	13
6	1059	13
7	1066	13
done	1066	13
0	16	24
1	28	23
2	57	23
3	168	21
4	608	21
5	1232	21
6	1842	21
7	1967	21
done	1967	21
0	15	18
1	27	15
2	62	15
3	161	13
4	476	13
5	819	13
6	969	13
done	969	13
0	15	31
1	29	28
2	63	26
3	233	26
4	716	26
5	1792	26
6	2333	26
7	2375	26
done	2375	26
0	16	30
1	29	20
2	52	18
3	160	18
4	414	18
5	968	18
6	1172	18
7	1198	18
done	1198	18
0	14	23
1	26	20
2	49	18
3	157	18
4	412	18
5	956	18
6	1176	18
7	1201	18
done	1201	18
0	13	18
1	25	12
2	42	10
3	111	10
4	214	10
5	312	10
6	315	10
done	315	10
0	14	23
1	26	20
2	49	18
3	157	18
4	412	18
5	956	18
6	1176	18
7	1201	18
done	1201	18
0	13	17
1	25	12
2	41	10
3	108	10
4	213	10
5	320	10
6	329	10
done	329	10
0	17	34
1	33	34
2	83	34
3	311	32
4	1505	32
done	5000	32
0	18	33
1	33	26
2	67	26
3	218	24
4	922	24
5	2440	24
6	4060	24
7	4408	24
done	4408	24
0	16	26
1	30	26
2	64	26
3	215	24
4	923	24
5	2428	24
6	3989	24
7	4272	24
done	4272	24
0	16	21
1	30	20
2	64	18
3	203	16
4	698	16
5	1450	16
6	1988	16
7	2028	16
done	2028	16
0	16	26
1	30	26
2	64	26
3	215	24
4	923	24
5	2428	24
6	3989	24
7	4272	24
done	4272	24
0	15	20
1	29	18
2	73	18
3	229	16
4	745	16
5	1504	16
6	1901	16
7	1904	16
done	1904	16
0	16	31
1	30	31
2	72	31
3	237	29
4	1012	29
5	2824	29
6	4527	29
7	4855	29
done	4855	29
0	17	30
1	30	23
2	59	23
3	170	21
4	622	21
5	1251	21
6	1873	21
7	2017	21
done	2017	21
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1248	21
6	1877	21
7	1988	21
done	1988	21
0	15	18
1	27	17
2	56	15
3	152	13
4	486	13
5	842	13
6	1055	13
7	1061	13
done	1061	13
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1248	21
6	1877	21
7	1988	21
done	1988	21
0	14	17
1	26	15
2	61	15
3	161	13
4	478	13
5	815	13
6	987	13
done	987	13
0	14	30
1	28	28
2	62	26
3	230	26
4	708	26
5	1779	26
6	2303	26
7	2342	26
done	2342	26
0	15	29
1	28	20
2	51	18
3	159	18
4	415	18
5	971	18
6	1181	18
7	1203	18
done	1203	18
0	13	22
1	25	20
2	48	18
3	156	18
4	406	18
5	946	18
6	1153	18
7	1157	18
done	1157	18
0	13	17
1	25	12
2	42	10
3	111	10
4	214	10
5	315	10
6	317	10
done	317	10
0	13	22
1	25	20
2	48	18
3	156	18
4	406	18
5	946	18
6	1153	18
7	1157	18
done	1157	18
0	12	16
1	24	12
2	40	10
3	107	10
4	211	10
5	312	10
6	314	10
done	314	10
0	13	28
1	25	28
2	53	26
3	195	26
4	487	26
5	897	26
6	1156	26
7	1173	26
done	1173	26
0	14	27
1	25	20
2	44	18
3	136	18
4	267	18
5	407	18
6	486	18
7	490	18
done	490	18
0	12	20
1	22	20
2	41	18
3	133	18
4	260	18
5	402	18
6	477	18
7	485	18
done	485	18
0	12	15
1	22	14
2	40	12
3	132	10
4	521	10
5	709	10
6	737	10
7	746	10
done	746	10
0	12	20
1	22	20
2	41	18
3	133	18
4	260	18
5	402	18
6	477	18
7	485	18
done	485	18
0	11	14
1	21	12
2	39	10
3	106	10
4	206	10
5	307	10
6	309	10
done	309	10
0	13	28
1	25	28
2	53	26
3	195	26
4	487	26
5	897	26
6	1156	26
7	1173	26
done	1173	26
0	14	27
1	25	20
2	44	18
3	136	18
4	267	18
5	407	18
6	486	18
7	490	18
done	490	18
0	12	20
1	22	20
2	41	18
3	133	18
4	260	18
5	402	18
6	477	18
7	485	18
done	485	18
0	12	15
1	22	14
2	40	12
3	132	10
4	521	10
5	709	10
6	737	10
7	746	10
done	746	10
0	12	20
1	22	20
2	41	18
3	133	18
4	260	18
5	402	18
6	477	18
7	485	18
done	485	18
0	11	14
1	21	12
2	39	10
3	106	10
4	206	10
5	307	10
6	309	10
done	309	10
0	10	12
1	18	10
2	36	10
3	69	10
4	100	10
5	127	10
6	140	10
7	143	10
done	143	10
0	12	14
1	22	14
2	41	12
3	133	12
4	260	12
5	412	12
6	485	12
7	489	12
done	489	12
0	18	25
1	46	25
2	99	23
3	247	21
4	791	21
5	1700	21
6	3286	21
done	5001	21
0	17	27
1	37	27
2	80	25
3	226	21
4	719	21
5	1480	21
6	2344	21
7	3239	21
done	5001	21
0	14	22
1	24	22
2	38	22
3	59	20
4	115	20
5	129	20
6	141	20
7	172	20
8	188	20
9	204	20
10	222	20
11	234	20
12	235	20
done	235	20
0	14	22
1	24	22
2	38	22
3	59	20
4	115	20
5	129	20
6	141	20
7	172	20
8	188	20
9	204	20
10	222	20
11	234	20
12	235	20
done	235	20
0	15	23
1	25	23
2	44	23
3	97	21
4	261	21
5	413	21
6	445	21
done	445	21
0	16	23
1	26	23
2	45	23
3	98	21
4	266	21
5	416	21
6	453	21
done	453	21
0	15	23
1	25	23
2	44	23
3	97	21
4	261	21
5	413	21
6	445	21
done	445	21
0	14	22
1	24	22
2	42	22
3	87	20
4	224	12
5	305	12
6	325	12
7	337	12
8	382	12
9	523	12
10	627	12
11	636	12
12	648	12
done	648	12
0	15	23
1	25	23
2	44	23
3	97	21
4	261	21
5	413	21
6	445	21
done	445	21
0	14	22
1	24	22
2	42	22
3	87	20
4	224	12
5	305	12
6	325	12
7	337	12
8	382	12
9	523	12
10	627	12
11	636	12
12	648	12
done	648	12
0	15	23
1	25	23
2	44	23
3	97	21
4	261	21
5	413	21
6	445	21
done	445	21
0	16	23
1	26	23
2	45	23
3	98	21
4	266	21
5	416	21
6	453	21
done	453	21
0	15	23
1	25	23
2	44	23
3	97	21
4	261	21
5	413	21
6	445	21
done	445	21
0	14	22
1	24	22
2	42	22
3	87	20
4	224	12
5	305	12
6	325	12
7	337	12
8	382	12
9	523	12
10	627	12
11	636	12
12	648	12
done	648	12
0	15	23
1	25	23
2	44	23
3	97	21
4	261	21
5	413	21
6	445	21
done	445	21
0	14	22
1	24	22
2	42	22
3	87	20
4	224	12
5	305	12
6	325	12
7	337	12
8	382	12
9	523	12
10	627	12
11	636	12
12	648	12
done	648	12
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	17	24
1	29	24
2	58	24
3	169	22
4	611	22
5	1335	22
6	1845	22
7	1854	22
done	1854	22
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	17	24
1	29	24
2	58	24
3	169	22
4	611	22
5	1335	22
6	1845	22
7	1854	22
done	1854	22
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1335	21
6	1869	21
7	1874	21
done	1874	21
0	16	23
1	28	23
2	57	23
3	168	21
4	619	21
5	1329	21
6	1850	21
7	1861	21
done	1861	21
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1335	21
6	1869	21
7	1874	21
done	1874	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	1012	12
6	1276	12
7	1353	12
8	1621	12
9	2482	12
10	3021	12
11	3069	12
12	3087	12
done	3087	12
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1335	21
6	1869	21
7	1874	21
done	1874	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	1012	12
6	1276	12
7	1353	12
8	1621	12
9	2482	12
10	3021	12
11	3069	12
12	3087	12
done	3087	12
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	17	24
1	29	24
2	58	24
3	169	22
4	611	22
5	1335	22
6	1845	22
7	1854	22
done	1854	22
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	17	24
1	29	24
2	58	24
3	169	22
4	611	22
5	1335	22
6	1845	22
7	1854	22
done	1854	22
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	16	24
1	28	24
2	57	24
3	168	22
4	619	22
5	1334	22
6	1832	22
7	1836	22
done	1836	22
0	15	23
1	27	23
2	55	23
3	155	21
4	528	13
5	1019	13
6	1281	13
7	1359	13
8	1612	13
9	2416	13
10	2937	13
11	2985	13
12	3007	13
done	3007	13
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1335	21
6	1869	21
7	1874	21
done	1874	21
0	16	23
1	28	23
2	57	23
3	168	21
4	619	21
5	1329	21
6	1850	21
7	1861	21
done	1861	21
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1335	21
6	1869	21
7	1874	21
done	1874	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	1012	12
6	1276	12
7	1353	12
8	1621	12
9	2482	12
10	3021	12
11	3069	12
12	3087	12
done	3087	12
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1335	21
6	1869	21
7	1874	21
done	1874	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	1012	12
6	1276	12
7	1353	12
8	1621	12
9	2482	12
10	3021	12
11	3069	12
12	3087	12
done	3087	12
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1269	21
6	1917	21
7	2063	21
done	2063	21
0	16	23
1	28	23
2	57	23
3	168	21
4	619	21
5	1266	21
6	1908	21
7	2030	21
done	2030	21
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1269	21
6	1917	21
7	2063	21
done	2063	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	967	12
6	1345	12
7	1501	12
8	1734	12
9	2506	12
done	5000	12
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1269	21
6	1917	21
7	2063	21
done	2063	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	967	12
6	1345	12
7	1501	12
8	1734	12
9	2506	12
done	5000	12
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1269	21
6	1917	21
7	2063	21
done	2063	21
0	16	23
1	28	23
2	57	23
3	168	21
4	619	21
5	1266	21
6	1908	21
7	2030	21
done	2030	21
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1269	21
6	1917	21
7	2063	21
done	2063	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	967	12
6	1345	12
7	1501	12
8	1734	12
9	2506	12
done	5000	12
0	15	23
1	27	23
2	56	23
3	167	21
4	608	21
5	1269	21
6	1917	21
7	2063	21
done	2063	21
0	14	22
1	26	22
2	54	22
3	154	20
4	521	12
5	967	12
6	1345	12
7	1501	12
8	1734	12
9	2506	12
done	5000	12
0	14	22
1	26	22
2	55	22
3	166	20
4	614	20
5	1267	20
6	1896	20
7	2015	20
done	2015	20
0	15	22
1	27	22
2	56	22
3	167	20
4	618	20
5	1273	20
6	1906	20
7	2000	20
done	2000	20
0	14	22
1	26	22
2	55	22
3	166	20
4	614	20
5	1267	20
6	1896	20
7	2015	20
done	2015	20
0	13	21
1	25	21
2	53	21
3	153	19
4	517	11
5	950	11
6	1361	11
7	1506	11
8	1756	11
9	2527	11
done	5000	11
0	14	22
1	26	22
2	55	22
3	166	20
4	614	20
5	1267	20
6	1896	20
7	2015	20
done	2015	20
0	13	21
1	25	21
2	53	21
3	153	19
4	517	11
5	950	11
6	1361	11
7	1506	11
8	1756	11
9	2527	11
done	5000	11
0	14	22
1	26	22
2	55	22
3	166	20
4	614	20
5	1267	20
6	1896	20
7	2015	20
done	2015	20
0	15	22
1	27	22
2	56	22
3	167	20
4	618	20
5	1273	20
6	1906	20
7	2000	20
done	2000	20
0	14	22
1	26	22
2	55	22
3	166	20
4	614	20
5	1267	20
6	1896	20
7	2015	20
done	2015	20
0	13	21
1	25	21
2	53	21
3	153	19
4	517	11
5	950	11
6	1361	11
7	1506	11
8	1756	11
9	2527	11
done	5000	11
0	14	22
1	26	22
2	55	22
3	166	20
4	614	20
5	1267	20
6	1896	20
7	2015	20
done	2015	20
0	13	21
1	25	21
2	53	21
3	153	19
4	517	11
5	950	11
6	1361	11
7	1506	11
8	1756	11
9	2527	11
done	5000	11
0	14	22
1	26	22
2	55	22
3	159	20
4	521	20
5	728	20
6	731	20
done	731	20
0	15	22
1	27	22
2	56	22
3	160	20
4	530	20
5	738	20
6	741	20
done	741	20
0	14	22
1	26	22
2	55	22
3	159	20
4	521	20
5	728	20
6	731	20
done	731	20
0	13	21
1	25	21
2	52	21
3	142	19
4	396	11
5	515	11
6	540	11
7	566	11
8	654	11
9	913	11
10	1059	11
done	1059	11
0	14	22
1	26	22
2	55	22
3	159	20
4	521	20
5	728	20
6	731	20
done	731	20
0	13	21
1	25	21
2	52	21
3	142	19
4	396	11
5	515	11
6	540	11
7	566	11
8	654	11
9	913	11
10	1059	11
done	1059	11
0	13	21
1	25	21
2	53	21
3	153	19
4	517	11
5	950	11
6	1361	11
7	1506	11
8	1756	11
9	2527	11
done	5000	11
0	11	19
1	21	19
2	38	17
3	86	17
4	151	9
5	152	9
6	160	9
7	164	9
8	166	9
done	166	9
0	16	29
1	38	25
2	78	25
3	140	21
4	230	21
5	287	21
6	392	21
7	718	21
8	2509	21
done	5001	21
0	12	17
1	22	17
2	37	17
3	58	15
4	114	15
5	122	15
done	122	15
0	12	14
1	22	14
2	41	12
3	133	12
4	260	12
5	412	12
6	485	12
7	489	12
done	489	12
0	12	14
1	22	14
2	41	14
3	94	12
4	217	12
5	313	12
6	424	12
7	503	12
done	503	12
0	11	13
1	18	13
2	29	13
3	45	13
4	54	13
5	62	13
6	77	13
7	103	13
8	112	13
done	112	13
0	10	12
1	16	12
2	23	12
3	38	12
4	52	12
5	56	12
6	64	12
7	79	12
8	105	12
9	114	12
done	114	12
0	9	11
1	15	11
2	25	11
3	37	11
4	54	11
5	66	11
6	74	11
7	87	11
8	101	11
9	117	11
10	121	11
done	121	11
0	9	11
1	12	11
2	15	11
done	15	11
0	14	32
1	29	24
2	113	16
3	466	14
4	1891	12
done	5000	12
0	12	32
1	28	24
2	94	14
3	328	12
4	1277	12
5	3533	12
done	5000	12
0	10	23
1	13	23
2	16	23
done	16	23
0	9	11
1	12	11
2	15	11
done	15	11
0	10	32
1	20	32
2	54	12
3	199	12
4	903	12
5	2520	12
6	4965	12
done	5000	12
0	9	11
1	12	11
2	15	11
done	15	11
0	9	11
1	12	11
2	15	11
done	15	11
0	4	4
1	6	4
done	6	4
0	6	7
1	7	7
done	7	7
0	12	25
1	19	25
2	28	25
3	34	25
done	34	25
0	10	12
1	11	12
done	11	12
0	12	24
1	16	17
2	18	17
3	19	17
done	19	17
0	10	12
1	11	12
done	11	12
0	11	17
1	14	17
2	16	17
3	17	17
done	17	17
0	10	12
1	11	12
done	11	12
0	8	12
1	12	11
2	14	11
3	15	9
4	22	9
done	22	9
0	9	11
1	10	11
done	10	11
0	11	17
1	14	17
2	16	17
3	17	17
done	17	17
0	10	12
1	11	12
done	11	12
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	9	11
1	10	11
done	10	11
0	11	20
1	14	20
done	14	20
0	10	12
1	11	12
done	11	12
0	11	19
1	13	12
done	13	12
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	7	7
1	9	6
done	9	6
0	9	11
1	10	11
done	10	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	6	6
1	8	4
2	10	4
done	10	4
0	9	11
1	10	11
done	10	11
0	14	27
1	25	27
2	60	27
3	148	27
4	274	27
5	313	27
done	313	27
0	11	13
1	14	13
2	17	13
done	17	13
0	14	26
1	24	19
2	47	19
3	84	19
4	125	19
5	131	19
done	131	19
0	11	13
1	14	13
2	17	13
done	17	13
0	13	19
1	22	19
2	45	19
3	82	19
4	123	19
5	127	19
done	127	19
0	11	13
1	14	13
2	17	13
done	17	13
0	10	14
1	20	13
2	43	13
3	78	11
4	118	11
done	118	11
0	10	12
1	13	12
2	16	12
done	16	12
0	13	19
1	22	19
2	45	19
3	82	19
4	123	19
5	127	19
done	127	19
0	11	13
1	14	13
2	17	13
done	17	13
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	10	12
1	13	12
2	16	12
done	16	12
0	13	24
1	20	24
2	36	24
3	72	24
4	111	24
5	121	24
done	121	24
0	11	13
1	14	13
2	17	13
done	17	13
0	13	23
1	19	16
2	30	16
3	43	16
4	53	16
done	53	16
0	11	13
1	14	13
2	17	13
done	17	13
0	12	16
1	17	16
2	28	16
3	41	16
4	51	16
done	51	16
0	11	13
1	14	13
2	17	13
done	17	13
0	9	11
1	15	10
2	26	10
3	39	8
4	59	8
done	59	8
0	10	12
1	13	12
2	16	12
done	16	12
0	12	16
1	17	16
2	28	16
3	41	16
4	51	16
done	51	16
0	11	13
1	14	13
2	17	13
done	17	13
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	10	12
1	13	12
2	16	12
done	16	12
0	12	23
1	21	21
2	50	21
3	107	21
4	123	21
done	123	21
0	10	12
1	13	12
2	16	12
done	16	12
0	12	22
1	20	13
2	40	13
3	62	13
4	63	13
done	63	13
0	10	12
1	13	12
2	16	12
done	16	12
0	11	15
1	18	13
2	38	13
3	60	13
4	61	13
done	61	13
0	10	12
1	13	12
2	16	12
done	16	12
0	7	10
1	13	5
2	28	5
3	35	5
done	35	5
0	9	11
1	12	11
2	15	11
done	15	11
0	11	15
1	18	13
2	38	13
3	60	13
4	61	13
done	61	13
0	10	12
1	13	12
2	16	12
done	16	12
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	11
1	12	11
2	15	11
done	15	11
0	13	24
1	20	24
2	32	24
3	59	24
4	63	24
done	63	24
0	11	13
1	14	13
2	17	13
done	17	13
0	13	23
1	19	16
2	25	16
3	33	16
done	33	16
0	11	13
1	14	13
2	17	13
done	17	13
0	12	16
1	17	16
2	23	16
3	31	16
done	31	16
0	11	13
1	14	13
2	17	13
done	17	13
0	9	11
1	15	10
2	21	10
3	29	8
4	36	8
done	36	8
0	10	12
1	13	12
2	16	12
done	16	12
0	12	16
1	17	16
2	23	16
3	31	16
done	31	16
0	11	13
1	14	13
2	17	13
done	17	13
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	10	12
1	13	12
2	16	12
done	16	12
0	12	21
1	17	21
2	23	21
3	29	21
done	29	21
0	11	13
1	14	13
2	17	13
done	17	13
0	12	20
1	16	13
2	19	13
done	19	13
0	11	13
1	14	13
2	17	13
done	17	13
0	11	13
1	14	13
2	17	13
done	17	13
0	11	13
1	14	13
2	17	13
done	17	13
0	8	8
1	12	7
2	15	7
done	15	5
0	10	12
1	13	12
2	16	12
done	16	12
0	11	13
1	14	13
2	17	13
done	17	13
0	11	13
1	14	13
2	17	13
done	17	13
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	10	12
1	13	12
2	16	12
done	16	12
0	11	20
1	18	18
2	27	18
3	35	18
done	35	18
0	10	12
1	13	12
2	16	12
done	16	12
0	11	19
1	17	10
2	23	10
done	23	10
0	10	12
1	13	12
2	16	12
done	16	12
0	10	12
1	15	10
2	21	10
done	21	10
0	10	12
1	13	12
2	16	12
done	16	12
0	6	7
1	10	2
2	16	2
done	16	2
0	9	11
1	12	11
2	15	11
done	15	11
0	10	12
1	15	10
2	21	10
done	21	10
0	10	12
1	13	12
2	16	12
done	16	12
0	5	6
1	9	2
done	9	2
0	9	11
1	12	11
2	15	11
done	15	11
0	13	23
1	22	23
2	34	23
3	61	23
4	66	23
done	66	23
0	10	12
1	13	12
2	16	12
done	16	12
0	13	22
1	21	15
2	27	15
3	35	15
done	35	15
0	10	12
1	13	12
2	16	12
done	16	12
0	12	15
1	19	15
2	25	15
3	33	15
done	33	15
0	10	12
1	13	12
2	16	12
done	16	12
0	7	10
1	13	9
2	19	7
3	31	7
done	31	7
0	9	11
1	12	11
2	15	11
done	15	11
0	12	15
1	19	15
2	25	15
3	33	15
done	33	15
0	10	12
1	13	12
2	16	12
done	16	12
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	9	11
1	12	11
2	15	11
done	15	11
0	12	20
1	19	20
2	25	20
3	31	20
done	31	20
0	10	12
1	13	12
2	16	12
done	16	12
0	12	19
1	18	12
2	21	12
done	21	12
0	10	12
1	13	12
2	16	12
done	16	12
0	11	12
1	16	12
2	19	12
done	19	12
0	10	12
1	13	12
2	16	12
done	16	12
0	6	7
1	10	6
2	13	4
3	17	4
done	17	4
0	9	11
1	12	11
2	15	11
done	15	11
0	11	12
1	16	12
2	19	12
done	19	12
0	10	12
1	13	12
2	16	12
done	16	12
0	5	6
1	9	4
2	16	4
done	16	4
0	9	11
1	12	11
2	15	11
done	15	11
0	10	19
1	17	17
2	21	17
3	31	17
4	32	17
done	32	17
0	9	11
1	12	11
2	15	11
done	15	11
0	10	18
1	16	9
2	18	9
3	22	9
done	22	9
0	9	11
1	12	11
2	15	11
done	15	11
0	9	11
1	14	9
2	16	9
3	20	9
done	20	9
0	9	11
1	12	11
2	15	11
done	15	11
0	4	6
1	8	1
done	8	1
0	8	10
1	11	10
2	14	10
done	14	10
0	9	11
1	14	9
2	16	9
3	20	9
done	20	9
0	9	11
1	12	11
2	15	11
done	15	11
0	3	5
1	7	1
done	7	1
0	8	10
1	11	10
2	14	10
done	14	10
0	9	17
1	14	17
done	14	17
0	9	11
1	12	11
2	15	11
done	15	11
0	9	16
1	13	9
done	13	9
0	9	11
1	12	11
2	15	11
done	15	11
0	8	9
1	11	9
done	11	9
0	9	11
1	12	11
2	15	11
done	15	11
0	3	4
1	5	3
done	5	3
0	8	10
1	11	10
2	14	10
done	14	10
0	8	9
1	11	9
done	11	9
0	9	11
1	12	11
2	15	11
done	15	11
0	2	3
1	4	1
done	4	1
0	8	10
1	11	10
2	14	10
done	14	10
0	8	17
1	11	17
done	11	17
0	10	11
1	15	11
2	18	11
done	18	11
0	8	16
1	10	9
done	10	9
0	10	11
1	15	11
2	18	11
done	18	11
0	7	9
1	8	9
done	8	9
0	10	11
1	15	11
2	18	11
done	18	11
0	4	4
1	6	3
done	6	3
0	9	10
1	14	10
2	17	10
done	17	10
0	7	9
1	8	9
done	8	9
0	10	11
1	15	11
2	18	11
done	18	11
0	3	3
1	5	1
done	5	1
0	9	10
1	14	10
2	17	10
done	17	10
0	7	8
1	10	8
done	10	8
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	10	19
1	15	19
2	21	19
3	27	19
done	27	19
0	10	18
1	14	11
2	17	11
done	17	11
0	9	11
1	12	11
2	15	11
done	15	11
0	6	6
1	10	5
2	13	5
done	13	3
0	9	11
1	12	11
2	15	11
done	15	11
0	5	5
1	9	3
2	16	3
done	16	3
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	10	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	10	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	10	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	10	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	9	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	8	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	14	10
2	17	8
3	26	8
4	35	8
5	37	8
done	37	8
0	11	14
1	29	14
2	56	12
3	94	12
4	189	12
5	465	12
6	1492	12
done	5001	12
0	10	16
1	21	16
2	39	14
3	75	12
4	134	12
5	256	12
6	511	12
7	1336	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	17	22
1	43	22
2	127	22
3	408	22
4	1750	19
done	5000	19
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	68	11
3	134	11
4	292	11
5	788	11
6	2970	11
done	5000	11
0	17	22
1	43	22
2	127	22
3	408	22
4	1750	19
done	5000	19
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	68	11
3	134	11
4	292	11
5	788	11
6	2970	11
done	5000	11
0	13	17
1	34	15
2	101	15
3	327	13
4	1149	11
5	4452	11
done	5000	11
0	18	23
1	47	21
2	147	19
3	575	19
4	3247	17
done	5000	17
0	18	23
1	47	21
2	147	19
3	575	19
4	3247	17
done	5000	17
0	13	17
1	29	17
2	86	17
3	215	17
4	460	17
5	737	17
6	845	17
7	905	17
8	1114	17
9	2044	17
done	5001	17
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5

prune915.0ms

Filtered

275 candidates to 395 candidates (-43.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	395	0	395
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	395	9	404

Merged error: 5.6b

Counts

404 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* y 1.0) (* y (* z z)))
3.9b	(/ (/ 1.0 x) (+ (* y 1.0) (* y (* z z))))
8.1b	(* y (* z z))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

97×	`times-frac`
54×	`add-sqr-sqrt`
53×	`add-cube-cbrt` `*-un-lft-identity`
15×	`distribute-lft-out`
13×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`pow1`
6×	`div-inv`
5×	`add-log-exp`
4×	`associate-/r*`
3×	`cbrt-undiv` `div-exp` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `associate-/r/` `flip-+`
1×	`+-commutative` `frac-2neg` `associate-r` `clear-num` `sum-log` `*-commutative` `associate-/l/` `unswap-sqr`

Counts

3 → 117

Calls

3 calls:

4.0ms	(+ (* y 1.0) (* y (* z z)))
9.0ms	(/ (/ 1.0 x) (+ (* y 1.0) (* y (* z z))))
6.0ms	(* y (* z z))

series50.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ (* y 1.0) (* y (* z z)))
30.0ms	(/ (/ 1.0 x) (+ (* y 1.0) (* y (* z z))))
8.0ms	(* y (* z z))

simplify1.7min

Counts

126 → 126

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	13	16
1	26	14
2	44	14
3	72	14
4	122	14
5	215	14
6	302	14
7	473	14
8	500	14
done	500	14
0	12	15
1	24	13
2	38	13
3	61	13
4	108	13
5	190	13
6	253	13
7	376	13
8	477	13
9	488	13
done	488	13
0	11	14
1	23	12
2	44	12
3	88	12
4	171	12
5	275	12
6	398	12
7	518	12
8	608	12
9	628	12
10	629	12
done	629	12
0	11	14
1	20	12
2	31	12
3	53	12
4	81	12
5	101	12
done	101	12
0	16	41
1	49	35
2	213	17
3	1202	15
done	5000	15
0	14	41
1	48	35
2	196	15
3	1028	13
done	5000	13
0	12	29
1	21	25
2	32	25
3	54	25
4	82	25
5	100	25
done	100	25
0	11	14
1	20	12
2	31	12
3	53	12
4	81	12
5	101	12
done	101	12
0	12	41
1	28	35
2	81	13
3	402	13
4	3127	13
done	5001	13
0	11	14
1	20	12
2	31	12
3	53	12
4	81	12
5	101	12
done	101	12
0	11	14
1	20	12
2	31	12
3	53	12
4	81	12
5	101	12
done	101	12
0	4	4
1	6	4
done	6	4
0	8	10
1	18	8
2	42	8
3	63	8
4	65	8
done	65	8
0	14	31
1	27	27
2	40	27
3	46	27
done	46	27
0	12	15
1	19	13
2	23	13
done	23	13
0	13	20
1	22	18
2	28	18
3	29	18
done	29	18
0	12	15
1	19	13
2	23	13
done	23	13
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	11	14
1	18	12
2	24	12
3	26	12
done	26	12
0	7	11
1	9	11
2	11	11
3	12	11
done	12	11
0	8	10
1	9	10
done	9	10
0	13	26
1	22	22
2	26	22
done	26	22
0	12	15
1	19	13
2	23	13
done	23	13
0	12	15
1	19	13
2	23	13
done	23	13
0	12	15
1	19	13
2	23	13
done	23	13
0	6	6
1	8	4
2	10	4
done	10	4
0	11	14
1	18	12
2	24	12
3	26	12
done	26	12
0	6	6
done	6	6
0	8	10
1	9	10
done	9	10
0	16	33
1	33	29
2	72	29
3	160	29
4	289	29
5	326	29
done	326	29
0	13	16
1	22	14
2	29	14
done	29	14
0	15	22
1	30	20
2	57	20
3	94	20
4	135	20
5	141	20
done	141	20
0	13	16
1	22	14
2	29	14
done	29	14
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	12	15
1	21	13
2	32	13
3	54	13
4	81	13
5	100	13
done	100	13
0	9	13
1	17	13
2	40	13
3	77	13
4	118	13
5	123	13
done	123	13
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	15	30
1	28	26
2	48	26
3	84	26
4	126	26
5	136	26
done	136	26
0	13	16
1	22	14
2	29	14
done	29	14
0	14	19
1	25	17
2	40	17
3	53	17
4	63	17
done	63	17
0	13	16
1	22	14
2	29	14
done	29	14
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	12	15
1	21	13
2	32	13
3	54	13
4	81	13
5	100	13
done	100	13
0	8	10
1	12	10
2	23	10
3	36	10
4	46	10
done	46	10
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	14	29
1	29	23
2	62	23
3	119	23
4	134	23
done	134	23
0	12	15
1	21	13
2	28	13
done	28	13
0	13	18
1	26	14
2	50	14
3	72	14
4	73	14
done	73	14
0	12	15
1	21	13
2	28	13
done	28	13
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	11	14
1	20	12
2	31	12
3	53	12
4	80	12
5	102	12
done	102	12
0	7	9
1	13	7
2	33	7
3	51	7
4	61	7
5	66	7
done	66	7
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	15	30
1	28	26
2	44	26
3	71	26
4	76	26
done	76	26
0	13	16
1	22	14
2	29	14
done	29	14
0	14	19
1	25	17
2	35	17
3	43	17
done	43	17
0	13	16
1	22	14
2	29	14
done	29	14
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	12	15
1	21	13
2	32	13
3	54	13
4	81	13
5	100	13
done	100	13
0	8	10
1	12	10
2	18	10
3	26	10
done	26	10
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	14	27
1	25	23
2	35	23
3	41	23
done	41	23
0	13	16
1	22	14
2	29	14
done	29	14
0	13	16
1	22	14
2	29	14
done	29	14
0	13	16
1	22	14
2	29	14
done	29	14
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	12	15
1	21	13
2	32	13
3	54	13
4	81	13
5	100	13
done	100	13
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	12	11
2	15	11
3	23	11
4	27	11
done	27	11
0	13	26
1	26	20
2	39	20
3	47	20
done	47	20
0	12	15
1	21	13
2	28	13
done	28	13
0	12	15
1	23	11
2	33	11
done	33	11
0	12	15
1	21	13
2	28	13
done	28	13
0	5	6
1	9	2
done	9	2
0	11	14
1	20	12
2	31	12
3	53	12
4	80	12
5	102	12
done	102	12
0	6	6
1	10	4
2	16	4
done	16	4
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	15	29
1	30	25
2	46	25
3	73	25
4	77	25
done	77	25
0	12	15
1	21	13
2	28	13
done	28	13
0	14	18
1	27	16
2	37	16
3	45	16
done	45	16
0	12	15
1	21	13
2	28	13
done	28	13
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	11	14
1	20	12
2	31	12
3	53	12
4	80	12
5	101	12
done	101	12
0	7	9
1	13	9
2	19	9
3	27	9
done	27	9
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	14	26
1	27	22
2	37	22
3	43	22
done	43	22
0	12	15
1	21	13
2	28	13
done	28	13
0	13	15
1	24	13
2	31	13
done	31	13
0	12	15
1	21	13
2	28	13
done	28	13
0	5	6
1	9	4
2	16	4
done	16	4
0	11	14
1	20	12
2	31	12
3	53	12
4	80	12
5	101	12
done	101	12
0	6	6
1	10	6
2	13	6
done	13	6
0	8	10
1	11	10
2	14	10
3	22	10
4	26	10
done	26	10
0	12	25
1	25	19
2	33	19
3	43	19
4	44	19
done	44	19
0	11	14
1	20	12
2	27	12
done	27	12
0	11	14
1	22	10
2	28	10
3	32	10
done	32	10
0	11	14
1	20	12
2	27	12
done	27	12
0	3	5
1	7	1
done	7	1
0	10	13
1	19	11
2	30	11
3	52	11
4	80	11
5	91	11
done	91	11
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	7	9
1	10	9
2	13	9
3	21	9
4	25	9
5	27	9
done	27	9
0	11	23
1	22	19
2	26	19
done	26	19
0	11	14
1	20	12
2	27	12
done	27	12
0	10	12
1	19	10
2	23	10
done	23	10
0	11	14
1	20	12
2	27	12
done	27	12
0	2	3
1	4	1
done	4	1
0	10	13
1	19	11
2	30	11
3	52	11
4	80	11
5	91	11
done	91	11
0	3	3
1	5	3
done	5	3
0	7	9
1	10	9
2	13	9
3	21	9
4	25	9
5	27	9
done	27	9
0	10	23
1	19	19
2	23	19
done	23	19
0	12	14
1	23	12
2	30	12
done	30	12
0	9	12
1	16	10
2	20	10
done	20	10
0	12	14
1	23	12
2	30	12
done	30	12
0	3	3
1	5	1
done	5	1
0	11	13
1	22	11
2	33	11
3	55	11
4	82	11
5	92	11
done	92	11
0	3	3
done	3	3
0	8	9
1	13	9
2	16	9
3	24	9
4	28	9
done	28	9
0	9	11
1	18	9
2	24	9
3	26	9
done	26	9
0	10	13
1	19	11
2	30	11
3	47	11
4	94	11
5	158	11
6	227	11
7	309	11
8	382	11
9	936	11
done	5000	11
0	12	25
1	23	21
2	33	21
3	39	21
done	39	21
0	11	14
1	20	12
2	27	12
done	27	12
0	5	5
1	9	3
2	16	3
done	16	3
0	5	5
1	7	5
2	10	5
done	10	5
0	11	14
1	18	12
2	24	12
3	28	12
4	39	12
5	46	12
6	59	12
7	73	12
8	85	12
9	90	12
done	90	12
0	11	14
1	18	12
2	24	12
3	28	12
4	39	12
5	46	12
6	59	12
7	73	12
8	85	12
9	90	12
done	90	12
0	12	15
1	21	13
2	32	13
3	49	13
4	96	13
5	159	13
6	233	13
7	315	13
8	388	13
9	405	13
10	406	13
done	406	13
0	12	15
1	21	13
2	32	13
3	49	13
4	96	13
5	159	13
6	233	13
7	315	13
8	388	13
9	405	13
10	406	13
done	406	13
0	11	14
1	20	12
2	31	12
3	48	12
4	95	12
5	158	12
6	226	12
7	308	12
8	382	12
9	400	12
done	400	12
0	12	15
1	21	13
2	32	13
3	49	13
4	96	13
5	159	13
6	233	13
7	315	13
8	388	13
9	405	13
10	406	13
done	406	13
0	12	15
1	21	13
2	32	13
3	49	13
4	96	13
5	159	13
6	233	13
7	315	13
8	388	13
9	405	13
10	406	13
done	406	13
0	11	14
1	20	12
2	31	12
3	48	12
4	95	12
5	158	12
6	226	12
7	308	12
8	382	12
9	400	12
done	400	12
0	11	14
1	20	12
2	31	12
3	48	12
4	95	12
5	158	12
6	226	12
7	308	12
8	381	12
9	935	12
done	5000	12
0	11	14
1	20	12
2	31	12
3	48	12
4	95	12
5	158	12
6	226	12
7	308	12
8	381	12
9	935	12
done	5000	12
0	10	13
1	19	11
2	30	11
3	47	11
4	94	11
5	158	11
6	227	11
7	309	11
8	382	11
9	936	11
done	5000	11
0	10	13
1	19	11
2	30	11
3	47	11
4	94	11
5	158	11
6	227	11
7	309	11
8	382	11
9	936	11
done	5000	11
0	11	13
1	22	11
2	33	9
3	75	9
4	184	9
5	256	9
6	298	9
7	497	9
8	644	9
9	719	9
done	719	9
0	13	17
1	38	17
2	123	17
3	398	15
4	1068	15
5	4536	15
done	5001	15
0	12	23
1	36	23
2	108	19
3	325	17
4	881	15
5	2277	15
6	4316	15
done	5001	15
0	9	11
1	17	9
2	33	9
3	57	9
4	70	9
done	70	9
0	9	11
1	19	10
2	37	8
3	77	8
4	234	8
5	854	8
6	3870	8
done	5000	8
0	8	10
1	15	8
2	22	8
3	23	8
done	23	8
0	8	10
1	18	8
2	33	8
3	58	8
4	145	8
5	478	8
6	1727	8
done	5000	8
0	9	21
1	16	17
2	20	17
done	20	17
0	8	10
1	15	8
2	19	8
done	19	8
0	9	29
1	29	23
2	118	9
3	555	9
4	1783	9
done	5000	9
0	8	10
1	15	8
2	19	8
done	19	8
0	8	10
1	15	8
2	19	8
done	19	8
0	10	13
1	33	13
2	115	13
3	382	11
4	805	11
5	2216	11
done	5001	11
0	11	29
1	39	23
2	135	21
3	371	19
4	741	17
5	1042	15
6	1419	15
7	2161	15
done	5001	15
0	9	19
1	31	19
2	96	15
3	263	13
4	544	11
5	953	11
6	1650	11
7	3208	11
done	5001	11
0	7	9
1	15	7
2	30	7
3	43	7
done	43	7
0	4	5
1	5	5
done	5	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	13	17
1	34	15
2	101	15
3	327	13
4	1149	11
5	4452	11
done	5000	11
0	9	9
1	20	9
2	54	9
3	94	9
4	126	9
5	138	9
6	162	9
7	228	9
8	443	9
9	1382	9
done	5001	9
0	9	9
1	20	9
2	54	9
3	94	9
4	126	9
5	138	9
6	162	9
7	228	9
8	443	9
9	1382	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	18	7
2	36	7
3	41	7
4	47	7
5	57	7
6	79	7
7	140	7
8	354	7
9	1296	7
done	5000	7
0	8	9
1	18	7
2	36	7
3	41	7
4	47	7
5	57	7
6	79	7
7	140	7
8	354	7
9	1296	7
done	5000	7

prune196.0ms

Filtered

105 candidates to 126 candidates (-20.0%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	124	11	135

Merged error: 2.5b

Counts

135 → 11

regimes751.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	14	13
done	14	13

end0.0ms

sample717.0ms

Algorithm

intervals

Results

365.0ms

8672×

body

valid

Details

sample26.0ms

simplify52.0ms

prune3.0ms

localize8.0ms

rewrite24.0ms

series34.0ms

simplify1.6min

prune187.0ms

localize8.0ms

rewrite51.0ms

series28.0ms

simplify2.5min

prune570.0ms

localize12.0ms

rewrite164.0ms

series52.0ms

simplify19.2min

prune915.0ms

localize9.0ms

rewrite25.0ms

series50.0ms

simplify1.7min

prune196.0ms

regimes751.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample717.0ms

Profiling