Details

sample40.0ms

Algorithm

intervals

Results

25.0ms

256×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	37
1	55	37
2	137	37
3	330	37
4	1017	37
5	3989	37
done	5001	37

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

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x)
0.1b	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
0.1b	(* (+ (* x 4.16438922228) 78.6994924154) x)
24.9b	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
15×	`add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
9×	`associate-r` `associate-l`
8×	`associate-*l/` `associate-/l/`
7×	`flip3-+` `flip-+`
4×	`frac-times` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`flip3--` `times-frac` `pow-prod-down` `associate-/r` `-commutative` `flip--` `unswap-sqr`
2×	`cbrt-undiv` `associate-*r/` `div-exp` `associate-/r/`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 91

Calls

4 calls:

15.0ms	(* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x)
11.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
8.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
36.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series70.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x)
4.0ms	(* (+ (* (+ x 43.3400022514) x) 263.505074721) x)
7.0ms	(* (+ (* x 4.16438922228) 78.6994924154) x)
53.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify3.7min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	32	40
1	54	40
2	109	40
3	205	40
4	428	40
5	833	40
6	1165	40
7	1285	40
8	1636	40
9	2748	40
done	5000	40
0	31	39
1	60	39
2	141	39
3	325	39
4	918	39
5	3372	39
done	5000	39
0	30	38
1	59	38
2	149	38
3	358	38
4	1069	38
5	4064	38
done	5000	38
0	30	38
1	56	38
2	138	38
3	338	38
4	1044	38
5	4104	38
done	5000	38
0	35	113
1	91	113
2	365	43
3	1705	43
done	5001	43
0	33	113
1	87	113
2	367	41
3	1919	39
done	5001	39
0	31	77
1	57	77
2	139	77
3	332	77
4	1021	77
5	4008	77
done	5000	77
0	30	38
1	56	38
2	138	38
3	333	38
4	1020	38
5	3994	38
done	5000	38
0	31	113
1	64	113
2	195	39
3	797	39
done	5001	39
0	30	38
1	56	38
2	138	38
3	333	38
4	1020	38
5	3994	38
done	5000	38
0	30	38
1	56	38
2	138	38
3	333	38
4	1020	38
5	3994	38
done	5000	38
0	18	22
1	39	22
2	111	22
3	329	22
4	1183	21
done	5002	21
0	13	16
1	23	16
2	54	16
3	115	16
4	318	16
5	941	16
6	2060	16
7	3086	16
done	5000	16
0	17	37
1	31	37
2	62	37
3	111	37
4	223	37
5	420	37
6	581	37
7	631	37
8	796	37
9	1314	37
10	3296	37
done	5000	37
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1561	34
9	2694	34
done	5000	34
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1561	34
9	2694	34
done	5000	34
0	5	5
1	12	3
2	17	3
done	17	3
0	26	33
1	41	33
2	88	33
3	178	33
4	397	33
5	802	33
6	1173	33
7	1277	33
8	1616	33
9	2742	33
done	5000	33
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	29	37
1	55	37
2	132	37
3	309	37
4	896	37
5	3342	37
done	5000	37
0	31	55
1	62	55
2	157	55
3	377	55
4	1146	55
5	4565	55
done	5000	55
0	30	38
1	56	38
2	138	38
3	333	38
4	1020	38
5	3992	38
done	5000	38
0	19	23
1	40	21
2	103	21
3	266	21
4	832	21
5	3199	21
done	5000	21
0	26	33
1	41	33
2	88	33
3	178	33
4	399	33
5	807	33
6	1173	33
7	1277	33
8	1608	33
9	2727	33
done	5000	33
0	32	41
1	74	41
2	193	41
3	540	41
4	1990	41
done	5001	41
0	31	53
1	68	53
2	195	53
3	573	53
4	2113	53
done	5000	53
0	37	81
1	84	77
2	301	77
3	1530	63
done	5001	63
0	33	45
1	60	43
2	169	43
3	644	43
4	3396	43
done	5000	43
0	33	73
1	75	71
2	260	71
3	1068	57
done	5000	57
0	29	37
1	50	37
2	140	37
3	440	37
4	1845	37
done	5000	37
0	30	69
1	68	67
2	217	67
3	822	53
4	4215	53
done	5000	53
0	26	33
1	43	33
2	105	33
3	260	33
4	985	33
done	5000	33
0	19	27
1	40	25
2	115	25
3	337	25
4	1249	25
done	5000	25
0	15	19
1	30	19
2	78	19
3	184	19
4	603	19
5	2558	19
done	5000	19
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1329	8
8	4831	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1427	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	877	9
5	2337	9
done	5001	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	405	11
5	1202	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	13
done	5001	13
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	8	10
1	15	10
2	31	10
3	49	10
4	75	10
5	80	10
6	86	10
7	96	10
8	119	10
9	184	10
10	397	10
11	1303	10
done	5000	10
0	8	10
1	14	10
2	39	10
3	76	10
4	158	10
5	279	10
6	666	10
7	2057	10
done	5000	10
0	11	29
1	33	29
2	115	13
3	456	13
4	2353	11
done	5000	11
0	9	21
1	13	21
2	28	21
3	46	21
4	72	21
5	77	21
6	83	21
7	93	21
8	116	21
9	177	21
10	389	21
11	1316	21
done	5000	21
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	29
1	23	29
2	90	11
3	354	11
4	1369	11
done	5000	11
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	13
1	15	13
2	32	13
3	68	13
4	140	13
5	188	13
6	194	13
done	194	13
0	8	10
1	12	10
2	27	10
3	51	10
4	89	10
done	89	10
0	8	9
1	14	7
2	32	7
3	64	7
4	116	7
5	130	7
done	130	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	10	13
1	30	13
2	82	13
3	255	13
4	773	13
5	2724	13
done	5000	13
0	9	17
1	24	17
2	70	17
3	199	17
4	632	17
5	1847	17
done	5000	17
0	10	13
1	16	13
2	39	13
3	75	13
4	166	13
5	289	13
6	348	13
7	398	13
8	558	13
9	1069	13
10	3035	13
done	5000	13
0	12	15
1	18	15
2	33	15
3	59	15
4	101	15
5	142	15
6	148	15
7	158	15
8	179	15
9	244	15
10	454	15
11	1396	15
done	5000	15
0	11	14
1	20	14
2	44	14
3	80	14
4	173	14
5	294	14
6	351	14
7	399	14
8	563	14
9	1066	14
10	3060	14
done	5000	14
0	11	14
1	19	14
2	52	14
3	107	14
4	275	14
5	588	14
6	1298	14
7	4158	14
done	5000	14
0	14	41
1	38	41
2	128	17
3	494	17
4	2897	15
done	5001	15
0	12	29
1	18	29
2	41	29
3	77	29
4	168	29
5	291	29
6	348	29
7	398	29
8	561	29
9	1068	29
10	3063	29
done	5000	29
0	11	14
1	17	14
2	40	14
3	76	14
4	165	14
5	288	14
6	345	14
7	393	14
8	551	14
9	1062	14
10	3042	14
done	5001	14
0	12	41
1	28	41
2	103	15
3	385	15
4	1641	15
done	5000	15
0	11	14
1	17	14
2	40	14
3	76	14
4	165	14
5	288	14
6	345	14
7	393	14
8	551	14
9	1062	14
10	3042	14
done	5001	14
0	11	14
1	17	14
2	40	14
3	76	14
4	165	14
5	288	14
6	345	14
7	393	14
8	551	14
9	1062	14
10	3042	14
done	5001	14
0	12	15
1	18	15
2	33	15
3	59	15
4	101	15
5	142	15
6	148	15
7	158	15
8	179	15
9	244	15
10	454	15
11	1396	15
done	5000	15
0	12	15
1	18	15
2	33	15
3	59	15
4	101	15
5	142	15
6	148	15
7	158	15
8	179	15
9	244	15
10	454	15
11	1396	15
done	5000	15
0	12	17
1	20	17
2	45	17
3	99	17
4	265	17
5	568	17
6	788	17
7	833	17
8	925	17
9	1210	17
10	2249	17
done	5000	17
0	11	14
1	17	14
2	40	14
3	82	14
4	210	14
5	351	14
6	381	14
7	401	14
8	446	14
9	592	14
10	1130	14
11	3440	14
done	5001	14
0	11	13
1	19	11
2	45	11
3	95	11
4	239	11
5	382	11
6	424	11
7	449	11
8	493	11
9	600	11
10	887	11
11	2018	11
done	5000	11
0	11	14
1	17	14
2	32	14
3	58	14
4	102	14
5	141	14
6	147	14
7	157	14
8	178	14
9	242	14
10	454	14
11	1385	14
done	5000	14
0	11	14
1	17	14
2	32	14
3	58	14
4	102	14
5	141	14
6	147	14
7	157	14
8	178	14
9	242	14
10	454	14
11	1385	14
done	5000	14
0	10	13
1	16	13
2	39	13
3	75	13
4	166	13
5	289	13
6	348	13
7	398	13
8	558	13
9	1069	13
10	3035	13
done	5000	13
0	13	17
1	35	17
2	95	17
3	310	17
4	1286	17
done	5000	17
0	12	25
1	29	25
2	87	25
3	282	25
4	1077	25
5	4999	25
done	5000	25
0	14	16
1	32	16
2	80	14
3	151	14
4	214	14
5	254	14
6	340	14
7	556	14
8	833	14
9	1761	14
done	5000	14
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	11	13
1	28	13
2	62	13
3	85	11
4	132	9
5	215	9
6	449	9
7	1438	9
done	5001	9
0	11	13
1	28	13
2	62	13
3	85	11
4	132	9
5	215	9
6	449	9
7	1438	9
done	5001	9
0	11	13
1	28	13
2	62	13
3	85	11
4	132	9
5	215	9
6	449	9
7	1438	9
done	5001	9
0	13	15
1	31	15
2	77	15
3	110	13
4	180	13
5	348	11
6	883	11
7	3249	11
done	5000	11
0	13	15
1	33	15
2	89	15
3	146	13
4	272	11
5	572	11
6	1627	11
done	5000	11
0	13	15
1	33	15
2	89	15
3	146	13
4	272	11
5	572	11
6	1627	11
done	5000	11

prune294.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	6	104

Merged error: 0b

Counts

104 → 6

localize33.0ms

Local error

Found 4 expressions with local error:

6.4b	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
16.6b	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
16.7b	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
20.6b	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

126×	`add-sqr-sqrt`
108×	`times-frac`
95×	`*-un-lft-identity`
69×	`add-cube-cbrt`
63×	`sqrt-prod`
36×	`associate-l`
24×	`associate-r`
20×	`add-exp-log` `add-cbrt-cube`
13×	`distribute-lft-out--` `difference-of-squares`
12×	`associate-/r*`
10×	`sqrt-div`
9×	`unswap-sqr`
8×	`associate-/r/` `associate-/l*`
7×	`pow1`
6×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `flip--`

Counts

4 → 205

Calls

4 calls:

14.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
21.0ms	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
72.0ms	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
33.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
10.0ms	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
49.0ms	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))
64.0ms	(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))

simplify14.0min

Counts

217 → 217

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	29	36
1	46	36
2	94	36
3	184	36
4	407	36
5	814	36
6	1168	36
7	1270	36
8	1606	36
9	2726	36
done	5000	36
0	28	35
1	46	35
2	95	35
3	186	35
4	407	35
5	818	35
6	1185	35
7	1285	35
8	1623	35
9	2726	35
done	5000	35
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	31	104
1	67	86
2	201	38
3	617	36
4	2771	36
done	5000	36
0	29	71
1	44	71
2	91	71
3	181	71
4	402	71
5	813	71
6	1152	71
7	1256	71
8	1594	71
9	2728	71
done	5001	71
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	29	104
1	51	104
2	130	36
3	324	36
4	1099	36
done	5001	36
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	15	18
1	26	18
2	58	18
3	122	18
4	332	18
5	958	18
6	2097	18
7	3098	18
done	5000	18
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	31	73
1	52	73
2	108	73
3	204	73
4	419	73
5	822	73
6	1123	73
7	1219	73
8	1553	73
9	2679	73
done	5001	73
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	31	72
1	49	55
2	98	55
3	189	55
4	408	55
5	817	55
6	1106	55
7	1202	55
8	1544	55
9	2678	55
done	5000	55
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	30	55
1	47	55
2	96	55
3	187	55
4	406	55
5	813	55
6	1126	55
7	1228	55
8	1562	55
9	2693	55
done	5000	55
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	19	40
1	31	39
2	57	39
3	105	37
4	226	37
5	429	37
6	587	37
7	616	37
8	696	37
9	947	37
10	1786	37
done	5000	37
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1194	35
7	1298	35
8	1633	35
9	2764	35
done	5001	35
0	30	55
1	47	55
2	96	55
3	187	55
4	406	55
5	813	55
6	1126	55
7	1228	55
8	1562	55
9	2693	55
done	5000	55
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	18	39
1	30	37
2	60	37
3	112	37
4	226	37
5	431	37
6	581	37
7	610	37
8	688	37
9	944	37
10	1773	37
done	5000	37
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1194	35
7	1298	35
8	1633	35
9	2764	35
done	5001	35
0	30	54
1	47	54
2	94	54
3	184	54
4	407	54
5	816	54
6	1155	54
7	1261	54
8	1613	54
9	2746	54
done	5000	54
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	30	53
1	46	36
2	93	36
3	183	36
4	404	36
5	805	36
6	1140	36
7	1238	36
8	1582	36
9	2721	36
done	5000	36
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	18	21
1	28	20
2	52	20
3	99	20
4	211	20
5	416	20
6	566	20
7	595	20
8	673	20
9	921	20
10	1746	20
done	5001	20
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1194	35
7	1298	35
8	1633	35
9	2764	35
done	5001	35
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	29	36
1	44	36
2	91	36
3	181	36
4	400	36
5	807	36
6	1132	36
7	1228	36
8	1559	36
9	2672	36
done	5000	36
0	17	20
1	27	18
2	53	18
3	100	18
4	214	18
5	425	18
6	575	18
7	604	18
8	682	18
9	936	18
10	1775	18
done	5000	18
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1194	35
7	1298	35
8	1633	35
9	2764	35
done	5001	35
0	17	37
1	28	37
2	51	37
3	95	37
4	204	37
5	404	37
6	552	37
7	598	37
8	756	37
9	1263	37
10	3257	37
done	5000	37
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	17	36
1	27	19
2	50	19
3	94	19
4	203	19
5	407	19
6	556	19
7	606	19
8	769	19
9	1279	19
10	3291	19
done	5001	19
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	3	4
1	5	3
done	5	3
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1561	34
9	2694	34
done	5000	34
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	2	3
1	4	1
done	4	1
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1561	34
9	2694	34
done	5000	34
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	801	34
6	1135	34
7	1231	34
8	1573	34
9	2697	34
done	5001	34
0	29	53
1	46	53
2	93	53
3	183	53
4	406	53
5	811	53
6	1155	53
7	1259	53
8	1595	53
9	2734	53
done	5000	53
0	29	52
1	45	35
2	92	35
3	182	35
4	401	35
5	810	35
6	1193	35
7	1293	35
8	1634	35
9	2746	35
done	5000	35
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	17	20
1	27	19
2	51	19
3	98	19
4	210	19
5	415	19
6	570	19
7	599	19
8	675	19
9	921	19
10	1747	19
done	5000	19
0	28	35
1	43	35
2	90	35
3	180	35
4	395	35
5	806	35
6	1167	35
7	1271	35
8	1613	35
9	2738	35
done	5000	35
0	16	19
1	26	17
2	52	17
3	99	17
4	209	17
5	412	17
6	551	17
7	580	17
8	660	17
9	914	17
10	1736	17
done	5000	17
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	801	34
6	1135	34
7	1231	34
8	1573	34
9	2697	34
done	5001	34
0	30	38
1	61	38
2	145	38
3	391	38
4	1398	38
done	5002	38
0	29	50
1	55	50
2	135	50
3	358	50
4	1252	50
done	5001	50
0	31	70
1	69	68
2	194	68
3	599	54
4	2241	54
done	5000	54
0	27	34
1	44	34
2	98	34
3	213	34
4	530	34
5	1263	34
6	2152	34
7	2787	34
8	4748	34
done	5000	34
0	31	55
1	56	55
2	122	55
3	292	55
4	844	37
5	2817	37
done	5000	37
0	34	59
1	59	59
2	129	59
3	266	59
4	555	44
5	1021	43
6	1399	43
7	1532	43
8	1882	43
9	3013	43
done	5000	43
0	34	58
1	58	58
2	123	58
3	250	58
4	537	58
5	1002	43
6	1363	43
7	1498	43
8	1836	43
9	2956	43
done	5000	43
0	34	58
1	61	58
2	125	58
3	251	58
4	531	58
5	1034	43
6	1397	43
7	1537	43
8	1887	43
9	3031	43
done	5000	43
0	33	57
1	59	57
2	120	57
3	238	57
4	507	57
5	991	44
6	1405	43
7	1557	43
8	1919	43
9	3023	43
done	5000	43
0	32	56
1	60	56
2	134	56
3	324	56
4	931	38
5	3001	38
done	5000	38
0	32	56
1	59	56
2	134	56
3	316	56
4	904	38
5	3046	38
done	5000	38
0	37	167
1	88	131
2	340	63
3	1817	59
done	5000	59
0	37	167
1	75	149
2	264	61
3	1085	59
done	5001	59
0	37	167
1	90	149
2	315	61
3	1402	59
done	5001	59
0	35	167
1	74	167
2	225	59
3	804	59
4	4524	39
done	5000	39
0	33	113
1	58	113
2	124	113
3	294	113
4	844	77
5	2820	77
done	5001	77
0	32	56
1	57	56
2	123	56
3	293	56
4	843	38
5	2822	38
done	5000	38
0	33	167
1	68	167
2	203	57
3	804	57
4	4244	39
done	5000	39
0	32	56
1	57	56
2	123	56
3	293	56
4	843	38
5	2822	38
done	5000	38
0	32	56
1	57	56
2	123	56
3	293	56
4	843	38
5	2822	38
done	5000	38
0	17	21
1	34	21
2	86	21
3	220	21
4	697	21
5	2969	21
done	5000	21
0	14	33
1	21	15
2	45	15
3	89	15
4	200	15
5	409	15
6	577	15
7	627	15
8	792	15
9	1304	15
10	3311	15
done	5001	15
0	33	57
1	54	57
2	104	57
3	196	57
4	415	57
5	816	57
6	1135	57
7	1231	57
8	1568	57
9	2702	57
done	5000	57
0	33	57
1	54	57
2	104	57
3	196	57
4	415	57
5	816	57
6	1135	57
7	1231	57
8	1568	57
9	2702	57
done	5000	57
0	34	58
1	57	58
2	110	58
3	206	58
4	424	58
5	819	58
6	1137	58
7	1231	58
8	1561	58
9	2676	58
done	5000	58
0	34	58
1	57	58
2	110	58
3	206	58
4	424	58
5	819	58
6	1137	58
7	1231	58
8	1561	58
9	2676	58
done	5000	58
0	34	58
1	57	58
2	110	58
3	206	58
4	424	58
5	819	58
6	1137	58
7	1231	58
8	1561	58
9	2676	58
done	5000	58
0	34	58
1	57	58
2	110	58
3	206	58
4	424	58
5	819	58
6	1137	58
7	1231	58
8	1561	58
9	2676	58
done	5000	58
0	34	58
1	54	58
2	105	58
3	197	58
4	420	58
5	816	58
6	1129	58
7	1227	58
8	1561	58
9	2702	58
done	5000	58
0	34	58
1	54	58
2	105	58
3	197	58
4	420	58
5	816	58
6	1129	58
7	1227	58
8	1561	58
9	2702	58
done	5000	58
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	58
1	54	58
2	105	58
3	197	58
4	420	58
5	816	58
6	1129	58
7	1227	58
8	1561	58
9	2702	58
done	5000	58
0	34	58
1	54	58
2	105	58
3	197	58
4	420	58
5	816	58
6	1129	58
7	1227	58
8	1561	58
9	2702	58
done	5000	58
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	34	59
1	56	59
2	112	59
3	214	59
4	445	40
5	842	40
6	1155	40
7	1257	40
8	1594	40
9	2704	40
done	5000	40
0	33	92
1	58	92
2	116	92
3	239	92
4	511	92
5	973	92
6	1337	92
7	1476	92
8	1836	92
9	2975	92
done	5000	92
0	32	56
1	55	56
2	108	56
3	219	56
4	452	56
5	876	56
6	1204	56
7	1310	56
8	1649	56
9	2768	56
done	5000	56
0	35	94
1	66	94
2	157	94
3	388	94
4	1021	94
5	2078	94
6	3218	94
7	4123	94
8	4936	94
done	5001	94
0	36	93
1	64	76
2	132	76
3	299	76
4	710	76
5	1351	76
6	1975	76
7	2355	76
8	2808	76
9	3965	76
done	5000	76
0	34	76
1	61	76
2	129	76
3	296	76
4	707	76
5	1358	76
6	1960	76
7	2344	76
8	2796	76
9	3937	76
done	5000	76
0	35	61
1	64	60
2	132	60
3	299	58
4	701	58
5	1339	58
6	2016	58
7	2330	58
8	2763	58
9	3883	58
done	5000	58
0	34	76
1	61	76
2	129	76
3	296	76
4	707	76
5	1358	76
6	1960	76
7	2344	76
8	2796	76
9	3937	76
done	5000	76
0	34	60
1	63	58
2	139	58
3	342	58
4	755	58
5	1359	58
6	1877	58
7	2172	58
8	2579	58
9	3705	58
done	5001	58
0	34	75
1	61	75
2	130	75
3	298	75
4	674	75
5	1287	75
6	1838	75
7	2122	75
8	2547	75
9	3674	75
done	5000	75
0	35	74
1	61	57
2	120	57
3	255	57
4	547	57
5	1027	57
6	1429	57
7	1592	57
8	1949	57
9	3075	57
done	5000	57
0	33	57
1	58	57
2	117	57
3	252	57
4	544	57
5	1032	57
6	1413	57
7	1574	57
8	1919	57
9	3055	57
done	5000	57
0	34	42
1	61	41
2	120	41
3	255	39
4	580	39
5	1109	39
6	1584	39
7	1735	39
8	2080	39
9	3220	39
done	5000	39
0	33	57
1	58	57
2	117	57
3	252	57
4	544	57
5	1032	57
6	1413	57
7	1574	57
8	1919	57
9	3055	57
done	5000	57
0	33	41
1	60	39
2	123	39
3	267	39
4	560	39
5	1032	39
6	1411	39
7	1556	39
8	1910	39
9	3061	39
done	5000	39
0	21	58
1	42	58
2	86	56
3	235	56
4	562	56
5	1035	56
6	1546	56
7	1909	56
8	2349	56
9	2916	56
10	4887	56
done	5000	56
0	22	57
1	42	40
2	77	38
3	187	38
4	392	38
5	726	38
6	1058	38
7	1197	38
8	1438	38
9	1968	38
10	3974	38
done	5000	38
0	20	40
1	39	40
2	74	38
3	184	38
4	389	38
5	719	38
6	1043	38
7	1179	38
8	1406	38
9	1936	38
10	3929	38
done	5000	38
0	20	25
1	39	24
2	73	22
3	186	20
4	540	20
5	828	20
6	1068	20
7	1190	20
8	1436	20
9	1958	20
10	3774	20
done	5000	20
0	20	40
1	39	40
2	74	38
3	184	38
4	389	38
5	719	38
6	1043	38
7	1179	38
8	1406	38
9	1936	38
10	3929	38
done	5000	38
0	19	24
1	38	22
2	74	20
3	164	20
4	329	20
5	585	20
6	802	20
7	929	20
8	1113	20
9	1480	20
10	2923	20
done	5001	20
0	18	22
1	35	20
2	71	20
3	137	20
4	267	20
5	492	20
6	681	20
7	742	20
8	864	20
9	1285	20
10	2853	20
done	5000	20
0	30	38
1	59	38
2	133	38
3	334	38
4	1042	38
5	3796	38
done	5001	38
0	36	59
1	78	59
2	182	59
3	517	59
4	1867	59
done	5001	59
0	35	71
1	71	71
2	170	71
3	476	71
4	1711	71
done	5002	71
0	32	56
1	55	56
2	116	56
3	228	56
4	554	56
5	1343	56
6	2617	56
7	3783	56
done	5000	56
0	32	56
1	55	56
2	116	56
3	228	56
4	554	56
5	1343	56
6	2617	56
7	3783	56
done	5000	56
0	33	57
1	55	57
2	120	57
3	255	57
4	649	57
5	1714	57
6	4076	57
done	5000	57
0	34	57
1	56	57
2	121	57
3	256	57
4	650	57
5	1720	57
6	4062	57
done	5001	57
0	33	57
1	55	57
2	120	57
3	255	57
4	649	57
5	1714	57
6	4076	57
done	5000	57
0	32	56
1	54	56
2	118	56
3	248	56
4	631	38
5	1657	38
6	3686	38
done	5000	38
0	33	57
1	55	57
2	120	57
3	255	57
4	649	57
5	1714	57
6	4076	57
done	5000	57
0	32	56
1	54	56
2	118	56
3	248	56
4	631	38
5	1657	38
6	3686	38
done	5000	38
0	33	57
1	55	57
2	120	57
3	255	57
4	649	57
5	1714	57
6	4076	57
done	5000	57
0	34	57
1	56	57
2	121	57
3	256	57
4	650	57
5	1720	57
6	4062	57
done	5001	57
0	33	57
1	55	57
2	120	57
3	255	57
4	649	57
5	1714	57
6	4076	57
done	5000	57
0	32	56
1	54	56
2	118	56
3	248	56
4	631	38
5	1657	38
6	3686	38
done	5000	38
0	33	57
1	55	57
2	120	57
3	255	57
4	649	57
5	1714	57
6	4076	57
done	5000	57
0	32	56
1	54	56
2	118	56
3	248	56
4	631	38
5	1657	38
6	3686	38
done	5000	38
0	32	56
1	57	56
2	124	56
3	299	56
4	859	56
5	2898	56
done	5000	56
0	33	56
1	58	56
2	125	56
3	300	56
4	860	56
5	2884	56
done	5000	56
0	32	56
1	57	56
2	124	56
3	299	56
4	859	56
5	2898	56
done	5000	56
0	31	55
1	56	55
2	122	55
3	292	55
4	844	37
5	2817	37
done	5000	37
0	32	56
1	57	56
2	124	56
3	299	56
4	859	56
5	2898	56
done	5000	56
0	31	55
1	56	55
2	122	55
3	292	55
4	844	37
5	2817	37
done	5000	37
0	34	58
1	59	58
2	126	58
3	301	58
4	867	58
5	2915	58
done	5000	58
0	35	58
1	60	58
2	127	58
3	302	58
4	868	58
5	2914	58
done	5000	58
0	34	58
1	59	58
2	126	58
3	301	58
4	867	58
5	2915	58
done	5000	58
0	33	57
1	58	57
2	124	57
3	294	57
4	844	39
5	2836	39
done	5000	39
0	34	58
1	59	58
2	126	58
3	301	58
4	867	58
5	2915	58
done	5000	58
0	33	57
1	58	57
2	124	57
3	294	57
4	844	39
5	2836	39
done	5000	39
0	32	56
1	57	56
2	124	56
3	299	56
4	859	56
5	2898	56
done	5000	56
0	33	56
1	58	56
2	125	56
3	300	56
4	860	56
5	2884	56
done	5000	56
0	32	56
1	57	56
2	124	56
3	299	56
4	859	56
5	2898	56
done	5000	56
0	31	55
1	56	55
2	122	55
3	292	55
4	844	37
5	2817	37
done	5000	37
0	32	56
1	57	56
2	124	56
3	299	56
4	859	56
5	2898	56
done	5000	56
0	31	55
1	56	55
2	122	55
3	292	55
4	844	37
5	2817	37
done	5000	37
0	31	55
1	56	55
2	122	55
3	292	55
4	844	37
5	2817	37
done	5000	37
0	30	53
1	52	53
2	115	51
3	290	51
4	798	33
5	2147	33
6	4660	33
done	5000	33
0	34	83
1	69	81
2	178	81
3	484	69
4	1749	69
done	5000	69
0	30	51
1	50	51
2	109	51
3	231	51
4	583	51
5	1491	51
6	2971	51
7	4410	51
done	5000	51
0	30	38
1	59	38
2	133	38
3	334	38
4	1042	38
5	3796	38
done	5001	38
0	30	38
1	50	38
2	115	38
3	261	38
4	711	38
5	2268	38
done	5000	38
0	18	22
1	29	22
2	54	22
3	98	22
4	207	22
5	408	22
6	567	22
7	615	22
8	775	22
9	1287	22
10	3303	22
done	5001	22
0	17	21
1	32	21
2	60	21
3	107	21
4	214	21
5	417	21
6	584	21
7	632	21
8	791	21
9	1299	21
10	3298	21
done	5000	21
0	17	21
1	29	21
2	58	21
3	106	21
4	214	21
5	424	21
6	592	21
7	654	21
8	815	21
9	1325	21
10	3326	21
done	5000	21
0	20	62
1	38	44
2	118	24
3	312	22
4	889	22
5	2974	22
done	5000	22
0	18	43
1	30	43
2	56	43
3	102	43
4	211	43
5	416	43
6	578	43
7	624	43
8	783	43
9	1297	43
10	3308	43
done	5000	43
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	18	62
1	37	62
2	91	22
3	261	22
4	761	22
5	2233	22
done	5000	22
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	14	18
1	21	18
2	44	18
3	88	18
4	199	18
5	404	18
6	577	18
7	625	18
8	786	18
9	1297	18
10	3298	18
done	5001	18
0	15	18
1	22	18
2	45	18
3	89	18
4	198	18
5	405	18
6	568	18
7	618	18
8	785	18
9	1301	18
10	3316	18
done	5000	18
0	20	45
1	35	45
2	68	45
3	118	45
4	225	45
5	422	45
6	604	45
7	650	45
8	811	45
9	1332	45
10	3308	45
done	5000	45
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	20	44
1	32	27
2	58	27
3	103	27
4	212	27
5	413	27
6	581	27
7	629	27
8	794	27
9	1306	27
10	3305	27
done	5000	27
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	19	27
1	30	27
2	56	27
3	101	27
4	214	27
5	415	27
6	574	27
7	624	27
8	788	27
9	1305	27
10	3321	27
done	5000	27
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	8	12
1	14	11
2	17	11
3	18	9
4	25	9
done	25	9
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	19	27
1	30	27
2	56	27
3	101	27
4	214	27
5	415	27
6	574	27
7	624	27
8	788	27
9	1305	27
10	3321	27
done	5000	27
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	19	40
1	30	40
2	54	40
3	98	40
4	207	40
5	408	40
6	571	40
7	621	40
8	786	40
9	1295	40
10	3305	40
done	5000	40
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	19	39
1	29	22
2	53	22
3	97	22
4	206	22
5	407	22
6	569	22
7	617	22
8	782	22
9	1294	22
10	3328	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	7	7
1	11	6
2	12	6
done	12	6
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	6	6
1	10	4
2	13	4
done	13	4
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	17	37
1	28	37
2	51	37
3	95	37
4	204	37
5	404	37
6	552	37
7	598	37
8	756	37
9	1263	37
10	3257	37
done	5000	37
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	17	36
1	27	19
2	50	19
3	94	19
4	203	19
5	407	19
6	556	19
7	606	19
8	769	19
9	1279	19
10	3291	19
done	5001	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	3	4
1	5	3
done	5	3
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	20	41
1	30	41
2	53	41
3	97	41
4	210	41
5	409	41
6	577	41
7	627	41
8	792	41
9	1305	41
10	3292	41
done	5001	41
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	20	40
1	29	23
2	52	23
3	96	23
4	209	23
5	408	23
6	570	23
7	622	23
8	784	23
9	1300	23
10	3305	23
done	5000	23
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	19	23
1	27	23
2	50	23
3	94	23
4	205	23
5	402	23
6	562	23
7	610	23
8	775	23
9	1285	23
10	3283	23
done	5001	23
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	8	8
1	11	7
done	11	7
0	18	22
1	30	22
2	56	22
3	102	22
4	215	22
5	416	22
6	573	22
7	623	22
8	783	22
9	1301	22
10	3299	22
done	5000	22
0	19	23
1	27	23
2	50	23
3	94	23
4	205	23
5	402	23
6	562	23
7	610	23
8	775	23
9	1285	23
10	3283	23
done	5001	23
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	7	7
1	10	5
2	12	5
done	12	5
0	18	22
1	30	22
2	56	22
3	102	22
4	215	22
5	416	22
6	573	22
7	623	22
8	783	22
9	1301	22
10	3299	22
done	5000	22
0	17	37
1	28	37
2	51	37
3	95	37
4	204	37
5	404	37
6	552	37
7	598	37
8	756	37
9	1263	37
10	3257	37
done	5000	37
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	17	36
1	27	19
2	50	19
3	94	19
4	203	19
5	407	19
6	556	19
7	606	19
8	769	19
9	1279	19
10	3291	19
done	5001	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	3	4
1	5	3
done	5	3
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	16	20
1	25	20
2	49	20
3	93	20
4	202	20
5	409	20
6	575	20
7	623	20
8	783	20
9	1300	20
10	3302	20
done	5000	20
0	18	39
1	32	39
2	63	39
3	112	39
4	222	39
5	421	39
6	589	39
7	639	39
8	800	39
9	1319	39
10	3336	39
done	5000	39
0	18	38
1	31	21
2	57	21
3	103	21
4	210	21
5	413	21
6	573	21
7	619	21
8	780	21
9	1292	21
10	3283	21
done	5000	21
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	5	5
1	12	3
2	17	3
done	17	3
0	17	21
1	26	21
2	50	21
3	94	21
4	201	21
5	406	21
6	571	21
7	621	21
8	781	21
9	1302	21
10	3301	21
done	5000	21
0	17	21
1	26	21
2	50	21
3	94	21
4	201	21
5	406	21
6	571	21
7	621	21
8	781	21
9	1302	21
10	3301	21
done	5000	21
0	16	20
1	25	20
2	49	20
3	93	20
4	202	20
5	409	20
6	575	20
7	623	20
8	783	20
9	1300	20
10	3302	20
done	5000	20
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	405	22
6	572	22
7	620	22
8	787	22
9	1307	22
10	3297	22
done	5000	22
0	16	20
1	25	20
2	49	20
3	93	20
4	202	20
5	409	20
6	575	20
7	623	20
8	783	20
9	1300	20
10	3302	20
done	5000	20
0	19	24
1	47	24
2	110	24
3	311	24
4	1196	24
done	5001	24
0	18	36
1	41	36
2	100	36
3	277	36
4	1058	36
done	5000	36
0	20	28
1	41	26
2	92	26
3	164	26
4	278	26
5	489	26
6	653	26
7	705	26
8	872	26
9	1401	26
10	3435	26
done	5000	26
0	16	20
1	31	20
2	55	20
3	99	20
4	206	20
5	407	20
6	579	20
7	625	20
8	783	20
9	1305	20
10	3310	20
done	5000	20
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	15	35
1	22	35
2	45	35
3	89	35
4	200	35
5	409	35
6	578	35
7	626	35
8	787	35
9	1303	35
10	3304	35
done	5000	35
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	15	50
1	23	32
2	57	18
3	122	18
4	324	18
5	825	18
6	1399	18
7	1693	18
8	2265	18
9	4571	18
done	5001	18
0	15	34
1	23	17
2	46	17
3	90	17
4	199	17
5	406	17
6	572	17
7	620	17
8	779	17
9	1301	17
10	3298	17
done	5000	17
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	2	2
1	4	1
done	4	1
0	13	16
1	20	16
2	43	16
3	87	16
4	196	16
5	401	16
6	575	16
7	623	16
8	788	16
9	1299	16
10	3296	16
done	5000	16
0	16	20
1	39	20
2	99	20
3	297	20
4	1171	20
done	5000	20
0	17	48
1	40	46
2	114	46
3	346	34
4	1366	34
done	5001	34
0	15	32
1	33	32
2	89	32
3	264	32
4	1046	32
done	5001	32
0	13	16
1	21	16
2	45	16
3	93	16
4	208	16
5	439	16
6	689	16
7	960	16
8	1929	16
9	4975	16
done	5000	16
0	3	3
1	6	1
done	6	1
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	15	20
1	33	20
2	73	17
3	106	14
4	134	12
5	154	12
6	178	12
7	242	12
8	447	12
9	1389	12
done	5000	12
0	11	13
1	23	13
2	52	13
3	63	13
4	81	11
5	107	11
6	160	11
7	279	11
8	549	11
9	1501	11
done	5001	11
0	11	13
1	23	13
2	52	13
3	63	13
4	81	11
5	107	11
6	160	11
7	279	11
8	549	11
9	1501	11
done	5001	11
0	14	16
1	32	16
2	80	14
3	151	14
4	214	14
5	254	14
6	340	14
7	556	14
8	833	14
9	1761	14
done	5000	14
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	23	36
1	57	36
2	160	36
3	419	36
4	1019	26
5	2731	23
done	5000	23
0	15	19
1	38	19
2	99	15
3	254	15
4	838	15
5	2865	13
done	5000	13
0	15	19
1	38	19
2	99	15
3	254	15
4	838	15
5	2865	13
done	5000	13
0	19	29
1	48	29
2	142	29
3	394	22
4	1053	22
5	3437	17
done	5001	17
0	8	9
1	19	9
2	38	7
3	51	7
4	63	7
5	88	7
6	133	7
7	229	7
8	471	7
9	1418	7
done	5000	7
0	8	9
1	19	9
2	38	7
3	51	7
4	63	7
5	88	7
6	133	7
7	229	7
8	471	7
9	1418	7
done	5000	7

prune995.0ms

Filtered

158 candidates to 217 candidates (-37.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	216	1	217
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	217	6	223

Merged error: 0b

Counts

223 → 6

localize35.0ms

Local error

Found 4 expressions with local error:

16.5b	(sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
16.5b	(sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
16.6b	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
16.7b	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (* (/ 1 (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))))

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

79×	`add-exp-log`
74×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
60×	`times-frac`
53×	`sqrt-prod`
47×	`add-cbrt-cube`
44×	`add-cube-cbrt`
36×	`associate-l`
34×	`prod-exp`
26×	`div-exp`
18×	`cbrt-unprod`
14×	`cbrt-undiv`
13×	`pow1` `distribute-lft-out--` `difference-of-squares`
12×	`sqrt-div`
8×	`sqrt-pow1`
6×	`associate-/r*`
5×	`frac-times` `associate-r/` `associate-/l`
4×	`rem-sqrt-square` `rec-exp` `flip3-+` `pow1/2` `1-exp` `associate-/r/` `flip-+` `add-log-exp`
3×	`pow-prod-down` `associate-*l/`
2×	`div-inv` `associate-/l/`
1×	`flip3--` `frac-2neg` `div-sub` `associate-r` `clear-num` `*-commutative` `flip--`

Counts

4 → 182

Calls

4 calls:

15.0ms	(sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
16.0ms	(sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
20.0ms	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
80.0ms	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (* (/ 1 (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))))

series90.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
12.0ms	(sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
10.0ms	(/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
56.0ms	(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (* (/ 1 (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))))))

simplify12.2min

Counts

194 → 194

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	38	80
1	66	80
2	149	79
3	368	63
4	902	62
5	1607	62
6	2214	62
7	2394	62
8	2752	62
9	3881	62
done	5000	62
0	38	79
1	65	79
2	145	78
3	335	78
4	823	62
5	1528	62
6	2331	62
7	2553	62
8	2904	62
9	4033	62
done	5001	62
0	39	81
1	71	80
2	182	79
3	539	63
4	1571	62
5	2895	62
6	3742	62
7	3890	62
8	4224	62
done	5000	62
0	39	80
1	70	79
2	172	78
3	468	78
4	1420	62
5	2758	62
6	3658	62
7	3813	62
8	4167	62
done	5001	62
0	40	82
1	74	81
2	184	79
3	518	79
4	1647	62
5	3037	62
6	3914	62
7	4060	62
8	4332	62
done	5000	62
0	40	81
1	73	80
2	171	79
3	466	78
4	1405	63
5	2721	62
6	3662	62
7	3833	62
8	4162	62
done	5000	62
0	40	81
1	73	80
2	167	79
3	479	63
4	1373	62
5	2537	62
6	3391	62
7	3548	62
8	3896	62
done	5000	62
0	39	80
1	72	79
2	159	78
3	407	78
4	1193	62
5	2267	62
6	3585	62
7	3749	62
8	4101	62
done	5001	62
0	38	79
1	70	79
2	158	77
3	408	77
4	1220	58
5	3240	58
done	5000	58
0	37	79
1	67	79
2	142	78
3	328	62
4	799	61
5	1510	61
6	2227	61
7	2445	61
8	2710	61
9	3567	61
done	5001	61
0	37	78
1	66	78
2	139	77
3	306	77
4	751	61
5	1459	61
6	2220	61
7	2471	61
8	2792	61
9	3662	61
done	5000	61
0	38	80
1	72	79
2	173	78
3	474	62
4	1341	61
5	2710	61
6	3737	61
7	3889	61
8	4237	61
done	5000	61
0	38	79
1	71	78
2	164	77
3	415	77
4	1259	61
5	2567	61
6	3591	61
7	3752	61
8	4085	61
done	5001	61
0	39	81
1	75	80
2	174	78
3	457	78
4	1404	61
5	2855	61
6	3861	61
7	4017	61
8	4285	61
done	5001	61
0	39	80
1	74	79
2	163	78
3	408	77
4	1231	62
5	2521	61
6	3565	61
7	3724	61
8	3981	61
9	4831	61
done	5001	61
0	39	80
1	74	79
2	160	78
3	429	62
4	1184	61
5	2440	61
6	3404	61
7	3551	61
8	3815	61
9	4667	61
done	5000	61
0	38	79
1	73	78
2	153	77
3	371	77
4	1054	61
5	2155	61
6	3633	61
7	3821	61
8	4086	61
9	4944	61
done	5000	61
0	37	78
1	71	78
2	155	76
3	390	76
4	1146	57
5	3371	57
done	5001	57
0	36	77
1	71	77
2	181	75
3	566	75
4	2241	56
done	5001	56
0	36	77
1	70	77
2	177	75
3	546	75
4	2228	56
done	5000	56
0	45	230
1	111	170
2	443	84
3	3182	61
done	5001	61
0	45	230
1	98	189
2	367	82
3	2341	80
done	5000	61
0	45	230
1	111	193
2	448	86
3	2941	77
done	5000	61
0	43	230
1	95	212
2	353	84
3	1876	82
done	5000	82
0	41	230
1	89	212
2	337	80
3	1924	78
done	5000	78
0	43	230
1	110	188
2	406	82
3	2705	80
done	5000	80
0	43	230
1	97	207
2	332	80
3	1816	80
done	5001	80
0	43	230
1	110	211
2	413	84
3	2376	80
done	5000	80
0	41	230
1	94	230
2	314	82
3	1420	82
done	5000	80
0	39	230
1	88	230
2	298	78
3	1466	78
done	5001	78
0	37	155
1	69	155
2	161	151
3	496	151
4	1971	113
done	5000	113
0	36	77
1	68	77
2	164	75
3	500	75
4	1962	56
done	5001	56
0	37	230
1	79	230
2	274	76
3	1629	76
done	5000	76
0	36	77
1	68	77
2	164	75
3	500	75
4	1962	56
done	5001	56
0	36	77
1	68	77
2	164	75
3	500	75
4	1962	56
done	5001	56
0	19	23
1	41	21
2	124	21
3	282	21
4	781	21
5	2553	21
done	5000	21
0	16	52
1	26	33
2	52	15
3	99	15
4	220	15
5	436	15
6	620	15
7	730	15
8	1096	15
9	2342	15
done	5000	15
0	33	41
1	64	41
2	168	39
3	497	39
4	1581	39
done	5001	39
0	15	34
1	23	34
2	46	34
3	90	34
4	199	34
5	406	34
6	572	34
7	620	34
8	779	34
9	1301	34
10	3298	34
done	5000	34
0	33	41
1	58	39
2	148	39
3	326	39
4	928	39
5	2776	39
done	5000	39
0	15	34
1	23	34
2	46	34
3	90	34
4	199	34
5	406	34
6	572	34
7	620	34
8	779	34
9	1301	34
10	3298	34
done	5000	34
0	20	40
1	39	40
2	74	38
3	184	38
4	389	38
5	719	38
6	1043	38
7	1179	38
8	1406	38
9	1936	38
10	3929	38
done	5000	38
0	36	77
1	66	77
2	150	75
3	394	75
4	1139	56
5	3402	56
done	5000	56
0	36	77
1	66	77
2	150	75
3	394	75
4	1139	56
5	3402	56
done	5000	56
0	37	78
1	66	78
2	160	76
3	465	76
4	1606	57
done	5000	57
0	38	78
1	67	78
2	157	76
3	464	76
4	1609	57
done	5002	57
0	36	78
1	65	78
2	159	76
3	453	76
4	1409	57
5	4282	42
done	5000	42
0	36	77
1	65	77
2	159	75
3	467	75
4	1604	56
5	4997	56
done	5000	56
0	36	78
1	65	78
2	159	76
3	453	76
4	1409	57
5	4282	42
done	5000	42
0	36	77
1	65	77
2	159	75
3	467	75
4	1604	56
5	4997	56
done	5000	56
0	37	78
1	66	78
2	160	76
3	465	76
4	1606	57
done	5000	57
0	38	78
1	67	78
2	157	76
3	464	76
4	1609	57
done	5002	57
0	36	78
1	65	78
2	159	76
3	453	76
4	1409	57
5	4282	42
done	5000	42
0	36	77
1	65	77
2	159	75
3	467	75
4	1604	56
5	4997	56
done	5000	56
0	36	78
1	65	78
2	159	76
3	453	76
4	1409	57
5	4282	42
done	5000	42
0	36	77
1	65	77
2	159	75
3	467	75
4	1604	56
5	4997	56
done	5000	56
0	36	77
1	68	77
2	164	75
3	500	75
4	1964	56
done	5000	56
0	37	77
1	69	77
2	165	75
3	502	75
4	1979	56
done	5001	56
0	35	77
1	67	77
2	163	75
3	488	75
4	1765	56
done	5000	56
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	35	77
1	67	77
2	163	75
3	488	75
4	1765	56
done	5000	56
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	38	79
1	70	79
2	162	77
3	499	77
4	1969	58
done	5001	58
0	39	79
1	71	79
2	165	77
3	501	77
4	1977	58
done	5000	58
0	37	79
1	69	79
2	165	77
3	495	77
4	1778	58
done	5000	58
0	37	78
1	69	78
2	165	76
3	502	76
4	1972	57
done	5000	57
0	37	79
1	69	79
2	165	77
3	495	77
4	1778	58
done	5000	58
0	37	78
1	69	78
2	165	76
3	502	76
4	1972	57
done	5000	57
0	36	77
1	68	77
2	164	75
3	500	75
4	1964	56
done	5000	56
0	37	77
1	69	77
2	165	75
3	502	75
4	1979	56
done	5001	56
0	35	77
1	67	77
2	163	75
3	488	75
4	1765	56
done	5000	56
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	35	77
1	67	77
2	163	75
3	488	75
4	1765	56
done	5000	56
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	35	76
1	67	76
2	163	74
3	499	74
4	1962	55
done	5002	55
0	33	74
1	60	74
2	152	70
3	443	70
4	1292	51
5	3484	33
done	5000	33
0	38	104
1	80	102
2	210	100
3	651	88
4	2323	69
done	5000	69
0	34	72
1	61	72
2	141	70
3	397	70
4	1167	51
5	3553	51
done	5000	51
0	32	40
1	66	38
2	189	38
3	462	38
4	1284	38
5	4502	38
done	5000	38
0	34	58
1	70	58
2	186	56
3	606	56
4	2290	56
done	5001	56
0	34	58
1	64	56
2	161	56
3	384	56
4	1152	56
5	3925	56
done	5000	56
0	34	59
1	61	59
2	147	57
3	433	57
4	1441	38
5	4803	38
done	5000	38
0	18	22
1	29	22
2	54	22
3	98	22
4	207	22
5	408	22
6	567	22
7	615	22
8	775	22
9	1287	22
10	3303	22
done	5001	22
0	17	21
1	32	21
2	60	21
3	107	21
4	214	21
5	417	21
6	584	21
7	632	21
8	791	21
9	1299	21
10	3298	21
done	5000	21
0	17	21
1	29	21
2	58	21
3	106	21
4	214	21
5	424	21
6	592	21
7	654	21
8	815	21
9	1325	21
10	3326	21
done	5000	21
0	20	62
1	38	44
2	118	24
3	312	22
4	889	22
5	2974	22
done	5000	22
0	18	43
1	30	43
2	56	43
3	102	43
4	211	43
5	416	43
6	578	43
7	624	43
8	783	43
9	1297	43
10	3308	43
done	5000	43
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	18	62
1	37	62
2	91	22
3	261	22
4	761	22
5	2233	22
done	5000	22
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	14	18
1	21	18
2	44	18
3	88	18
4	199	18
5	404	18
6	577	18
7	625	18
8	786	18
9	1297	18
10	3298	18
done	5001	18
0	15	18
1	22	18
2	45	18
3	89	18
4	198	18
5	405	18
6	568	18
7	618	18
8	785	18
9	1301	18
10	3316	18
done	5000	18
0	20	45
1	35	45
2	68	45
3	118	45
4	225	45
5	422	45
6	604	45
7	650	45
8	811	45
9	1332	45
10	3308	45
done	5000	45
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	20	44
1	32	27
2	58	27
3	103	27
4	212	27
5	413	27
6	581	27
7	629	27
8	794	27
9	1306	27
10	3305	27
done	5000	27
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	19	27
1	30	27
2	56	27
3	101	27
4	214	27
5	415	27
6	574	27
7	624	27
8	788	27
9	1305	27
10	3321	27
done	5000	27
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	8	12
1	14	11
2	17	11
3	18	9
4	25	9
done	25	9
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	19	27
1	30	27
2	56	27
3	101	27
4	214	27
5	415	27
6	574	27
7	624	27
8	788	27
9	1305	27
10	3321	27
done	5000	27
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	19	40
1	30	40
2	54	40
3	98	40
4	207	40
5	408	40
6	571	40
7	621	40
8	786	40
9	1295	40
10	3305	40
done	5000	40
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	19	39
1	29	22
2	53	22
3	97	22
4	206	22
5	407	22
6	569	22
7	617	22
8	782	22
9	1294	22
10	3328	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	7	7
1	11	6
2	12	6
done	12	6
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	401	22
6	553	22
7	603	22
8	768	22
9	1265	22
10	3262	22
done	5001	22
0	6	6
1	10	4
2	13	4
done	13	4
0	17	21
1	26	21
2	50	21
3	94	21
4	205	21
5	408	21
6	560	21
7	606	21
8	766	21
9	1284	21
10	3264	21
done	5000	21
0	17	37
1	28	37
2	51	37
3	95	37
4	204	37
5	404	37
6	552	37
7	598	37
8	756	37
9	1263	37
10	3257	37
done	5000	37
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	17	36
1	27	19
2	50	19
3	94	19
4	203	19
5	407	19
6	556	19
7	606	19
8	769	19
9	1279	19
10	3291	19
done	5001	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	3	4
1	5	3
done	5	3
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	20	41
1	30	41
2	53	41
3	97	41
4	210	41
5	409	41
6	577	41
7	627	41
8	792	41
9	1305	41
10	3292	41
done	5001	41
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	20	40
1	29	23
2	52	23
3	96	23
4	209	23
5	408	23
6	570	23
7	622	23
8	784	23
9	1300	23
10	3305	23
done	5000	23
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	19	23
1	27	23
2	50	23
3	94	23
4	205	23
5	402	23
6	562	23
7	610	23
8	775	23
9	1285	23
10	3283	23
done	5001	23
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	8	8
1	11	7
done	11	7
0	18	22
1	30	22
2	56	22
3	102	22
4	215	22
5	416	22
6	573	22
7	623	22
8	783	22
9	1301	22
10	3299	22
done	5000	22
0	19	23
1	27	23
2	50	23
3	94	23
4	205	23
5	402	23
6	562	23
7	610	23
8	775	23
9	1285	23
10	3283	23
done	5001	23
0	19	23
1	31	23
2	57	23
3	103	23
4	214	23
5	409	23
6	571	23
7	621	23
8	785	23
9	1298	23
10	3309	23
done	5000	23
0	7	7
1	10	5
2	12	5
done	12	5
0	18	22
1	30	22
2	56	22
3	102	22
4	215	22
5	416	22
6	573	22
7	623	22
8	783	22
9	1301	22
10	3299	22
done	5000	22
0	17	37
1	28	37
2	51	37
3	95	37
4	204	37
5	404	37
6	552	37
7	598	37
8	756	37
9	1263	37
10	3257	37
done	5000	37
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	17	36
1	27	19
2	50	19
3	94	19
4	203	19
5	407	19
6	556	19
7	606	19
8	769	19
9	1279	19
10	3291	19
done	5001	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	3	4
1	5	3
done	5	3
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	16	19
1	25	19
2	48	19
3	92	19
4	205	19
5	417	19
6	579	19
7	631	19
8	795	19
9	1309	19
10	3293	19
done	5000	19
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	16	20
1	28	20
2	54	20
3	100	20
4	207	20
5	406	20
6	563	20
7	611	20
8	769	20
9	1290	20
10	3278	20
done	5000	20
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	16	20
1	25	20
2	49	20
3	93	20
4	202	20
5	409	20
6	575	20
7	623	20
8	783	20
9	1300	20
10	3302	20
done	5000	20
0	18	39
1	32	39
2	63	39
3	112	39
4	222	39
5	421	39
6	589	39
7	639	39
8	800	39
9	1319	39
10	3336	39
done	5000	39
0	18	38
1	31	21
2	57	21
3	103	21
4	210	21
5	413	21
6	573	21
7	619	21
8	780	21
9	1292	21
10	3283	21
done	5000	21
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	17	21
1	29	21
2	55	21
3	101	21
4	210	21
5	413	21
6	569	21
7	619	21
8	779	21
9	1303	21
10	3331	21
done	5000	21
0	5	5
1	12	3
2	17	3
done	17	3
0	17	21
1	26	21
2	50	21
3	94	21
4	201	21
5	406	21
6	571	21
7	621	21
8	781	21
9	1302	21
10	3301	21
done	5000	21
0	17	21
1	26	21
2	50	21
3	94	21
4	201	21
5	406	21
6	571	21
7	621	21
8	781	21
9	1302	21
10	3301	21
done	5000	21
0	16	20
1	25	20
2	49	20
3	93	20
4	202	20
5	409	20
6	575	20
7	623	20
8	783	20
9	1300	20
10	3302	20
done	5000	20
0	18	22
1	27	22
2	51	22
3	95	22
4	202	22
5	405	22
6	572	22
7	620	22
8	787	22
9	1307	22
10	3297	22
done	5000	22
0	16	20
1	25	20
2	49	20
3	93	20
4	202	20
5	409	20
6	575	20
7	623	20
8	783	20
9	1300	20
10	3302	20
done	5000	20
0	19	24
1	47	24
2	110	24
3	311	24
4	1196	24
done	5001	24
0	18	36
1	41	36
2	100	36
3	277	36
4	1058	36
done	5000	36
0	20	28
1	41	26
2	92	26
3	164	26
4	278	26
5	489	26
6	653	26
7	705	26
8	872	26
9	1401	26
10	3435	26
done	5000	26
0	16	20
1	31	20
2	55	20
3	99	20
4	206	20
5	407	20
6	579	20
7	625	20
8	783	20
9	1305	20
10	3310	20
done	5000	20
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	16	37
1	23	37
2	46	37
3	90	37
4	199	37
5	406	37
6	572	37
7	620	37
8	779	37
9	1301	37
10	3298	37
done	5000	37
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	16	53
1	24	34
2	50	19
3	99	19
4	211	19
5	421	19
6	603	19
7	713	19
8	1073	19
9	2504	19
done	5000	19
0	16	36
1	24	18
2	47	18
3	91	18
4	198	18
5	411	18
6	586	18
7	636	18
8	799	18
9	1309	18
10	3300	18
done	5001	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	16	35
1	24	18
2	47	18
3	91	18
4	198	18
5	411	18
6	586	18
7	636	18
8	799	18
9	1309	18
10	3300	18
done	5001	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	3	3
1	5	1
done	5	1
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	17	21
1	40	21
2	100	21
3	295	21
4	1167	21
done	5000	21
0	18	49
1	41	47
2	115	47
3	347	35
4	1363	35
done	5000	35
0	16	33
1	34	33
2	90	33
3	266	33
4	1047	33
done	5000	33
0	14	17
1	22	17
2	46	17
3	94	17
4	207	17
5	442	17
6	688	17
7	957	17
8	1919	17
9	4968	17
done	5000	17
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	16	37
1	23	37
2	46	37
3	90	37
4	199	37
5	406	37
6	572	37
7	620	37
8	779	37
9	1301	37
10	3298	37
done	5000	37
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	16	53
1	24	34
2	50	19
3	99	19
4	211	19
5	421	19
6	603	19
7	713	19
8	1073	19
9	2504	19
done	5000	19
0	16	36
1	24	18
2	47	18
3	91	18
4	198	18
5	411	18
6	586	18
7	636	18
8	799	18
9	1309	18
10	3300	18
done	5001	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	16	35
1	24	18
2	47	18
3	91	18
4	198	18
5	411	18
6	586	18
7	636	18
8	799	18
9	1309	18
10	3300	18
done	5001	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	3	3
1	5	1
done	5	1
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	2	2
1	4	1
done	4	1
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	17	21
1	40	21
2	100	21
3	295	21
4	1167	21
done	5000	21
0	18	49
1	41	47
2	115	47
3	347	35
4	1363	35
done	5000	35
0	16	33
1	34	33
2	90	33
3	266	33
4	1047	33
done	5000	33
0	14	17
1	22	17
2	46	17
3	94	17
4	207	17
5	442	17
6	688	17
7	957	17
8	1919	17
9	4968	17
done	5000	17
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	15	18
1	22	18
2	45	18
3	89	18
4	200	18
5	409	18
6	578	18
7	626	18
8	787	18
9	1303	18
10	3304	18
done	5000	18
0	14	16
1	32	16
2	80	14
3	151	14
4	214	14
5	254	14
6	340	14
7	556	14
8	833	14
9	1761	14
done	5000	14
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	23	36
1	57	36
2	160	36
3	419	36
4	1019	26
5	2731	23
done	5000	23
0	15	19
1	38	19
2	99	15
3	254	15
4	838	15
5	2865	13
done	5000	13
0	15	19
1	38	19
2	99	15
3	254	15
4	838	15
5	2865	13
done	5000	13
0	23	35
1	59	35
2	184	35
3	625	29
4	2479	27
done	5001	27
0	21	48
1	47	42
2	109	36
3	311	19
4	1054	11
done	5001	11
0	22	48
1	48	45
2	107	39
3	307	23
4	1099	19
done	5000	19
0	23	35
1	59	35
2	184	35
3	625	29
4	2479	27
done	5001	27
0	21	48
1	47	42
2	109	36
3	311	19
4	1054	11
done	5001	11
0	22	48
1	48	45
2	107	39
3	307	23
4	1099	19
done	5000	19

prune1.0s

Filtered

141 candidates to 194 candidates (-37.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	194	0	194
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	194	6	200

Merged error: 0b

Counts

200 → 6

localize31.0ms

Local error

Found 4 expressions with local error:

17.1b	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
17.1b	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
17.1b	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
24.9b	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (* (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721)) (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))) (* (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721)) x)) 313.399215894) x) 47.066876606))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
8×	`associate-/l/`
7×	`flip3-+` `flip-+`
6×	`cbrt-div`
4×	`pow1` `frac-times` `add-log-exp`
3×	`flip3--` `times-frac` `pow1/3` `associate-/r*` `flip--`
2×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `associate-/r/`
1×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 70

Calls

4 calls:

7.0ms	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
7.0ms	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
7.0ms	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
65.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (* (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721)) (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))) (* (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721)) x)) 313.399215894) x) 47.066876606))

series82.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
9.0ms	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
9.0ms	(cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))
48.0ms	(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (* (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721)) (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721))) (* (cbrt (+ (* (+ x 43.3400022514) x) 263.505074721)) x)) 313.399215894) x) 47.066876606))

simplify2.2min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	35	59
1	62	59
2	116	59
3	198	43
4	341	40
5	612	40
6	941	40
7	1214	40
8	1635	40
9	3050	40
done	5000	40
0	34	58
1	68	58
2	148	58
3	320	42
4	828	39
5	3152	39
done	5000	39
0	33	57
1	67	57
2	157	57
3	357	41
4	967	38
5	3821	38
done	5000	38
0	33	57
1	64	57
2	146	57
3	335	41
4	956	38
5	3898	38
done	5000	38
0	38	170
1	99	170
2	372	62
3	1701	46
done	5000	46
0	36	170
1	95	170
2	374	60
3	1917	42
done	5000	42
0	34	115
1	65	115
2	147	115
3	329	83
4	928	77
5	3784	77
done	5001	77
0	33	57
1	64	57
2	146	57
3	330	41
4	933	38
5	3777	38
done	5000	38
0	34	170
1	72	170
2	203	58
3	787	42
done	5000	42
0	33	57
1	64	57
2	146	57
3	330	41
4	933	38
5	3777	38
done	5000	38
0	33	57
1	64	57
2	146	57
3	330	41
4	933	38
5	3777	38
done	5000	38
0	18	22
1	39	22
2	111	22
3	329	22
4	1183	21
done	5002	21
0	16	35
1	31	35
2	62	35
3	110	19
4	237	16
5	534	16
6	1113	16
7	2137	16
8	3868	16
done	5000	16
0	20	75
1	39	75
2	69	75
3	104	43
4	127	37
5	190	37
6	354	37
7	611	37
8	921	37
9	1977	37
done	5000	37
0	30	53
1	50	53
2	97	53
3	174	37
4	302	34
5	566	34
6	888	34
7	1177	34
8	1560	34
9	2987	34
done	5001	34
0	19	39
1	36	39
2	61	39
3	93	23
4	122	20
5	185	20
6	347	20
7	606	20
8	913	20
9	1973	20
done	5000	20
0	30	53
1	50	53
2	97	53
3	174	37
4	302	34
5	566	34
6	888	34
7	1177	34
8	1560	34
9	2987	34
done	5001	34
0	5	5
1	12	3
2	17	3
done	17	3
0	29	52
1	49	52
2	95	52
3	171	36
4	298	33
5	562	33
6	869	33
7	1156	33
8	1541	33
9	2977	33
done	5000	33
0	17	36
1	31	36
2	53	36
3	83	20
4	100	17
5	163	17
6	326	17
7	582	17
8	882	17
9	1927	17
done	5000	17
0	32	56
1	63	56
2	140	56
3	304	40
4	798	37
5	3127	37
done	5001	37
0	34	93
1	70	93
2	165	93
3	370	61
4	1047	55
5	4343	55
done	5000	55
0	33	57
1	64	57
2	146	57
3	330	41
4	932	38
5	3796	38
done	5000	38
0	19	23
1	40	21
2	103	21
3	266	21
4	832	21
5	3199	21
done	5000	21
0	29	52
1	49	52
2	96	52
3	173	36
4	303	33
5	571	33
6	891	33
7	1172	33
8	1563	33
9	2969	33
done	5000	33
0	35	60
1	82	60
2	201	60
3	530	44
4	1780	41
done	5001	41
0	34	91
1	76	91
2	202	91
3	581	59
4	1941	53
done	5000	53
0	40	100
1	92	96
2	309	96
3	1532	66
done	5000	66
0	36	64
1	68	62
2	176	62
3	639	46
4	3290	43
done	5001	43
0	36	92
1	83	90
2	268	90
3	1066	60
done	5002	60
0	32	56
1	58	56
2	148	56
3	435	40
4	1740	37
done	5001	37
0	33	88
1	76	86
2	225	86
3	815	56
4	4075	53
done	5000	53
0	29	52
1	51	52
2	113	52
3	255	36
4	879	33
5	4429	33
done	5000	33
0	22	46
1	48	44
2	123	44
3	336	28
4	1106	25
5	4882	25
done	5000	25
0	18	38
1	38	38
2	85	38
3	177	22
4	460	19
5	1450	19
6	4415	19
done	5000	19
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	9	18
1	12	18
2	19	18
3	27	18
4	31	18
done	31	18
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
3	25	8
4	27	8
done	27	8
0	10	12
1	29	12
2	73	12
3	218	12
4	589	12
5	1961	12
done	5001	12
0	11	24
1	30	22
2	84	22
3	232	18
4	579	18
5	1823	18
done	5000	18
0	9	16
1	23	16
2	59	16
3	153	16
4	408	16
5	1062	16
6	3508	16
done	5000	16
0	7	8
1	11	8
2	19	8
3	31	8
4	37	8
5	41	8
6	49	8
7	67	8
8	94	8
9	157	8
10	176	8
11	191	8
12	211	8
13	212	8
done	212	8
0	9	19
1	12	19
2	19	19
3	27	19
4	31	19
done	31	19
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	9	26
1	13	26
2	22	10
3	35	7
4	41	7
5	51	7
6	72	7
7	138	7
8	355	7
9	1270	7
done	5000	7
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	9	18
1	12	18
2	19	18
3	27	18
4	31	18
done	31	18
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
3	25	8
4	27	8
done	27	8
0	10	12
1	29	12
2	73	12
3	218	12
4	589	12
5	1961	12
done	5001	12
0	11	24
1	30	22
2	84	22
3	232	18
4	579	18
5	1823	18
done	5000	18
0	9	16
1	23	16
2	59	16
3	153	16
4	408	16
5	1062	16
6	3508	16
done	5000	16
0	7	8
1	11	8
2	19	8
3	31	8
4	37	8
5	41	8
6	49	8
7	67	8
8	94	8
9	157	8
10	176	8
11	191	8
12	211	8
13	212	8
done	212	8
0	9	19
1	12	19
2	19	19
3	27	19
4	31	19
done	31	19
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	9	26
1	13	26
2	22	10
3	35	7
4	41	7
5	51	7
6	72	7
7	138	7
8	355	7
9	1270	7
done	5000	7
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	9	18
1	12	18
2	19	18
3	27	18
4	31	18
done	31	18
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
3	25	8
4	27	8
done	27	8
0	10	12
1	29	12
2	73	12
3	218	12
4	589	12
5	1961	12
done	5001	12
0	11	24
1	30	22
2	84	22
3	232	18
4	579	18
5	1823	18
done	5000	18
0	9	16
1	23	16
2	59	16
3	153	16
4	408	16
5	1062	16
6	3508	16
done	5000	16
0	7	8
1	11	8
2	19	8
3	31	8
4	37	8
5	41	8
6	49	8
7	67	8
8	94	8
9	157	8
10	176	8
11	191	8
12	211	8
13	212	8
done	212	8
0	9	19
1	12	19
2	19	19
3	27	19
4	31	19
done	31	19
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	9	26
1	13	26
2	22	10
3	35	7
4	41	7
5	51	7
6	72	7
7	138	7
8	355	7
9	1270	7
done	5000	7
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	8	9
1	11	9
2	18	9
3	26	9
done	26	9
0	14	16
1	32	16
2	80	14
3	151	14
4	214	14
5	254	14
6	340	14
7	556	14
8	833	14
9	1761	14
done	5000	14
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	10	11
1	21	11
2	40	11
3	51	11
4	63	11
5	86	11
6	133	11
7	222	11
8	457	11
9	1382	11
done	5000	11
0	23	35
1	61	31
2	190	28
3	639	26
4	2534	25
done	5000	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17
0	23	35
1	61	31
2	190	28
3	639	26
4	2534	25
done	5000	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17
0	23	35
1	61	31
2	190	28
3	639	26
4	2534	25
done	5000	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17

prune303.0ms

Filtered

73 candidates to 82 candidates (-12.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	82	6	88

Merged error: 0b

Counts

88 → 6

regimes356.0ms

Accuracy

95.8% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 24.8b

bsearch57.0ms

Steps

Iters	Range		Point
9	8048997583997.388	3.047117472374529e+21	1.696063957136378e+20
6	-1.530790709271042e+18	-2.6079741202910298e+17	-1.508109647342458e+18

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	45	86
1	65	76
done	65	76

end0.0ms

sample1.1s

Algorithm

intervals

Results

797.0ms

8009×

body

valid

Details

sample40.0ms

simplify2.1s

prune4.0ms

localize26.0ms

rewrite72.0ms

series70.0ms

simplify3.7min

prune294.0ms

localize33.0ms

rewrite151.0ms

series131.0ms

simplify14.0min

prune995.0ms

localize35.0ms

rewrite140.0ms

series90.0ms

simplify12.2min

prune1.0s

localize31.0ms

rewrite90.0ms

series82.0ms

simplify2.2min

prune303.0ms

regimes356.0ms

bsearch57.0ms

simplify5.0ms

end0.0ms

sample1.1s

Profiling