Details

sample53.0ms

Algorithm

intervals

Results

14.0ms	47×	body	1280	valid
9.0ms	257×	body	80	nan
8.0ms	49×	body	640	valid
5.0ms	131×	body	80	valid
3.0ms	21×	body	320	valid
1.0ms	8×	body	160	valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	11	11
2	14	11
done	14	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: 19.1b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x 1.0))
0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.3b	(/ 1.0 (sqrt x))
2.9b	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

75×	`*-un-lft-identity`
73×	`add-sqr-sqrt`
69×	`times-frac`
50×	`sqrt-prod`
42×	`add-cube-cbrt`
13×	`associate-/r*`
11×	`distribute-lft-out--`
9×	`difference-of-squares`
8×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
6×	`associate-/l*` `add-log-exp`
5×	`pow1`
4×	`sqrt-div` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `associate-/r/` `flip-+`
1×	`sub-neg` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `diff-log` `frac-sub` `flip--`

Counts

4 → 133

Calls

4 calls:

3.0ms	(sqrt (+ x 1.0))
8.0ms	(/ 1.0 (sqrt (+ x 1.0)))
8.0ms	(/ 1.0 (sqrt x))
34.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

series33.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (+ x 1.0))
7.0ms	(/ 1.0 (sqrt (+ x 1.0)))
8.0ms	(/ 1.0 (sqrt x))
14.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))

simplify1.2min

Counts

145 → 145

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	13	12
2	15	12
3	20	12
4	23	12
5	29	12
6	33	12
7	49	12
8	55	12
9	61	12
10	70	12
11	91	12
12	112	12
13	124	12
14	125	12
done	125	12
0	9	12
1	12	12
2	15	12
done	15	12
0	9	12
1	15	12
2	20	12
3	23	12
4	29	12
5	33	12
6	49	12
7	55	12
8	61	12
9	70	12
10	90	12
11	111	12
12	124	12
13	125	12
done	125	12
0	10	25
1	13	25
2	16	25
done	16	25
0	9	12
1	12	12
2	15	12
done	15	12
0	10	35
1	14	35
2	31	13
3	90	13
4	289	13
5	943	13
6	3133	13
done	5000	13
0	9	12
1	12	12
2	15	12
done	15	12
0	9	12
1	12	12
2	15	12
done	15	12
0	8	11
1	13	11
2	22	9
3	26	9
4	27	9
done	27	9
0	6	7
1	8	7
done	8	7
0	11	15
1	32	15
2	87	15
3	243	15
4	775	15
5	2588	15
done	5001	15
0	12	35
1	30	28
2	54	28
3	86	28
4	119	23
5	144	21
6	157	21
7	164	21
8	166	21
done	166	21
0	6	7
1	9	7
done	9	7
0	10	23
1	24	23
2	44	23
3	85	23
4	152	11
5	240	11
6	361	11
7	605	11
8	2130	11
done	5000	11
0	8	11
1	10	11
done	10	11
0	10	13
1	12	13
done	12	13
0	10	13
1	13	13
2	14	13
done	14	13
0	11	14
1	13	14
done	13	14
0	11	14
1	14	14
2	17	14
done	17	14
0	11	14
1	13	14
done	13	14
0	11	14
1	14	14
2	17	14
done	17	14
0	11	14
1	13	14
done	13	14
0	11	14
1	14	14
2	15	14
done	15	14
0	11	15
1	13	15
done	13	15
0	11	15
1	14	15
2	17	15
done	17	15
0	11	15
1	13	15
done	13	15
0	11	15
1	14	15
2	17	15
done	17	15
0	11	14
1	13	14
done	13	14
0	11	14
1	14	14
2	15	14
done	15	14
0	11	15
1	13	15
done	13	15
0	11	15
1	14	15
2	17	15
done	17	15
0	11	15
1	13	15
done	13	15
0	11	15
1	14	15
2	17	15
done	17	15
0	9	13
1	12	13
2	15	13
done	15	13
0	9	13
1	12	13
2	15	13
done	15	13
0	9	13
1	12	13
2	15	13
done	15	13
0	9	13
1	12	13
2	15	13
done	15	13
0	9	13
1	12	13
2	15	13
done	15	13
0	9	13
1	12	13
2	15	13
done	15	13
0	8	11
1	11	11
2	14	11
done	14	11
0	8	11
1	11	11
2	14	11
done	14	11
0	8	11
1	11	11
2	14	11
done	14	11
0	8	11
1	11	11
2	14	11
done	14	11
0	9	11
1	14	11
2	18	11
done	18	11
0	6	7
1	9	7
done	9	7
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	7
1	7	7
done	7	7
0	9	20
1	19	14
2	60	10
3	127	8
4	214	8
5	343	8
6	812	8
7	3427	8
done	5000	8
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	15	20
2	31	8
3	69	8
4	136	8
5	225	8
6	359	8
7	869	8
8	3633	8
done	5000	8
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	2	2
done	2	2
0	5	5
1	6	5
done	6	5
0	9	17
1	16	17
2	25	17
3	31	17
done	31	17
0	7	8
1	8	8
done	8	8
0	9	16
1	13	11
2	15	11
3	16	11
done	16	11
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	14
1	11	14
done	11	14
0	7	8
1	8	8
done	8	8
0	8	13
1	10	8
done	10	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	7	7
done	7	7
0	8	13
1	13	13
done	13	13
0	6	7
1	7	7
done	7	7
0	8	12
1	12	7
done	12	7
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	7	13
1	10	13
done	10	13
0	7	12
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	8	10
1	22	10
2	31	10
3	48	10
4	87	10
5	199	10
6	595	10
7	2424	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1578	10
done	5001	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	31	53
1	90	51
2	296	49
3	973	42
4	3212	38
done	5001	38
0	39	73
1	110	71
2	405	69
3	1736	65
done	5000	65
0	20	29
1	55	27
2	148	25
3	478	23
4	1968	21
done	5000	21
0	16	21
1	47	19
2	136	17
3	291	17
4	620	15
5	1664	15
done	5000	15
0	18	25
1	53	23
2	166	21
3	437	21
4	1480	21
done	5000	21
0	9	11
1	20	9
2	28	9
3	33	9
4	46	9
5	69	9
6	98	9
7	122	9
done	122	9
0	19	31
1	49	31
2	136	31
3	343	24
4	959	24
5	3233	19
done	5000	19
0	28	51
1	82	47
2	314	45
3	1193	43
4	4794	37
done	5000	37
0	28	51
1	82	47
2	308	45
3	1135	43
4	4433	37
done	5000	37
0	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune312.0ms

Filtered

