Details

sample31.0ms

Algorithm

intervals

Results

14.0ms

265×

body

valid

simplify3.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	17
1	23	17
2	35	17
3	60	17
4	101	17
5	182	17
6	358	17
7	720	17
8	2093	17
done	5001	17

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 7.6b

Counts

2 → 1

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* t z) x)
0.3b	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
10.4b	(/ (- (* y z) x) (- (* t z) x))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
25×	`times-frac`
21×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`distribute-lft-out`
7×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
5×	`add-log-exp`
4×	`associate-/r/` `associate-/l/`
3×	`pow1` `flip3--` `div-sub` `flip--`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv`
1×	`associate-+r-` `sub-neg` `diff-log`

Counts

3 → 85

Calls

3 calls:

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

series71.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- (* t z) x)
40.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
20.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify2.1min

Counts

94 → 94

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	18	13
2	21	13
done	21	13
0	10	12
1	21	12
2	31	12
3	44	12
4	58	12
5	70	12
6	76	12
done	76	12
0	10	12
1	18	12
2	29	12
3	43	12
4	64	12
5	92	12
6	136	12
7	319	12
8	738	12
9	1809	12
done	5000	12
0	13	35
1	27	35
2	88	15
3	299	13
4	1022	13
5	4132	13
done	5001	13
0	11	25
1	19	25
2	27	25
3	39	25
4	53	25
5	65	25
6	71	25
done	71	25
0	10	12
1	18	12
2	26	12
3	38	12
4	52	12
5	64	12
6	70	12
done	70	12
0	11	35
1	26	35
2	62	13
3	220	13
4	839	13
5	3388	13
done	5000	13
0	10	12
1	18	12
2	26	12
3	38	12
4	52	12
5	64	12
6	70	12
done	70	12
0	10	12
1	18	12
2	26	12
3	38	12
4	52	12
5	64	12
6	70	12
done	70	12
0	6	6
1	9	6
2	13	6
3	21	6
4	22	5
done	22	5
0	6	6
1	9	6
2	13	6
3	21	6
4	22	5
done	22	5
0	8	9
1	14	9
2	22	9
3	34	9
4	47	9
5	57	7
6	59	7
done	59	7
0	6	7
1	9	7
2	10	7
done	10	7
0	13	27
1	24	27
2	35	27
3	41	27
done	41	27
0	11	13
1	16	13
2	18	13
done	18	13
0	12	20
1	19	20
2	23	20
3	24	20
done	24	20
0	11	13
1	16	13
2	18	13
done	18	13
0	9	15
1	16	13
2	23	13
3	28	13
done	28	13
0	10	12
1	15	12
2	17	12
done	17	12
0	12	20
1	19	20
2	21	20
done	21	20
0	11	13
1	16	13
2	18	13
done	18	13
0	11	13
1	16	13
2	18	13
done	18	13
0	11	13
1	16	13
2	18	13
done	18	13
0	8	8
1	13	6
2	16	6
done	16	6
0	10	12
1	15	12
2	17	12
done	17	12
0	9	15
1	16	15
2	17	15
done	17	15
0	10	12
1	18	12
2	26	12
3	32	12
4	34	12
done	34	12
0	8	8
1	13	8
2	14	8
done	14	8
0	10	12
1	18	12
2	26	12
3	32	12
4	34	12
done	34	12
0	2	3
1	4	1
done	4	1
0	9	11
1	17	11
2	25	11
3	37	11
4	51	11
5	63	11
6	69	11
done	69	11
0	7	7
1	12	7
2	13	7
done	13	7
0	9	11
1	17	11
2	25	11
3	37	11
4	51	11
5	63	11
6	69	11
done	69	11
0	11	19
1	21	19
2	38	19
3	61	19
4	76	19
done	76	19
0	10	12
1	18	12
2	26	12
3	32	12
4	34	12
done	34	12
0	7	7
1	15	5
2	24	5
3	32	5
4	42	5
done	42	5
0	10	12
1	18	12
2	26	12
3	32	12
4	34	12
done	34	12
0	10	12
1	18	12
2	26	12
3	32	12
4	34	12
done	34	12
0	9	11
1	17	11
2	25	11
3	37	11
4	51	11
5	63	11
6	69	11
done	69	11
0	12	15
1	37	15
2	94	15
3	219	15
4	575	15
5	2146	15
done	5000	15
0	11	17
1	30	17
2	66	17
3	121	17
4	236	17
5	453	17
6	770	17
7	1637	17
done	5001	17
0	13	23
1	40	21
2	117	21
3	404	19
4	1016	19
5	2148	19
6	4425	19
done	5000	19
0	9	11
1	21	11
2	49	11
3	122	11
4	206	11
5	291	11
6	399	11
7	704	11
8	1416	11
9	1886	11
10	1918	11
done	1918	11
0	15	19
1	27	19
2	40	19
3	59	19
4	83	19
5	104	19
6	115	19
7	124	19
8	155	19
9	204	19
10	257	19
11	272	19
12	289	19
13	306	19
14	310	19
done	310	19
0	14	18
1	27	18
2	41	18
3	67	18
4	108	18
5	189	18
6	365	18
7	727	18
8	2138	18
done	5000	18
0	14	18
1	24	18
2	36	18
3	61	18
4	108	18
5	195	18
6	390	18
7	790	18
8	2297	18
done	5000	18
0	17	53
1	60	53
2	171	21
3	516	19
4	2260	19
done	5000	19
0	15	37
1	25	37
2	37	37
3	62	37
4	103	37
5	184	37
6	360	37
7	722	37
8	2114	37
done	5000	37
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	359	18
7	721	18
8	2090	18
done	5001	18
0	15	53
1	32	53
2	76	19
3	199	19
4	780	19
5	4082	19
done	5001	19
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	359	18
7	721	18
8	2090	18
done	5001	18
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	359	18
7	721	18
8	2090	18
done	5001	18
0	11	14
1	22	14
2	38	14
3	68	14
4	126	13
5	166	13
6	187	13
7	212	13
8	271	13
9	323	13
10	324	13
done	324	13
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	12	15
1	20	15
2	28	15
3	40	15
4	53	15
5	63	13
6	65	13
done	65	13
0	9	11
1	15	11
2	25	11
3	62	11
4	120	11
5	169	11
6	226	11
7	324	11
8	561	11
9	998	11
10	1309	11
11	1327	11
done	1327	11
0	17	39
1	33	39
2	54	39
3	79	39
4	103	39
5	124	39
6	135	39
7	144	39
8	175	39
9	224	39
10	277	39
11	292	39
12	309	39
13	326	39
14	330	39
done	330	39
0	15	19
1	25	19
2	37	19
3	56	19
4	80	19
5	101	19
6	112	19
7	121	19
8	152	19
9	201	19
10	254	19
11	269	19
12	286	19
13	303	19
14	307	19
done	307	19
0	16	34
1	28	34
2	42	34
3	62	34
4	86	34
5	107	34
6	118	34
7	127	34
8	158	34
9	207	34
10	260	34
11	275	34
12	292	34
13	309	34
14	313	34
done	313	34
0	15	19
1	25	19
2	37	19
3	56	19
4	80	19
5	101	19
6	112	19
7	121	19
8	152	19
9	201	19
10	254	19
11	269	19
12	286	19
13	303	19
14	307	19
done	307	19
0	14	31
1	27	29
2	45	29
3	69	29
4	93	29
5	113	29
6	122	29
7	131	29
8	162	29
9	211	29
10	264	29
11	279	29
12	296	29
13	313	29
14	317	29
done	317	29
0	14	18
1	24	18
2	36	18
3	55	18
4	79	18
5	100	18
6	111	18
7	120	18
8	151	18
9	200	18
10	253	18
11	268	18
12	285	18
13	302	18
14	306	18
done	306	18
0	14	31
1	27	29
2	45	29
3	69	29
4	93	29
5	113	29
6	122	29
7	131	29
8	162	29
9	211	29
10	264	29
11	279	29
12	296	29
13	313	29
14	317	29
done	317	29
0	14	18
1	24	18
2	36	18
3	55	18
4	79	18
5	100	18
6	111	18
7	120	18
8	151	18
9	200	18
10	253	18
11	268	18
12	285	18
13	302	18
14	306	18
done	306	18
0	16	24
1	28	24
2	40	24
3	59	24
4	83	24
5	104	24
6	115	24
7	124	24
8	155	24
9	204	24
10	257	24
11	272	24
12	289	24
13	306	24
14	310	24
done	310	24
0	15	19
1	25	19
2	37	19
3	56	19
4	80	19
5	101	19
6	112	19
7	121	19
8	152	19
9	201	19
10	254	19
11	269	19
12	286	19
13	303	19
14	307	19
done	307	19
0	15	19
1	25	19
2	37	19
3	56	19
4	80	19
5	101	19
6	112	19
7	121	19
8	152	19
9	201	19
10	254	19
11	269	19
12	286	19
13	303	19
14	307	19
done	307	19
0	15	19
1	25	19
2	37	19
3	56	19
4	80	19
5	101	19
6	112	19
7	121	19
8	152	19
9	201	19
10	254	19
11	269	19
12	286	19
13	303	19
14	307	19
done	307	19
0	13	16
1	24	14
2	38	14
3	57	14
4	81	14
5	101	14
6	110	14
7	119	14
8	150	14
9	199	14
10	252	14
11	267	14
12	284	14
13	301	14
14	305	14
done	305	14
0	14	18
1	24	18
2	36	18
3	55	18
4	79	18
5	100	18
6	111	18
7	120	18
8	151	18
9	200	18
10	253	18
11	268	18
12	285	18
13	302	18
14	306	18
done	306	18
0	13	16
1	24	14
2	38	14
3	57	14
4	81	14
5	101	14
6	110	14
7	119	14
8	150	14
9	199	14
10	252	14
11	267	14
12	284	14
13	301	14
14	305	14
done	305	14
0	14	18
1	24	18
2	36	18
3	55	18
4	79	18
5	100	18
6	111	18
7	120	18
8	151	18
9	200	18
10	253	18
11	268	18
12	285	18
13	302	18
14	306	18
done	306	18
0	7	11
1	12	11
done	12	11
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	287	18
7	491	18
8	1583	18
done	5000	18
0	6	6
1	9	6
done	9	6
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	287	18
7	491	18
8	1583	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	13	17
1	23	17
2	35	17
3	60	17
4	101	17
5	182	17
6	358	17
7	720	17
8	2093	17
done	5001	17
0	2	3
1	4	1
done	4	1
0	13	17
1	23	17
2	35	17
3	60	17
4	101	17
5	182	17
6	358	17
7	720	17
8	2093	17
done	5001	17
0	7	11
1	12	11
done	12	11
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	287	18
7	491	18
8	1583	18
done	5000	18
0	6	6
1	9	6
done	9	6
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	287	18
7	491	18
8	1583	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	13	17
1	23	17
2	35	17
3	60	17
4	101	17
5	182	17
6	358	17
7	720	17
8	2093	17
done	5001	17
0	2	3
1	4	1
done	4	1
0	13	17
1	23	17
2	35	17
3	60	17
4	101	17
5	182	17
6	358	17
7	720	17
8	2093	17
done	5001	17
0	5	5
1	8	5
done	8	5
0	13	17
1	23	17
2	35	17
3	54	17
4	78	17
5	99	17
6	110	17
7	119	17
8	150	17
9	199	17
10	252	17
11	267	17
12	284	17
13	301	17
14	305	17
done	305	17
0	15	23
1	27	23
2	39	23
3	70	23
4	138	23
5	299	23
6	552	23
7	988	23
8	3507	23
done	5001	23
0	14	18
1	24	18
2	36	18
3	61	18
4	102	18
5	183	18
6	287	18
7	491	18
8	1583	18
done	5000	18
0	12	15
1	23	13
2	37	13
3	62	13
4	103	13
5	191	13
6	336	13
7	589	13
8	1003	13
9	2172	13
done	5000	13
0	12	15
1	23	13
2	37	13
3	62	13
4	103	13
5	191	13
6	336	13
7	589	13
8	1003	13
9	2172	13
done	5000	13
0	14	18
1	24	18
2	36	18
3	55	18
4	79	18
5	100	18
6	111	18
7	120	18
8	151	18
9	200	18
10	253	18
11	268	18
12	285	18
13	302	18
14	306	18
done	306	18
0	14	18
1	24	18
2	36	18
3	55	18
4	79	18
5	100	18
6	111	18
7	120	18
8	151	18
9	200	18
10	253	18
11	268	18
12	285	18
13	302	18
14	306	18
done	306	18
0	13	17
1	23	17
2	35	17
3	54	17
4	78	17
5	99	17
6	110	17
7	119	17
8	150	17
9	199	17
10	252	17
11	267	17
12	284	17
13	301	17
14	305	17
done	305	17
0	13	17
1	23	17
2	35	17
3	54	17
4	78	17
5	99	17
6	110	17
7	119	17
8	150	17
9	199	17
10	252	17
11	267	17
12	284	17
13	301	17
14	305	17
done	305	17
0	16	21
1	39	21
2	60	21
3	102	21
4	182	21
5	374	21
6	953	21
7	4775	21
done	5000	21
0	15	21
1	29	21
2	50	21
3	98	21
4	207	21
5	459	21
6	1469	21
7	4467	21
done	5000	21
0	17	45
1	47	33
2	132	33
3	427	33
4	1603	33
done	5000	33
0	13	17
1	25	17
2	52	17
3	124	17
4	297	17
5	766	17
6	1982	17
7	3944	17
done	5000	17
0	7	7
1	12	6
2	20	6
3	33	6
4	71	6
5	182	6
6	560	6
7	2181	6
done	5001	6
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	12	6
2	19	6
3	29	6
4	57	6
5	135	6
6	423	6
7	1175	6
8	3709	6
done	5001	6
0	7	13
1	10	13
2	11	13
done	11	13
0	6	6
1	9	6
2	10	6
done	10	6
0	7	17
1	11	17
2	26	7
3	85	7
4	282	7
5	873	7
6	2661	7
done	5000	7
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	8	9
1	27	9
2	78	9
3	171	9
4	351	9
5	1014	9
6	4288	9
done	5000	9
0	9	17
1	26	15
2	51	15
3	60	13
4	69	13
5	71	13
done	71	13
0	2	2
done	2	2
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	1	1
1	3	1
done	3	1
0	3	3
done	3	3
0	3	3
done	3	3
0	7	9
1	18	7
2	41	7
3	61	7
4	86	7
5	104	7
6	146	7
7	215	7
8	443	7
9	1450	7
done	5001	7
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5

prune148.0ms

Filtered

71 candidates to 94 candidates (-32.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	87	7	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	7	95

Merged error: 0.2b

Counts

95 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* t z) x)
0.3b	(/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1.0))
2.2b	(/ y (- t (/ x z)))
3.2b	(/ x (- (* t z) x))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

79×	`*-un-lft-identity`
54×	`add-sqr-sqrt`
51×	`times-frac`
34×	`add-cube-cbrt`
16×	`distribute-lft-out`
13×	`associate-/r*`
11×	`associate-/l*`
10×	`add-exp-log` `add-cbrt-cube`
9×	`distribute-lft-out--`
8×	`difference-of-squares`
6×	`associate-/r/` `add-log-exp`
4×	`pow1`
3×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv`
2×	`flip3-+` `flip-+` `associate-/l/`
1×	`associate-+r-` `sub-neg` `diff-log` `div-sub`

Counts

4 → 128

Calls

4 calls:

5.0ms	(- (* t z) x)
41.0ms	(/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1.0))
9.0ms	(/ y (- t (/ x z)))
7.0ms	(/ x (- (* t z) x))

series72.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* t z) x)
42.0ms	(/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1.0))
11.0ms	(/ y (- t (/ x z)))
13.0ms	(/ x (- (* t z) x))

simplify2.2min

Counts

140 → 140

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	15	9
done	15	9
0	7	8
1	13	8
2	16	8
3	17	8
done	17	8
0	7	8
1	10	8
2	11	8
done	11	8
0	10	23
1	22	23
2	67	11
3	191	9
4	500	9
5	1628	9
done	5001	9
0	8	17
1	11	17
2	12	17
done	12	17
0	7	8
1	10	8
2	11	8
done	11	8
0	8	23
1	18	23
2	35	9
3	79	9
4	187	9
5	489	9
6	1951	9
done	5000	9
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	2	2
done	2	2
0	6	6
1	9	6
2	13	6
3	21	6
4	22	5
done	22	5
0	10	19
1	19	19
2	29	19
3	35	19
done	35	19
0	8	9
1	11	9
2	12	9
done	12	9
0	9	12
1	14	12
2	17	12
3	18	12
done	18	12
0	8	9
1	11	9
2	12	9
done	12	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	10	8
2	11	8
done	11	8
0	9	16
1	14	16
2	15	16
done	15	16
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	10	8
2	11	8
done	11	8
0	9	15
1	16	15
2	17	15
done	17	15
0	7	8
1	10	8
2	11	8
done	11	8
0	8	8
1	13	8
2	14	8
done	14	8
0	7	8
1	10	8
2	11	8
done	11	8
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
2	10	7
done	10	7
0	7	7
1	12	7
2	13	7
done	13	7
0	6	7
1	12	7
2	21	7
3	28	7
4	30	7
done	30	7
0	8	15
1	13	15
2	14	15
done	14	15
0	7	8
1	10	8
2	11	8
done	11	8
0	3	3
1	5	1
done	5	1
0	7	8
1	13	8
2	20	8
3	26	8
4	28	8
done	28	8
0	7	8
1	13	8
2	20	8
3	26	8
4	28	8
done	28	8
0	6	7
1	12	7
2	21	7
3	28	7
4	30	7
done	30	7
0	9	11
1	28	11
2	79	11
3	179	11
4	370	11
5	1046	11
6	4342	11
done	5001	11
0	8	13
1	21	13
2	41	13
3	59	13
4	100	13
5	179	13
6	275	13
7	503	13
8	1919	13
done	5000	13
0	9	9
1	13	9
2	17	9
done	17	9
0	8	8
1	13	8
2	18	8
3	19	8
done	19	8
0	8	8
1	10	8
2	13	8
done	13	8
0	11	23
1	22	23
2	69	11
3	185	9
4	462	9
5	1410	9
done	5001	9
0	9	17
1	11	17
2	14	17
done	14	17
0	8	8
1	10	8
2	13	8
done	13	8
0	9	23
1	18	23
2	37	9
3	81	9
4	183	9
5	460	9
6	1251	9
7	4407	9
done	5000	9
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	2	2
done	2	2
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	11	19
1	19	19
2	31	19
3	37	19
done	37	19
0	9	9
1	11	9
2	14	9
done	14	9
0	10	12
1	14	12
2	19	12
3	20	12
done	20	12
0	9	9
1	11	9
2	14	9
done	14	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	10	8
2	13	8
done	13	8
0	11	13
1	14	13
2	16	13
3	17	13
done	17	13
0	10	10
1	12	10
2	13	10
done	13	10
0	12	14
1	15	14
2	17	14
3	18	14
done	18	14
0	11	11
1	13	11
2	16	11
done	16	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	10	8
2	13	8
done	13	8
0	10	16
1	14	16
2	17	16
done	17	16
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	10	8
2	13	8
done	13	8
0	10	10
1	11	10
done	11	10
0	10	10
1	12	10
2	13	10
done	13	10
0	11	11
1	12	11
done	12	11
0	11	11
1	13	11
2	16	11
done	16	11
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	10	8
2	13	8
done	13	8
0	9	15
1	15	15
2	18	15
done	18	15
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	12	8
2	15	8
done	15	8
0	8	8
1	10	8
2	13	8
done	13	8
0	2	3
1	4	1
done	4	1
0	7	7
1	9	7
2	12	7
done	12	7
0	9	9
1	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	10	10
1	13	10
done	13	10
0	10	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
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	12	7
2	19	7
3	25	7
4	29	7
done	29	7
0	9	15
1	13	15
2	16	15
done	16	15
0	8	8
1	10	8
2	13	8
done	13	8
0	3	3
1	5	1
done	5	1
0	9	9
1	10	9
done	10	9
0	10	10
1	11	10
done	11	10
0	3	3
1	5	1
done	5	1
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	7	7
1	12	7
2	19	7
3	25	7
4	29	7
done	29	7
0	10	11
1	28	11
2	70	11
3	182	11
4	571	11
5	1969	11
done	5001	11
0	9	13
1	18	13
2	35	13
3	71	13
4	125	13
5	203	13
6	293	13
7	483	13
8	1845	13
done	5000	13
0	17	23
1	30	23
2	42	23
3	50	23
4	56	23
5	66	23
6	73	23
7	85	23
8	105	23
9	120	23
10	128	23
done	128	23
0	16	22
1	30	22
2	46	22
3	62	22
4	87	22
5	153	22
6	250	22
7	381	22
8	529	22
9	730	22
10	1081	22
11	1657	22
12	2232	22
13	2323	22
14	2343	22
15	2353	22
16	2355	22
done	2355	22
0	16	22
1	27	22
2	41	22
3	59	22
4	89	22
5	162	22
6	278	22
7	431	22
8	633	22
9	900	22
10	1342	22
11	1936	22
12	2515	22
13	2606	22
14	2626	22
15	2636	22
done	2636	22
0	19	65
1	63	65
2	180	25
3	610	23
4	2915	23
done	5001	23
0	17	45
1	28	45
2	42	45
3	57	45
4	82	45
5	148	45
6	245	45
7	377	45
8	530	45
9	728	45
10	1078	45
11	1649	45
12	2216	45
13	2307	45
14	2327	45
15	2337	45
16	2341	45
done	2341	45
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	147	22
6	244	22
7	376	22
8	520	22
9	724	22
10	1076	22
11	1647	22
12	2226	22
13	2317	22
14	2337	22
15	2347	22
done	2347	22
0	17	65
1	35	65
2	81	23
3	233	23
4	1044	23
done	5000	23
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	147	22
6	244	22
7	376	22
8	520	22
9	724	22
10	1076	22
11	1647	22
12	2226	22
13	2317	22
14	2337	22
15	2347	22
done	2347	22
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	147	22
6	244	22
7	376	22
8	520	22
9	724	22
10	1076	22
11	1647	22
12	2226	22
13	2317	22
14	2337	22
15	2347	22
done	2347	22
0	13	18
1	25	18
2	41	18
3	69	18
4	91	17
5	103	17
6	116	17
7	136	17
8	142	17
done	142	17
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	11	13
1	15	13
2	18	13
done	18	13
0	9	11
1	15	11
2	25	11
3	62	11
4	120	11
5	169	11
6	226	11
7	324	11
8	561	11
9	998	11
10	1309	11
11	1327	11
done	1327	11
0	19	47
1	36	47
2	56	47
3	70	47
4	76	47
5	86	47
6	93	47
7	105	47
8	125	47
9	140	47
10	148	47
done	148	47
0	17	23
1	28	23
2	39	23
3	47	23
4	53	23
5	63	23
6	70	23
7	82	23
8	102	23
9	117	23
10	125	23
done	125	23
0	18	42
1	31	42
2	44	42
3	53	42
4	59	42
5	69	42
6	76	42
7	88	42
8	108	42
9	123	42
10	131	42
done	131	42
0	17	23
1	28	23
2	39	23
3	47	23
4	53	23
5	63	23
6	70	23
7	82	23
8	102	23
9	117	23
10	125	23
done	125	23
0	16	39
1	30	37
2	47	37
3	60	37
4	66	37
5	76	37
6	83	37
7	95	37
8	115	37
9	130	37
10	138	37
done	138	37
0	16	22
1	27	22
2	38	22
3	46	22
4	52	22
5	62	22
6	69	22
7	81	22
8	101	22
9	116	22
10	124	22
done	124	22
0	16	39
1	30	37
2	47	37
3	60	37
4	66	37
5	76	37
6	83	37
7	95	37
8	115	37
9	130	37
10	138	37
done	138	37
0	16	22
1	27	22
2	38	22
3	46	22
4	52	22
5	62	22
6	69	22
7	81	22
8	101	22
9	116	22
10	124	22
done	124	22
0	18	28
1	31	28
2	42	28
3	50	28
4	56	28
5	66	28
6	73	28
7	85	28
8	105	28
9	120	28
10	128	28
done	128	28
0	17	23
1	28	23
2	39	23
3	47	23
4	53	23
5	63	23
6	70	23
7	82	23
8	102	23
9	117	23
10	125	23
done	125	23
0	17	23
1	28	23
2	39	23
3	47	23
4	53	23
5	63	23
6	70	23
7	82	23
8	102	23
9	117	23
10	125	23
done	125	23
0	17	23
1	28	23
2	39	23
3	47	23
4	53	23
5	63	23
6	70	23
7	82	23
8	102	23
9	117	23
10	125	23
done	125	23
0	15	20
1	27	18
2	40	18
3	48	18
4	54	18
5	64	18
6	71	18
7	83	18
8	103	18
9	118	18
10	126	18
done	126	18
0	16	22
1	27	22
2	38	22
3	46	22
4	52	22
5	62	22
6	69	22
7	81	22
8	101	22
9	116	22
10	124	22
done	124	22
0	15	20
1	27	18
2	40	18
3	48	18
4	54	18
5	64	18
6	71	18
7	83	18
8	103	18
9	118	18
10	126	18
done	126	18
0	16	22
1	27	22
2	38	22
3	46	22
4	52	22
5	62	22
6	69	22
7	81	22
8	101	22
9	116	22
10	124	22
done	124	22
0	7	11
1	12	11
done	12	11
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	6	6
1	9	6
done	9	6
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	2	3
1	4	1
done	4	1
0	15	21
1	26	21
2	40	21
3	55	21
4	80	21
5	146	21
6	243	21
7	374	21
8	526	21
9	725	21
10	1076	21
11	1648	21
12	2223	21
13	2314	21
14	2334	21
15	2344	21
done	2344	21
0	2	3
1	4	1
done	4	1
0	15	21
1	26	21
2	40	21
3	55	21
4	80	21
5	146	21
6	243	21
7	374	21
8	526	21
9	725	21
10	1076	21
11	1648	21
12	2223	21
13	2314	21
14	2334	21
15	2344	21
done	2344	21
0	7	11
1	12	11
done	12	11
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	6	6
1	9	6
done	9	6
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	2	3
1	4	1
done	4	1
0	15	21
1	26	21
2	40	21
3	55	21
4	80	21
5	146	21
6	243	21
7	374	21
8	526	21
9	725	21
10	1076	21
11	1648	21
12	2223	21
13	2314	21
14	2334	21
15	2344	21
done	2344	21
0	2	3
1	4	1
done	4	1
0	15	21
1	26	21
2	40	21
3	55	21
4	80	21
5	146	21
6	243	21
7	374	21
8	526	21
9	725	21
10	1076	21
11	1648	21
12	2223	21
13	2314	21
14	2334	21
15	2344	21
done	2344	21
0	7	11
1	12	11
done	12	11
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	6	6
1	9	6
done	9	6
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	2	3
1	4	1
done	4	1
0	15	21
1	26	21
2	40	21
3	55	21
4	80	21
5	146	21
6	243	21
7	374	21
8	526	21
9	725	21
10	1076	21
11	1648	21
12	2223	21
13	2314	21
14	2334	21
15	2344	21
done	2344	21
0	2	3
1	4	1
done	4	1
0	15	21
1	26	21
2	40	21
3	55	21
4	80	21
5	146	21
6	243	21
7	374	21
8	526	21
9	725	21
10	1076	21
11	1648	21
12	2223	21
13	2314	21
14	2334	21
15	2344	21
done	2344	21
0	5	5
1	8	5
done	8	5
0	15	21
1	26	21
2	37	21
3	45	21
4	51	21
5	61	21
6	68	21
7	80	21
8	100	21
9	115	21
10	123	21
done	123	21
0	17	27
1	30	27
2	47	27
3	71	27
4	120	27
5	205	27
6	270	27
7	366	27
8	460	27
9	568	27
10	618	27
11	629	27
done	629	27
0	16	22
1	27	22
2	41	22
3	56	22
4	81	22
5	123	22
6	150	22
7	199	22
8	243	22
9	293	22
10	316	22
11	318	22
done	318	22
0	14	19
1	26	17
2	42	17
3	57	17
4	83	17
5	135	17
6	203	17
7	335	17
8	550	17
9	1134	17
10	1912	17
11	2306	17
12	2509	17
13	2547	17
done	2547	17
0	14	19
1	26	17
2	42	17
3	57	17
4	83	17
5	135	17
6	203	17
7	335	17
8	550	17
9	1134	17
10	1912	17
11	2306	17
12	2509	17
13	2547	17
done	2547	17
0	16	22
1	27	22
2	38	22
3	46	22
4	52	22
5	62	22
6	69	22
7	81	22
8	101	22
9	116	22
10	124	22
done	124	22
0	16	22
1	27	22
2	38	22
3	46	22
4	52	22
5	62	22
6	69	22
7	81	22
8	101	22
9	116	22
10	124	22
done	124	22
0	15	21
1	26	21
2	37	21
3	45	21
4	51	21
5	61	21
6	68	21
7	80	21
8	100	21
9	115	21
10	123	21
done	123	21
0	15	21
1	26	21
2	37	21
3	45	21
4	51	21
5	61	21
6	68	21
7	80	21
8	100	21
9	115	21
10	123	21
done	123	21
0	15	21
1	26	21
2	37	21
3	45	21
4	51	21
5	61	21
6	68	21
7	80	21
8	100	21
9	115	21
10	123	21
done	123	21
0	18	25
1	42	25
2	65	25
3	97	25
4	163	25
5	343	25
6	1122	25
done	5000	25
0	17	25
1	32	25
2	55	25
3	99	25
4	174	25
5	407	25
6	1242	25
7	3691	25
done	5001	25
0	19	57
1	42	41
2	116	41
3	364	41
4	1433	41
done	5001	41
0	15	21
1	28	21
2	60	21
3	139	21
4	322	21
5	827	21
6	2022	21
7	4138	21
done	5000	21
0	7	7
1	12	6
2	20	6
3	33	6
4	71	6
5	182	6
6	560	6
7	2181	6
done	5001	6
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	12	6
2	19	6
3	29	6
4	57	6
5	135	6
6	423	6
7	1175	6
8	3709	6
done	5001	6
0	7	13
1	10	13
2	11	13
done	11	13
0	6	6
1	9	6
2	10	6
done	10	6
0	7	17
1	11	17
2	26	7
3	85	7
4	282	7
5	873	7
6	2661	7
done	5000	7
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	8	9
1	27	9
2	78	9
3	171	9
4	351	9
5	1014	9
6	4288	9
done	5000	9
0	9	17
1	26	15
2	51	15
3	60	13
4	69	13
5	71	13
done	71	13
0	2	2
done	2	2
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	9
1	18	7
2	41	7
3	61	7
4	86	7
5	104	7
6	146	7
7	215	7
8	443	7
9	1450	7
done	5001	7
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5

prune172.0ms

Filtered

100 candidates to 140 candidates (-40.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	138	2	140
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	140	7	147

Merged error: 0.2b

Counts

147 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (+ x (- (/ 1 (/ (- t (/ x z)) y)) (/ x (- (* t z) x)))) (+ x 1.0))
0.4b	(/ 1 (/ (- t (/ x z)) y))
2.2b	(/ (- t (/ x z)) y)
3.2b	(/ x (- (* t z) x))

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

205×	`times-frac`
179×	`*-un-lft-identity`
178×	`add-sqr-sqrt`
98×	`add-cube-cbrt`
32×	`associate-/r*` `difference-of-squares`
26×	`distribute-lft-out--`
22×	`distribute-lft-out`
21×	`add-exp-log`
18×	`associate-/l*`
15×	`add-cbrt-cube`
13×	`div-inv`
10×	`div-exp`
6×	`cbrt-undiv`
5×	`pow1` `associate-/r/`
4×	`frac-2neg` `clear-num` `associate-/l/` `add-log-exp`
2×	`rec-exp` `flip3--` `flip3-+` `1-exp` `div-sub` `flip--` `flip-+`
1×	`associate-+r-` `pow-flip` `inv-pow`

Counts

4 → 234

Calls

4 calls:

74.0ms	(/ (+ x (- (/ 1 (/ (- t (/ x z)) y)) (/ x (- (* t z) x)))) (+ x 1.0))
13.0ms	(/ 1 (/ (- t (/ x z)) y))
10.0ms	(/ (- t (/ x z)) y)
6.0ms	(/ x (- (* t z) x))

series91.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(/ (+ x (- (/ 1 (/ (- t (/ x z)) y)) (/ x (- (* t z) x)))) (+ x 1.0))
28.0ms	(/ 1 (/ (- t (/ x z)) y))
10.0ms	(/ (- t (/ x z)) y)
14.0ms	(/ x (- (* t z) x))

simplify10.1min

Counts

246 → 246

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	15	9
done	15	9
0	7	8
1	13	8
2	16	8
3	17	8
done	17	8
0	7	8
1	10	8
2	11	8
done	11	8
0	10	23
1	22	23
2	67	11
3	191	9
4	500	9
5	1628	9
done	5001	9
0	8	17
1	11	17
2	12	17
done	12	17
0	7	8
1	10	8
2	11	8
done	11	8
0	8	23
1	18	23
2	35	9
3	79	9
4	187	9
5	489	9
6	1951	9
done	5000	9
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	2	2
done	2	2
0	6	6
1	9	6
2	13	6
3	21	6
4	22	5
done	22	5
0	10	19
1	19	19
2	29	19
3	35	19
done	35	19
0	8	9
1	11	9
2	12	9
done	12	9
0	9	12
1	14	12
2	17	12
3	18	12
done	18	12
0	8	9
1	11	9
2	12	9
done	12	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	10	8
2	11	8
done	11	8
0	9	16
1	14	16
2	15	16
done	15	16
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	10	8
2	11	8
done	11	8
0	9	15
1	16	15
2	17	15
done	17	15
0	7	8
1	10	8
2	11	8
done	11	8
0	8	8
1	13	8
2	14	8
done	14	8
0	7	8
1	10	8
2	11	8
done	11	8
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
2	10	7
done	10	7
0	7	7
1	12	7
2	13	7
done	13	7
0	6	7
1	12	7
2	21	7
3	28	7
4	30	7
done	30	7
0	8	15
1	13	15
2	14	15
done	14	15
0	7	8
1	10	8
2	11	8
done	11	8
0	3	3
1	5	1
done	5	1
0	7	8
1	13	8
2	20	8
3	26	8
4	28	8
done	28	8
0	7	8
1	13	8
2	20	8
3	26	8
4	28	8
done	28	8
0	6	7
1	12	7
2	21	7
3	28	7
4	30	7
done	30	7
0	9	11
1	28	11
2	79	11
3	179	11
4	370	11
5	1046	11
6	4342	11
done	5001	11
0	8	13
1	21	13
2	41	13
3	59	13
4	100	13
5	179	13
6	275	13
7	503	13
8	1919	13
done	5000	13
0	9	9
1	13	9
2	17	9
done	17	9
0	8	8
1	16	8
2	25	8
3	32	8
4	36	8
done	36	8
0	8	8
1	13	8
2	23	8
3	31	8
4	38	8
5	44	8
6	48	8
7	64	8
8	68	8
9	75	8
10	84	8
11	105	8
12	126	8
13	138	8
14	149	8
15	163	8
16	167	8
done	167	8
0	11	23
1	22	23
2	72	11
3	217	9
4	650	9
5	2540	9
done	5000	9
0	9	17
1	14	17
2	21	17
3	27	17
4	31	17
done	31	17
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	9	23
1	21	23
2	56	9
3	194	9
4	675	9
5	2500	9
done	5001	9
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	2	2
done	2	2
0	3	3
done	3	3
0	5	5
1	7	5
2	10	5
done	10	5
0	11	19
1	19	19
2	31	19
3	37	19
done	37	19
0	9	9
1	11	9
2	14	9
done	14	9
0	10	16
1	14	16
2	19	16
3	20	16
done	20	16
0	9	9
1	11	9
2	14	9
done	14	9
0	9	15
1	15	13
2	24	13
3	29	13
done	29	13
0	8	8
1	10	8
2	13	8
done	13	8
0	10	12
1	14	12
2	17	12
done	17	12
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	11	9
2	14	9
done	14	9
0	8	8
1	12	6
2	17	6
done	17	6
0	8	8
1	10	8
2	13	8
done	13	8
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	19	7
3	25	7
4	29	7
done	29	7
0	11	13
1	14	13
done	14	13
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	10	10
1	11	10
done	11	10
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	9	9
1	12	7
2	14	7
done	14	7
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	12	14
1	15	14
done	15	14
0	11	11
1	16	11
2	23	11
3	29	11
4	33	11
done	33	11
0	11	11
1	12	11
done	12	11
0	11	11
1	16	11
2	23	11
3	29	11
4	33	11
done	33	11
0	10	10
1	13	8
2	15	8
done	15	8
0	10	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	19	7
3	25	7
4	29	7
done	29	7
0	3	3
1	5	3
done	5	3
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	16	11
2	28	11
3	40	11
4	56	11
5	63	11
done	63	11
0	8	8
1	13	8
2	20	8
3	26	8
4	30	8
done	30	8
0	7	7
1	14	5
2	23	5
3	30	5
4	32	5
done	32	5
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	9	7
2	12	7
done	12	7
0	9	9
1	11	9
2	12	9
done	12	9
0	10	10
1	12	10
2	15	10
done	15	10
0	7	7
1	9	7
2	12	7
done	12	7
0	11	19
1	31	15
2	70	15
3	135	15
4	224	15
5	313	15
6	361	15
7	374	15
done	374	15
0	7	7
1	15	7
2	20	7
3	24	7
4	26	7
5	27	7
done	27	7
0	2	2
1	5	1
done	5	1
0	10	10
1	14	10
2	21	10
3	23	10
4	24	9
done	24	9
0	9	9
1	17	9
2	26	9
3	36	9
4	42	9
5	43	9
done	43	9
0	11	11
1	19	10
2	35	10
3	54	9
4	83	9
5	109	9
6	118	9
7	132	9
done	132	9
0	10	10
1	20	9
2	35	9
3	54	9
4	84	9
5	114	9
6	121	9
7	127	9
8	144	9
done	144	9
0	12	12
1	22	11
2	33	10
3	58	9
4	87	9
5	114	9
6	123	9
7	138	9
done	138	9
0	11	11
1	23	10
2	35	9
3	58	9
4	88	9
5	118	9
6	125	9
7	131	9
8	146	9
done	146	9
0	10	10
1	23	9
2	39	9
3	59	8
4	79	8
5	117	8
6	147	8
7	150	8
8	156	8
9	172	8
done	172	8
0	10	10
1	19	10
2	31	10
3	44	8
4	56	8
5	81	8
6	154	8
7	309	8
8	836	8
9	2827	8
done	5000	8
0	15	29
1	33	25
2	107	13
3	386	11
4	1190	11
5	3769	9
done	5001	9
0	13	29
1	34	25
2	89	11
3	320	11
4	1035	9
5	3724	9
done	5000	9
0	11	21
1	20	21
2	30	21
3	37	17
4	41	17
done	41	17
0	10	10
1	19	10
2	29	10
3	36	8
4	40	8
done	40	8
0	11	29
1	27	29
2	72	11
3	267	9
4	641	9
5	1339	9
6	3449	9
done	5000	9
0	10	10
1	19	10
2	29	10
3	36	8
4	40	8
done	40	8
0	10	10
1	19	10
2	29	10
3	36	8
4	40	8
done	40	8
0	2	2
1	5	1
done	5	1
0	8	8
1	15	8
2	25	8
3	38	8
4	49	7
5	54	7
6	56	7
done	56	7
0	13	23
1	26	21
2	42	19
3	54	19
4	58	19
done	58	19
0	11	11
1	18	10
2	25	10
3	31	10
4	35	10
done	35	10
0	12	14
1	21	12
2	30	10
3	37	10
4	41	10
done	41	10
0	11	11
1	18	10
2	25	10
3	31	10
4	35	10
done	35	10
0	15	25
1	29	23
2	68	21
3	140	19
4	190	19
done	190	19
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	14	22
1	24	20
2	45	18
3	78	16
4	104	16
done	104	16
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	12	21
1	22	15
2	39	15
3	48	15
done	48	15
0	11	11
1	17	10
2	23	10
3	24	8
done	24	8
0	14	18
1	24	16
2	42	14
3	62	12
4	66	12
done	66	12
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	13	15
1	21	13
2	33	11
3	41	9
4	42	9
done	42	9
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	11	14
1	19	8
2	27	8
done	27	8
0	11	11
1	17	10
2	23	10
3	24	8
done	24	8
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	5	9
1	11	1
done	11	1
0	10	10
1	19	9
2	29	9
3	36	7
4	40	7
done	40	7
0	15	19
1	24	17
2	39	15
3	59	13
4	62	13
done	62	13
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	14	16
1	21	14
2	30	12
3	38	10
4	39	10
done	39	10
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	12	15
1	19	9
2	24	9
done	24	9
0	12	12
1	21	11
2	27	11
3	30	9
done	30	9
0	16	20
1	25	18
2	40	16
3	60	14
4	64	14
done	64	14
0	14	14
1	23	13
2	33	13
3	40	11
4	75	11
5	109	11
6	114	11
done	114	11
0	15	17
1	22	15
2	31	13
3	39	11
4	40	11
done	40	11
0	14	14
1	23	13
2	33	13
3	40	11
4	75	11
5	109	11
6	114	11
done	114	11
0	13	16
1	20	10
2	25	10
done	25	10
0	13	13
1	22	12
2	32	12
3	39	10
4	43	10
done	43	10
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	5	9
1	11	1
done	11	1
0	10	10
1	19	9
2	29	9
3	36	7
4	40	7
done	40	7
0	4	7
1	8	3
2	12	1
done	12	1
0	10	10
1	19	9
2	29	9
3	36	7
4	40	7
done	40	7
0	9	11
1	15	9
2	23	7
3	28	7
4	35	7
5	37	7
done	37	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	12	20
1	21	19
2	28	19
3	34	19
4	38	19
done	38	19
0	11	11
1	18	10
2	25	10
3	31	10
4	35	10
done	35	10
0	11	11
1	18	10
2	25	10
3	31	10
4	35	10
done	35	10
0	11	11
1	18	10
2	25	10
3	31	10
4	35	10
done	35	10
0	14	22
1	26	21
2	50	21
3	81	19
4	141	19
5	207	19
done	207	19
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	13	19
1	21	18
2	32	18
3	45	16
4	72	16
5	103	16
done	103	16
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	11	18
1	19	15
2	33	15
3	42	15
done	42	15
0	11	11
1	17	10
2	23	10
3	24	8
done	24	8
0	13	15
1	21	14
2	31	14
3	39	12
4	63	12
5	78	12
done	78	12
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	12	12
1	18	11
2	24	11
3	25	9
4	38	9
5	45	9
done	45	9
0	10	11
1	16	8
2	24	8
done	24	8
0	11	11
1	17	10
2	23	10
3	24	8
done	24	8
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	4	6
1	8	1
done	8	1
0	10	10
1	19	9
2	29	9
3	36	7
4	40	7
done	40	7
0	14	16
1	21	15
2	28	15
3	36	13
4	60	13
5	77	13
done	77	13
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	13	13
1	18	12
2	21	12
3	22	10
4	35	10
5	42	10
done	42	10
0	13	13
1	22	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	11	12
1	16	9
2	21	9
done	21	9
0	12	12
1	21	11
2	27	11
3	30	9
done	30	9
0	15	17
1	22	16
2	29	16
3	37	14
4	61	14
5	76	14
done	76	14
0	14	14
1	23	13
2	33	13
3	40	11
4	75	11
5	109	11
6	114	11
done	114	11
0	14	14
1	19	13
2	22	13
3	23	11
4	36	11
5	43	11
done	43	11
0	14	14
1	23	13
2	33	13
3	40	11
4	75	11
5	109	11
6	114	11
done	114	11
0	12	13
1	17	10
2	22	10
done	22	10
0	13	13
1	22	12
2	32	12
3	39	10
4	43	10
done	43	10
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	11	11
1	20	10
2	30	10
3	37	8
4	72	8
5	107	8
6	112	8
done	112	8
0	4	6
1	8	1
done	8	1
0	10	10
1	19	9
2	29	9
3	36	7
4	40	7
done	40	7
0	3	4
1	5	1
done	5	1
0	10	10
1	19	9
2	29	9
3	36	7
4	40	7
done	40	7
0	8	8
1	12	7
2	15	7
done	15	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	11	19
1	20	19
2	27	19
3	33	19
4	37	19
done	37	19
0	10	10
1	17	10
2	24	10
3	30	10
4	34	10
done	34	10
0	10	10
1	17	10
2	24	10
3	30	10
4	34	10
done	34	10
0	10	10
1	17	10
2	24	10
3	30	10
4	34	10
done	34	10
0	13	21
1	25	21
2	49	21
3	80	19
4	140	19
5	216	19
done	216	19
0	11	11
1	17	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	12	18
1	20	18
2	31	18
3	44	16
4	71	16
5	106	16
done	106	16
0	11	11
1	17	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	10	17
1	18	15
2	32	15
3	41	15
done	41	15
0	10	10
1	16	10
2	22	10
3	23	8
done	23	8
0	12	14
1	20	14
2	30	14
3	38	12
4	62	12
5	77	12
done	77	12
0	11	11
1	17	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	11	11
1	17	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	11	11
1	17	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	9	10
1	15	8
2	23	8
done	23	8
0	10	10
1	16	10
2	22	10
3	23	8
done	23	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	10	10
1	19	10
2	29	10
3	36	8
4	71	8
5	107	8
6	112	8
done	112	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	10	10
1	19	10
2	29	10
3	36	8
4	71	8
5	107	8
6	112	8
done	112	8
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	28	9
3	35	7
4	39	7
done	39	7
0	13	15
1	20	15
2	27	15
3	35	13
4	59	13
5	74	13
done	74	13
0	12	12
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	12	12
1	17	12
2	20	12
3	21	10
4	34	10
5	39	10
done	39	10
0	12	12
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	10	11
1	15	9
2	20	9
done	20	9
0	11	11
1	20	11
2	26	11
3	29	9
done	29	9
0	14	16
1	21	16
2	28	16
3	36	14
4	60	14
5	75	14
done	75	14
0	13	13
1	22	13
2	32	13
3	39	11
4	74	11
5	108	11
6	113	11
done	113	11
0	13	13
1	18	13
2	21	13
3	22	11
4	35	11
5	42	11
done	42	11
0	13	13
1	22	13
2	32	13
3	39	11
4	74	11
5	108	11
6	113	11
done	113	11
0	11	12
1	16	10
2	21	10
done	21	10
0	12	12
1	21	12
2	31	12
3	38	10
4	42	10
done	42	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	10	10
1	19	10
2	29	10
3	36	8
4	71	8
5	107	8
6	112	8
done	112	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	10	10
1	19	10
2	29	10
3	36	8
4	71	8
5	107	8
6	112	8
done	112	8
0	3	5
1	6	1
done	6	1
0	9	9
1	18	9
2	28	9
3	35	7
4	39	7
done	39	7
0	2	3
1	4	1
done	4	1
0	9	9
1	18	9
2	28	9
3	35	7
4	39	7
done	39	7
0	7	7
1	11	7
2	14	7
done	14	7
0	4	5
1	8	1
done	8	1
0	9	9
1	18	9
2	28	9
3	35	7
4	39	7
done	39	7
0	9	9
1	18	7
2	35	7
3	48	7
4	64	7
5	88	7
6	94	7
7	95	7
done	95	7
0	11	19
1	20	19
2	27	19
3	33	19
4	37	19
done	37	19
0	10	10
1	17	10
2	24	10
3	30	10
4	34	10
done	34	10
0	13	21
1	25	21
2	49	21
3	80	19
4	140	19
5	216	19
done	216	19
0	12	18
1	20	18
2	31	18
3	44	16
4	71	16
5	106	16
done	106	16
0	10	17
1	18	15
2	32	15
3	41	15
done	41	15
0	12	14
1	20	14
2	30	14
3	38	12
4	62	12
5	77	12
done	77	12
0	11	11
1	17	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	9	10
1	15	8
2	23	8
done	23	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	13	15
1	20	15
2	27	15
3	35	13
4	59	13
5	74	13
done	74	13
0	12	12
1	17	12
2	20	12
3	21	10
4	34	10
5	39	10
done	39	10
0	10	11
1	15	9
2	20	9
done	20	9
0	14	16
1	21	16
2	28	16
3	36	14
4	60	14
5	75	14
done	75	14
0	13	13
1	18	13
2	21	13
3	22	11
4	35	11
5	42	11
done	42	11
0	11	12
1	16	10
2	21	10
done	21	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	14	7
done	14	7
0	10	10
1	19	9
2	35	9
3	54	7
4	76	7
5	100	7
6	106	7
7	107	7
done	107	7
0	10	10
1	19	9
2	35	9
3	54	7
4	76	7
5	100	7
6	106	7
7	107	7
done	107	7
0	9	9
1	18	7
2	35	7
3	48	7
4	64	7
5	88	7
6	94	7
7	95	7
done	95	7
0	7	7
1	11	7
2	14	7
done	14	7
0	19	25
1	39	25
2	58	25
3	73	23
4	83	23
5	93	23
6	100	23
7	120	23
8	155	23
9	192	23
10	241	23
11	285	23
12	355	23
13	411	23
14	483	23
15	509	23
16	518	23
17	529	23
18	561	23
19	765	23
20	1723	23
21	2536	23
22	3235	23
23	4424	23
24	4736	23
25	4803	23
done	5000	23
0	18	24
1	39	24
2	62	24
3	85	22
4	120	22
5	205	22
6	371	22
7	662	22
8	1234	22
9	2489	22
10	4470	22
done	5000	22
0	18	24
1	36	24
2	57	24
3	82	22
4	122	22
5	213	22
6	394	22
7	702	22
8	1394	22
9	3183	22
done	5000	22
0	21	71
1	72	71
2	196	27
3	657	23
4	3281	23
done	5000	23
0	19	49
1	37	49
2	58	49
3	80	45
4	115	45
5	200	45
6	364	45
7	648	45
8	1204	45
9	2448	45
10	4409	45
done	5000	45
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	199	22
6	363	22
7	644	22
8	1198	22
9	2436	22
10	4394	22
done	5000	22
0	19	71
1	44	71
2	97	25
3	256	23
4	1129	23
done	5000	23
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	199	22
6	363	22
7	644	22
8	1198	22
9	2436	22
10	4394	22
done	5000	22
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	199	22
6	363	22
7	644	22
8	1198	22
9	2436	22
10	4394	22
done	5000	22
0	15	20
1	34	20
2	57	20
3	101	18
4	134	17
5	156	17
6	195	17
7	272	17
8	377	17
9	426	17
10	477	17
11	524	17
12	540	17
13	552	17
14	573	17
15	747	17
16	1707	17
17	2522	17
18	3195	17
19	4373	17
20	4979	17
21	4981	17
done	4981	17
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	13	15
1	24	15
2	34	15
3	41	13
4	45	13
done	45	13
0	9	11
1	15	11
2	25	11
3	62	11
4	120	11
5	169	11
6	226	11
7	324	11
8	561	11
9	998	11
10	1309	11
11	1327	11
done	1327	11
0	21	51
1	45	51
2	72	51
3	93	47
4	103	47
5	113	47
6	120	47
7	140	47
8	175	47
9	212	47
10	261	47
11	303	47
12	373	47
13	430	47
14	504	47
15	530	47
16	537	47
17	548	47
18	580	47
19	780	47
20	1752	47
21	2569	47
22	3264	47
23	4393	47
24	4628	47
25	4630	47
done	4630	47
0	19	25
1	37	25
2	55	25
3	70	23
4	80	23
5	90	23
6	97	23
7	117	23
8	152	23
9	189	23
10	238	23
11	280	23
12	351	23
13	408	23
14	479	23
15	505	23
16	518	23
17	529	23
18	561	23
19	761	23
20	1731	23
21	2507	23
22	3198	23
23	4294	23
24	4500	23
25	4502	23
done	4502	23
0	20	46
1	40	46
2	60	46
3	76	42
4	86	42
5	96	42
6	103	42
7	123	42
8	158	42
9	195	42
10	244	42
11	286	42
12	358	42
13	415	42
14	491	42
15	517	42
16	526	42
17	537	42
18	569	42
19	771	42
20	1746	42
21	2579	42
22	3268	42
23	4475	42
24	4685	42
25	4687	42
done	4687	42
0	19	25
1	37	25
2	55	25
3	70	23
4	80	23
5	90	23
6	97	23
7	117	23
8	152	23
9	189	23
10	238	23
11	280	23
12	351	23
13	408	23
14	479	23
15	505	23
16	518	23
17	529	23
18	561	23
19	761	23
20	1731	23
21	2507	23
22	3198	23
23	4294	23
24	4500	23
25	4502	23
done	4502	23
0	17	43
1	36	41
2	60	41
3	80	37
4	90	37
5	100	37
6	107	37
7	127	37
8	162	37
9	199	37
10	245	37
11	287	37
12	356	37
13	413	37
14	487	37
15	513	37
16	524	37
17	535	37
18	567	37
19	769	37
20	1758	37
21	2676	37
22	3397	37
23	4643	37
24	4895	37
25	4897	37
done	4897	37
0	18	24
1	36	24
2	54	24
3	69	22
4	79	22
5	89	22
6	96	22
7	116	22
8	151	22
9	188	22
10	237	22
11	277	22
12	346	22
13	401	22
14	475	22
15	501	22
16	509	22
17	520	22
18	552	22
19	754	22
20	1726	22
21	2631	22
22	3347	22
23	4507	22
24	4724	22
25	4726	22
done	4726	22
0	17	43
1	36	41
2	60	41
3	80	37
4	90	37
5	100	37
6	107	37
7	127	37
8	162	37
9	199	37
10	245	37
11	287	37
12	356	37
13	413	37
14	487	37
15	513	37
16	524	37
17	535	37
18	567	37
19	769	37
20	1758	37
21	2676	37
22	3397	37
23	4643	37
24	4895	37
25	4897	37
done	4897	37
0	18	24
1	36	24
2	54	24
3	69	22
4	79	22
5	89	22
6	96	22
7	116	22
8	151	22
9	188	22
10	237	22
11	277	22
12	346	22
13	401	22
14	475	22
15	501	22
16	509	22
17	520	22
18	552	22
19	754	22
20	1726	22
21	2631	22
22	3347	22
23	4507	22
24	4724	22
25	4726	22
done	4726	22
0	20	30
1	40	30
2	58	30
3	73	28
4	83	28
5	93	28
6	100	28
7	120	28
8	155	28
9	192	28
10	241	28
11	285	28
12	355	28
13	411	28
14	483	28
15	509	28
16	518	28
17	529	28
18	561	28
19	765	28
20	1721	28
21	2481	28
22	3201	28
23	4389	28
24	4608	28
25	4610	28
done	4610	28
0	19	25
1	37	25
2	55	25
3	70	23
4	80	23
5	90	23
6	97	23
7	117	23
8	152	23
9	189	23
10	238	23
11	280	23
12	351	23
13	408	23
14	479	23
15	505	23
16	518	23
17	529	23
18	561	23
19	761	23
20	1731	23
21	2507	23
22	3198	23
23	4294	23
24	4500	23
25	4502	23
done	4502	23
0	19	25
1	37	25
2	55	25
3	70	23
4	80	23
5	90	23
6	97	23
7	117	23
8	152	23
9	189	23
10	238	23
11	280	23
12	351	23
13	408	23
14	479	23
15	505	23
16	518	23
17	529	23
18	561	23
19	761	23
20	1731	23
21	2507	23
22	3198	23
23	4294	23
24	4500	23
25	4502	23
done	4502	23
0	19	25
1	37	25
2	55	25
3	70	23
4	80	23
5	90	23
6	97	23
7	117	23
8	152	23
9	189	23
10	238	23
11	280	23
12	351	23
13	408	23
14	479	23
15	505	23
16	518	23
17	529	23
18	561	23
19	761	23
20	1731	23
21	2507	23
22	3198	23
23	4294	23
24	4500	23
25	4502	23
done	4502	23
0	16	22
1	33	20
2	53	20
3	68	18
4	78	18
5	88	18
6	95	18
7	115	18
8	150	18
9	187	18
10	233	18
11	273	18
12	343	18
13	398	18
14	472	18
15	498	18
16	510	18
17	521	18
18	553	18
19	755	18
20	1732	18
21	2561	18
22	3280	18
23	4451	18
24	4727	18
25	4729	18
done	4729	18
0	18	24
1	36	24
2	54	24
3	69	22
4	79	22
5	89	22
6	96	22
7	116	22
8	151	22
9	188	22
10	237	22
11	277	22
12	346	22
13	401	22
14	475	22
15	501	22
16	509	22
17	520	22
18	552	22
19	754	22
20	1726	22
21	2631	22
22	3347	22
23	4507	22
24	4724	22
25	4726	22
done	4726	22
0	16	22
1	33	20
2	53	20
3	68	18
4	78	18
5	88	18
6	95	18
7	115	18
8	150	18
9	187	18
10	233	18
11	273	18
12	343	18
13	398	18
14	472	18
15	498	18
16	510	18
17	521	18
18	553	18
19	755	18
20	1732	18
21	2561	18
22	3280	18
23	4451	18
24	4727	18
25	4729	18
done	4729	18
0	18	24
1	36	24
2	54	24
3	69	22
4	79	22
5	89	22
6	96	22
7	116	22
8	151	22
9	188	22
10	237	22
11	277	22
12	346	22
13	401	22
14	475	22
15	501	22
16	509	22
17	520	22
18	552	22
19	754	22
20	1726	22
21	2631	22
22	3347	22
23	4507	22
24	4724	22
25	4726	22
done	4726	22
0	7	11
1	12	11
done	12	11
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	6	6
1	9	6
done	9	6
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	7	11
1	12	11
done	12	11
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	6	6
1	9	6
done	9	6
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	7	11
1	12	11
done	12	11
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	6	6
1	9	6
done	9	6
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	7	11
1	12	11
done	12	11
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	6	6
1	9	6
done	9	6
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	17	23
1	35	23
2	56	23
3	78	21
4	113	21
5	198	21
6	364	21
7	657	21
8	1224	21
9	2468	21
10	4429	21
done	5000	21
0	5	5
1	8	5
done	8	5
0	17	23
1	35	23
2	53	23
3	68	21
4	78	21
5	88	21
6	95	21
7	115	21
8	150	21
9	187	21
10	236	21
11	276	21
12	346	21
13	403	21
14	475	21
15	501	21
16	510	21
17	521	21
18	553	21
19	755	21
20	1700	21
21	2516	21
22	3213	21
23	4379	21
24	4597	21
25	4599	21
done	4599	21
0	19	29
1	39	29
2	63	29
3	94	27
4	163	27
5	297	27
6	477	27
7	839	27
8	1841	27
9	4686	27
done	5000	27
0	18	24
1	36	24
2	57	24
3	79	22
4	114	22
5	175	22
6	245	22
7	396	22
8	731	22
9	1528	22
10	2424	22
11	3982	22
done	5001	22
0	15	21
1	32	19
2	55	19
3	77	17
4	113	17
5	189	17
6	315	17
7	560	17
8	1035	17
9	2164	17
10	3275	17
11	3851	17
12	4256	17
13	4339	17
done	4339	17
0	15	21
1	32	19
2	55	19
3	77	17
4	113	17
5	189	17
6	315	17
7	560	17
8	1035	17
9	2164	17
10	3275	17
11	3851	17
12	4256	17
13	4339	17
done	4339	17
0	18	24
1	36	24
2	54	24
3	69	22
4	79	22
5	89	22
6	96	22
7	116	22
8	151	22
9	188	22
10	237	22
11	277	22
12	346	22
13	402	22
14	473	22
15	499	22
16	508	22
17	519	22
18	551	22
19	753	22
20	1704	22
21	2462	22
22	3175	22
23	4301	22
24	4530	22
25	4532	22
done	4532	22
0	18	24
1	36	24
2	54	24
3	69	22
4	79	22
5	89	22
6	96	22
7	116	22
8	151	22
9	188	22
10	237	22
11	277	22
12	346	22
13	402	22
14	473	22
15	499	22
16	508	22
17	519	22
18	551	22
19	753	22
20	1704	22
21	2462	22
22	3175	22
23	4301	22
24	4530	22
25	4532	22
done	4532	22
0	17	23
1	35	23
2	53	23
3	68	21
4	78	21
5	88	21
6	95	21
7	115	21
8	150	21
9	187	21
10	236	21
11	276	21
12	346	21
13	403	21
14	475	21
15	501	21
16	510	21
17	521	21
18	553	21
19	755	21
20	1700	21
21	2516	21
22	3213	21
23	4379	21
24	4597	21
25	4599	21
done	4599	21
0	17	23
1	35	23
2	53	23
3	68	21
4	78	21
5	88	21
6	95	21
7	115	21
8	150	21
9	187	21
10	236	21
11	276	21
12	346	21
13	403	21
14	475	21
15	501	21
16	510	21
17	521	21
18	553	21
19	755	21
20	1700	21
21	2516	21
22	3213	21
23	4379	21
24	4597	21
25	4599	21
done	4599	21
0	17	23
1	35	23
2	53	23
3	68	21
4	78	21
5	88	21
6	95	21
7	115	21
8	150	21
9	187	21
10	236	21
11	276	21
12	346	21
13	403	21
14	475	21
15	501	21
16	510	21
17	521	21
18	553	21
19	755	21
20	1700	21
21	2516	21
22	3213	21
23	4379	21
24	4597	21
25	4599	21
done	4599	21
0	17	23
1	35	23
2	53	23
3	68	21
4	78	21
5	88	21
6	95	21
7	115	21
8	150	21
9	187	21
10	236	21
11	276	21
12	346	21
13	403	21
14	475	21
15	501	21
16	510	21
17	521	21
18	553	21
19	755	21
20	1700	21
21	2516	21
22	3213	21
23	4379	21
24	4597	21
25	4599	21
done	4599	21
0	20	27
1	51	27
2	81	27
3	120	25
4	194	25
5	394	25
6	1226	25
done	5001	25
0	19	27
1	41	27
2	71	27
3	122	25
4	221	25
5	527	25
6	1735	25
done	5000	25
0	21	63
1	51	45
2	132	45
3	413	41
4	1607	41
done	5000	41
0	17	23
1	37	23
2	76	23
3	171	21
4	383	21
5	1004	21
6	2338	21
done	5001	21
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	13	9
2	20	9
3	26	9
done	26	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	9
1	18	7
2	41	7
3	61	7
4	86	7
5	104	7
6	146	7
7	215	7
8	443	7
9	1450	7
done	5001	7
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune229.0ms

Filtered

149 candidates to 246 candidates (-65.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	246	0	246
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	246	7	253

Merged error: 0.2b

Counts

253 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (- t (/ x z)))
0.3b	(/ (+ x (- (* y (/ 1 (- t (/ x z)))) (/ x (- (* t z) x)))) (+ x 1.0))
2.1b	(* y (/ 1 (- t (/ x z))))
3.2b	(/ x (- (* t z) x))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
79×	`*-un-lft-identity`
70×	`times-frac`
44×	`add-cube-cbrt`
24×	`associate-r`
21×	`add-exp-log`
15×	`add-cbrt-cube`
14×	`difference-of-squares`
13×	`associate-/r*`
10×	`distribute-lft-out` `associate-/l*`
8×	`associate-/r/`
7×	`pow1` `distribute-lft-out--`
6×	`div-exp`
4×	`cbrt-undiv` `prod-exp` `div-inv` `add-log-exp`
3×	`flip3--` `frac-2neg` `associate-l` `clear-num` `flip--` `unswap-sqr`
2×	`rec-exp` `flip3-+` `1-exp` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`associate-+r-` `pow-flip` `div-sub` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 162

Calls

4 calls:

10.0ms	(/ 1 (- t (/ x z)))
23.0ms	(/ (+ x (- (* y (/ 1 (- t (/ x z)))) (/ x (- (* t z) x)))) (+ x 1.0))
16.0ms	(* y (/ 1 (- t (/ x z))))
12.0ms	(/ x (- (* t z) x))

series80.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ 1 (- t (/ x z)))
44.0ms	(/ (+ x (- (* y (/ 1 (- t (/ x z)))) (/ x (- (* t z) x)))) (+ x 1.0))
11.0ms	(* y (/ 1 (- t (/ x z))))
15.0ms	(/ x (- (* t z) x))

simplify9.3min

Counts

174 → 174

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	15	9
done	15	9
0	7	8
1	13	8
2	16	8
3	17	8
done	17	8
0	7	8
1	10	8
2	11	8
done	11	8
0	10	23
1	22	23
2	67	11
3	191	9
4	500	9
5	1628	9
done	5001	9
0	8	17
1	11	17
2	12	17
done	12	17
0	7	8
1	10	8
2	11	8
done	11	8
0	8	23
1	18	23
2	35	9
3	79	9
4	187	9
5	489	9
6	1951	9
done	5000	9
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	2	2
done	2	2
0	6	6
1	9	6
2	13	6
3	21	6
4	22	5
done	22	5
0	10	19
1	19	19
2	29	19
3	35	19
done	35	19
0	8	9
1	11	9
2	12	9
done	12	9
0	9	12
1	14	12
2	17	12
3	18	12
done	18	12
0	8	9
1	11	9
2	12	9
done	12	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	10	8
2	11	8
done	11	8
0	9	16
1	14	16
2	15	16
done	15	16
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	10	8
2	11	8
done	11	8
0	9	15
1	16	15
2	17	15
done	17	15
0	7	8
1	10	8
2	11	8
done	11	8
0	8	8
1	13	8
2	14	8
done	14	8
0	7	8
1	10	8
2	11	8
done	11	8
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
2	10	7
done	10	7
0	7	7
1	12	7
2	13	7
done	13	7
0	6	7
1	12	7
2	21	7
3	28	7
4	30	7
done	30	7
0	8	15
1	13	15
2	14	15
done	14	15
0	7	8
1	10	8
2	11	8
done	11	8
0	3	3
1	5	1
done	5	1
0	7	8
1	13	8
2	20	8
3	26	8
4	28	8
done	28	8
0	7	8
1	13	8
2	20	8
3	26	8
4	28	8
done	28	8
0	6	7
1	12	7
2	21	7
3	28	7
4	30	7
done	30	7
0	9	11
1	28	11
2	79	11
3	179	11
4	370	11
5	1046	11
6	4342	11
done	5001	11
0	8	13
1	21	13
2	41	13
3	59	13
4	100	13
5	179	13
6	275	13
7	503	13
8	1919	13
done	5000	13
0	9	9
1	16	9
2	22	7
3	26	7
4	35	7
5	43	7
6	45	7
done	45	7
0	10	10
1	14	9
2	17	9
done	17	9
0	11	11
1	18	10
2	31	9
3	40	9
4	58	9
5	83	9
6	86	9
7	95	9
8	107	9
done	107	9
0	12	12
1	21	11
2	31	9
3	48	9
4	66	9
5	92	9
6	95	9
7	104	9
8	118	9
done	118	9
0	11	11
1	20	10
2	29	9
3	40	9
4	52	9
5	84	9
6	102	9
7	109	9
8	118	9
done	118	9
0	10	10
1	20	10
2	32	8
3	41	8
4	63	8
5	82	8
6	115	8
7	123	8
8	134	8
done	134	8
0	10	10
1	19	10
2	31	8
3	45	8
4	95	8
5	206	8
6	490	8
7	1447	8
done	5001	8
0	15	29
1	33	25
2	94	11
3	317	11
4	836	11
5	2271	9
done	5001	9
0	13	29
1	30	29
2	82	13
3	218	13
4	529	9
5	1241	9
6	3404	9
done	5000	9
0	11	21
1	18	21
2	24	17
3	28	17
4	37	17
5	45	17
6	47	17
done	47	17
0	10	10
1	17	10
2	23	8
3	27	8
4	36	8
5	44	8
6	46	8
done	46	8
0	11	29
1	28	29
2	85	9
3	213	9
4	457	9
5	883	9
6	2313	9
done	5000	9
0	10	10
1	17	10
2	23	8
3	27	8
4	36	8
5	44	8
6	46	8
done	46	8
0	10	10
1	17	10
2	23	8
3	27	8
4	36	8
5	44	8
6	46	8
done	46	8
0	11	11
1	16	11
2	19	11
done	19	11
0	11	11
1	16	11
2	19	11
done	19	11
0	12	12
1	19	11
2	25	11
3	29	9
4	40	9
5	41	9
done	41	9
0	12	12
1	19	11
2	25	11
3	29	9
4	40	9
5	41	9
done	41	9
0	11	11
1	18	11
2	24	9
3	39	9
4	40	9
done	40	9
0	11	11
1	18	11
2	24	9
3	39	9
4	40	9
done	40	9
0	11	19
1	18	19
2	23	19
done	23	19
0	10	10
1	15	10
2	18	10
done	18	10
0	13	21
1	26	19
2	58	17
3	92	15
4	102	15
5	105	15
done	105	15
0	12	14
1	21	12
2	34	10
3	47	8
4	48	8
done	48	8
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	13	15
1	21	13
2	31	11
3	44	9
4	45	9
done	45	9
0	14	16
1	22	14
2	32	12
3	45	10
4	46	10
done	46	10
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	12	18
1	21	17
2	35	17
3	49	15
4	74	15
5	86	15
6	88	15
done	88	15
0	11	11
1	18	10
2	24	10
3	28	8
4	34	8
5	35	8
done	35	8
0	5	6
1	10	3
2	15	1
done	15	1
0	12	12
1	18	11
2	21	11
3	25	9
4	31	9
5	32	9
done	32	9
0	13	13
1	19	12
2	22	12
3	26	10
4	32	10
5	33	10
done	33	10
0	5	6
1	10	3
2	15	1
done	15	1
0	11	17
1	20	17
2	33	15
3	40	15
4	58	15
5	90	15
6	93	15
done	93	15
0	10	10
1	17	10
2	23	8
3	24	8
4	29	8
5	30	8
done	30	8
0	4	5
1	9	3
2	14	1
done	14	1
0	11	11
1	17	11
2	20	9
3	21	9
4	26	9
5	27	9
done	27	9
0	12	12
1	18	12
2	21	10
3	22	10
4	27	10
5	28	10
done	28	10
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	12	13
1	35	13
2	80	11
3	200	11
4	670	11
5	2590	11
done	5000	11
0	11	15
1	25	15
2	49	13
3	101	13
4	201	13
5	407	13
6	642	13
7	1005	13
8	2794	13
done	5000	13
0	10	10
1	17	10
2	23	8
3	41	8
4	51	8
5	66	8
6	78	8
7	86	8
8	92	8
done	92	8
0	10	10
1	17	10
2	23	8
3	41	8
4	51	8
5	66	8
6	78	8
7	86	8
8	92	8
done	92	8
0	9	9
1	16	9
2	22	7
3	26	7
4	35	7
5	43	7
6	45	7
done	45	7
0	3	3
1	6	1
done	6	1
0	19	25
1	37	25
2	52	23
3	64	23
4	79	23
5	97	23
6	106	23
7	129	23
8	192	23
9	300	23
10	341	23
11	369	23
12	411	23
13	455	23
14	534	23
15	554	23
16	563	23
17	574	23
18	606	23
19	808	23
20	1775	23
21	2609	23
22	3319	23
23	4504	23
24	4774	23
25	4842	23
done	5000	23
0	18	24
1	37	24
2	56	22
3	76	22
4	116	22
5	212	22
6	355	22
7	614	22
8	1127	22
9	2280	22
10	4889	22
done	5000	22
0	18	24
1	34	24
2	51	22
3	73	22
4	118	22
5	220	22
6	379	22
7	687	22
8	1388	22
9	3797	22
done	5000	22
0	21	71
1	70	71
2	190	25
3	640	23
4	3200	23
done	5000	23
0	19	49
1	35	49
2	52	45
3	71	45
4	111	45
5	207	45
6	348	45
7	595	45
8	1109	45
9	2241	45
10	4788	45
done	5000	45
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	206	22
6	349	22
7	608	22
8	1124	22
9	2259	22
10	4848	22
done	5000	22
0	19	71
1	42	71
2	91	23
3	247	23
4	1123	23
done	5000	23
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	206	22
6	349	22
7	608	22
8	1124	22
9	2259	22
10	4848	22
done	5000	22
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	206	22
6	349	22
7	608	22
8	1124	22
9	2259	22
10	4848	22
done	5000	22
0	15	20
1	32	20
2	51	18
3	89	18
4	131	17
5	170	17
6	202	17
7	257	17
8	349	17
9	399	17
10	454	17
11	514	17
12	532	17
13	543	17
14	564	17
15	736	17
16	1694	17
17	2513	17
18	3184	17
19	4464	17
done	5000	17
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	13	15
1	22	15
2	28	13
3	32	13
4	41	13
5	49	13
6	51	13
done	51	13
0	9	11
1	15	11
2	25	11
3	62	11
4	120	11
5	169	11
6	226	11
7	324	11
8	561	11
9	998	11
10	1309	11
11	1327	11
done	1327	11
0	21	51
1	43	51
2	66	47
3	84	47
4	99	47
5	117	47
6	126	47
7	149	47
8	212	47
9	320	47
10	355	47
11	383	47
12	425	47
13	469	47
14	550	47
15	572	47
16	579	47
17	590	47
18	622	47
19	824	47
20	1807	47
21	2557	47
22	3246	47
23	4353	47
24	4581	47
25	4583	47
done	4583	47
0	19	25
1	35	25
2	49	23
3	61	23
4	76	23
5	94	23
6	103	23
7	126	23
8	189	23
9	299	23
10	336	23
11	364	23
12	407	23
13	451	23
14	528	23
15	549	23
16	557	23
17	568	23
18	600	23
19	804	23
20	1776	23
21	2470	23
22	3180	23
23	4322	23
24	4561	23
25	4563	23
done	4563	23
0	20	46
1	38	46
2	54	42
3	67	42
4	82	42
5	100	42
6	109	42
7	132	42
8	195	42
9	303	42
10	334	42
11	362	42
12	405	42
13	449	42
14	524	42
15	547	42
16	555	42
17	566	42
18	598	42
19	800	42
20	1751	42
21	2501	42
22	3190	42
23	4432	42
24	4699	42
25	4701	42
done	4701	42
0	19	25
1	35	25
2	49	23
3	61	23
4	76	23
5	94	23
6	103	23
7	126	23
8	189	23
9	299	23
10	336	23
11	364	23
12	407	23
13	451	23
14	528	23
15	549	23
16	557	23
17	568	23
18	600	23
19	804	23
20	1776	23
21	2470	23
22	3180	23
23	4322	23
24	4561	23
25	4563	23
done	4563	23
0	17	43
1	34	41
2	54	37
3	71	37
4	83	37
5	101	37
6	110	37
7	133	37
8	196	37
9	306	37
10	337	37
11	365	37
12	407	37
13	451	37
14	531	37
15	550	37
16	560	37
17	571	37
18	603	37
19	803	37
20	1778	37
21	2498	37
22	3193	37
23	4372	37
24	4612	37
25	4614	37
done	4614	37
0	18	24
1	34	24
2	48	22
3	60	22
4	75	22
5	93	22
6	102	22
7	125	22
8	188	22
9	298	22
10	339	22
11	367	22
12	409	22
13	453	22
14	532	22
15	551	22
16	560	22
17	571	22
18	603	22
19	807	22
20	1781	22
21	2561	22
22	3266	22
23	4423	22
24	4639	22
25	4641	22
done	4641	22
0	17	43
1	34	41
2	54	37
3	71	37
4	83	37
5	101	37
6	110	37
7	133	37
8	196	37
9	306	37
10	337	37
11	365	37
12	407	37
13	451	37
14	531	37
15	550	37
16	560	37
17	571	37
18	603	37
19	803	37
20	1778	37
21	2498	37
22	3193	37
23	4372	37
24	4612	37
25	4614	37
done	4614	37
0	18	24
1	34	24
2	48	22
3	60	22
4	75	22
5	93	22
6	102	22
7	125	22
8	188	22
9	298	22
10	339	22
11	367	22
12	409	22
13	453	22
14	532	22
15	551	22
16	560	22
17	571	22
18	603	22
19	807	22
20	1781	22
21	2561	22
22	3266	22
23	4423	22
24	4639	22
25	4641	22
done	4641	22
0	20	30
1	38	30
2	52	28
3	64	28
4	79	28
5	97	28
6	106	28
7	129	28
8	192	28
9	300	28
10	341	28
11	369	28
12	411	28
13	455	28
14	535	28
15	554	28
16	562	28
17	573	28
18	605	28
19	805	28
20	1758	28
21	2485	28
22	3196	28
23	4419	28
24	4667	28
25	4669	28
done	4669	28
0	19	25
1	35	25
2	49	23
3	61	23
4	76	23
5	94	23
6	103	23
7	126	23
8	189	23
9	299	23
10	336	23
11	364	23
12	407	23
13	451	23
14	528	23
15	549	23
16	557	23
17	568	23
18	600	23
19	804	23
20	1776	23
21	2470	23
22	3180	23
23	4322	23
24	4561	23
25	4563	23
done	4563	23
0	19	25
1	35	25
2	49	23
3	61	23
4	76	23
5	94	23
6	103	23
7	126	23
8	189	23
9	299	23
10	336	23
11	364	23
12	407	23
13	451	23
14	528	23
15	549	23
16	557	23
17	568	23
18	600	23
19	804	23
20	1776	23
21	2470	23
22	3180	23
23	4322	23
24	4561	23
25	4563	23
done	4563	23
0	19	25
1	35	25
2	49	23
3	61	23
4	76	23
5	94	23
6	103	23
7	126	23
8	189	23
9	299	23
10	336	23
11	364	23
12	407	23
13	451	23
14	528	23
15	549	23
16	557	23
17	568	23
18	600	23
19	804	23
20	1776	23
21	2470	23
22	3180	23
23	4322	23
24	4561	23
25	4563	23
done	4563	23
0	16	22
1	31	20
2	47	18
3	59	18
4	71	18
5	89	18
6	98	18
7	121	18
8	184	18
9	292	18
10	327	18
11	355	18
12	397	18
13	441	18
14	519	18
15	540	18
16	546	18
17	557	18
18	589	18
19	791	18
20	1745	18
21	2509	18
22	3197	18
23	4313	18
24	4540	18
25	4542	18
done	4542	18
0	18	24
1	34	24
2	48	22
3	60	22
4	75	22
5	93	22
6	102	22
7	125	22
8	188	22
9	298	22
10	339	22
11	367	22
12	409	22
13	453	22
14	532	22
15	551	22
16	560	22
17	571	22
18	603	22
19	807	22
20	1781	22
21	2561	22
22	3266	22
23	4423	22
24	4639	22
25	4641	22
done	4641	22
0	16	22
1	31	20
2	47	18
3	59	18
4	71	18
5	89	18
6	98	18
7	121	18
8	184	18
9	292	18
10	327	18
11	355	18
12	397	18
13	441	18
14	519	18
15	540	18
16	546	18
17	557	18
18	589	18
19	791	18
20	1745	18
21	2509	18
22	3197	18
23	4313	18
24	4540	18
25	4542	18
done	4542	18
0	18	24
1	34	24
2	48	22
3	60	22
4	75	22
5	93	22
6	102	22
7	125	22
8	188	22
9	298	22
10	339	22
11	367	22
12	409	22
13	453	22
14	532	22
15	551	22
16	560	22
17	571	22
18	603	22
19	807	22
20	1781	22
21	2561	22
22	3266	22
23	4423	22
24	4639	22
25	4641	22
done	4641	22
0	7	11
1	12	11
done	12	11
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	182	22
6	255	22
7	418	22
8	801	22
9	1575	22
10	3147	22
done	5000	22
0	6	6
1	9	6
done	9	6
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	182	22
6	255	22
7	418	22
8	801	22
9	1575	22
10	3147	22
done	5000	22
0	2	3
1	4	1
done	4	1
0	17	23
1	33	23
2	50	21
3	69	21
4	109	21
5	205	21
6	350	21
7	600	21
8	1113	21
9	2247	21
10	4850	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	17	23
1	33	23
2	50	21
3	69	21
4	109	21
5	205	21
6	350	21
7	600	21
8	1113	21
9	2247	21
10	4850	21
done	5000	21
0	7	11
1	12	11
done	12	11
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	182	22
6	255	22
7	418	22
8	801	22
9	1575	22
10	3147	22
done	5000	22
0	6	6
1	9	6
done	9	6
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	182	22
6	255	22
7	418	22
8	801	22
9	1575	22
10	3147	22
done	5000	22
0	2	3
1	4	1
done	4	1
0	17	23
1	33	23
2	50	21
3	69	21
4	109	21
5	205	21
6	350	21
7	600	21
8	1113	21
9	2247	21
10	4850	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	17	23
1	33	23
2	50	21
3	69	21
4	109	21
5	205	21
6	350	21
7	600	21
8	1113	21
9	2247	21
10	4850	21
done	5000	21
0	5	5
1	8	5
done	8	5
0	17	23
1	33	23
2	47	21
3	59	21
4	74	21
5	92	21
6	101	21
7	124	21
8	187	21
9	295	21
10	330	21
11	358	21
12	401	21
13	445	21
14	520	21
15	543	21
16	551	21
17	562	21
18	594	21
19	798	21
20	1748	21
21	2492	21
22	3206	21
23	4331	21
24	4535	21
25	4537	21
done	4537	21
0	19	29
1	37	29
2	57	27
3	85	27
4	161	27
5	321	27
6	549	27
7	947	27
8	2180	27
9	4769	27
done	5000	27
0	18	24
1	34	24
2	51	22
3	70	22
4	110	22
5	182	22
6	255	22
7	418	22
8	801	22
9	1575	22
10	3147	22
done	5000	22
0	15	21
1	30	19
2	49	17
3	68	17
4	106	17
5	177	17
6	286	17
7	467	17
8	867	17
9	2076	17
10	3345	17
11	3940	17
12	4324	17
13	4391	17
done	4391	17
0	15	21
1	30	19
2	49	17
3	68	17
4	106	17
5	177	17
6	286	17
7	467	17
8	867	17
9	2076	17
10	3345	17
11	3940	17
12	4324	17
13	4391	17
done	4391	17
0	18	24
1	34	24
2	48	22
3	60	22
4	75	22
5	93	22
6	102	22
7	125	22
8	188	22
9	298	22
10	339	22
11	367	22
12	410	22
13	454	22
14	528	22
15	546	22
16	554	22
17	565	22
18	597	22
19	797	22
20	1749	22
21	2524	22
22	3230	22
23	4319	22
24	4530	22
25	4532	22
done	4532	22
0	18	24
1	34	24
2	48	22
3	60	22
4	75	22
5	93	22
6	102	22
7	125	22
8	188	22
9	298	22
10	339	22
11	367	22
12	410	22
13	454	22
14	528	22
15	546	22
16	554	22
17	565	22
18	597	22
19	797	22
20	1749	22
21	2524	22
22	3230	22
23	4319	22
24	4530	22
25	4532	22
done	4532	22
0	17	23
1	33	23
2	47	21
3	59	21
4	74	21
5	92	21
6	101	21
7	124	21
8	187	21
9	295	21
10	330	21
11	358	21
12	401	21
13	445	21
14	520	21
15	543	21
16	551	21
17	562	21
18	594	21
19	798	21
20	1748	21
21	2492	21
22	3206	21
23	4331	21
24	4535	21
25	4537	21
done	4537	21
0	17	23
1	33	23
2	47	21
3	59	21
4	74	21
5	92	21
6	101	21
7	124	21
8	187	21
9	295	21
10	330	21
11	358	21
12	401	21
13	445	21
14	520	21
15	543	21
16	551	21
17	562	21
18	594	21
19	798	21
20	1748	21
21	2492	21
22	3206	21
23	4331	21
24	4535	21
25	4537	21
done	4537	21
0	20	27
1	49	27
2	75	25
3	111	25
4	190	25
5	398	25
6	1218	25
done	5000	25
0	19	27
1	39	27
2	65	25
3	113	25
4	221	25
5	565	25
6	1745	25
done	5001	25
0	21	63
1	49	45
2	126	41
3	394	41
4	1578	41
done	5001	41
0	17	23
1	35	23
2	70	21
3	159	21
4	375	21
5	1018	21
6	2411	21
7	4802	21
done	5000	21
0	2	2
1	5	1
done	5	1
0	7	7
1	9	7
2	12	7
done	12	7
0	8	8
1	12	7
2	19	7
3	21	7
4	27	7
5	32	7
done	32	7
0	9	9
1	15	8
2	19	7
3	25	7
4	31	7
5	36	7
done	36	7
0	8	8
1	16	7
2	20	7
3	24	7
4	26	7
5	32	7
6	37	7
done	37	7
0	8	8
1	12	8
2	15	8
done	15	8
0	11	23
1	23	19
2	50	9
3	122	9
4	341	9
5	1067	9
6	3287	9
done	5000	9
0	9	17
1	13	17
2	16	17
done	16	17
0	8	8
1	12	8
2	15	8
done	15	8
0	9	23
1	20	23
2	39	9
3	82	9
4	123	9
5	235	9
6	505	9
7	1322	9
8	3850	9
done	5000	9
0	8	8
1	12	8
2	15	8
done	15	8
0	8	8
1	12	8
2	15	8
done	15	8
0	2	2
1	5	1
done	5	1
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	11	19
1	21	17
2	33	15
3	39	15
done	39	15
0	9	9
1	13	8
2	16	8
done	16	8
0	10	12
1	16	10
2	21	8
3	22	8
done	22	8
0	9	9
1	13	8
2	16	8
done	16	8
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	12	7
2	15	7
done	15	7
0	11	13
1	16	11
2	18	9
3	19	9
done	19	9
0	10	10
1	14	9
2	15	9
done	15	9
0	12	14
1	17	12
2	19	10
3	20	10
done	20	10
0	11	11
1	15	10
2	18	10
done	18	10
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	12	7
2	15	7
done	15	7
0	10	16
1	16	15
2	19	15
done	19	15
0	9	9
1	13	8
2	16	8
done	16	8
0	9	9
1	13	8
2	16	8
done	16	8
0	9	9
1	13	8
2	16	8
done	16	8
0	3	4
1	5	1
done	5	1
0	8	8
1	12	7
2	15	7
done	15	7
0	10	10
1	13	9
done	13	9
0	10	10
1	14	9
2	15	9
done	15	9
0	11	11
1	14	10
done	14	10
0	11	11
1	15	10
2	18	10
done	18	10
0	3	4
1	5	1
done	5	1
0	8	8
1	12	7
2	15	7
done	15	7
0	9	15
1	15	15
2	18	15
done	18	15
0	8	8
1	12	8
2	15	8
done	15	8
0	8	8
1	12	8
2	15	8
done	15	8
0	8	8
1	12	8
2	15	8
done	15	8
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	14	7
done	14	7
0	9	9
1	12	9
done	12	9
0	9	9
1	13	9
2	14	9
done	14	9
0	10	10
1	13	10
done	13	10
0	10	10
1	14	10
2	17	10
done	17	10
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	14	5
2	23	5
3	30	5
4	32	5
done	32	5
0	9	15
1	15	15
2	18	15
done	18	15
0	8	8
1	12	8
2	15	8
done	15	8
0	2	3
1	4	1
done	4	1
0	9	9
1	12	9
done	12	9
0	10	10
1	13	10
done	13	10
0	2	3
1	4	1
done	4	1
0	8	8
1	15	7
2	22	7
3	28	5
4	36	5
5	37	5
done	37	5
0	8	8
1	15	7
2	22	7
3	28	5
4	36	5
5	37	5
done	37	5
0	7	7
1	14	5
2	23	5
3	30	5
4	32	5
done	32	5
0	10	11
1	30	11
2	72	11
3	184	11
4	570	11
5	1973	11
done	5000	11
0	9	13
1	20	13
2	37	13
3	73	13
4	127	13
5	205	13
6	293	13
7	483	13
8	1839	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	9
1	18	7
2	41	7
3	61	7
4	86	7
5	104	7
6	146	7
7	215	7
8	443	7
9	1450	7
done	5001	7
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune177.0ms

Filtered

113 candidates to 174 candidates (-54.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	174	7	181

Merged error: 0.2b

Counts

181 → 7

regimes279.0ms

Accuracy

0% (0.0b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	21
1	18	21
done	18	21

end0.0ms

sample937.0ms

Algorithm

intervals

Results

453.0ms

8301×

body

valid

Details

sample31.0ms

simplify3.1s

prune4.0ms

localize18.0ms

rewrite36.0ms

series71.0ms

simplify2.1min

prune148.0ms

localize14.0ms

rewrite67.0ms

series72.0ms

simplify2.2min

prune172.0ms

localize22.0ms

rewrite117.0ms

series91.0ms

simplify10.1min

prune229.0ms

localize16.0ms

rewrite68.0ms

series80.0ms

simplify9.3min

prune177.0ms

regimes279.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample937.0ms

Profiling