Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

270×

body

valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	25	13
2	58	13
3	105	13
4	184	13
5	279	13
6	431	13
7	618	13
8	918	13
9	1209	13
10	1405	13
11	1467	13
12	1477	13
done	1477	13

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: 1.9b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
0.0b	(/ (+ (- t z) 1.0) a)
10.5b	(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity`
203×	`times-frac`
136×	`add-sqr-sqrt`
87×	`add-cube-cbrt`
44×	`distribute-lft-out`
43×	`distribute-lft-out--`
23×	`difference-of-squares`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`flip3--` `frac-2neg` `clear-num` `flip--`
1×	`associate-+l-` `sub-neg` `flip3-+` `diff-log` `associate-/r/` `flip-+` `associate--r-`

Counts

3 → 192

Calls

3 calls:

44.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
10.0ms	(/ (+ (- t z) 1.0) a)
15.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

series85.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
8.0ms	(/ (+ (- t z) 1.0) a)
34.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify2.1min

Counts

201 → 201

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	13	14
1	25	14
2	44	14
3	66	14
4	79	14
5	92	14
6	116	14
7	157	14
8	185	14
9	193	14
10	199	14
11	203	14
done	203	14
0	12	13
1	23	13
2	42	13
3	65	13
4	98	13
5	118	13
6	160	13
7	205	13
8	274	13
9	309	13
10	323	13
11	325	13
done	325	13
0	11	12
1	25	12
2	56	12
3	94	12
4	143	12
5	195	12
6	312	12
7	453	12
8	677	12
9	857	12
10	995	12
11	1033	12
12	1039	12
done	1039	12
0	11	12
1	22	12
2	51	12
3	94	12
4	154	12
5	255	12
6	626	12
7	2009	12
done	5000	12
0	16	35
1	48	35
2	196	17
3	968	15
done	5002	15
0	14	35
1	35	35
2	138	15
3	579	13
4	2948	13
done	5000	13
0	12	25
1	23	25
2	47	25
3	77	25
4	116	25
5	151	25
6	260	25
7	390	25
8	596	25
9	757	25
10	889	25
11	930	25
12	935	25
done	935	25
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	924	12
12	929	12
done	929	12
0	12	35
1	30	35
2	101	13
3	448	13
4	2459	13
done	5001	13
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	924	12
12	929	12
done	929	12
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	924	12
12	929	12
done	929	12
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	8
1	15	8
2	31	8
3	59	8
4	112	7
5	149	7
6	213	7
7	248	7
8	263	7
done	263	7
0	9	9
1	16	9
2	32	9
3	49	9
4	71	9
5	98	9
6	149	9
7	201	9
8	278	9
9	328	9
10	360	9
11	366	9
done	366	9
0	8	9
1	15	9
2	31	9
3	48	9
4	70	9
5	97	9
6	150	9
7	204	9
8	279	9
9	325	9
10	360	9
11	369	9
12	370	9
done	370	9
0	14	27
1	26	27
2	49	27
3	71	27
4	91	27
5	107	27
6	141	27
7	171	27
8	214	27
9	240	27
10	254	27
11	259	27
done	259	27
0	12	13
1	18	13
2	32	13
3	48	13
4	68	13
5	84	13
6	118	13
7	148	13
8	191	13
9	217	13
10	231	13
11	236	13
done	236	13
0	13	18
1	21	18
2	37	18
3	54	18
4	74	18
5	90	18
6	124	18
7	154	18
8	197	18
9	223	18
10	237	18
11	242	18
done	242	18
0	12	13
1	18	13
2	32	13
3	48	13
4	68	13
5	84	13
6	118	13
7	148	13
8	191	13
9	217	13
10	231	13
11	236	13
done	236	13
0	16	29
1	32	29
2	79	29
3	181	29
4	318	29
5	416	29
6	461	29
7	486	29
8	505	29
9	513	29
10	519	29
11	523	29
done	523	29
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	15	26
1	27	26
2	56	26
3	109	26
4	162	26
5	186	26
6	200	26
7	216	26
8	235	26
9	243	26
10	249	26
11	253	26
done	253	26
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	14	25
1	28	23
2	62	23
3	146	23
4	184	23
5	212	23
6	223	23
7	238	23
8	257	23
9	265	23
10	271	23
11	275	23
done	275	23
0	12	13
1	20	13
2	34	13
3	44	13
4	55	13
5	62	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	15	22
1	27	22
2	53	22
3	90	22
4	136	22
5	163	22
6	182	22
7	206	22
8	225	22
9	233	22
10	239	22
11	243	22
done	243	22
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	14	19
1	24	19
2	44	19
3	63	19
4	82	19
5	91	19
6	102	19
7	118	19
8	137	19
9	145	19
10	151	19
11	152	19
done	152	19
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	13	18
1	25	16
2	47	16
3	78	16
4	92	16
5	101	16
6	116	16
7	131	16
8	150	16
9	158	16
10	164	16
11	168	16
done	168	16
0	12	13
1	20	13
2	34	13
3	44	13
4	55	13
5	62	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	10	15
1	18	15
2	34	15
3	51	15
4	71	15
5	87	15
6	121	15
7	151	15
8	194	15
9	220	15
10	234	15
11	239	15
done	239	15
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	13	22
1	21	22
2	35	22
3	51	22
4	71	22
5	87	22
6	121	22
7	151	22
8	194	22
9	220	22
10	234	22
11	239	22
done	239	22
0	12	13
1	18	13
2	32	13
3	48	13
4	68	13
5	84	13
6	118	13
7	148	13
8	191	13
9	217	13
10	231	13
11	236	13
done	236	13
0	12	13
1	18	13
2	32	13
3	48	13
4	68	13
5	84	13
6	118	13
7	148	13
8	191	13
9	217	13
10	231	13
11	236	13
done	236	13
0	12	13
1	18	13
2	32	13
3	48	13
4	68	13
5	84	13
6	118	13
7	148	13
8	191	13
9	217	13
10	231	13
11	236	13
done	236	13
0	15	24
1	29	24
2	61	24
3	101	24
4	136	24
5	174	24
6	208	24
7	233	24
8	252	24
9	260	24
10	266	24
11	270	24
done	270	24
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	14	21
1	24	21
2	43	21
3	65	21
4	82	21
5	93	21
6	105	21
7	120	21
8	139	21
9	147	21
10	151	21
11	152	21
done	152	21
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	13	20
1	25	18
2	49	18
3	85	18
4	106	18
5	123	18
6	138	18
7	153	18
8	172	18
9	180	18
10	186	18
11	190	18
done	190	18
0	12	13
1	20	13
2	34	13
3	44	13
4	55	13
5	62	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	14	17
1	24	17
2	42	17
3	59	17
4	72	17
5	86	17
6	101	17
7	121	17
8	140	17
9	148	17
10	152	17
11	156	17
done	156	17
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	13	14
1	21	14
2	35	14
3	45	14
4	56	14
5	63	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	12	13
1	22	11
2	39	11
3	53	11
4	64	11
5	72	11
6	85	11
7	100	11
8	119	11
9	127	11
10	133	11
11	134	11
done	134	11
0	12	13
1	20	13
2	34	13
3	44	13
4	55	13
5	62	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	12	13
1	20	13
2	37	13
3	54	13
4	76	13
5	103	13
6	154	13
7	206	13
8	283	13
9	332	13
10	366	13
11	372	13
done	372	13
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	6	6
1	10	4
2	13	4
done	13	4
0	11	12
1	19	12
2	36	12
3	53	12
4	75	12
5	102	12
6	153	12
7	205	12
8	282	12
9	331	12
10	365	12
11	371	12
done	371	12
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	11	19
1	20	19
2	33	19
3	49	19
4	69	19
5	85	19
6	119	19
7	149	19
8	192	19
9	218	19
10	230	19
11	235	19
done	235	19
0	11	12
1	20	12
2	36	12
3	54	12
4	74	12
5	90	12
6	124	12
7	154	12
8	197	12
9	223	12
10	237	12
11	242	12
done	242	12
0	10	10
1	17	10
2	30	10
3	46	10
4	66	10
5	82	10
6	116	10
7	146	10
8	189	10
9	215	10
10	229	10
11	234	10
done	234	10
0	11	12
1	20	12
2	36	12
3	54	12
4	74	12
5	90	12
6	124	12
7	154	12
8	197	12
9	223	12
10	237	12
11	242	12
done	242	12
0	13	21
1	28	21
2	59	21
3	97	19
4	166	19
5	232	19
6	241	19
7	256	19
8	275	19
9	283	19
10	289	19
11	290	19
done	290	19
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	12	18
1	23	18
2	41	18
3	63	16
4	99	16
5	141	16
6	150	16
7	165	16
8	184	16
9	192	16
10	198	16
11	202	16
done	202	16
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	10	17
1	21	15
2	42	15
3	60	15
4	69	15
5	74	15
6	83	15
7	98	15
8	117	15
9	125	15
10	129	15
11	133	15
done	133	15
0	11	12
1	22	12
2	43	12
3	66	12
4	94	12
5	109	12
6	132	12
7	152	12
8	173	12
9	181	12
10	185	12
11	186	12
done	186	12
0	12	14
1	23	14
2	40	14
3	57	12
4	90	12
5	110	12
6	119	12
7	134	12
8	153	12
9	161	12
10	165	12
11	169	12
done	169	12
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	11	11
1	20	11
2	33	11
3	43	9
4	65	9
5	75	9
6	84	9
7	99	9
8	118	9
9	126	9
10	130	9
11	131	9
done	131	9
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	9	10
1	18	8
2	33	8
3	42	8
4	51	8
5	56	8
6	65	8
7	80	8
8	99	8
9	107	8
10	111	8
11	112	8
done	112	8
0	11	12
1	22	12
2	43	12
3	66	12
4	94	12
5	109	12
6	132	12
7	152	12
8	173	12
9	181	12
10	185	12
11	186	12
done	186	12
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	3	5
1	6	1
done	6	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	3	5
1	6	1
done	6	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	3	5
1	6	1
done	6	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	2	3
1	4	1
done	4	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	7	7
1	14	7
2	24	7
3	33	7
4	42	7
5	47	7
6	56	7
7	71	7
8	90	7
9	98	7
10	102	7
11	106	7
done	106	7
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	14	23
1	22	23
2	35	23
3	51	23
4	71	23
5	87	23
6	121	23
7	151	23
8	194	23
9	220	23
10	234	23
11	239	23
done	239	23
0	13	14
1	23	14
2	39	14
3	57	14
4	77	14
5	93	14
6	127	14
7	157	14
8	200	14
9	226	14
10	240	14
11	245	14
done	245	14
0	13	14
1	19	14
2	32	14
3	48	14
4	68	14
5	84	14
6	118	14
7	148	14
8	191	14
9	217	14
10	231	14
11	236	14
done	236	14
0	13	14
1	23	14
2	39	14
3	57	14
4	77	14
5	93	14
6	127	14
7	157	14
8	200	14
9	226	14
10	240	14
11	245	14
done	245	14
0	16	25
1	30	25
2	61	25
3	99	25
4	142	25
5	201	25
6	263	25
7	334	25
8	413	25
9	489	25
10	523	25
11	541	25
12	546	25
13	548	25
14	549	25
done	549	25
0	14	15
1	26	15
2	47	15
3	70	15
4	98	15
5	113	15
6	136	15
7	156	15
8	177	15
9	185	15
10	189	15
11	193	15
done	193	15
0	15	22
1	25	22
2	43	22
3	65	22
4	90	22
5	109	22
6	131	22
7	156	22
8	195	22
9	221	22
10	243	22
11	250	22
12	252	22
13	253	22
done	253	22
0	14	15
1	26	15
2	47	15
3	70	15
4	98	15
5	113	15
6	136	15
7	156	15
8	177	15
9	185	15
10	189	15
11	193	15
done	193	15
0	14	21
1	26	19
2	49	19
3	85	19
4	112	19
5	153	19
6	190	19
7	217	19
8	252	19
9	268	19
10	272	19
11	276	19
done	276	19
0	13	14
1	25	14
2	46	14
3	69	14
4	97	14
5	112	14
6	135	14
7	155	14
8	176	14
9	184	14
10	190	14
11	191	14
done	191	14
0	15	18
1	25	18
2	42	18
3	59	18
4	80	18
5	106	18
6	131	18
7	171	18
8	211	18
9	233	18
10	247	18
11	257	18
12	258	18
done	258	18
0	14	15
1	26	15
2	47	15
3	70	15
4	98	15
5	113	15
6	136	15
7	156	15
8	177	15
9	185	15
10	189	15
11	193	15
done	193	15
0	14	15
1	22	15
2	35	15
3	45	15
4	64	15
5	71	15
6	89	15
7	106	15
8	131	15
9	143	15
10	155	15
11	161	15
done	161	15
0	14	15
1	26	15
2	47	15
3	70	15
4	98	15
5	113	15
6	136	15
7	156	15
8	177	15
9	185	15
10	189	15
11	193	15
done	193	15
0	13	14
1	23	12
2	39	12
3	53	12
4	72	12
5	88	12
6	109	12
7	130	12
8	153	12
9	163	12
10	169	12
11	170	12
done	170	12
0	13	14
1	25	14
2	46	14
3	69	14
4	97	14
5	112	14
6	135	14
7	155	14
8	176	14
9	184	14
10	190	14
11	191	14
done	191	14
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	13	14
1	25	14
2	49	14
3	79	14
4	118	14
5	153	14
6	262	14
7	390	14
8	596	14
9	761	14
10	894	14
11	910	14
done	910	14
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	13	14
1	25	14
2	49	14
3	79	14
4	118	14
5	153	14
6	262	14
7	390	14
8	596	14
9	761	14
10	894	14
11	910	14
done	910	14
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	24	13
2	48	13
3	78	13
4	117	13
5	152	13
6	261	13
7	389	13
8	595	13
9	760	13
10	893	13
11	909	13
done	909	13
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	13	14
1	25	14
2	49	14
3	79	14
4	118	14
5	153	14
6	262	14
7	390	14
8	596	14
9	761	14
10	894	14
11	910	14
done	910	14
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	13	14
1	25	14
2	49	14
3	79	14
4	118	14
5	153	14
6	262	14
7	390	14
8	596	14
9	761	14
10	894	14
11	910	14
done	910	14
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	24	13
2	48	13
3	78	13
4	117	13
5	152	13
6	261	13
7	389	13
8	595	13
9	760	13
10	893	13
11	909	13
done	909	13
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	13	14
1	25	14
2	49	14
3	79	14
4	118	14
5	153	14
6	262	14
7	390	14
8	596	14
9	761	14
10	894	14
11	910	14
done	910	14
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	13	14
1	25	14
2	49	14
3	79	14
4	118	14
5	153	14
6	262	14
7	390	14
8	596	14
9	761	14
10	894	14
11	910	14
done	910	14
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	24	13
2	48	13
3	78	13
4	117	13
5	152	13
6	261	13
7	389	13
8	595	13
9	760	13
10	893	13
11	909	13
done	909	13
0	7	7
1	10	5
2	12	5
done	12	5
0	12	13
1	24	13
2	48	13
3	78	13
4	117	13
5	152	13
6	261	13
7	389	13
8	595	13
9	760	13
10	893	13
11	909	13
done	909	13
0	10	11
1	16	11
2	26	11
3	35	11
4	44	11
5	49	11
6	58	11
7	73	11
8	92	11
9	100	11
10	106	11
11	110	11
done	110	11
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	11	19
1	20	19
2	33	19
3	49	19
4	69	19
5	85	19
6	119	19
7	149	19
8	192	19
9	218	19
10	230	19
11	235	19
done	235	19
0	11	12
1	20	12
2	36	12
3	54	12
4	74	12
5	90	12
6	124	12
7	154	12
8	197	12
9	223	12
10	237	12
11	242	12
done	242	12
0	10	10
1	17	10
2	30	10
3	46	10
4	66	10
5	82	10
6	116	10
7	146	10
8	189	10
9	215	10
10	229	10
11	234	10
done	234	10
0	11	12
1	20	12
2	36	12
3	54	12
4	74	12
5	90	12
6	124	12
7	154	12
8	197	12
9	223	12
10	237	12
11	242	12
done	242	12
0	13	21
1	28	21
2	59	21
3	97	19
4	166	19
5	232	19
6	241	19
7	256	19
8	275	19
9	283	19
10	289	19
11	290	19
done	290	19
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	12	18
1	23	18
2	41	18
3	63	16
4	99	16
5	141	16
6	150	16
7	165	16
8	184	16
9	192	16
10	198	16
11	202	16
done	202	16
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	10	17
1	21	15
2	42	15
3	60	15
4	69	15
5	74	15
6	83	15
7	98	15
8	117	15
9	125	15
10	129	15
11	133	15
done	133	15
0	11	12
1	22	12
2	43	12
3	66	12
4	94	12
5	109	12
6	132	12
7	152	12
8	173	12
9	181	12
10	185	12
11	186	12
done	186	12
0	12	14
1	23	14
2	40	14
3	57	12
4	90	12
5	110	12
6	119	12
7	134	12
8	153	12
9	161	12
10	165	12
11	169	12
done	169	12
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	11	11
1	20	11
2	33	11
3	43	9
4	65	9
5	75	9
6	84	9
7	99	9
8	118	9
9	126	9
10	130	9
11	131	9
done	131	9
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	9	10
1	18	8
2	33	8
3	42	8
4	51	8
5	56	8
6	65	8
7	80	8
8	99	8
9	107	8
10	111	8
11	112	8
done	112	8
0	11	12
1	22	12
2	43	12
3	66	12
4	94	12
5	109	12
6	132	12
7	152	12
8	173	12
9	181	12
10	185	12
11	186	12
done	186	12
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	3	5
1	6	1
done	6	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	3	5
1	6	1
done	6	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	22	12
2	46	12
3	76	12
4	115	12
5	150	12
6	259	12
7	389	12
8	595	12
9	756	12
10	888	12
11	927	12
12	932	12
done	932	12
0	3	5
1	6	1
done	6	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	2	3
1	4	1
done	4	1
0	10	11
1	21	11
2	45	11
3	75	11
4	114	11
5	149	11
6	258	11
7	388	11
8	594	11
9	754	11
10	888	11
11	926	11
12	931	11
done	931	11
0	7	7
1	14	7
2	24	7
3	33	7
4	42	7
5	47	7
6	56	7
7	71	7
8	90	7
9	98	7
10	102	7
11	106	7
done	106	7
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	9	9
1	18	9
2	34	9
3	51	7
4	71	7
5	87	7
6	121	7
7	151	7
8	194	7
9	220	7
10	234	7
11	239	7
done	239	7
0	10	11
1	18	11
2	38	11
3	79	11
4	131	11
5	180	11
6	253	11
7	325	11
8	426	11
9	506	11
10	548	11
11	552	11
done	552	11
0	12	21
1	23	21
2	44	21
3	65	21
4	88	21
5	104	21
6	138	21
7	168	21
8	211	21
9	237	21
10	249	21
11	254	21
done	254	21
0	11	12
1	20	12
2	36	12
3	54	12
4	74	12
5	90	12
6	124	12
7	154	12
8	197	12
9	223	12
10	237	12
11	242	12
done	242	12
0	14	23
1	31	23
2	82	23
3	180	23
4	340	23
5	527	23
6	696	23
7	802	23
8	843	23
9	851	23
10	857	23
11	861	23
done	861	23
0	13	20
1	26	20
2	56	20
3	113	20
4	178	20
5	230	20
6	275	20
7	302	20
8	324	20
9	332	20
10	338	20
11	342	20
done	342	20
0	12	19
1	27	17
2	61	17
3	135	17
4	231	17
5	327	17
6	416	17
7	462	17
8	494	17
9	502	17
10	508	17
11	509	17
done	509	17
0	13	16
1	26	16
2	55	16
3	99	16
4	159	16
5	215	16
6	265	16
7	320	16
8	358	16
9	366	16
10	372	16
11	376	16
done	376	16
0	12	13
1	23	13
2	44	13
3	67	13
4	95	13
5	110	13
6	133	13
7	153	13
8	174	13
9	182	13
10	186	13
11	187	13
done	187	13
0	11	12
1	24	10
2	45	10
3	74	10
4	114	10
5	139	10
6	169	10
7	199	10
8	236	10
9	246	10
10	252	10
11	253	10
done	253	10
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	11	12
1	19	12
2	39	12
3	72	12
4	120	12
5	166	12
6	241	12
7	311	12
8	408	12
9	487	12
10	529	12
11	533	12
done	533	12
0	11	12
1	19	12
2	39	12
3	72	12
4	120	12
5	166	12
6	241	12
7	311	12
8	408	12
9	487	12
10	529	12
11	533	12
done	533	12
0	10	11
1	18	11
2	38	11
3	79	11
4	131	11
5	180	11
6	253	11
7	325	11
8	426	11
9	506	11
10	548	11
11	552	11
done	552	11
0	12	13
1	21	13
2	41	13
3	82	13
4	134	13
5	184	13
6	258	13
7	328	13
8	425	13
9	505	13
10	547	13
11	551	13
done	551	13
0	10	11
1	18	11
2	38	11
3	79	11
4	131	11
5	180	11
6	253	11
7	325	11
8	426	11
9	506	11
10	548	11
11	552	11
done	552	11
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	14	19
1	35	17
2	98	17
3	317	17
4	1048	17
5	3711	17
done	5000	17
0	10	11
1	25	11
2	54	11
3	156	11
4	342	11
5	924	11
6	2304	11
done	5000	11
0	9	9
1	16	9
2	27	9
3	36	9
4	45	9
5	50	9
6	59	9
7	74	9
8	93	9
9	101	9
10	107	9
11	111	9
done	111	9
0	8	8
1	16	8
2	31	8
3	48	8
4	68	8
5	84	8
6	118	8
7	148	8
8	191	8
9	217	8
10	231	8
11	236	8
done	236	8
0	8	8
1	13	8
2	26	8
3	45	8
4	72	8
5	100	8
6	154	8
7	226	8
8	357	8
9	494	8
10	522	8
11	524	8
done	524	8
0	11	23
1	37	23
2	124	11
3	521	9
4	2744	9
done	5001	9
0	9	17
1	14	17
2	27	17
3	43	17
4	63	17
5	79	17
6	113	17
7	143	17
8	186	17
9	212	17
10	226	17
11	228	17
done	228	17
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	9	23
1	21	23
2	66	9
3	235	9
4	1120	9
5	4475	9
done	5000	9
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	6	6
1	14	6
2	28	6
3	52	6
4	78	5
5	87	5
6	102	5
7	125	5
done	125	5
0	2	2
done	2	2
0	3	3
done	3	3
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	11	19
1	22	19
2	41	19
3	56	19
4	65	19
5	70	19
6	79	19
7	94	19
8	113	19
9	121	19
10	125	19
11	126	19
done	126	19
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	10	16
1	17	16
2	29	16
3	39	16
4	48	16
5	53	16
6	62	16
7	77	16
8	96	16
9	104	16
10	110	16
11	111	16
done	111	16
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	9	15
1	18	13
2	34	13
3	48	13
4	57	13
5	62	13
6	71	13
7	86	13
8	105	13
9	113	13
10	117	13
11	118	13
done	118	13
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	10	12
1	17	12
2	27	12
3	36	12
4	45	12
5	50	12
6	59	12
7	74	12
8	93	12
9	101	12
10	107	12
11	111	12
done	111	12
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	8	8
1	15	6
2	27	6
3	36	6
4	45	6
5	50	6
6	59	6
7	74	6
8	93	6
9	101	6
10	107	6
11	111	6
done	111	6
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	25	7
3	41	7
4	61	7
5	77	7
6	111	7
7	141	7
8	184	7
9	210	7
10	222	7
11	227	7
done	227	7
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	25	7
3	41	7
4	61	7
5	77	7
6	111	7
7	141	7
8	184	7
9	210	7
10	222	7
11	227	7
done	227	7
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	25	7
3	41	7
4	61	7
5	77	7
6	111	7
7	141	7
8	184	7
9	210	7
10	222	7
11	227	7
done	227	7
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	9	11
1	16	11
2	32	11
3	57	11
4	92	11
5	122	11
6	181	11
7	232	11
8	305	11
9	353	11
10	375	11
11	381	11
done	381	11
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	7	7
1	14	5
2	29	5
3	45	5
4	64	5
5	73	5
6	90	5
7	111	5
8	139	5
9	159	5
10	165	5
11	167	5
done	167	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	11	19
1	28	17
2	74	17
3	216	15
4	686	15
5	2180	15
done	5000	15
0	7	7
1	14	7
2	31	7
3	68	7
4	108	7
5	129	7
6	155	7
7	215	7
8	270	7
9	330	7
10	363	7
11	379	7
12	380	7
done	380	7
0	14	15
1	27	14
2	60	14
3	125	14
4	246	14
5	474	14
6	1216	14
done	5000	14
0	13	14
1	26	14
2	59	14
3	106	14
4	185	14
5	280	14
6	432	14
7	619	14
8	919	14
9	1210	14
10	1404	14
11	1463	14
12	1473	14
done	1473	14
0	13	14
1	29	14
2	69	14
3	139	14
4	268	14
5	541	14
6	1468	14
done	5000	14
0	14	29
1	27	29
2	60	29
3	107	29
4	186	29
5	281	29
6	433	29
7	620	29
8	920	29
9	1211	29
10	1405	29
11	1462	29
12	1472	29
done	1472	29
0	13	14
1	26	14
2	59	14
3	106	14
4	185	14
5	280	14
6	432	14
7	619	14
8	919	14
9	1210	14
10	1404	14
11	1463	14
12	1473	14
done	1473	14
0	14	41
1	28	41
2	75	15
3	213	15
4	1050	15
done	5000	15
0	13	14
1	26	14
2	59	14
3	106	14
4	185	14
5	280	14
6	432	14
7	619	14
8	919	14
9	1210	14
10	1404	14
11	1463	14
12	1473	14
done	1473	14
0	13	14
1	26	14
2	59	14
3	106	14
4	185	14
5	280	14
6	432	14
7	619	14
8	919	14
9	1210	14
10	1404	14
11	1463	14
12	1473	14
done	1473	14
0	15	17
1	44	17
2	126	17
3	484	17
4	2693	17
done	5001	17
0	16	41
1	40	29
2	117	29
3	370	29
4	1325	29
5	4449	29
done	5000	29
0	11	12
1	24	12
2	57	12
3	100	12
4	165	11
5	257	11
6	401	11
7	568	11
8	813	11
9	1024	11
10	1214	11
11	1313	11
12	1406	11
13	1411	11
done	1411	11
0	14	27
1	34	27
2	96	27
3	365	27
4	1578	27
done	5001	27
0	12	13
1	24	13
2	52	13
3	90	13
4	139	13
5	183	13
6	297	13
7	440	13
8	687	13
9	933	13
10	1209	13
11	1325	13
12	1431	13
13	1492	13
14	1504	13
done	1504	13
0	14	15
1	26	15
2	50	15
3	80	15
4	119	15
5	154	15
6	263	15
7	393	15
8	599	15
9	759	15
10	891	15
11	929	15
12	935	15
done	935	15
0	14	15
1	27	15
2	52	15
3	82	15
4	121	15
5	156	15
6	265	15
7	395	15
8	601	15
9	761	15
10	893	15
11	934	15
12	939	15
done	939	15
0	15	16
1	22	16
2	36	16
3	52	16
4	72	16
5	88	16
6	122	16
7	152	16
8	195	16
9	221	16
10	235	16
11	240	16
done	240	16
0	15	16
1	23	16
2	40	16
3	56	16
4	76	16
5	92	16
6	126	16
7	156	16
8	199	16
9	225	16
10	239	16
11	244	16
done	244	16
0	16	17
1	25	17
2	39	17
3	49	17
4	60	17
5	67	17
6	77	17
7	92	17
8	111	17
9	119	17
10	125	17
11	129	17
done	129	17
0	16	17
1	26	17
2	47	17
3	65	17
4	83	17
5	93	17
6	108	17
7	126	17
8	145	17
9	153	17
10	159	17
11	163	17
done	163	17
0	12	13
1	25	13
2	58	13
3	105	13
4	184	13
5	279	13
6	431	13
7	618	13
8	918	13
9	1209	13
10	1405	13
11	1467	13
12	1477	13
done	1477	13
0	11	11
1	20	11
2	43	11
3	68	11
4	97	11
5	136	11
6	223	11
7	318	11
8	463	11
9	564	11
10	641	11
11	648	11
done	648	11
0	11	12
1	24	12
2	57	12
3	100	12
4	165	11
5	257	11
6	401	11
7	568	11
8	813	11
9	1024	11
10	1214	11
11	1313	11
12	1406	11
13	1411	11
done	1411	11
0	13	19
1	32	17
2	86	13
3	203	11
4	360	11
5	529	11
6	911	11
7	1659	11
8	3002	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	21	13
2	33	11
3	40	11
4	51	11
5	75	11
6	135	11
7	250	11
8	282	11
9	299	11
10	322	11
11	326	11
done	326	11
0	11	13
1	21	13
2	33	11
3	40	11
4	51	11
5	75	11
6	135	11
7	250	11
8	282	11
9	299	11
10	322	11
11	326	11
done	326	11
0	11	13
1	21	13
2	33	11
3	40	11
4	51	11
5	75	11
6	135	11
7	250	11
8	282	11
9	299	11
10	322	11
11	326	11
done	326	11
0	1	1
done	1	1
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9

prune265.0ms

Filtered

124 candidates to 201 candidates (-62.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	198	3	201
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	199	3	202

Merged error: 0.0b

Counts

202 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
0.0b	(/ (- y z) (+ (- t z) 1.0))
1.1b	(* (/ (- y z) (+ (- t z) 1.0)) a)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 114

Calls

3 calls:

3.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
12.0ms	(/ (- y z) (+ (- t z) 1.0))
18.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

series93.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
13.0ms	(/ (- y z) (+ (- t z) 1.0))
43.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify1.7min

Counts

123 → 123

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	13	14
1	24	14
2	45	14
3	63	14
4	81	14
5	91	14
6	109	14
7	141	14
8	179	14
9	195	14
10	201	14
11	205	14
done	205	14
0	12	13
1	25	13
2	44	13
3	64	13
4	83	13
5	97	13
6	111	13
7	135	13
8	171	13
9	198	13
10	210	13
11	211	13
done	211	13
0	11	12
1	26	12
2	48	12
3	94	12
4	151	12
5	209	12
6	298	12
7	442	12
8	650	12
9	831	12
10	991	12
11	1033	12
12	1038	12
done	1038	12
0	11	12
1	25	12
2	50	12
3	96	12
4	173	12
5	327	12
6	668	12
7	1583	12
done	5001	12
0	16	35
1	49	35
2	194	17
3	882	15
4	4602	15
done	5000	15
0	14	35
1	36	35
2	110	15
3	393	15
4	1768	13
done	5000	13
0	12	25
1	24	25
2	40	25
3	76	25
4	117	25
5	163	25
6	240	25
7	372	25
8	556	25
9	727	25
10	873	25
11	912	25
12	917	25
done	917	25
0	11	12
1	23	12
2	39	12
3	75	12
4	116	12
5	162	12
6	239	12
7	371	12
8	555	12
9	726	12
10	872	12
11	911	12
12	917	12
done	917	12
0	12	35
1	34	35
2	101	13
3	425	13
4	1897	13
done	5001	13
0	11	12
1	23	12
2	39	12
3	75	12
4	116	12
5	162	12
6	239	12
7	371	12
8	555	12
9	726	12
10	872	12
11	911	12
12	917	12
done	917	12
0	11	12
1	23	12
2	39	12
3	75	12
4	116	12
5	162	12
6	239	12
7	371	12
8	555	12
9	726	12
10	872	12
11	911	12
12	917	12
done	917	12
0	12	13
1	22	13
2	35	13
3	46	13
4	55	13
5	60	13
6	69	13
7	84	13
8	103	13
9	111	13
10	117	13
11	121	13
done	121	13
0	12	13
1	22	13
2	35	13
3	46	13
4	55	13
5	60	13
6	69	13
7	84	13
8	103	13
9	111	13
10	117	13
11	121	13
done	121	13
0	13	14
1	22	14
2	36	14
3	47	14
4	58	14
5	64	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	13	14
1	22	14
2	36	14
3	47	14
4	58	14
5	64	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	12	15
1	26	15
2	47	15
3	95	15
4	186	15
5	306	15
6	510	15
7	847	15
8	1307	15
9	1711	15
10	2003	15
11	2059	15
12	2070	15
done	2070	15
0	11	12
1	23	12
2	39	12
3	75	12
4	116	12
5	162	12
6	239	12
7	371	12
8	555	12
9	726	12
10	872	12
11	911	12
12	916	12
done	916	12
0	10	11
1	24	9
2	47	9
3	84	9
4	132	9
5	190	9
6	264	9
7	464	9
8	792	9
9	1450	9
10	3551	9
done	5000	9
0	11	12
1	21	12
2	34	12
3	45	12
4	54	12
5	59	12
6	68	12
7	83	12
8	102	12
9	110	12
10	116	12
11	117	12
done	117	12
0	11	12
1	21	12
2	34	12
3	45	12
4	54	12
5	59	12
6	68	12
7	83	12
8	102	12
9	110	12
10	116	12
11	117	12
done	117	12
0	12	13
1	21	13
2	35	13
3	46	13
4	57	13
5	63	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	12	13
1	21	13
2	35	13
3	46	13
4	57	13
5	63	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	11	12
1	20	12
2	34	12
3	51	12
4	80	12
5	106	12
6	144	12
7	199	12
8	263	12
9	319	12
10	365	12
11	371	12
done	371	12
0	11	12
1	20	12
2	34	12
3	51	12
4	80	12
5	106	12
6	144	12
7	199	12
8	263	12
9	319	12
10	365	12
11	371	12
done	371	12
0	11	12
1	20	12
2	34	12
3	51	12
4	80	12
5	106	12
6	144	12
7	199	12
8	263	12
9	319	12
10	365	12
11	371	12
done	371	12
0	12	13
1	21	13
2	35	13
3	46	13
4	57	13
5	63	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	12	13
1	21	13
2	35	13
3	46	13
4	57	13
5	63	13
6	72	13
7	87	13
8	106	13
9	114	13
10	118	13
11	122	13
done	122	13
0	11	12
1	20	12
2	34	12
3	51	12
4	80	12
5	106	12
6	144	12
7	199	12
8	263	12
9	319	12
10	365	12
11	371	12
done	371	12
0	11	12
1	20	12
2	34	12
3	51	12
4	80	12
5	106	12
6	144	12
7	199	12
8	263	12
9	319	12
10	365	12
11	371	12
done	371	12
0	11	12
1	20	12
2	34	12
3	51	12
4	80	12
5	106	12
6	144	12
7	199	12
8	263	12
9	319	12
10	365	12
11	371	12
done	371	12
0	11	12
1	23	12
2	39	12
3	69	12
4	92	12
5	118	12
6	136	12
7	157	12
8	177	12
9	185	12
10	189	12
11	193	12
done	193	12
0	11	12
1	23	12
2	39	12
3	69	12
4	92	12
5	118	12
6	136	12
7	157	12
8	177	12
9	185	12
10	189	12
11	193	12
done	193	12
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	13	14
1	26	14
2	42	14
3	72	14
4	95	14
5	121	14
6	139	14
7	160	14
8	180	14
9	188	14
10	194	14
11	198	14
done	198	14
0	13	14
1	26	14
2	42	14
3	72	14
4	95	14
5	121	14
6	139	14
7	160	14
8	180	14
9	188	14
10	194	14
11	198	14
done	198	14
0	12	13
1	25	13
2	41	13
3	77	13
4	118	13
5	164	13
6	241	13
7	372	13
8	556	13
9	732	13
10	878	13
11	895	13
done	895	13
0	12	13
1	25	13
2	41	13
3	77	13
4	118	13
5	164	13
6	241	13
7	372	13
8	556	13
9	732	13
10	878	13
11	895	13
done	895	13
0	12	13
1	25	13
2	41	13
3	77	13
4	118	13
5	164	13
6	241	13
7	372	13
8	556	13
9	732	13
10	878	13
11	895	13
done	895	13
0	11	12
1	23	12
2	39	12
3	69	12
4	92	12
5	118	12
6	136	12
7	157	12
8	177	12
9	185	12
10	189	12
11	193	12
done	193	12
0	11	12
1	23	12
2	39	12
3	69	12
4	92	12
5	118	12
6	136	12
7	157	12
8	177	12
9	185	12
10	189	12
11	193	12
done	193	12
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	10	11
1	22	11
2	38	11
3	74	11
4	115	11
5	161	11
6	238	11
7	370	11
8	554	11
9	725	11
10	871	11
11	910	11
12	915	11
done	915	11
0	9	9
1	19	9
2	32	7
3	47	7
4	65	7
5	80	7
6	103	7
7	137	7
8	178	7
9	210	7
10	234	7
11	239	7
done	239	7
0	11	19
1	22	17
2	61	17
3	172	15
4	589	15
5	1990	15
done	5000	15
0	7	7
1	14	7
2	31	7
3	68	7
4	108	7
5	129	7
6	155	7
7	215	7
8	270	7
9	330	7
10	363	7
11	379	7
12	380	7
done	380	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	18	11
2	30	11
3	39	11
4	48	11
5	53	11
6	62	11
7	77	11
8	96	11
9	104	11
10	110	11
11	114	11
done	114	11
0	9	10
1	21	10
2	36	10
3	48	10
4	57	10
5	62	10
6	71	10
7	86	10
8	105	10
9	113	10
10	119	10
11	123	10
done	123	10
0	9	10
1	18	10
2	34	10
3	47	10
4	59	10
5	70	10
6	83	10
7	114	10
8	139	10
9	154	10
10	167	10
11	191	10
12	212	10
13	229	10
14	232	10
15	236	10
16	239	10
done	239	10
0	12	29
1	39	29
2	139	13
3	530	11
4	2613	11
done	5000	11
0	10	21
1	19	21
2	32	21
3	43	21
4	52	21
5	57	21
6	66	21
7	81	21
8	100	21
9	108	21
10	112	21
11	116	21
done	116	21
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	10	29
1	26	29
2	67	11
3	214	11
4	723	11
5	2627	11
done	5000	11
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	14	6
2	28	6
3	52	6
4	78	5
5	87	5
6	102	5
7	125	5
done	125	5
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	6	7
1	11	7
2	21	7
3	30	7
4	39	7
5	44	7
6	53	7
7	68	7
8	87	7
9	95	7
10	99	7
11	100	7
done	100	7
0	12	23
1	24	23
2	44	23
3	59	23
4	68	23
5	73	23
6	82	23
7	97	23
8	116	23
9	124	23
10	130	23
11	131	23
done	131	23
0	10	11
1	16	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	74	11
8	93	11
9	101	11
10	107	11
11	111	11
done	111	11
0	11	16
1	19	16
2	32	16
3	42	16
4	51	16
5	56	16
6	65	16
7	80	16
8	99	16
9	107	16
10	111	16
11	115	16
done	115	16
0	10	11
1	16	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	74	11
8	93	11
9	101	11
10	107	11
11	111	11
done	111	11
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	11	18
1	19	18
2	30	18
3	39	18
4	48	18
5	53	18
6	62	18
7	77	18
8	96	18
9	104	18
10	110	18
11	114	18
done	114	18
0	10	11
1	16	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	74	11
8	93	11
9	101	11
10	107	11
11	111	11
done	111	11
0	10	11
1	16	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	74	11
8	93	11
9	101	11
10	107	11
11	111	11
done	111	11
0	10	11
1	16	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	74	11
8	93	11
9	101	11
10	107	11
11	111	11
done	111	11
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	15	10
2	26	10
3	35	10
4	44	10
5	49	10
6	58	10
7	73	10
8	92	10
9	100	10
10	106	10
11	110	10
done	110	10
0	9	15
1	18	15
2	28	15
3	37	15
4	46	15
5	51	15
6	60	15
7	75	15
8	94	15
9	102	15
10	108	15
11	109	15
done	109	15
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	8	8
1	15	8
2	25	8
3	34	8
4	43	8
5	48	8
6	57	8
7	72	8
8	91	8
9	99	8
10	103	8
11	107	8
done	107	8
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	12	19
1	20	19
2	30	19
3	39	19
4	48	19
5	53	19
6	62	19
7	77	19
8	96	19
9	104	19
10	110	19
11	114	19
done	114	19
0	11	12
1	21	12
2	34	12
3	45	12
4	54	12
5	59	12
6	68	12
7	83	12
8	102	12
9	110	12
10	116	12
11	117	12
done	117	12
0	11	12
1	17	12
2	27	12
3	36	12
4	45	12
5	50	12
6	59	12
7	74	12
8	93	12
9	101	12
10	107	12
11	108	12
done	108	12
0	11	12
1	21	12
2	34	12
3	45	12
4	54	12
5	59	12
6	68	12
7	83	12
8	102	12
9	110	12
10	116	12
11	117	12
done	117	12
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	20	11
2	33	11
3	44	11
4	53	11
5	58	11
6	67	11
7	82	11
8	101	11
9	109	11
10	115	11
11	119	11
done	119	11
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	20	11
2	33	11
3	44	11
4	53	11
5	58	11
6	67	11
7	82	11
8	101	11
9	109	11
10	115	11
11	119	11
done	119	11
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	20	11
2	33	11
3	44	11
4	53	11
5	58	11
6	67	11
7	82	11
8	101	11
9	109	11
10	115	11
11	119	11
done	119	11
0	9	15
1	18	15
2	28	15
3	37	15
4	46	15
5	51	15
6	60	15
7	75	15
8	94	15
9	102	15
10	108	15
11	109	15
done	109	15
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	8	8
1	15	8
2	25	8
3	34	8
4	43	8
5	48	8
6	57	8
7	72	8
8	91	8
9	99	8
10	103	8
11	107	8
done	107	8
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	30	9
3	41	9
4	50	9
5	55	9
6	64	9
7	79	9
8	98	9
9	106	9
10	110	9
11	114	9
done	114	9
0	7	7
1	14	7
2	24	7
3	33	7
4	42	7
5	47	7
6	56	7
7	71	7
8	90	7
9	98	7
10	102	7
11	106	7
done	106	7
0	8	9
1	14	9
2	28	9
3	44	9
4	64	9
5	80	9
6	114	9
7	144	9
8	187	9
9	213	9
10	227	9
11	229	9
done	229	9
0	10	17
1	21	17
2	39	17
3	53	17
4	65	17
5	70	17
6	79	17
7	94	17
8	113	17
9	121	17
10	127	17
11	131	17
done	131	17
0	9	10
1	18	10
2	31	10
3	42	10
4	51	10
5	56	10
6	65	10
7	80	10
8	99	10
9	107	10
10	111	10
11	115	10
done	115	10
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	9	10
1	15	10
2	29	10
3	45	10
4	65	10
5	81	10
6	115	10
7	145	10
8	188	10
9	214	10
10	228	10
11	230	10
done	230	10
0	9	10
1	15	10
2	29	10
3	45	10
4	65	10
5	81	10
6	115	10
7	145	10
8	188	10
9	214	10
10	228	10
11	230	10
done	230	10
0	8	9
1	14	9
2	28	9
3	44	9
4	64	9
5	80	9
6	114	9
7	144	9
8	187	9
9	213	9
10	227	9
11	229	9
done	229	9
0	10	11
1	17	11
2	31	11
3	47	11
4	67	11
5	83	11
6	117	11
7	147	11
8	190	11
9	216	11
10	230	11
11	235	11
done	235	11
0	8	9
1	14	9
2	28	9
3	44	9
4	64	9
5	80	9
6	114	9
7	144	9
8	187	9
9	213	9
10	227	9
11	229	9
done	229	9
0	11	13
1	31	13
2	56	13
3	117	13
4	272	13
5	783	13
6	3053	13
done	5000	13
0	10	15
1	21	15
2	52	15
3	134	15
4	431	15
5	1277	15
done	5001	15
0	12	17
1	31	15
2	94	15
3	373	15
4	1196	15
5	4828	15
done	5000	15
0	8	9
1	21	9
2	56	9
3	145	9
4	370	9
5	892	9
6	1674	9
7	4006	9
done	5000	9
0	14	15
1	30	14
2	57	14
3	118	14
4	244	14
5	522	14
6	1182	14
7	3190	14
done	5000	14
0	13	14
1	27	14
2	52	14
3	106	14
4	197	14
5	322	14
6	475	14
7	642	14
8	896	14
9	1171	14
10	1447	14
11	1506	14
12	1515	14
done	1515	14
0	13	14
1	30	14
2	61	14
3	136	14
4	280	14
5	601	14
6	1351	14
7	3972	14
done	5000	14
0	14	29
1	28	29
2	53	29
3	107	29
4	198	29
5	324	29
6	476	29
7	643	29
8	896	29
9	1172	29
10	1448	29
11	1505	29
12	1515	29
done	1515	29
0	13	14
1	27	14
2	52	14
3	106	14
4	197	14
5	322	14
6	475	14
7	642	14
8	896	14
9	1171	14
10	1447	14
11	1506	14
12	1515	14
done	1515	14
0	14	41
1	29	41
2	68	15
3	205	15
4	820	15
5	4920	15
done	5000	15
0	13	14
1	27	14
2	52	14
3	106	14
4	197	14
5	322	14
6	475	14
7	642	14
8	896	14
9	1171	14
10	1447	14
11	1506	14
12	1515	14
done	1515	14
0	13	14
1	27	14
2	52	14
3	106	14
4	197	14
5	322	14
6	475	14
7	642	14
8	896	14
9	1171	14
10	1447	14
11	1506	14
12	1515	14
done	1515	14
0	15	17
1	45	17
2	129	17
3	536	17
4	2866	17
done	5000	17
0	16	41
1	44	29
2	117	29
3	317	29
4	1009	29
5	3066	29
done	5000	29
0	11	12
1	27	12
2	51	12
3	108	12
4	208	11
5	302	11
6	447	11
7	602	11
8	822	11
9	1046	11
10	1275	11
11	1416	11
12	1430	11
done	1430	11
0	14	27
1	38	27
2	100	27
3	333	27
4	1260	27
5	4585	27
done	5000	27
0	12	13
1	25	13
2	41	13
3	77	13
4	125	13
5	179	13
6	262	13
7	406	13
8	602	13
9	809	13
10	1026	13
11	1184	13
12	1282	13
13	1390	13
14	1464	13
15	1476	13
done	1476	13
0	11	12
1	27	12
2	51	12
3	108	12
4	208	11
5	302	11
6	447	11
7	602	11
8	822	11
9	1046	11
10	1275	11
11	1416	11
12	1430	11
done	1430	11
0	13	19
1	32	17
2	86	13
3	203	11
4	360	11
5	529	11
6	911	11
7	1659	11
8	3002	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	9	13
1	21	11
2	50	9
3	84	9
4	116	9
5	167	9
6	220	9
7	436	9
8	941	9
9	1498	9
10	1776	9
11	1895	9
done	1895	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9

prune141.0ms

Filtered

80 candidates to 123 candidates (-53.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	123	3	126

Merged error: 0.0b

Counts

126 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (* (- y z) (/ a (+ (- t z) 1.0))))
0.0b	(/ a (+ (- t z) 1.0))
10.2b	(* (- y z) (/ a (+ (- t z) 1.0)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
31×	`times-frac`
30×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
21×	`associate-r`
14×	`distribute-lft-out`
10×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--`
5×	`pow1` `associate-l` `associate-/r*` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `flip--` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `flip3-+` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `difference-of-squares`

Counts

3 → 95

Calls

3 calls:

3.0ms	(- x (* (- y z) (/ a (+ (- t z) 1.0))))
9.0ms	(/ a (+ (- t z) 1.0))
24.0ms	(* (- y z) (/ a (+ (- t z) 1.0)))

series70.0ms

Counts

3 → 9

Calls

3 calls:

38.0ms	(- x (* (- y z) (/ a (+ (- t z) 1.0))))
10.0ms	(/ a (+ (- t z) 1.0))
22.0ms	(* (- y z) (/ a (+ (- t z) 1.0)))

simplify1.7min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	39	11
3	78	11
4	128	11
5	187	11
6	283	11
7	418	11
8	610	11
9	772	11
10	919	11
11	947	11
12	949	11
done	949	11
0	13	14
1	24	14
2	42	14
3	60	14
4	75	14
5	90	14
6	106	14
7	133	14
8	175	14
9	197	14
10	209	14
11	213	14
done	213	14
0	12	13
1	22	13
2	39	13
3	57	13
4	76	13
5	90	13
6	104	13
7	128	13
8	164	13
9	191	13
10	203	13
11	207	13
done	207	13
0	11	12
1	23	12
2	49	12
3	98	12
4	167	12
5	239	12
6	347	12
7	500	12
8	707	12
9	876	12
10	1040	12
11	1072	12
12	1074	12
done	1074	12
0	11	12
1	22	12
2	53	12
3	108	12
4	238	12
5	447	12
6	932	12
7	2710	12
done	5001	12
0	16	35
1	49	35
2	192	17
3	889	15
4	4925	15
done	5000	15
0	14	35
1	33	35
2	105	15
3	368	15
4	1741	13
done	5000	13
0	12	25
1	21	25
2	41	25
3	80	25
4	130	25
5	189	25
6	285	25
7	420	25
8	611	25
9	773	25
10	920	25
11	948	25
12	950	25
done	950	25
0	11	12
1	20	12
2	40	12
3	79	12
4	129	12
5	188	12
6	284	12
7	420	12
8	608	12
9	768	12
10	916	12
11	941	12
12	943	12
done	943	12
0	12	35
1	31	35
2	120	13
3	554	13
4	2444	13
done	5000	13
0	11	12
1	20	12
2	40	12
3	79	12
4	129	12
5	188	12
6	284	12
7	420	12
8	608	12
9	768	12
10	916	12
11	941	12
12	943	12
done	943	12
0	11	12
1	20	12
2	40	12
3	79	12
4	129	12
5	188	12
6	284	12
7	420	12
8	608	12
9	768	12
10	916	12
11	941	12
12	943	12
done	943	12
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	12	17
1	31	15
2	98	15
3	372	15
4	1374	15
done	5001	15
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	8	9
1	21	9
2	62	9
3	160	9
4	410	9
5	935	9
6	1783	9
7	4001	9
done	5000	9
0	12	13
1	19	13
2	30	13
3	39	13
4	48	13
5	53	13
6	62	13
7	77	13
8	96	13
9	104	13
10	110	13
11	114	13
done	114	13
0	12	13
1	19	13
2	30	13
3	39	13
4	48	13
5	53	13
6	62	13
7	77	13
8	96	13
9	104	13
10	110	13
11	114	13
done	114	13
0	13	14
1	22	14
2	36	14
3	49	14
4	59	14
5	64	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	13	14
1	22	14
2	36	14
3	49	14
4	59	14
5	64	14
6	73	14
7	88	14
8	107	14
9	115	14
10	119	14
11	123	14
done	123	14
0	12	21
1	21	21
2	40	21
3	66	21
4	87	21
5	100	21
6	109	21
7	124	21
8	143	21
9	151	21
10	157	21
11	161	21
done	161	21
0	11	12
1	18	12
2	35	12
3	49	12
4	62	12
5	67	12
6	76	12
7	91	12
8	110	12
9	118	12
10	124	12
11	125	12
done	125	12
0	14	23
1	29	23
2	75	23
3	189	23
4	383	23
5	612	23
6	781	23
7	835	23
8	855	23
9	863	23
10	869	23
11	870	23
done	870	23
0	13	16
1	24	16
2	51	16
3	113	16
4	198	16
5	266	16
6	324	16
7	344	16
8	363	16
9	371	16
10	375	16
11	379	16
done	379	16
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	13	20
1	24	20
2	52	20
3	110	20
4	178	20
5	248	20
6	292	20
7	314	20
8	333	20
9	341	20
10	345	20
11	349	20
done	349	20
0	12	13
1	21	13
2	41	13
3	74	13
4	106	13
5	127	13
6	147	13
7	162	13
8	181	13
9	189	13
10	195	13
11	199	13
done	199	13
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	12	19
1	25	19
2	52	17
3	125	17
4	236	17
5	317	17
6	401	17
7	446	17
8	496	17
9	506	17
10	510	17
11	514	17
done	514	17
0	11	12
1	22	12
2	42	10
3	86	10
4	137	10
5	172	10
6	200	10
7	217	10
8	244	10
9	252	10
10	258	10
11	262	10
done	262	10
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	13	15
1	33	15
2	65	15
3	148	15
4	330	15
5	882	15
6	3260	15
done	5000	15
0	12	17
1	23	17
2	62	17
3	192	17
4	615	17
5	1784	17
done	5000	17
0	11	12
1	20	12
2	34	12
3	53	12
4	81	12
5	106	12
6	144	12
7	199	12
8	264	12
9	320	12
10	366	12
11	372	12
done	372	12
0	11	12
1	20	12
2	34	12
3	53	12
4	81	12
5	106	12
6	144	12
7	199	12
8	264	12
9	320	12
10	366	12
11	372	12
done	372	12
0	10	11
1	19	11
2	39	11
3	78	11
4	128	11
5	187	11
6	283	11
7	418	11
8	610	11
9	772	11
10	919	11
11	947	11
12	949	11
done	949	11
0	12	13
1	22	13
2	42	13
3	81	13
4	131	13
5	190	13
6	286	13
7	420	13
8	611	13
9	773	13
10	910	13
11	925	13
done	925	13
0	10	11
1	19	11
2	39	11
3	78	11
4	128	11
5	187	11
6	283	11
7	418	11
8	610	11
9	772	11
10	919	11
11	947	11
12	949	11
done	949	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	13	15
1	36	15
2	76	15
3	195	15
4	550	15
5	2077	15
done	5000	15
0	12	15
1	25	15
2	56	15
3	150	15
4	389	15
5	777	15
6	1483	15
7	2868	15
done	5000	15
0	9	9
1	16	9
2	27	9
3	36	9
4	45	9
5	50	9
6	59	9
7	74	9
8	93	9
9	101	9
10	107	9
11	111	9
done	111	9
0	8	8
1	16	8
2	28	8
3	38	8
4	47	8
5	52	8
6	61	8
7	76	8
8	95	8
9	103	8
10	109	8
11	110	8
done	110	8
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	11	23
1	37	23
2	121	11
3	445	9
4	2246	9
done	5001	9
0	9	17
1	14	17
2	24	17
3	33	17
4	42	17
5	47	17
6	56	17
7	71	17
8	90	17
9	98	17
10	104	17
11	108	17
done	108	17
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	9	23
1	21	23
2	47	9
3	106	9
4	288	9
5	1055	9
6	4965	9
done	5000	9
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	2	2
done	2	2
0	6	6
1	14	6
2	28	6
3	52	6
4	78	5
5	87	5
6	102	5
7	125	5
done	125	5
0	11	19
1	22	19
2	41	19
3	56	19
4	65	19
5	70	19
6	79	19
7	94	19
8	113	19
9	121	19
10	127	19
11	131	19
done	131	19
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	10	12
1	17	12
2	29	12
3	39	12
4	48	12
5	53	12
6	62	12
7	77	12
8	96	12
9	104	12
10	110	12
11	114	12
done	114	12
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	10	16
1	17	16
2	27	16
3	36	16
4	45	16
5	50	16
6	59	16
7	74	16
8	93	16
9	101	16
10	107	16
11	111	16
done	111	16
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	71	9
8	90	9
9	98	9
10	104	9
11	108	9
done	108	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	9	15
1	18	15
2	28	15
3	37	15
4	46	15
5	51	15
6	60	15
7	75	15
8	94	15
9	102	15
10	108	15
11	109	15
done	109	15
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	8	8
1	15	8
2	25	8
3	34	8
4	43	8
5	48	8
6	57	8
7	72	8
8	91	8
9	99	8
10	103	8
11	107	8
done	107	8
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	7	7
1	14	7
2	24	7
3	33	7
4	42	7
5	47	7
6	56	7
7	71	7
8	90	7
9	98	7
10	102	7
11	106	7
done	106	7
0	7	7
1	12	7
2	25	7
3	41	7
4	61	7
5	77	7
6	111	7
7	141	7
8	184	7
9	210	7
10	222	7
11	227	7
done	227	7
0	9	15
1	16	15
2	26	15
3	35	15
4	44	15
5	49	15
6	58	15
7	73	15
8	92	15
9	100	15
10	104	15
11	108	15
done	108	15
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	8	8
1	13	8
2	26	8
3	42	8
4	62	8
5	78	8
6	112	8
7	142	8
8	185	8
9	211	8
10	223	8
11	228	8
done	228	8
0	7	7
1	12	7
2	25	7
3	41	7
4	61	7
5	77	7
6	111	7
7	141	7
8	184	7
9	210	7
10	222	7
11	227	7
done	227	7
0	10	11
1	26	11
2	48	11
3	107	11
4	262	11
5	771	11
6	3042	11
done	5000	11
0	9	13
1	16	13
2	40	13
3	113	13
4	402	13
5	1253	13
done	5001	13
0	14	15
1	27	14
2	60	14
3	134	14
4	328	14
5	681	14
6	1543	14
done	5001	14
0	13	14
1	24	14
2	53	14
3	118	14
4	232	14
5	343	14
6	512	14
7	734	14
8	1052	14
9	1343	14
10	1533	14
11	1581	14
12	1587	14
done	1587	14
0	13	14
1	27	14
2	62	14
3	152	14
4	331	14
5	671	14
6	1549	14
done	5001	14
0	14	29
1	25	29
2	54	29
3	119	29
4	233	29
5	346	29
6	515	29
7	738	29
8	1053	29
9	1341	29
10	1536	29
11	1584	29
12	1590	29
done	1590	29
0	13	14
1	24	14
2	53	14
3	118	14
4	232	14
5	343	14
6	512	14
7	734	14
8	1052	14
9	1343	14
10	1533	14
11	1581	14
12	1587	14
done	1587	14
0	14	41
1	26	41
2	69	15
3	217	15
4	907	15
done	5001	15
0	13	14
1	24	14
2	53	14
3	118	14
4	232	14
5	343	14
6	512	14
7	734	14
8	1052	14
9	1343	14
10	1533	14
11	1581	14
12	1587	14
done	1587	14
0	13	14
1	24	14
2	53	14
3	118	14
4	232	14
5	343	14
6	512	14
7	734	14
8	1052	14
9	1343	14
10	1533	14
11	1581	14
12	1587	14
done	1587	14
0	15	17
1	42	17
2	130	17
3	577	17
4	3203	17
done	5000	17
0	16	41
1	41	29
2	136	29
3	412	29
4	1350	29
5	4292	29
done	5000	29
0	11	12
1	24	12
2	55	12
3	119	12
4	212	11
5	322	11
6	502	11
7	709	11
8	997	11
9	1280	11
10	1473	11
11	1518	11
12	1524	11
done	1524	11
0	14	27
1	35	27
2	113	27
3	421	27
4	1573	27
done	5001	27
0	12	13
1	22	13
2	42	13
3	85	13
4	143	13
5	208	13
6	311	13
7	462	13
8	687	13
9	916	13
10	1167	13
11	1286	13
12	1420	13
13	1501	13
14	1513	13
done	1513	13
0	11	12
1	24	12
2	55	12
3	119	12
4	212	11
5	322	11
6	502	11
7	709	11
8	997	11
9	1280	11
10	1473	11
11	1518	11
12	1524	11
done	1524	11
0	13	19
1	32	17
2	86	13
3	203	11
4	360	11
5	529	11
6	911	11
7	1659	11
8	3002	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	11	15
1	26	13
2	64	11
3	134	9
4	210	9
5	312	9
6	422	9
7	710	9
8	1469	9
9	3071	9
10	4106	9
11	4116	9
done	4116	9
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	23	13
2	51	13
3	94	9
4	132	9
5	178	9
6	267	9
7	391	9
8	441	9
9	510	9
10	624	9
done	624	9
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9

prune128.0ms

Filtered

75 candidates to 104 candidates (-38.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	104	3	107

Merged error: 0.0b

Counts

107 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z y) a)
0.0b	(+ x (/ (* (- z y) a) (+ (- t z) 1.0)))
8.4b	(/ (* (- z y) a) (+ (- t z) 1.0))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

7.0ms	(* (- z y) a)
11.0ms	(+ x (/ (* (- z y) a) (+ (- t z) 1.0)))
23.0ms	(/ (* (- z y) a) (+ (- t z) 1.0))

series68.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (- z y) a)
38.0ms	(+ x (/ (* (- z y) a) (+ (- t z) 1.0)))
23.0ms	(/ (* (- z y) a) (+ (- t z) 1.0))

simplify1.3min

Counts

72 → 72

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	14
1	25	14
2	43	14
3	58	14
4	73	14
5	87	14
6	109	14
7	142	14
8	177	14
9	192	14
10	213	14
11	216	14
done	216	14
0	12	13
1	25	13
2	48	13
3	71	13
4	87	13
5	98	13
6	116	13
7	144	13
8	181	13
9	205	13
10	218	13
11	236	13
12	238	13
done	238	13
0	11	12
1	24	12
2	59	12
3	112	12
4	179	12
5	227	12
6	326	12
7	467	12
8	666	12
9	841	12
10	989	12
11	1014	12
12	1015	12
done	1015	12
0	11	12
1	21	12
2	48	12
3	90	12
4	157	12
5	223	12
6	397	12
7	826	12
8	2564	12
done	5000	12
0	16	35
1	50	35
2	211	17
3	1005	17
done	5000	17
0	14	35
1	52	35
2	230	15
3	1252	13
done	5001	13
0	12	25
1	22	25
2	49	25
3	86	25
4	138	25
5	178	25
6	265	25
7	388	25
8	571	25
9	739	25
10	870	25
11	890	25
12	891	25
done	891	25
0	11	12
1	21	12
2	48	12
3	85	12
4	137	12
5	177	12
6	264	12
7	387	12
8	570	12
9	738	12
10	869	12
11	889	12
12	890	12
done	890	12
0	12	35
1	29	35
2	93	13
3	391	13
4	2038	13
done	5000	13
0	11	12
1	21	12
2	48	12
3	85	12
4	137	12
5	177	12
6	264	12
7	387	12
8	570	12
9	738	12
10	869	12
11	889	12
12	890	12
done	890	12
0	11	12
1	21	12
2	48	12
3	85	12
4	137	12
5	177	12
6	264	12
7	387	12
8	570	12
9	738	12
10	869	12
11	889	12
12	890	12
done	890	12
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	6	6
1	14	6
2	28	6
3	52	6
4	78	5
5	87	5
6	102	5
7	125	5
done	125	5
0	10	17
1	22	17
2	40	17
3	54	17
4	66	17
5	71	17
6	80	17
7	95	17
8	114	17
9	122	17
10	126	17
11	130	17
done	130	17
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	9	10
1	19	10
2	32	10
3	43	10
4	52	10
5	57	10
6	66	10
7	81	10
8	100	10
9	108	10
10	112	10
11	116	10
done	116	10
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	70	8
8	89	8
9	97	8
10	101	8
11	102	8
done	102	8
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	12	7
2	22	7
3	31	7
4	40	7
5	45	7
6	54	7
7	69	7
8	88	7
9	96	7
10	100	7
11	104	7
done	104	7
0	7	7
1	14	7
2	24	7
3	33	7
4	42	7
5	47	7
6	56	7
7	71	7
8	90	7
9	98	7
10	102	7
11	106	7
done	106	7
0	10	11
1	20	11
2	45	11
3	83	11
4	135	11
5	181	11
6	256	11
7	328	11
8	429	11
9	507	11
10	549	11
11	556	11
done	556	11
0	12	19
1	27	19
2	64	19
3	105	19
4	177	19
5	220	19
6	261	19
7	297	19
8	316	19
9	324	19
10	330	19
11	334	19
done	334	19
0	11	12
1	21	12
2	45	12
3	69	12
4	101	12
5	120	12
6	138	12
7	155	12
8	174	12
9	182	12
10	186	12
11	190	12
done	190	12
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	12	7
2	25	7
3	41	7
4	61	7
5	77	7
6	111	7
7	141	7
8	184	7
9	210	7
10	222	7
11	227	7
done	227	7
0	13	15
1	34	15
2	70	15
3	144	15
4	324	15
5	861	15
6	3205	15
done	5000	15
0	12	17
1	24	17
2	72	17
3	200	17
4	653	17
5	1943	17
done	5000	17
0	12	17
1	31	15
2	94	15
3	373	15
4	1196	15
5	4830	15
done	5000	15
0	8	9
1	21	9
2	56	9
3	145	9
4	370	9
5	892	9
6	1674	9
7	4000	9
done	5001	9
0	14	15
1	27	14
2	55	14
3	101	14
4	184	14
5	277	14
6	522	14
7	1256	14
done	5000	14
0	13	14
1	24	14
2	51	14
3	92	14
4	152	14
5	202	14
6	300	14
7	428	14
8	624	14
9	832	14
10	1052	14
11	1219	14
12	1303	14
13	1401	14
14	1461	14
15	1473	14
16	1479	14
done	1479	14
0	13	14
1	27	14
2	55	14
3	101	14
4	184	14
5	277	14
6	522	14
7	1261	14
done	5000	14
0	14	29
1	25	29
2	52	29
3	93	29
4	153	29
5	203	29
6	301	29
7	429	29
8	625	29
9	833	29
10	1053	29
11	1220	29
12	1304	29
13	1402	29
14	1462	29
15	1474	29
16	1478	29
done	1478	29
0	13	14
1	24	14
2	51	14
3	92	14
4	152	14
5	202	14
6	300	14
7	428	14
8	624	14
9	832	14
10	1052	14
11	1219	14
12	1303	14
13	1401	14
14	1461	14
15	1473	14
16	1479	14
done	1479	14
0	14	41
1	38	41
2	113	15
3	390	15
4	1640	15
done	5001	15
0	13	14
1	24	14
2	51	14
3	92	14
4	152	14
5	202	14
6	300	14
7	428	14
8	624	14
9	832	14
10	1052	14
11	1219	14
12	1303	14
13	1401	14
14	1461	14
15	1473	14
16	1479	14
done	1479	14
0	13	14
1	24	14
2	51	14
3	92	14
4	152	14
5	202	14
6	300	14
7	428	14
8	624	14
9	832	14
10	1052	14
11	1219	14
12	1303	14
13	1401	14
14	1461	14
15	1473	14
16	1479	14
done	1479	14
0	15	17
1	42	17
2	110	17
3	418	17
4	2336	17
done	5000	17
0	16	41
1	40	29
2	117	29
3	395	29
4	1388	29
5	4853	29
done	5000	29
0	14	27
1	33	27
2	89	27
3	323	27
4	1344	27
done	5001	27
0	12	13
1	24	13
2	56	13
3	112	13
4	201	13
5	328	13
6	495	13
7	675	13
8	958	13
9	1219	13
10	1433	13
11	1472	13
12	1478	13
done	1478	13
0	12	13
1	23	13
2	50	13
3	91	13
4	151	13
5	201	13
6	299	13
7	427	13
8	623	13
9	831	13
10	1051	13
11	1218	13
12	1302	13
13	1400	13
14	1460	13
15	1472	13
16	1478	13
done	1478	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	14	19
1	36	17
2	99	13
3	201	11
4	334	11
5	440	11
6	676	11
7	1442	11
8	2519	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	23	13
2	51	13
3	94	9
4	132	9
5	178	9
6	267	9
7	391	9
8	441	9
9	510	9
10	624	9
done	624	9
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9
0	8	9
1	16	9
2	27	9
3	36	9
4	43	9
5	52	9
6	80	9
7	128	9
8	192	9
9	219	9
10	252	9
11	280	9
12	385	9
13	764	9
14	920	9
15	979	9
done	979	9
0	1	1
done	1	1
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune90.0ms

Filtered

55 candidates to 72 candidates (-30.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	72	3	75

Merged error: 0.0b

Counts

75 → 3

regimes314.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample968.0ms

Algorithm

intervals

Results

398.0ms	8507×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample33.0ms

simplify1.5s

prune4.0ms

localize11.0ms

rewrite81.0ms

series85.0ms

simplify2.1min

prune265.0ms

localize10.0ms

rewrite38.0ms

series93.0ms

simplify1.7min

prune141.0ms

localize11.0ms

rewrite42.0ms

series70.0ms

simplify1.7min

prune128.0ms

localize10.0ms

rewrite43.0ms

series68.0ms

simplify1.3min

prune90.0ms

regimes314.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample968.0ms

Profiling