109 candidates to 145 candidates (-33.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	134	11	145
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	135	11	146

Merged error: 18.5b

Counts

146 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.3b	(/ 1.0 (sqrt x))
0.3b	(/ (* (- (/ 1.0 x) (/ 1.0 (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
2.9b	(- (/ 1.0 x) (/ 1.0 (+ x 1.0)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

124×	`*-un-lft-identity`
105×	`times-frac`
65×	`add-sqr-sqrt`
53×	`add-cube-cbrt`
52×	`sqrt-prod`
35×	`distribute-lft-out`
27×	`associate-/r*`
13×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
8×	`distribute-lft-out--`
7×	`associate-/l*`
6×	`add-log-exp`
5×	`associate-/r/`
4×	`pow1` `cbrt-undiv` `div-exp` `difference-of-squares`
3×	`frac-2neg` `associate-*l/` `clear-num` `associate-/l/`
2×	`flip3--` `flip3-+` `sqrt-div` `frac-sub` `flip--` `flip-+`
1×	`sub-neg` `diff-log` `frac-add` `prod-exp` `cbrt-unprod`

Counts

4 → 158

Calls

4 calls:

7.0ms	(/ 1.0 (sqrt (+ x 1.0)))
5.0ms	(/ 1.0 (sqrt x))
62.0ms	(/ (* (- (/ 1.0 x) (/ 1.0 (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
20.0ms	(- (/ 1.0 x) (/ 1.0 (+ x 1.0)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ 1.0 (sqrt (+ x 1.0)))
9.0ms	(/ 1.0 (sqrt x))
33.0ms	(/ (* (- (/ 1.0 x) (/ 1.0 (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
4.0ms	(- (/ 1.0 x) (/ 1.0 (+ x 1.0)))

simplify3.3min

Counts

170 → 170

Iterations

Useful iterations: 6 (1.9s)

Iter	Nodes	Cost
0	8	11
1	11	10
2	13	10
3	18	10
4	21	10
5	27	10
6	31	10
7	47	10
8	51	10
9	57	10
10	66	10
11	87	10
12	108	10
13	120	10
14	121	10
done	121	10
0	7	10
1	10	10
2	13	10
done	13	10
0	7	10
1	13	10
2	18	10
3	21	10
4	27	10
5	31	10
6	47	10
7	51	10
8	57	10
9	66	10
10	86	10
11	107	10
12	124	10
13	125	10
done	125	10
0	8	21
1	11	21
2	14	21
done	14	21
0	7	10
1	10	10
2	13	10
done	13	10
0	8	29
1	12	29
2	29	11
3	88	11
4	287	11
5	939	11
6	3124	11
done	5001	11
0	7	10
1	10	10
2	13	10
done	13	10
0	7	10
1	10	10
2	13	10
done	13	10
0	6	9
1	13	9
2	27	7
3	47	7
4	71	5
5	74	3
6	137	3
7	571	3
8	1371	3
done	5000	3
0	4	5
1	11	5
2	12	5
done	12	5
0	9	13
1	30	13
2	85	13
3	257	13
4	814	13
5	2723	13
done	5001	13
0	10	29
1	28	23
2	52	23
3	86	23
4	143	23
5	187	23
6	227	21
7	260	21
8	290	21
9	594	21
10	1894	21
done	5000	21
0	5	6
1	8	6
done	8	6
0	8	19
1	22	19
2	42	19
3	83	19
4	166	17
5	265	17
6	402	17
7	669	17
8	2260	17
done	5000	17
0	6	9
1	8	9
done	8	9
0	8	11
1	10	11
done	10	11
0	8	11
1	11	11
2	12	11
done	12	11
0	9	12
1	11	12
done	11	12
0	9	12
1	12	12
2	15	12
done	15	12
0	9	12
1	11	12
done	11	12
0	9	12
1	12	12
2	13	12
done	13	12
0	9	13
1	11	13
done	11	13
0	9	13
1	12	13
2	15	13
done	15	13
0	7	11
1	10	11
2	13	11
done	13	11
0	7	11
1	10	11
2	13	11
done	13	11
0	7	11
1	10	11
2	13	11
done	13	11
0	7	11
1	10	11
2	13	11
done	13	11
0	6	9
1	9	9
2	12	9
done	12	9
0	6	9
1	9	9
2	12	9
done	12	9
0	6	9
1	9	9
2	12	9
done	12	9
0	7	9
1	12	9
2	16	9
done	16	9
0	5	6
1	8	6
done	8	6
0	16	26
1	25	26
2	35	26
3	41	26
4	47	26
5	56	26
6	69	26
7	87	26
8	103	26
9	110	26
10	127	26
11	129	26
done	129	26
0	15	25
1	25	25
2	40	25
3	60	25
4	74	25
5	81	25
6	90	25
7	103	25
8	121	25
9	137	25
10	144	25
11	161	25
12	163	25
done	163	25
0	14	24
1	24	24
2	48	24
3	89	24
4	152	24
5	204	24
6	278	24
7	350	24
8	476	24
9	1009	24
10	4781	24
done	5000	24
0	14	24
1	21	24
2	37	24
3	67	24
4	130	24
5	200	24
6	348	24
7	695	24
8	2412	24
done	5001	24
0	19	71
1	50	71
2	203	29
3	860	29
4	3730	27
done	5000	27
0	17	71
1	52	71
2	222	27
3	1118	25
4	4732	25
done	5000	25
0	15	49
1	22	49
2	38	49
3	63	49
4	111	49
5	155	49
6	216	49
7	270	49
8	366	49
9	883	49
10	4445	49
done	5000	49
0	14	24
1	21	24
2	37	24
3	62	24
4	110	24
5	154	24
6	215	24
7	269	24
8	365	24
9	880	24
10	4419	24
done	5000	24
0	15	71
1	29	71
2	82	25
3	357	25
4	1873	25
done	5000	25
0	14	24
1	21	24
2	37	24
3	62	24
4	110	24
5	154	24
6	215	24
7	269	24
8	365	24
9	880	24
10	4419	24
done	5000	24
0	14	24
1	21	24
2	37	24
3	62	24
4	110	24
5	154	24
6	215	24
7	269	24
8	365	24
9	880	24
10	4419	24
done	5000	24
0	8	12
1	16	12
2	29	12
3	62	12
4	91	11
5	101	11
6	103	11
7	110	11
8	126	11
9	128	11
done	128	11
0	9	12
1	14	12
2	19	12
3	20	12
done	20	12
0	14	35
1	23	35
2	37	35
3	60	35
4	88	35
5	96	35
done	96	35
0	10	14
1	12	14
done	12	14
0	13	22
1	20	22
2	29	22
3	43	22
4	47	22
done	47	22
0	10	14
1	12	14
done	12	14
0	8	11
1	16	9
2	27	9
3	44	9
4	56	9
5	58	9
done	58	9
0	9	13
1	11	13
done	11	13
0	12	18
1	24	17
2	50	17
3	125	15
4	304	15
5	679	15
6	1148	15
7	1615	15
8	1828	15
9	1982	15
10	2352	15
done	5000	15
0	10	15
1	12	15
done	12	15
0	12	18
1	24	17
2	50	17
3	125	15
4	304	15
5	679	15
6	1148	15
7	1615	15
8	1828	15
9	1982	15
10	2352	15
done	5000	15
0	10	15
1	12	15
done	12	15
0	11	17
1	23	15
2	53	15
3	147	15
4	344	15
5	700	15
6	1185	15
7	1642	15
8	1841	15
9	2089	15
10	2612	15
done	5000	15
0	10	15
1	12	15
done	12	15
0	11	15
1	21	14
2	38	14
3	71	12
4	170	12
5	345	12
6	622	12
7	807	12
8	902	12
9	945	12
10	1031	12
11	2295	12
done	5000	12
0	10	15
1	12	15
done	12	15
0	11	15
1	21	14
2	38	14
3	71	12
4	170	12
5	345	12
6	622	12
7	807	12
8	902	12
9	945	12
10	1031	12
11	2295	12
done	5000	12
0	10	15
1	12	15
done	12	15
0	10	14
1	20	12
2	37	12
3	74	12
4	151	12
5	273	12
6	477	12
7	634	12
8	717	12
9	789	12
10	926	12
11	2159	12
done	5001	12
0	10	15
1	12	15
done	12	15
0	10	14
1	20	13
2	37	11
3	85	9
4	220	9
5	378	9
6	461	9
7	589	9
8	639	9
9	690	9
10	766	9
done	766	9
0	9	13
1	11	13
done	11	13
0	10	14
1	20	13
2	37	11
3	85	9
4	220	9
5	378	9
6	461	9
7	589	9
8	639	9
9	690	9
10	766	9
done	766	9
0	9	13
1	11	13
done	11	13
0	9	13
1	19	11
2	33	9
3	60	9
4	99	9
5	127	9
6	186	9
7	250	9
8	336	9
9	428	9
10	509	9
11	561	9
12	581	9
done	581	9
0	9	13
1	11	13
done	11	13
0	8	11
1	16	9
2	27	9
3	44	9
4	56	9
5	58	9
done	58	9
0	9	13
1	11	13
done	11	13
0	7	11
1	13	11
2	22	11
3	33	11
4	39	9
5	41	9
done	41	9
0	10	13
1	14	13
done	14	13
0	10	13
1	14	13
done	14	13
0	13	23
1	20	23
2	31	23
3	42	23
4	53	23
5	54	23
done	54	23
0	15	37
1	27	37
2	56	37
3	102	37
4	212	37
5	353	37
6	463	37
7	517	37
8	552	37
9	1555	37
done	5000	37
0	14	24
1	21	24
2	37	24
3	62	24
4	110	24
5	154	24
6	191	24
7	203	24
8	219	24
9	584	24
10	3802	24
done	5001	24
0	9	13
1	17	11
2	37	11
3	71	11
4	133	11
5	186	11
6	223	11
7	233	11
8	242	11
9	248	11
done	248	11
0	13	20
1	25	19
2	61	19
3	159	17
4	358	17
5	748	17
6	1384	17
7	2393	17
done	5000	17
0	13	20
1	25	19
2	61	19
3	159	17
4	358	17
5	748	17
6	1384	17
7	2393	17
done	5000	17
0	12	19
1	24	17
2	64	17
3	194	17
4	365	17
5	746	17
6	1378	17
7	2387	17
done	5000	17
0	12	17
1	22	16
2	47	16
3	93	14
4	232	14
5	388	14
6	672	14
7	1081	14
8	2361	14
done	5000	14
0	12	17
1	22	16
2	47	16
3	93	14
4	232	14
5	388	14
6	672	14
7	1081	14
8	2361	14
done	5000	14
0	11	16
1	21	14
2	47	14
3	100	14
4	184	14
5	308	14
6	534	14
7	944	14
8	2186	14
done	5000	14
0	11	16
1	21	15
2	46	13
3	124	11
4	408	11
5	583	11
6	780	11
7	1057	11
8	1286	11
9	1649	11
10	3274	11
done	5000	11
0	11	16
1	21	15
2	46	13
3	124	11
4	408	11
5	583	11
6	780	11
7	1057	11
8	1286	11
9	1649	11
10	3274	11
done	5000	11
0	10	15
1	20	13
2	43	11
3	105	11
4	264	11
5	369	11
6	530	11
7	779	11
8	1038	11
9	1420	11
10	3027	11
done	5000	11
0	9	13
1	17	11
2	37	11
3	71	11
4	133	11
5	186	11
6	223	11
7	233	11
8	242	11
9	248	11
done	248	11
0	8	13
1	14	13
2	31	11
3	55	9
4	150	9
5	555	9
6	2344	9
done	5001	9
0	9	13
1	11	13
done	11	13
0	13	23
1	22	23
2	42	21
3	80	21
4	169	19
5	366	17
6	1638	17
done	5001	17
0	16	27
1	41	27
2	97	27
3	232	27
4	605	27
5	1708	27
done	5000	27
0	15	35
1	34	35
2	82	35
3	197	35
4	474	23
5	1232	21
6	3443	1
done	5000	1
0	10	17
1	21	17
2	50	17
3	117	17
4	221	17
5	372	17
6	468	17
7	608	17
8	858	17
9	1002	17
10	1013	17
done	1013	17
0	16	41
1	42	35
2	115	35
3	367	35
4	1038	35
5	2518	35
6	4706	33
done	5000	33
0	12	21
1	22	21
2	53	21
3	115	21
4	182	21
5	250	21
6	366	21
7	506	21
8	575	21
9	578	21
10	588	21
11	1073	21
12	4881	21
done	5000	21
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	7
1	7	7
done	7	7
0	9	20
1	19	14
2	60	10
3	127	8
4	214	8
5	343	8
6	812	8
7	3427	8
done	5000	8
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	15	20
2	31	8
3	69	8
4	136	8
5	225	8
6	359	8
7	869	8
8	3633	8
done	5000	8
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	2	2
done	2	2
0	5	5
1	6	5
done	6	5
0	9	17
1	16	17
2	25	17
3	31	17
done	31	17
0	7	8
1	8	8
done	8	8
0	9	16
1	13	11
2	15	11
3	16	11
done	16	11
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	14
1	11	14
done	11	14
0	7	8
1	8	8
done	8	8
0	8	13
1	10	8
done	10	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	7	7
done	7	7
0	8	13
1	13	13
done	13	13
0	6	7
1	7	7
done	7	7
0	8	12
1	12	7
done	12	7
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	7	13
1	10	13
done	10	13
0	7	12
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	8	10
1	22	10
2	31	10
3	48	10
4	87	10
5	199	10
6	595	10
7	2424	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1578	10
done	5001	10
0	8	11
1	21	9
2	33	9
3	40	9
4	51	9
5	67	9
6	102	9
7	189	9
8	319	9
9	449	9
10	759	9
11	844	9
12	886	9
done	886	9
0	17	23
1	46	21
2	126	17
3	395	17
4	1713	17
done	5000	17
0	17	23
1	46	21
2	126	17
3	395	17
4	1713	17
done	5000	17
0	65	212
1	198	184
2	875	175
done	5000	170
0	32	53
1	90	53
2	307	47
3	1269	43
done	5000	43
0	26	43
1	77	39
2	239	37
3	819	35
4	3696	31
done	5000	31
0	16	21
1	47	19
2	136	17
3	291	17
4	620	15
5	1664	15
done	5000	15
0	18	25
1	53	23
2	166	21
3	437	21
4	1480	21
done	5000	21
0	9	11
1	20	9
2	28	9
3	33	9
4	46	9
5	69	9
6	98	9
7	122	9
done	122	9
0	19	31
1	49	31
2	136	31
3	343	24
4	959	24
5	3233	19
done	5000	19
0	28	51
1	82	47
2	314	45
3	1193	43
4	4794	37
done	5000	37
0	28	51
1	82	47
2	308	45
3	1135	43
4	4433	37
done	5000	37

prune371.0ms

Filtered

124 candidates to 170 candidates (-37.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	167	3	170
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	173	8	181

Merged error: 6.1b

Counts

181 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (sqrt (+ x 1.0)))
0.3b	(/ 1.0 (sqrt x))
0.3b	(/ (* 1.0 1.0) (* x (+ x 1.0)))
6.0b	(/ (* (/ (* 1.0 1.0) (* x (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

103×	`*-un-lft-identity`
90×	`times-frac`
52×	`sqrt-prod`
49×	`add-sqr-sqrt` `add-cube-cbrt`
45×	`add-exp-log` `add-cbrt-cube`
32×	`distribute-lft-out`
28×	`associate-/r*`
16×	`cbrt-undiv` `div-exp`
13×	`prod-exp` `cbrt-unprod`
8×	`div-inv` `associate-/l*`
7×	`associate-/r/`
4×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`sqrt-div` `associate-*r/`
1×	`associate-*l/` `frac-add` `associate-/l/`

Counts

4 → 162

Calls

4 calls:

7.0ms	(/ 1.0 (sqrt (+ x 1.0)))
5.0ms	(/ 1.0 (sqrt x))
9.0ms	(/ (* 1.0 1.0) (* x (+ x 1.0)))
45.0ms	(/ (* (/ (* 1.0 1.0) (* x (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ 1.0 (sqrt (+ x 1.0)))
9.0ms	(/ 1.0 (sqrt x))
3.0ms	(/ (* 1.0 1.0) (* x (+ x 1.0)))
37.0ms	(/ (* (/ (* 1.0 1.0) (* x (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

simplify4.9min

Counts

174 → 174

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	29
1	35	28
2	90	28
3	275	25
4	827	25
5	1534	25
6	2280	25
7	2347	25
done	2347	25
0	16	28
1	40	27
2	84	27
3	222	24
4	644	24
5	1363	24
6	2271	24
7	2424	24
done	2424	24
0	18	28
1	33	28
2	85	28
3	270	25
4	803	25
5	1469	25
6	2199	25
7	2268	25
done	2268	25
0	17	27
1	38	27
2	80	27
3	217	24
4	623	24
5	1318	24
6	2210	24
7	2364	24
done	2364	24
0	16	26
1	39	26
2	80	26
3	209	26
4	597	24
5	1562	24
6	2515	24
7	2822	24
8	2838	24
9	2843	24
10	2878	24
11	3019	24
12	3316	24
13	3421	24
done	3421	24
0	15	25
1	38	25
2	87	25
3	198	23
4	503	23
5	1247	23
6	2463	23
7	3299	23
done	5001	23
0	14	24
1	37	24
2	92	24
3	291	22
4	822	22
5	1884	22
6	3499	22
done	5000	22
0	14	24
1	34	24
2	78	24
3	225	22
4	509	22
5	839	22
6	1443	22
7	3253	20
done	5000	20
0	21	71
1	81	71
2	455	35
3	4247	29
done	5000	29
0	19	71
1	75	71
2	447	33
3	4495	27
done	5000	27
0	22	71
1	82	71
2	448	33
3	4168	29
done	5000	29
0	20	71
1	76	71
2	446	31
3	4442	27
done	5000	27
0	18	71
1	66	71
2	307	29
3	2590	29
done	5001	29
0	17	71
1	64	71
2	289	27
3	2286	23
done	5000	23
0	15	49
1	35	49
2	79	49
3	224	45
4	503	45
5	796	45
6	1227	45
7	2313	41
done	5000	41
0	14	24
1	34	24
2	78	24
3	223	22
4	496	22
5	786	22
6	1229	22
7	2293	20
done	5000	20
0	15	71
1	42	71
2	129	25
3	834	23
done	5000	23
0	14	24
1	34	24
2	78	24
3	223	22
4	496	22
5	786	22
6	1229	22
7	2293	20
done	5000	20
0	14	24
1	34	24
2	78	24
3	223	22
4	496	22
5	786	22
6	1229	22
7	2293	20
done	5000	20
0	8	12
1	29	12
2	80	12
3	205	10
4	316	10
5	378	10
6	474	10
7	741	10
8	1897	10
done	5000	10
0	9	12
1	14	12
2	19	12
3	20	12
done	20	12
0	14	35
1	33	35
2	81	35
3	225	35
4	469	35
5	671	35
6	710	35
7	758	35
8	790	35
9	2532	35
done	5000	35
0	10	14
1	12	14
done	12	14
0	13	22
1	30	22
2	66	22
3	135	22
4	230	22
5	286	22
6	298	22
7	316	22
8	331	22
9	942	22
done	5000	22
0	10	14
1	12	14
done	12	14
0	8	11
1	26	9
2	66	9
3	158	9
4	239	9
5	298	9
6	305	9
7	310	9
done	310	9
0	9	13
1	11	13
done	11	13
0	12	18
1	34	17
2	92	17
3	340	15
4	1059	15
5	2522	15
6	3934	15
7	4407	15
done	5001	15
0	10	15
1	12	15
done	12	15
0	12	18
1	34	17
2	92	17
3	340	15
4	1059	15
5	2522	15
6	3934	15
7	4407	15
done	5001	15
0	10	15
1	12	15
done	12	15
0	11	17
1	33	15
2	91	15
3	362	15
4	1204	15
5	2931	15
6	3852	15
7	4276	15
done	5000	15
0	10	15
1	12	15
done	12	15
0	11	15
1	31	14
2	79	14
3	236	12
4	715	12
5	1448	12
6	2234	12
7	2447	12
8	4539	12
done	5000	12
0	10	15
1	12	15
done	12	15
0	11	15
1	31	14
2	79	14
3	236	12
4	715	12
5	1448	12
6	2234	12
7	2447	12
8	4539	12
done	5000	12
0	10	15
1	12	15
done	12	15
0	10	14
1	30	12
2	75	12
3	214	12
4	615	12
5	1306	12
6	1650	12
7	1770	12
8	3821	12
done	5001	12
0	10	15
1	12	15
done	12	15
0	10	14
1	30	13
2	78	11
3	282	9
4	1163	9
5	1549	9
6	2515	9
7	2866	9
8	4863	9
done	5001	9
0	9	13
1	11	13
done	11	13
0	10	14
1	30	13
2	78	11
3	282	9
4	1163	9
5	1549	9
6	2515	9
7	2866	9
8	4863	9
done	5001	9
0	9	13
1	11	13
done	11	13
0	9	13
1	29	11
2	72	9
3	228	9
4	528	9
5	939	9
6	998	9
7	1268	9
8	2832	9
done	5000	9
0	9	13
1	11	13
done	11	13
0	8	11
1	26	9
2	66	9
3	158	9
4	239	9
5	298	9
6	305	9
7	310	9
done	310	9
0	9	13
1	11	13
done	11	13
0	7	11
1	23	11
2	58	11
3	120	9
4	215	7
5	701	7
6	2261	7
done	5000	7
0	10	13
1	14	13
done	14	13
0	10	13
1	14	13
done	14	13
0	13	23
1	33	23
2	74	23
3	201	21
4	401	21
5	772	21
6	1519	21
7	3220	19
done	5000	19
0	15	37
1	40	37
2	103	37
3	381	35
4	1079	35
5	1687	35
6	2282	35
7	3865	35
done	5001	35
0	14	24
1	34	24
2	78	24
3	223	22
4	478	22
5	680	22
6	919	22
7	1514	22
done	5000	22
0	9	13
1	30	11
2	78	11
3	260	9
4	680	9
5	772	9
6	1127	9
7	3710	9
done	5000	9
0	13	20
1	38	19
2	104	19
3	438	15
4	1409	15
5	3576	15
done	5001	15
0	13	20
1	38	19
2	104	19
3	438	15
4	1409	15
5	3576	15
done	5001	15
0	12	19
1	37	17
2	105	17
3	441	15
4	1456	15
5	3684	15
done	5000	15
0	12	17
1	35	16
2	90	16
3	336	12
4	885	12
5	1958	12
6	3734	12
done	5000	12
0	12	17
1	35	16
2	90	16
3	336	12
4	885	12
5	1958	12
6	3734	12
done	5000	12
0	11	16
1	34	14
2	88	14
3	297	12
4	743	12
5	1632	12
6	2978	12
done	5000	12
0	11	16
1	34	15
2	89	13
3	383	9
4	1455	9
5	1816	9
6	2766	9
done	5000	9
0	11	16
1	34	15
2	89	13
3	383	9
4	1455	9
5	1816	9
6	2766	9
done	5000	9
0	10	15
1	33	13
2	84	11
3	315	9
4	1255	9
5	1738	9
6	2632	9
done	5000	9
0	9	13
1	30	11
2	78	11
3	260	9
4	680	9
5	772	9
6	1127	9
7	3710	9
done	5000	9
0	8	13
1	27	13
2	72	11
3	215	9
4	803	9
5	2382	9
done	5000	9
0	9	13
1	11	13
done	11	13
0	13	23
1	35	23
2	83	21
3	266	19
4	804	19
5	2115	17
done	5001	17
0	16	27
1	54	27
2	135	25
3	402	25
4	1096	25
5	3978	25
done	5001	25
0	15	35
1	47	35
2	122	35
3	429	33
4	1623	21
done	5000	21
0	10	17
1	21	17
2	50	17
3	117	17
4	221	17
5	372	17
6	468	17
7	608	17
8	858	17
9	1002	17
10	1013	17
done	1013	17
0	9	13
1	19	12
2	36	12
3	59	12
4	98	12
5	155	12
6	259	12
7	301	12
8	309	12
done	309	12
0	8	12
1	24	11
2	37	11
3	55	11
4	89	11
5	134	11
6	239	11
7	306	11
8	332	11
done	332	11
0	9	12
1	17	12
2	34	12
3	59	12
4	90	12
5	141	12
6	215	12
7	302	12
8	318	12
done	318	12
0	8	11
1	22	11
2	36	11
3	55	11
4	82	11
5	123	11
6	193	11
7	303	11
8	332	11
9	333	11
done	333	11
0	7	10
1	24	10
2	53	10
3	95	10
4	158	10
5	223	10
6	325	10
7	373	10
8	408	10
9	413	10
10	424	10
11	448	10
12	474	10
13	477	10
done	477	10
0	7	10
1	21	10
2	37	10
3	57	10
4	82	10
5	129	10
6	240	10
7	539	10
8	2070	10
done	5001	10
0	12	29
1	46	29
2	266	17
3	1607	13
done	5001	13
0	10	29
1	40	29
2	259	15
3	1909	11
done	5000	11
0	12	29
1	47	29
2	256	15
3	1549	13
done	5001	13
0	10	29
1	41	29
2	257	13
3	1866	11
done	5000	11
0	8	21
1	22	21
2	36	21
3	48	21
4	58	21
5	60	21
6	64	21
7	66	21
8	73	21
9	76	21
10	78	21
done	78	21
0	7	10
1	21	10
2	35	10
3	47	10
4	57	10
5	59	10
6	63	10
7	65	10
8	72	10
9	75	10
10	77	10
done	77	10
0	8	29
1	29	29
2	120	11
3	782	11
4	4705	11
done	5000	11
0	7	10
1	21	10
2	35	10
3	47	10
4	57	10
5	59	10
6	63	10
7	65	10
8	72	10
9	75	10
10	77	10
done	77	10
0	7	10
1	21	10
2	35	10
3	47	10
4	57	10
5	59	10
6	63	10
7	65	10
8	72	10
9	75	10
10	77	10
done	77	10
0	3	4
1	6	4
done	6	4
0	5	6
1	16	6
2	33	6
3	43	6
4	44	6
done	44	6
0	3	3
done	3	3
0	4	5
1	5	5
done	5	5
0	6	7
1	17	7
2	20	7
done	20	7
0	6	9
1	20	9
2	35	9
3	64	9
4	74	9
5	87	9
6	103	9
7	116	9
8	331	9
9	1492	9
done	5000	9
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	5	7
1	14	7
2	19	7
3	30	7
4	33	7
5	37	7
6	39	7
7	46	7
8	48	7
done	48	7
0	9	13
1	36	13
2	80	13
3	141	13
4	256	13
5	643	13
6	2391	13
done	5000	13
0	7	13
1	20	13
2	54	13
3	145	13
4	332	13
5	593	13
6	1025	13
7	2175	11
done	5000	11
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	10	7
2	12	7
3	13	7
done	13	7
0	6	7
1	7	7
done	7	7
0	9	20
1	19	14
2	60	10
3	127	8
4	214	8
5	343	8
6	812	8
7	3427	8
done	5000	8
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	15	20
2	31	8
3	69	8
4	136	8
5	225	8
6	359	8
7	869	8
8	3633	8
done	5000	8
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	2	2
done	2	2
0	5	5
1	6	5
done	6	5
0	9	17
1	16	17
2	25	17
3	31	17
done	31	17
0	7	8
1	8	8
done	8	8
0	9	16
1	13	11
2	15	11
3	16	11
done	16	11
0	7	8
1	8	8
done	8	8
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	8	8
done	8	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	7	7
done	7	7
0	8	14
1	11	14
done	11	14
0	7	8
1	8	8
done	8	8
0	8	13
1	10	8
done	10	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	5	5
1	7	4
done	7	4
0	6	7
1	7	7
done	7	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	7	7
done	7	7
0	8	13
1	13	13
done	13	13
0	6	7
1	7	7
done	7	7
0	8	12
1	12	7
done	12	7
0	6	7
1	7	7
done	7	7
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	6
1	6	6
done	6	6
0	7	7
1	10	7
done	10	7
0	6	7
1	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	7	13
1	10	13
done	10	13
0	7	12
1	9	7
done	9	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	8	10
1	22	10
2	31	10
3	48	10
4	87	10
5	199	10
6	595	10
7	2424	10
done	5000	10
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1578	10
done	5001	10
0	95	334
1	292	296
2	1430	276
done	5000	276
0	32	53
1	90	53
2	307	47
3	1269	43
done	5000	43
0	26	43
1	77	39
2	239	37
3	819	35
4	3696	31
done	5000	31
0	8	11
1	21	9
2	33	9
3	40	9
4	51	9
5	67	9
6	102	9
7	189	9
8	319	9
9	449	9
10	759	9
11	844	9
12	886	9
done	886	9
0	17	23
1	46	21
2	126	17
3	395	17
4	1713	17
done	5000	17
0	17	23
1	46	21
2	126	17
3	395	17
4	1713	17
done	5000	17
0	16	21
1	47	19
2	136	17
3	291	17
4	620	15
5	1664	15
done	5000	15
0	18	25
1	53	23
2	166	21
3	437	21
4	1480	21
done	5000	21
0	9	11
1	20	9
2	28	9
3	33	9
4	46	9
5	69	9
6	98	9
7	122	9
done	122	9
0	19	31
1	49	31
2	136	31
3	343	24
4	959	24
5	3233	19
done	5000	19
0	28	51
1	82	47
2	314	45
3	1193	43
4	4794	37
done	5000	37
0	28	51
1	82	47
2	308	45
3	1135	43
4	4433	37
done	5000	37

prune407.0ms

Filtered

134 candidates to 174 candidates (-29.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	168	6	174
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	173	9	182

Merged error: 0.0b

Counts

182 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ x (sqrt x))
0.6b	(/ x (sqrt x))
10.7b	(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))
10.7b	(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))

rewrite157.0ms

Algorithm

rewrite-expression-head

Rules

794×	`times-frac`
748×	`*-un-lft-identity`
558×	`sqrt-prod`
308×	`distribute-lft-out`
242×	`add-sqr-sqrt`
232×	`add-cube-cbrt`
72×	`div-inv`
62×	`associate-/r/`
30×	`flip3-+` `flip-+`
12×	`pow1` `associate-/r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`rem-sqrt-square` `associate-/l*`
4×	`sqrt-pow1` `pow1/2` `add-log-exp` `pow-div`
2×	`cbrt-undiv` `frac-2neg` `sqrt-div` `div-exp` `frac-add` `clear-num`

Counts

4 → 402

Calls

4 calls:

4.0ms	(/ x (sqrt x))
5.0ms	(/ x (sqrt x))
48.0ms	(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))
52.0ms	(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))

series139.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ x (sqrt x))
10.0ms	(/ x (sqrt x))
57.0ms	(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))
62.0ms	(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))

simplify7.9min

Counts

414 → 414

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	14	43
1	20	43
2	39	43
3	76	43
4	129	43
5	193	43
6	234	43
7	329	43
8	496	43
9	668	43
10	1193	43
done	5000	43
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	14	62
1	21	40
2	51	22
3	132	22
4	279	22
5	442	22
6	544	22
7	752	22
8	1331	22
9	3057	22
done	5001	22
0	14	42
1	21	21
2	40	21
3	77	21
4	130	21
5	200	21
6	241	21
7	336	21
8	505	21
9	678	21
10	1205	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	16	44
1	26	44
2	38	22
3	45	22
done	45	22
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	15	31
1	21	31
2	25	31
3	27	31
done	27	31
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	10	20
1	17	18
2	26	9
3	32	9
done	32	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	14	27
1	25	26
2	45	26
3	89	24
4	140	12
5	166	12
6	169	12
done	169	12
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	14	27
1	25	26
2	45	26
3	89	24
4	140	12
5	166	12
6	169	12
done	169	12
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	13	26
1	24	24
2	49	24
3	126	12
4	155	12
5	178	12
6	180	12
done	180	12
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	13	24
1	22	23
2	33	23
3	44	21
4	65	21
5	73	21
6	85	21
7	86	21
done	86	21
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	13	24
1	22	23
2	33	23
3	44	21
4	65	21
5	73	21
6	85	21
7	86	21
done	86	21
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	12	23
1	21	21
2	34	21
3	57	21
4	62	21
5	66	21
6	72	21
done	72	21
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	12	23
1	21	22
2	32	20
3	59	18
4	149	9
5	181	9
done	181	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	12	23
1	21	22
2	32	20
3	59	18
4	149	9
5	181	9
done	181	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	11	22
1	20	20
2	31	18
3	54	9
4	71	9
done	71	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	10	20
1	17	18
2	26	9
3	32	9
done	32	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	9	20
1	14	20
2	18	20
3	20	20
done	20	20
0	14	21
1	20	21
2	22	21
3	23	21
done	23	21
0	15	35
1	21	35
2	23	35
3	24	35
done	24	35
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	9	11
1	14	9
2	18	9
3	19	9
done	19	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	13	18
1	22	17
2	32	17
3	46	15
4	68	15
5	80	15
6	85	15
done	85	15
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	13	18
1	22	17
2	32	17
3	46	15
4	68	15
5	80	15
6	85	15
done	85	15
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	12	17
1	21	15
2	36	15
3	64	15
4	74	15
5	86	15
6	91	15
done	91	15
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	12	15
1	19	14
2	24	14
3	26	14
4	37	12
5	42	12
6	50	12
done	50	12
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	12	15
1	19	14
2	24	14
3	26	14
4	37	12
5	42	12
6	50	12
done	50	12
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	11	14
1	18	12
2	26	12
3	32	12
4	34	12
5	37	12
6	41	12
7	42	12
done	42	12
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	11	14
1	18	13
2	23	11
3	33	9
4	68	9
5	100	9
done	100	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	11	14
1	18	13
2	23	11
3	33	9
4	68	9
5	100	9
done	100	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	10	13
1	17	11
2	24	9
3	27	9
4	31	9
done	31	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	9	11
1	14	9
2	18	9
3	19	9
done	19	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	14	21
1	20	21
2	22	21
3	23	21
done	23	21
0	15	38
1	23	38
2	35	38
3	62	38
4	66	38
done	66	38
0	13	20
1	17	20
2	20	20
done	20	20
0	14	25
1	20	25
2	26	25
3	34	25
done	34	25
0	13	20
1	17	20
2	20	20
done	20	20
0	9	14
1	16	12
2	26	12
3	42	12
done	42	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	13	21
1	24	20
2	45	20
3	109	18
4	276	18
5	568	18
6	852	18
7	917	18
8	934	18
done	934	18
0	13	21
1	17	21
2	20	21
3	28	21
4	34	21
5	42	21
6	46	21
7	52	21
8	56	21
9	58	21
done	58	21
0	13	21
1	24	20
2	45	20
3	109	18
4	276	18
5	568	18
6	852	18
7	917	18
8	934	18
done	934	18
0	13	21
1	17	21
2	20	21
3	28	21
4	34	21
5	42	21
6	46	21
7	52	21
8	56	21
9	58	21
done	58	21
0	12	20
1	23	18
2	50	18
3	157	18
4	323	18
5	640	18
6	785	18
7	840	18
8	861	18
done	861	18
0	13	21
1	17	21
2	20	21
3	28	21
4	34	21
5	42	21
6	46	21
7	52	21
8	56	21
9	58	21
done	58	21
0	12	18
1	21	17
2	35	17
3	66	15
4	157	15
5	326	15
6	487	15
7	515	15
8	518	15
done	518	15
0	12	21
1	17	17
2	22	17
3	30	17
4	34	17
5	65	17
6	113	17
7	136	17
8	143	17
9	145	17
done	145	17
0	12	18
1	21	17
2	35	17
3	66	15
4	157	15
5	326	15
6	487	15
7	515	15
8	518	15
done	518	15
0	12	21
1	17	17
2	22	17
3	30	17
4	34	17
5	65	17
6	113	17
7	136	17
8	143	17
9	145	17
done	145	17
0	11	17
1	20	15
2	35	15
3	77	15
4	131	15
5	256	15
6	308	15
7	354	15
8	367	15
done	367	15
0	12	21
1	17	17
2	22	17
3	30	17
4	34	17
5	65	17
6	113	17
7	136	17
8	143	17
9	145	17
done	145	17
0	11	17
1	20	16
2	34	14
3	88	12
4	246	12
5	335	12
6	554	12
7	556	12
done	556	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	11	17
1	20	16
2	34	14
3	88	12
4	246	12
5	335	12
6	554	12
7	556	12
done	556	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	10	16
1	19	14
2	32	12
3	77	12
4	116	12
5	184	12
6	206	12
done	206	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	9	14
1	16	12
2	26	12
3	42	12
done	42	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	8	14
1	13	14
2	19	14
3	27	14
done	27	14
0	13	19
1	19	19
2	22	19
3	30	19
4	36	19
5	44	19
6	81	19
7	96	19
done	96	19
0	13	33
1	19	33
2	25	33
3	31	33
done	31	33
0	12	20
1	16	20
2	19	20
done	19	20
0	12	20
1	16	20
2	19	20
done	19	20
0	12	20
1	16	20
2	19	20
done	19	20
0	8	9
1	13	7
2	20	7
3	22	7
done	22	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	12	16
1	21	15
2	37	15
3	75	13
4	163	13
5	275	13
6	342	13
7	361	13
8	369	13
done	369	13
0	12	21
1	16	21
2	19	21
3	27	21
4	33	21
5	41	21
6	45	18
7	53	15
8	177	15
9	1035	15
done	5000	15
0	12	16
1	21	15
2	37	15
3	75	13
4	163	13
5	275	13
6	342	13
7	361	13
8	369	13
done	369	13
0	12	21
1	16	21
2	19	21
3	27	21
4	33	21
5	41	21
6	45	18
7	53	15
8	177	15
9	1035	15
done	5000	15
0	11	15
1	20	13
2	42	13
3	112	13
4	189	13
5	298	13
6	346	13
7	372	13
8	374	13
done	374	13
0	12	21
1	16	21
2	19	21
3	27	21
4	33	21
5	41	21
6	45	18
7	53	15
8	177	15
9	1035	15
done	5000	15
0	11	13
1	18	12
2	27	12
3	39	10
4	85	10
5	152	10
6	205	10
7	219	10
8	222	10
done	222	10
0	11	21
1	16	17
2	21	17
3	29	17
4	33	17
5	75	17
6	197	10
7	302	10
8	722	10
9	2462	10
done	5000	10
0	11	13
1	18	12
2	27	12
3	39	10
4	85	10
5	152	10
6	205	10
7	219	10
8	222	10
done	222	10
0	11	21
1	16	17
2	21	17
3	29	17
4	33	17
5	75	17
6	197	10
7	302	10
8	722	10
9	2462	10
done	5000	10
0	10	12
1	17	10
2	29	10
3	52	10
4	75	10
5	102	10
6	119	10
7	137	10
8	140	10
done	140	10
0	11	21
1	16	17
2	21	17
3	29	17
4	33	17
5	75	17
6	197	10
7	302	10
8	722	10
9	2462	10
done	5000	10
0	10	12
1	17	11
2	26	9
3	54	7
4	143	7
5	192	7
6	374	7
7	379	7
done	379	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	10	12
1	17	11
2	26	9
3	54	7
4	143	7
5	192	7
6	374	7
7	379	7
done	379	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	9	11
1	16	9
2	26	7
3	45	7
4	61	7
5	79	7
6	91	7
done	91	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	8	9
1	13	7
2	20	7
3	22	7
done	22	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	7	9
1	10	9
2	13	9
done	13	9
0	12	19
1	18	19
2	21	19
3	29	19
4	35	14
5	39	12
6	68	12
7	87	12
done	87	12
0	14	30
1	22	28
2	26	28
3	36	28
4	38	28
done	38	28
0	12	19
1	16	19
2	27	19
done	27	19
0	13	17
1	19	15
2	21	15
3	25	15
done	25	15
0	12	19
1	16	19
2	27	19
done	27	19
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	12
1	17	8
2	37	8
3	101	8
4	143	8
5	180	8
6	205	8
done	205	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	8	9
1	14	5
2	24	5
3	40	5
4	52	5
5	67	5
6	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	8
1	12	2
done	12	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	6
1	10	4
2	12	4
3	14	4
done	14	4
0	12	18
1	18	18
2	29	18
3	53	18
4	91	18
5	140	18
6	187	18
7	234	18
done	234	18
0	14	30
1	22	28
2	26	28
3	36	28
4	38	28
done	38	28
0	12	19
1	16	19
2	27	19
done	27	19
0	13	17
1	19	15
2	21	15
3	25	15
done	25	15
0	12	19
1	16	19
2	27	19
done	27	19
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	12
1	17	8
2	37	8
3	101	8
4	143	8
5	180	8
6	205	8
done	205	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	8	9
1	14	5
2	24	5
3	40	5
4	52	5
5	67	5
6	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	8
1	12	2
done	12	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	6
1	10	4
2	12	4
3	14	4
done	14	4
0	12	18
1	18	18
2	29	18
3	53	18
4	91	18
5	140	18
6	187	18
7	234	18
done	234	18
0	13	28
1	19	28
done	19	28
0	13	21
1	19	21
2	38	21
3	51	21
4	61	21
5	69	21
6	71	21
7	77	21
8	81	21
9	89	21
10	296	21
11	1826	21
done	5001	21
0	12	15
1	16	15
done	16	15
0	13	21
1	19	21
2	38	21
3	51	21
4	61	21
5	69	21
6	71	21
7	77	21
8	81	21
9	89	21
10	296	21
11	1826	21
done	5001	21
0	3	4
1	5	1
done	5	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	8	11
1	14	10
2	21	8
3	31	5
4	32	5
done	32	5
0	13	22
1	19	22
2	38	22
3	75	22
4	131	22
5	199	22
6	242	22
7	336	22
8	513	22
9	691	22
10	1234	22
done	5000	22
0	8	11
1	14	10
2	21	8
3	31	5
4	32	5
done	32	5
0	13	22
1	19	22
2	38	22
3	75	22
4	131	22
5	199	22
6	242	22
7	336	22
8	513	22
9	691	22
10	1234	22
done	5000	22
0	7	10
1	13	8
2	24	8
3	34	5
done	34	5
0	13	22
1	19	22
2	38	22
3	75	22
4	131	22
5	199	22
6	242	22
7	336	22
8	513	22
9	691	22
10	1234	22
done	5000	22
0	7	8
1	11	7
2	14	5
done	14	5
0	12	22
1	19	18
2	40	18
3	77	18
4	127	18
5	223	18
6	466	18
7	722	18
8	1051	18
9	1683	18
done	5001	18
0	7	8
1	11	7
2	14	5
done	14	5
0	12	22
1	19	18
2	40	18
3	77	18
4	127	18
5	223	18
6	466	18
7	722	18
8	1051	18
9	1683	18
done	5001	18
0	6	7
1	10	5
2	15	5
done	15	5
0	12	22
1	19	18
2	40	18
3	77	18
4	127	18
5	223	18
6	466	18
7	722	18
8	1051	18
9	1683	18
done	5001	18
0	5	7
1	9	1
done	9	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	5	7
1	9	1
done	9	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	4	6
1	7	1
done	7	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	3	4
1	5	1
done	5	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	4	4
1	6	4
done	6	4
0	13	20
1	21	20
2	40	20
3	77	20
4	133	20
5	201	20
6	298	20
7	491	20
8	660	20
9	1008	20
10	2317	20
done	5000	20
0	13	30
1	21	30
2	31	15
3	37	15
done	37	15
0	13	19
1	19	19
2	30	19
done	30	19
0	12	17
1	16	17
2	18	17
3	19	17
done	19	17
0	13	19
1	19	19
2	30	19
done	30	19
0	5	6
1	9	4
2	16	2
3	21	2
done	21	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	10	13
1	18	12
2	36	12
3	79	10
4	120	5
5	150	5
6	162	5
done	162	5
0	13	20
1	19	20
2	30	20
3	54	20
4	92	20
5	144	20
6	160	20
7	210	20
8	318	20
9	379	20
10	385	20
done	385	20
0	10	13
1	18	12
2	36	12
3	79	10
4	120	5
5	150	5
6	162	5
done	162	5
0	13	20
1	19	20
2	30	20
3	54	20
4	92	20
5	144	20
6	160	20
7	210	20
8	318	20
9	379	20
10	385	20
done	385	20
0	9	12
1	17	10
2	40	10
3	116	5
4	139	5
5	167	5
6	179	5
done	179	5
0	13	20
1	19	20
2	30	20
3	54	20
4	92	20
5	144	20
6	160	20
7	210	20
8	318	20
9	379	20
10	385	20
done	385	20
0	9	10
1	15	9
2	24	9
3	34	7
4	48	7
5	54	7
6	68	7
7	73	7
done	73	7
0	12	20
1	18	16
2	29	16
3	53	16
4	85	16
5	152	16
6	275	16
7	349	16
8	390	16
9	429	16
10	433	16
done	433	16
0	9	10
1	15	9
2	24	9
3	34	7
4	48	7
5	54	7
6	68	7
7	73	7
done	73	7
0	12	20
1	18	16
2	29	16
3	53	16
4	85	16
5	152	16
6	275	16
7	349	16
8	390	16
9	429	16
10	433	16
done	433	16
0	8	9
1	14	7
2	25	7
3	47	7
4	49	7
5	53	7
6	61	7
7	65	7
done	65	7
0	12	20
1	18	16
2	29	16
3	53	16
4	85	16
5	152	16
6	275	16
7	349	16
8	390	16
9	429	16
10	433	16
done	433	16
0	7	9
1	13	8
2	22	6
3	48	4
4	133	2
5	155	2
6	163	2
done	163	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	7	9
1	13	8
2	22	6
3	48	4
4	133	2
5	155	2
6	163	2
done	163	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	6	8
1	12	6
2	21	4
3	43	2
4	53	2
5	58	2
6	66	2
done	66	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	5	6
1	9	4
2	16	2
3	21	2
done	21	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	12	18
1	18	18
2	29	18
3	53	18
4	91	18
5	140	18
6	187	18
7	231	18
done	231	18
0	18	38
1	39	38
2	72	38
3	169	38
4	365	38
5	838	38
6	2780	38
done	5001	38
0	16	25
1	26	23
2	44	23
3	66	23
4	101	23
5	152	23
6	217	23
7	277	23
8	361	23
9	522	23
10	582	23
11	603	23
done	603	23
0	17	25
1	36	25
2	64	25
3	118	25
4	202	25
5	438	25
6	1412	25
done	5000	25
0	16	25
1	26	23
2	44	23
3	66	23
4	101	23
5	152	23
6	217	23
7	277	23
8	361	23
9	522	23
10	582	23
11	603	23
done	603	23
0	11	14
1	30	12
2	62	12
3	128	12
4	258	12
5	539	12
6	1613	12
done	5000	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	15	21
1	38	20
2	81	20
3	235	18
4	709	18
5	2005	18
done	5001	18
0	16	26
1	26	24
2	44	24
3	66	24
4	101	24
5	152	24
6	217	24
7	277	24
8	361	24
9	522	24
10	582	24
11	603	24
done	603	24
0	15	21
1	38	20
2	81	20
3	235	18
4	709	18
5	2005	18
done	5001	18
0	16	26
1	26	24
2	44	24
3	66	24
4	101	24
5	152	24
6	217	24
7	277	24
8	361	24
9	522	24
10	582	24
11	603	24
done	603	24
0	14	20
1	37	18
2	84	18
3	281	18
4	810	18
5	2374	18
done	5001	18
0	16	26
1	26	24
2	44	24
3	66	24
4	101	24
5	152	24
6	217	24
7	277	24
8	361	24
9	522	24
10	582	24
11	603	24
done	603	24
0	14	18
1	35	17
2	71	17
3	166	15
4	453	15
5	1179	15
6	4022	15
done	5000	15
0	15	26
1	26	20
2	46	20
3	68	20
4	103	20
5	154	20
6	219	20
7	279	20
8	363	20
9	524	20
10	584	20
11	605	20
done	605	20
0	14	18
1	35	17
2	71	17
3	166	15
4	453	15
5	1179	15
6	4022	15
done	5000	15
0	15	26
1	26	20
2	46	20
3	68	20
4	103	20
5	154	20
6	219	20
7	279	20
8	363	20
9	524	20
10	584	20
11	605	20
done	605	20
0	13	17
1	34	15
2	71	15
3	165	15
4	410	15
5	1118	15
6	4579	15
done	5000	15
0	15	26
1	26	20
2	46	20
3	68	20
4	103	20
5	154	20
6	219	20
7	279	20
8	363	20
9	524	20
10	584	20
11	605	20
done	605	20
0	13	17
1	34	16
2	70	14
3	194	12
4	599	12
5	1177	12
6	3003	12
done	5001	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	13	17
1	34	16
2	70	14
3	194	12
4	599	12
5	1177	12
6	3003	12
done	5001	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	12	16
1	33	14
2	68	12
3	160	12
4	359	12
5	655	12
6	1842	12
done	5001	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	11	14
1	30	12
2	62	12
3	128	12
4	258	12
5	539	12
6	1613	12
done	5000	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	10	14
1	27	14
2	55	14
3	106	14
4	196	14
5	451	14
6	1477	14
done	5000	14
0	16	24
1	28	22
2	46	22
3	68	22
4	103	22
5	154	22
6	219	22
7	279	22
8	363	22
9	524	22
10	584	22
11	605	22
done	605	22
0	16	38
1	28	38
2	67	38
3	210	38
4	578	38
5	1185	36
6	2309	36
done	5000	36
0	12	17
1	19	17
2	22	17
3	24	17
done	24	17
0	15	25
1	25	25
2	59	25
3	151	25
4	337	25
5	584	23
6	1145	23
7	3464	23
done	5001	23
0	12	17
1	19	17
2	22	17
3	24	17
done	24	17
0	9	14
1	20	12
2	59	12
3	166	12
4	373	10
5	633	10
6	1371	10
7	4040	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	13	21
1	28	20
2	78	20
3	295	18
4	1088	16
5	3078	16
done	5000	16
0	12	18
1	19	18
2	22	18
3	24	18
done	24	18
0	13	21
1	28	20
2	78	20
3	295	18
4	1088	16
5	3078	16
done	5000	16
0	12	18
1	19	18
2	22	18
3	24	18
done	24	18
0	12	20
1	27	18
2	81	18
3	334	18
4	1241	16
5	3625	16
done	5000	16
0	12	18
1	19	18
2	22	18
3	24	18
done	24	18
0	12	18
1	25	17
2	68	17
3	214	15
4	793	13
5	1920	13
6	4246	13
done	5000	13
0	11	18
1	19	14
2	24	14
3	26	14
done	26	14
0	12	18
1	25	17
2	68	17
3	214	15
4	793	13
5	1920	13
6	4246	13
done	5000	13
0	11	18
1	19	14
2	24	14
3	26	14
done	26	14
0	11	17
1	24	15
2	68	15
3	211	15
4	694	13
5	1759	13
6	4201	13
done	5000	13
0	11	18
1	19	14
2	24	14
3	26	14
done	26	14
0	11	17
1	24	16
2	67	14
3	246	12
4	1109	10
5	1813	10
6	3567	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	11	17
1	24	16
2	67	14
3	246	12
4	1109	10
5	1813	10
6	3567	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	10	16
1	23	14
2	65	12
3	216	12
4	610	10
5	1175	10
6	2104	10
done	5001	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	9	14
1	20	12
2	59	12
3	166	12
4	373	10
5	633	10
6	1371	10
7	4040	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	8	14
1	17	14
2	52	14
3	137	14
4	314	14
5	570	12
6	1124	12
7	3841	12
done	5000	12
0	12	16
1	21	16
2	24	16
3	26	16
done	26	16
0	2	2
1	4	1
done	4	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	11	14
1	15	14
done	15	14
0	12	20
1	20	20
2	43	18
3	104	18
4	240	18
5	397	18
6	539	18
7	705	18
8	829	18
9	917	18
10	2222	18
done	5000	18
0	7	8
1	9	8
done	9	8
0	15	24
1	39	24
2	98	24
3	246	24
4	1075	24
5	4792	24
done	5000	24
0	13	36
1	32	31
2	67	31
3	131	29
4	217	24
5	329	22
6	483	20
7	578	20
8	2257	20
done	5001	20
0	14	32
1	32	32
2	75	32
3	207	32
4	624	20
5	1886	20
done	5000	20
0	9	12
1	12	12
2	15	12
done	15	12
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	9	12
1	11	12
done	11	12
0	3	3
1	6	1
done	6	1
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	14	43
1	20	43
2	39	43
3	76	43
4	129	43
5	193	43
6	234	43
7	329	43
8	496	43
9	668	43
10	1193	43
done	5000	43
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	14	62
1	21	40
2	51	22
3	132	22
4	279	22
5	442	22
6	544	22
7	752	22
8	1331	22
9	3057	22
done	5001	22
0	14	42
1	21	21
2	40	21
3	77	21
4	130	21
5	200	21
6	241	21
7	336	21
8	505	21
9	678	21
10	1205	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	16	44
1	26	44
2	38	22
3	45	22
done	45	22
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	15	31
1	21	31
2	25	31
3	27	31
done	27	31
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	10	20
1	17	18
2	26	9
3	32	9
done	32	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	14	27
1	25	26
2	45	26
3	89	24
4	140	12
5	166	12
6	169	12
done	169	12
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	14	27
1	25	26
2	45	26
3	89	24
4	140	12
5	166	12
6	169	12
done	169	12
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	13	26
1	24	24
2	49	24
3	126	12
4	155	12
5	178	12
6	180	12
done	180	12
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	13	24
1	22	23
2	33	23
3	44	21
4	65	21
5	73	21
6	85	21
7	86	21
done	86	21
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	13	24
1	22	23
2	33	23
3	44	21
4	65	21
5	73	21
6	85	21
7	86	21
done	86	21
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	12	23
1	21	21
2	34	21
3	57	21
4	62	21
5	66	21
6	72	21
done	72	21
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	12	23
1	21	22
2	32	20
3	59	18
4	149	9
5	181	9
done	181	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	12	23
1	21	22
2	32	20
3	59	18
4	149	9
5	181	9
done	181	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	11	22
1	20	20
2	31	18
3	54	9
4	71	9
done	71	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	10	20
1	17	18
2	26	9
3	32	9
done	32	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	9	20
1	14	20
2	18	20
3	20	20
done	20	20
0	14	21
1	20	21
2	22	21
3	23	21
done	23	21
0	15	35
1	21	35
2	23	35
3	24	35
done	24	35
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	14	22
1	18	22
2	20	22
3	21	22
done	21	22
0	9	11
1	14	9
2	18	9
3	19	9
done	19	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	13	18
1	22	17
2	32	17
3	46	15
4	68	15
5	80	15
6	85	15
done	85	15
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	13	18
1	22	17
2	32	17
3	46	15
4	68	15
5	80	15
6	85	15
done	85	15
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	12	17
1	21	15
2	36	15
3	64	15
4	74	15
5	86	15
6	91	15
done	91	15
0	14	23
1	18	23
2	20	23
3	21	23
done	21	23
0	12	15
1	19	14
2	24	14
3	26	14
4	37	12
5	42	12
6	50	12
done	50	12
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	12	15
1	19	14
2	24	14
3	26	14
4	37	12
5	42	12
6	50	12
done	50	12
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	11	14
1	18	12
2	26	12
3	32	12
4	34	12
5	37	12
6	41	12
7	42	12
done	42	12
0	13	23
1	18	19
2	22	19
3	23	19
done	23	19
0	11	14
1	18	13
2	23	11
3	33	9
4	68	9
5	100	9
done	100	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	11	14
1	18	13
2	23	11
3	33	9
4	68	9
5	100	9
done	100	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	10	13
1	17	11
2	24	9
3	27	9
4	31	9
done	31	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	9	11
1	14	9
2	18	9
3	19	9
done	19	9
0	13	21
1	17	21
2	19	21
3	20	21
done	20	21
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	14	21
1	20	21
2	22	21
3	23	21
done	23	21
0	15	38
1	23	38
2	35	38
3	62	38
4	66	38
done	66	38
0	13	20
1	17	20
2	20	20
done	20	20
0	14	25
1	20	25
2	26	25
3	34	25
done	34	25
0	13	20
1	17	20
2	20	20
done	20	20
0	9	14
1	16	12
2	26	12
3	42	12
done	42	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	13	21
1	24	20
2	45	20
3	109	18
4	276	18
5	568	18
6	852	18
7	917	18
8	934	18
done	934	18
0	13	21
1	17	21
2	20	21
3	28	21
4	34	21
5	42	21
6	46	21
7	52	21
8	56	21
9	58	21
done	58	21
0	13	21
1	24	20
2	45	20
3	109	18
4	276	18
5	568	18
6	852	18
7	917	18
8	934	18
done	934	18
0	13	21
1	17	21
2	20	21
3	28	21
4	34	21
5	42	21
6	46	21
7	52	21
8	56	21
9	58	21
done	58	21
0	12	20
1	23	18
2	50	18
3	157	18
4	323	18
5	640	18
6	785	18
7	840	18
8	861	18
done	861	18
0	13	21
1	17	21
2	20	21
3	28	21
4	34	21
5	42	21
6	46	21
7	52	21
8	56	21
9	58	21
done	58	21
0	12	18
1	21	17
2	35	17
3	66	15
4	157	15
5	326	15
6	487	15
7	515	15
8	518	15
done	518	15
0	12	21
1	17	17
2	22	17
3	30	17
4	34	17
5	65	17
6	113	17
7	136	17
8	143	17
9	145	17
done	145	17
0	12	18
1	21	17
2	35	17
3	66	15
4	157	15
5	326	15
6	487	15
7	515	15
8	518	15
done	518	15
0	12	21
1	17	17
2	22	17
3	30	17
4	34	17
5	65	17
6	113	17
7	136	17
8	143	17
9	145	17
done	145	17
0	11	17
1	20	15
2	35	15
3	77	15
4	131	15
5	256	15
6	308	15
7	354	15
8	367	15
done	367	15
0	12	21
1	17	17
2	22	17
3	30	17
4	34	17
5	65	17
6	113	17
7	136	17
8	143	17
9	145	17
done	145	17
0	11	17
1	20	16
2	34	14
3	88	12
4	246	12
5	335	12
6	554	12
7	556	12
done	556	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	11	17
1	20	16
2	34	14
3	88	12
4	246	12
5	335	12
6	554	12
7	556	12
done	556	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	10	16
1	19	14
2	32	12
3	77	12
4	116	12
5	184	12
6	206	12
done	206	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	9	14
1	16	12
2	26	12
3	42	12
done	42	12
0	12	19
1	16	19
2	19	19
3	27	19
4	33	19
5	41	19
6	45	19
7	51	19
8	55	19
9	57	19
done	57	19
0	8	14
1	13	14
2	19	14
3	27	14
done	27	14
0	13	19
1	19	19
2	22	19
3	30	19
4	36	19
5	44	19
6	81	19
7	96	19
done	96	19
0	13	33
1	19	33
2	25	33
3	31	33
done	31	33
0	12	20
1	16	20
2	19	20
done	19	20
0	12	20
1	16	20
2	19	20
done	19	20
0	12	20
1	16	20
2	19	20
done	19	20
0	8	9
1	13	7
2	20	7
3	22	7
done	22	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	12	16
1	21	15
2	37	15
3	75	13
4	163	13
5	275	13
6	342	13
7	361	13
8	369	13
done	369	13
0	12	21
1	16	21
2	19	21
3	27	21
4	33	21
5	41	21
6	45	18
7	53	15
8	177	15
9	1035	15
done	5000	15
0	12	16
1	21	15
2	37	15
3	75	13
4	163	13
5	275	13
6	342	13
7	361	13
8	369	13
done	369	13
0	12	21
1	16	21
2	19	21
3	27	21
4	33	21
5	41	21
6	45	18
7	53	15
8	177	15
9	1035	15
done	5000	15
0	11	15
1	20	13
2	42	13
3	112	13
4	189	13
5	298	13
6	346	13
7	372	13
8	374	13
done	374	13
0	12	21
1	16	21
2	19	21
3	27	21
4	33	21
5	41	21
6	45	18
7	53	15
8	177	15
9	1035	15
done	5000	15
0	11	13
1	18	12
2	27	12
3	39	10
4	85	10
5	152	10
6	205	10
7	219	10
8	222	10
done	222	10
0	11	21
1	16	17
2	21	17
3	29	17
4	33	17
5	75	17
6	197	10
7	302	10
8	722	10
9	2462	10
done	5000	10
0	11	13
1	18	12
2	27	12
3	39	10
4	85	10
5	152	10
6	205	10
7	219	10
8	222	10
done	222	10
0	11	21
1	16	17
2	21	17
3	29	17
4	33	17
5	75	17
6	197	10
7	302	10
8	722	10
9	2462	10
done	5000	10
0	10	12
1	17	10
2	29	10
3	52	10
4	75	10
5	102	10
6	119	10
7	137	10
8	140	10
done	140	10
0	11	21
1	16	17
2	21	17
3	29	17
4	33	17
5	75	17
6	197	10
7	302	10
8	722	10
9	2462	10
done	5000	10
0	10	12
1	17	11
2	26	9
3	54	7
4	143	7
5	192	7
6	374	7
7	379	7
done	379	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	10	12
1	17	11
2	26	9
3	54	7
4	143	7
5	192	7
6	374	7
7	379	7
done	379	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	9	11
1	16	9
2	26	7
3	45	7
4	61	7
5	79	7
6	91	7
done	91	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	8	9
1	13	7
2	20	7
3	22	7
done	22	7
0	11	19
1	15	19
2	18	19
3	26	19
4	32	19
5	40	19
6	44	16
7	52	14
8	56	14
9	58	14
done	58	14
0	7	9
1	10	9
2	13	9
done	13	9
0	12	19
1	18	19
2	21	19
3	29	19
4	35	14
5	39	12
6	68	12
7	87	12
done	87	12
0	14	30
1	22	28
2	26	28
3	36	28
4	38	28
done	38	28
0	12	19
1	16	19
2	27	19
done	27	19
0	13	17
1	19	15
2	21	15
3	25	15
done	25	15
0	12	19
1	16	19
2	27	19
done	27	19
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	12
1	17	8
2	37	8
3	101	8
4	143	8
5	180	8
6	205	8
done	205	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	8	9
1	14	5
2	24	5
3	40	5
4	52	5
5	67	5
6	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	8
1	12	2
done	12	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	6
1	10	4
2	12	4
3	14	4
done	14	4
0	12	18
1	18	18
2	29	18
3	53	18
4	91	18
5	140	18
6	187	18
7	234	18
done	234	18
0	14	30
1	22	28
2	26	28
3	36	28
4	38	28
done	38	28
0	12	19
1	16	19
2	27	19
done	27	19
0	13	17
1	19	15
2	21	15
3	25	15
done	25	15
0	12	19
1	16	19
2	27	19
done	27	19
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	10	13
1	18	10
2	32	10
3	79	8
4	118	8
5	155	8
6	185	8
7	187	8
done	187	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	12
1	17	8
2	37	8
3	101	8
4	143	8
5	180	8
6	205	8
done	205	8
0	12	20
1	16	20
2	27	20
3	51	20
4	89	20
5	140	20
6	156	20
7	206	20
8	314	20
9	377	20
10	383	20
done	383	20
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	9	10
1	15	7
2	22	7
3	40	5
4	48	5
5	63	5
6	80	5
7	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	8	9
1	14	5
2	24	5
3	40	5
4	52	5
5	67	5
6	81	5
done	81	5
0	11	20
1	16	16
2	29	16
3	53	16
4	85	16
5	152	16
6	282	16
7	353	16
8	400	16
9	441	16
10	447	16
done	447	16
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	7	9
1	13	4
2	18	2
done	18	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	8
1	12	2
done	12	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	5	6
1	9	2
done	9	2
0	11	18
1	15	18
2	26	18
3	50	18
4	85	18
5	131	18
6	147	18
7	199	18
8	301	18
9	353	18
10	359	18
done	359	18
0	6	6
1	10	4
2	12	4
3	14	4
done	14	4
0	12	18
1	18	18
2	29	18
3	53	18
4	91	18
5	140	18
6	187	18
7	234	18
done	234	18
0	13	28
1	19	28
done	19	28
0	13	21
1	19	21
2	38	21
3	51	21
4	61	21
5	69	21
6	71	21
7	77	21
8	81	21
9	89	21
10	296	21
11	1826	21
done	5001	21
0	12	15
1	16	15
done	16	15
0	13	21
1	19	21
2	38	21
3	51	21
4	61	21
5	69	21
6	71	21
7	77	21
8	81	21
9	89	21
10	296	21
11	1826	21
done	5001	21
0	3	4
1	5	1
done	5	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	8	11
1	14	10
2	21	8
3	31	5
4	32	5
done	32	5
0	13	22
1	19	22
2	38	22
3	75	22
4	131	22
5	199	22
6	242	22
7	336	22
8	513	22
9	691	22
10	1234	22
done	5000	22
0	8	11
1	14	10
2	21	8
3	31	5
4	32	5
done	32	5
0	13	22
1	19	22
2	38	22
3	75	22
4	131	22
5	199	22
6	242	22
7	336	22
8	513	22
9	691	22
10	1234	22
done	5000	22
0	7	10
1	13	8
2	24	8
3	34	5
done	34	5
0	13	22
1	19	22
2	38	22
3	75	22
4	131	22
5	199	22
6	242	22
7	336	22
8	513	22
9	691	22
10	1234	22
done	5000	22
0	7	8
1	11	7
2	14	5
done	14	5
0	12	22
1	19	18
2	40	18
3	77	18
4	127	18
5	223	18
6	466	18
7	722	18
8	1051	18
9	1683	18
done	5001	18
0	7	8
1	11	7
2	14	5
done	14	5
0	12	22
1	19	18
2	40	18
3	77	18
4	127	18
5	223	18
6	466	18
7	722	18
8	1051	18
9	1683	18
done	5001	18
0	6	7
1	10	5
2	15	5
done	15	5
0	12	22
1	19	18
2	40	18
3	77	18
4	127	18
5	223	18
6	466	18
7	722	18
8	1051	18
9	1683	18
done	5001	18
0	5	7
1	9	1
done	9	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	5	7
1	9	1
done	9	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	4	6
1	7	1
done	7	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	3	4
1	5	1
done	5	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	4	4
1	6	4
done	6	4
0	13	20
1	21	20
2	40	20
3	77	20
4	133	20
5	201	20
6	298	20
7	491	20
8	660	20
9	1008	20
10	2317	20
done	5000	20
0	13	30
1	21	30
2	31	15
3	37	15
done	37	15
0	13	19
1	19	19
2	30	19
done	30	19
0	12	17
1	16	17
2	18	17
3	19	17
done	19	17
0	13	19
1	19	19
2	30	19
done	30	19
0	5	6
1	9	4
2	16	2
3	21	2
done	21	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	10	13
1	18	12
2	36	12
3	79	10
4	120	5
5	150	5
6	162	5
done	162	5
0	13	20
1	19	20
2	30	20
3	54	20
4	92	20
5	144	20
6	160	20
7	210	20
8	318	20
9	379	20
10	385	20
done	385	20
0	10	13
1	18	12
2	36	12
3	79	10
4	120	5
5	150	5
6	162	5
done	162	5
0	13	20
1	19	20
2	30	20
3	54	20
4	92	20
5	144	20
6	160	20
7	210	20
8	318	20
9	379	20
10	385	20
done	385	20
0	9	12
1	17	10
2	40	10
3	116	5
4	139	5
5	167	5
6	179	5
done	179	5
0	13	20
1	19	20
2	30	20
3	54	20
4	92	20
5	144	20
6	160	20
7	210	20
8	318	20
9	379	20
10	385	20
done	385	20
0	9	10
1	15	9
2	24	9
3	34	7
4	48	7
5	54	7
6	68	7
7	73	7
done	73	7
0	12	20
1	18	16
2	29	16
3	53	16
4	85	16
5	152	16
6	275	16
7	349	16
8	390	16
9	429	16
10	433	16
done	433	16
0	9	10
1	15	9
2	24	9
3	34	7
4	48	7
5	54	7
6	68	7
7	73	7
done	73	7
0	12	20
1	18	16
2	29	16
3	53	16
4	85	16
5	152	16
6	275	16
7	349	16
8	390	16
9	429	16
10	433	16
done	433	16
0	8	9
1	14	7
2	25	7
3	47	7
4	49	7
5	53	7
6	61	7
7	65	7
done	65	7
0	12	20
1	18	16
2	29	16
3	53	16
4	85	16
5	152	16
6	275	16
7	349	16
8	390	16
9	429	16
10	433	16
done	433	16
0	7	9
1	13	8
2	22	6
3	48	4
4	133	2
5	155	2
6	163	2
done	163	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	7	9
1	13	8
2	22	6
3	48	4
4	133	2
5	155	2
6	163	2
done	163	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	6	8
1	12	6
2	21	4
3	43	2
4	53	2
5	58	2
6	66	2
done	66	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	5	6
1	9	4
2	16	2
3	21	2
done	21	2
0	12	18
1	18	18
2	29	18
3	53	18
4	88	18
5	135	18
6	149	18
7	201	18
8	303	18
9	354	18
10	360	18
done	360	18
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	12	18
1	18	18
2	29	18
3	53	18
4	91	18
5	140	18
6	187	18
7	231	18
done	231	18
0	18	38
1	39	38
2	72	38
3	169	38
4	365	38
5	838	38
6	2780	38
done	5001	38
0	16	25
1	26	23
2	44	23
3	66	23
4	101	23
5	152	23
6	217	23
7	277	23
8	361	23
9	522	23
10	582	23
11	603	23
done	603	23
0	17	25
1	36	25
2	64	25
3	118	25
4	202	25
5	438	25
6	1412	25
done	5000	25
0	16	25
1	26	23
2	44	23
3	66	23
4	101	23
5	152	23
6	217	23
7	277	23
8	361	23
9	522	23
10	582	23
11	603	23
done	603	23
0	11	14
1	30	12
2	62	12
3	128	12
4	258	12
5	539	12
6	1613	12
done	5000	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	15	21
1	38	20
2	81	20
3	235	18
4	709	18
5	2005	18
done	5001	18
0	16	26
1	26	24
2	44	24
3	66	24
4	101	24
5	152	24
6	217	24
7	277	24
8	361	24
9	522	24
10	582	24
11	603	24
done	603	24
0	15	21
1	38	20
2	81	20
3	235	18
4	709	18
5	2005	18
done	5001	18
0	16	26
1	26	24
2	44	24
3	66	24
4	101	24
5	152	24
6	217	24
7	277	24
8	361	24
9	522	24
10	582	24
11	603	24
done	603	24
0	14	20
1	37	18
2	84	18
3	281	18
4	810	18
5	2374	18
done	5001	18
0	16	26
1	26	24
2	44	24
3	66	24
4	101	24
5	152	24
6	217	24
7	277	24
8	361	24
9	522	24
10	582	24
11	603	24
done	603	24
0	14	18
1	35	17
2	71	17
3	166	15
4	453	15
5	1179	15
6	4022	15
done	5000	15
0	15	26
1	26	20
2	46	20
3	68	20
4	103	20
5	154	20
6	219	20
7	279	20
8	363	20
9	524	20
10	584	20
11	605	20
done	605	20
0	14	18
1	35	17
2	71	17
3	166	15
4	453	15
5	1179	15
6	4022	15
done	5000	15
0	15	26
1	26	20
2	46	20
3	68	20
4	103	20
5	154	20
6	219	20
7	279	20
8	363	20
9	524	20
10	584	20
11	605	20
done	605	20
0	13	17
1	34	15
2	71	15
3	165	15
4	410	15
5	1118	15
6	4579	15
done	5000	15
0	15	26
1	26	20
2	46	20
3	68	20
4	103	20
5	154	20
6	219	20
7	279	20
8	363	20
9	524	20
10	584	20
11	605	20
done	605	20
0	13	17
1	34	16
2	70	14
3	194	12
4	599	12
5	1177	12
6	3003	12
done	5001	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	13	17
1	34	16
2	70	14
3	194	12
4	599	12
5	1177	12
6	3003	12
done	5001	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	12	16
1	33	14
2	68	12
3	160	12
4	359	12
5	655	12
6	1842	12
done	5001	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	11	14
1	30	12
2	62	12
3	128	12
4	258	12
5	539	12
6	1613	12
done	5000	12
0	15	24
1	25	22
2	43	22
3	65	22
4	100	22
5	151	22
6	216	22
7	276	22
8	360	22
9	521	22
10	581	22
11	602	22
done	602	22
0	10	14
1	27	14
2	55	14
3	106	14
4	196	14
5	451	14
6	1477	14
done	5000	14
0	16	24
1	28	22
2	46	22
3	68	22
4	103	22
5	154	22
6	219	22
7	279	22
8	363	22
9	524	22
10	584	22
11	605	22
done	605	22
0	16	38
1	28	38
2	67	38
3	210	38
4	578	38
5	1185	36
6	2309	36
done	5000	36
0	12	17
1	19	17
2	22	17
3	24	17
done	24	17
0	15	25
1	25	25
2	59	25
3	151	25
4	337	25
5	584	23
6	1145	23
7	3464	23
done	5001	23
0	12	17
1	19	17
2	22	17
3	24	17
done	24	17
0	9	14
1	20	12
2	59	12
3	166	12
4	373	10
5	633	10
6	1371	10
7	4040	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	13	21
1	28	20
2	78	20
3	295	18
4	1088	16
5	3078	16
done	5000	16
0	12	18
1	19	18
2	22	18
3	24	18
done	24	18
0	13	21
1	28	20
2	78	20
3	295	18
4	1088	16
5	3078	16
done	5000	16
0	12	18
1	19	18
2	22	18
3	24	18
done	24	18
0	12	20
1	27	18
2	81	18
3	334	18
4	1241	16
5	3625	16
done	5000	16
0	12	18
1	19	18
2	22	18
3	24	18
done	24	18
0	12	18
1	25	17
2	68	17
3	214	15
4	793	13
5	1920	13
6	4246	13
done	5000	13
0	11	18
1	19	14
2	24	14
3	26	14
done	26	14
0	12	18
1	25	17
2	68	17
3	214	15
4	793	13
5	1920	13
6	4246	13
done	5000	13
0	11	18
1	19	14
2	24	14
3	26	14
done	26	14
0	11	17
1	24	15
2	68	15
3	211	15
4	694	13
5	1759	13
6	4201	13
done	5000	13
0	11	18
1	19	14
2	24	14
3	26	14
done	26	14
0	11	17
1	24	16
2	67	14
3	246	12
4	1109	10
5	1813	10
6	3567	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	11	17
1	24	16
2	67	14
3	246	12
4	1109	10
5	1813	10
6	3567	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	10	16
1	23	14
2	65	12
3	216	12
4	610	10
5	1175	10
6	2104	10
done	5001	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	9	14
1	20	12
2	59	12
3	166	12
4	373	10
5	633	10
6	1371	10
7	4040	10
done	5000	10
0	11	16
1	18	16
2	21	16
3	23	16
done	23	16
0	8	14
1	17	14
2	52	14
3	137	14
4	314	14
5	570	12
6	1124	12
7	3841	12
done	5000	12
0	12	16
1	21	16
2	24	16
3	26	16
done	26	16
0	2	2
1	4	1
done	4	1
0	12	20
1	18	20
2	37	20
3	74	20
4	127	20
5	188	20
6	229	20
7	324	20
8	492	20
9	663	20
10	1183	20
done	5000	20
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	11	14
1	15	14
done	15	14
0	12	20
1	20	20
2	43	18
3	104	18
4	240	18
5	397	18
6	539	18
7	705	18
8	829	18
9	917	18
10	2222	18
done	5000	18
0	7	8
1	9	8
done	9	8
0	15	24
1	39	24
2	98	24
3	246	24
4	1075	24
5	4792	24
done	5000	24
0	13	36
1	32	31
2	67	31
3	131	29
4	217	24
5	329	22
6	483	20
7	578	20
8	2257	20
done	5001	20
0	14	32
1	32	32
2	75	32
3	207	32
4	624	20
5	1886	20
done	5000	20
0	9	12
1	12	12
2	15	12
done	15	12
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	9	12
1	11	12
done	11	12
0	3	3
1	6	1
done	6	1
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	13	21
1	19	21
2	38	21
3	75	21
4	128	21
5	192	21
6	233	21
7	328	21
8	496	21
9	667	21
10	1190	21
done	5001	21
0	3	3
1	8	1
done	8	1
0	4	5
1	9	3
2	11	1
done	11	1
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	10
2	41	8
3	92	8
4	130	6
5	450	6
6	3444	6
done	5000	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	380	6
7	1036	4
done	5000	4
0	4	5
done	4	5
0	4	5
done	4	5
0	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	5	12
1	8	9
2	10	9
3	11	9
done	11	9
0	4	6
done	4	6
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	5	6
done	5	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	4	5
done	4	5
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	5	6
done	5	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	4	5
done	4	5
0	5	10
1	7	10
done	7	10
0	4	6
done	4	6
0	6	9
1	7	6
done	7	6
0	5	6
done	5	6
0	4	6
done	4	6
0	4	6
done	4	6
0	5	5
1	7	4
done	7	4
0	3	5
1	4	1
2	6	1
done	6	1
0	4	6
done	4	6
0	4	6
done	4	6
0	4	4
1	6	2
2	8	2
done	8	2
0	3	5
1	4	1
2	6	1
done	6	1
0	6	9
1	10	9
done	10	9
0	4	5
done	4	5
0	6	8
1	9	5
done	9	5
0	4	5
done	4	5
0	5	5
1	7	5
done	7	5
0	4	5
done	4	5
0	3	4
1	5	3
done	5	3
0	3	4
done	3	4
0	5	5
1	7	5
done	7	5
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	4	4
1	6	4
done	6	4
0	3	4
done	3	4
0	5	9
1	7	9
done	7	9
0	5	8
1	6	5
done	6	5
0	4	5
done	4	5
0	4	4
1	6	3
done	6	3
0	4	5
done	4	5
0	3	3
1	5	1
done	5	1
0	4	5
done	4	5
0	3	5
1	4	1
2	6	1
done	6	1
0	3	4
done	3	4
0	3	3
1	8	1
done	8	1
0	4	5
1	9	3
2	11	1
done	11	1
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	10
2	41	8
3	92	8
4	130	6
5	450	6
6	3444	6
done	5000	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	380	6
7	1036	4
done	5000	4
0	4	5
done	4	5
0	4	5
done	4	5
0	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	5	12
1	8	9
2	10	9
3	11	9
done	11	9
0	4	6
done	4	6
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	5	6
done	5	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	4	5
done	4	5
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	5	6
done	5	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	4	5
done	4	5
0	5	10
1	7	10
done	7	10
0	4	6
done	4	6
0	6	9
1	7	6
done	7	6
0	5	6
done	5	6
0	4	6
done	4	6
0	4	6
done	4	6
0	5	5
1	7	4
done	7	4
0	3	5
1	4	1
2	6	1
done	6	1
0	4	6
done	4	6
0	4	6
done	4	6
0	4	4
1	6	2
2	8	2
done	8	2
0	3	5
1	4	1
2	6	1
done	6	1
0	6	9
1	10	9
done	10	9
0	4	5
done	4	5
0	6	8
1	9	5
done	9	5
0	4	5
done	4	5
0	5	5
1	7	5
done	7	5
0	4	5
done	4	5
0	3	4
1	5	3
done	5	3
0	3	4
done	3	4
0	5	5
1	7	5
done	7	5
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	4	4
1	6	4
done	6	4
0	3	4
done	3	4
0	5	9
1	7	9
done	7	9
0	5	8
1	6	5
done	6	5
0	4	5
done	4	5
0	4	4
1	6	3
done	6	3
0	4	5
done	4	5
0	3	3
1	5	1
done	5	1
0	4	5
done	4	5
0	3	5
1	4	1
2	6	1
done	6	1
0	3	4
done	3	4
0	123	507
1	393	459
2	2347	442
done	5000	442
0	45	92
1	119	92
2	506	92
3	2365	87
done	5001	87
0	42	83
1	118	83
2	389	70
3	2149	58
done	5000	58
0	123	507
1	393	459
2	2347	442
done	5000	442
0	45	92
1	119	92
2	506	92
3	2365	87
done	5001	87
0	42	83
1	118	83
2	389	70
3	2149	58
done	5000	58
0	14	19
1	41	19
2	124	19
3	260	17
4	647	17
5	2338	15
done	5000	15
0	12	15
1	32	15
2	74	15
3	127	15
4	261	15
5	701	15
6	2634	15
done	5001	15
0	4	5
1	5	5
done	5	5
0	14	19
1	41	19
2	124	19
3	260	17
4	647	17
5	2338	15
done	5000	15
0	12	15
1	32	15
2	74	15
3	127	15
4	261	15
5	701	15
6	2634	15
done	5001	15
0	4	5
1	5	5
done	5	5

prune1.1s

Filtered

224 candidates to 414 candidates (-84.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	413	1	414
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	414	9	423

Merged error: 0b

Counts

423 → 9

regimes54.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	53
1	29	53
done	29	53

end0.0ms

sample1.2s

Algorithm

intervals

Results

265.0ms	1844×	body	640	valid
246.0ms	7974×	body	80	nan
218.0ms	1179×	body	1280	valid
157.0ms	4092×	body	80	valid
62.0ms	587×	body	320	valid
21.0ms	298×	body	160	valid

Details

sample53.0ms

simplify5.0ms

prune3.0ms

localize8.0ms

rewrite60.0ms

series33.0ms

simplify1.2min

prune312.0ms

localize14.0ms

rewrite102.0ms

series53.0ms

simplify3.3min

prune371.0ms

localize17.0ms

rewrite74.0ms

series55.0ms

simplify4.9min

prune407.0ms

localize14.0ms

rewrite157.0ms

series139.0ms

simplify7.9min

prune1.1s

regimes54.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling