Details

sample328.0ms

Algorithm

intervals

Results

158.0ms	1173×	body	80	nan
64.0ms	414×	body	80	valid

simplify2.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	35
1	54	35
2	170	35
3	651	35
4	4107	35
done	5000	35

prune6.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: 28.9b

Counts

2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
11.8b	(pow (/ d l) (/ 1.0 2.0))
13.8b	(pow (/ d h) (/ 1.0 2.0))
14.7b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

205×	`add-exp-log`
107×	`prod-exp`
55×	`div-exp`
45×	`times-frac`
40×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `pow-exp`
30×	`add-cbrt-cube`
26×	`unpow-prod-down` `pow-unpow`
16×	`associate-r`
14×	`pow-to-exp`
13×	`cbrt-unprod`
10×	`pow1`
5×	`cbrt-undiv` `div-inv`
4×	`add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`distribute-rgt-in` `sub-neg` `pow-pow` `distribute-lft-in` `associate-l` `pow-prod-down` `*-commutative` `sqr-pow`
1×	`frac-times` `flip3--` `flip--`

Counts

4 → 176

Calls

4 calls:

16.0ms	(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
6.0ms	(pow (/ d l) (/ 1.0 2.0))
6.0ms	(pow (/ d h) (/ 1.0 2.0))
15.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

series625.0ms

Counts

4 → 12

Calls

4 calls:

318.0ms	(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
15.0ms	(pow (/ d l) (/ 1.0 2.0))
18.0ms	(pow (/ d h) (/ 1.0 2.0))
273.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

simplify12.4min

Counts

188 → 188

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	15	17
1	36	17
2	95	17
3	251	17
4	789	17
5	3060	17
done	5000	17
0	22	25
1	43	25
2	115	25
3	380	25
4	1563	25
done	5001	25
0	21	24
1	41	24
2	106	24
3	330	24
4	1322	24
done	5000	24
0	22	24
1	43	24
2	108	24
3	358	24
4	1438	24
done	5000	24
0	21	23
1	41	23
2	99	23
3	308	23
4	1216	23
done	5000	23
0	21	24
1	43	24
2	103	24
3	341	24
4	1296	24
done	5000	24
0	20	23
1	41	23
2	94	23
3	293	23
4	1108	23
done	5001	23
0	21	23
1	43	23
2	99	23
3	321	23
4	1188	23
done	5000	23
0	20	22
1	41	22
2	90	22
3	273	22
4	998	22
5	4958	22
done	5000	22
0	20	22
1	45	22
2	121	22
3	347	22
4	1031	22
5	4497	22
done	5000	22
0	19	21
1	43	21
2	112	21
3	301	21
4	897	21
5	3927	21
done	5000	21
0	20	22
1	45	22
2	121	22
3	347	22
4	1031	22
5	4497	22
done	5000	22
0	19	21
1	43	21
2	112	21
3	301	21
4	897	21
5	3927	21
done	5000	21
0	20	22
1	47	22
2	127	22
3	387	22
4	1361	22
done	5000	22
0	19	21
1	45	21
2	118	21
3	341	21
4	1191	21
done	5000	21
0	22	24
1	41	24
2	101	24
3	301	24
4	1186	24
done	5001	24
0	21	23
1	39	23
2	94	23
3	266	23
4	1019	23
5	4846	23
done	5000	23
0	21	23
1	41	23
2	94	23
3	279	23
4	1079	23
5	4873	23
done	5000	23
0	20	22
1	39	22
2	87	22
3	244	22
4	917	22
5	4153	22
done	5000	22
0	21	23
1	41	23
2	89	23
3	269	23
4	974	23
5	4731	23
done	5000	23
0	20	22
1	39	22
2	82	22
3	234	22
4	840	22
5	4073	22
done	5000	22
0	20	22
1	41	22
2	85	22
3	247	22
4	871	22
5	4002	22
done	5000	22
0	19	21
1	39	21
2	78	21
3	214	21
4	747	21
5	3482	21
done	5000	21
0	19	21
1	43	21
2	107	21
3	278	21
4	766	21
5	3001	21
done	5000	21
0	18	20
1	41	20
2	100	20
3	249	20
4	678	20
5	2665	20
done	5000	20
0	19	21
1	43	21
2	107	21
3	278	21
4	766	21
5	3001	21
done	5000	21
0	18	20
1	41	20
2	100	20
3	249	20
4	678	20
5	2665	20
done	5000	20
0	19	21
1	45	21
2	113	21
3	316	21
4	1061	21
done	5000	21
0	18	20
1	43	20
2	106	20
3	283	20
4	942	20
done	5001	20
0	18	20
1	42	20
2	100	20
3	274	20
4	875	20
5	4522	20
done	5000	20
0	17	19
1	40	19
2	95	19
3	251	19
4	797	19
5	4083	19
done	5001	19
0	16	18
1	40	18
2	114	18
3	325	18
4	1146	18
5	4981	18
done	5000	18
0	16	18
1	39	18
2	108	18
3	295	18
4	939	18
5	3931	18
done	5000	18
0	25	53
1	69	45
2	285	27
3	2044	23
done	5000	23
0	23	53
1	65	45
2	252	25
3	1574	23
done	5001	23
0	23	53
1	65	45
2	251	25
3	1572	23
done	5000	23
0	21	53
1	61	45
2	218	23
3	1123	23
done	5000	23
0	21	53
1	61	53
2	252	23
3	1673	21
done	5001	21
0	19	53
1	57	53
2	219	21
3	1264	21
done	5000	21
0	17	37
1	38	37
2	97	37
3	253	37
4	778	37
5	3064	37
done	5001	37
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	17	53
1	48	53
2	203	19
3	1354	19
done	5000	19
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	12	13
1	29	13
2	67	13
3	138	13
4	278	13
5	701	13
6	2280	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	17	23
1	38	23
2	98	23
3	252	23
4	682	23
5	2292	23
done	5000	23
0	16	18
1	35	18
2	84	18
3	188	18
4	447	18
5	1373	18
done	5000	18
0	19	25
1	46	25
2	139	25
3	494	25
4	2065	25
done	5000	25
0	18	22
1	41	22
2	109	22
3	329	22
4	1147	22
done	5000	22
0	17	21
1	42	19
2	116	19
3	380	19
4	1453	19
done	5001	19
0	18	22
1	41	22
2	110	22
3	336	22
4	1209	22
done	5000	22
0	17	19
1	38	19
2	97	19
3	255	19
4	783	19
5	3063	19
done	5000	19
0	16	18
1	39	16
2	98	16
3	259	16
4	869	16
5	3494	16
done	5000	16
0	17	21
1	42	21
2	110	19
3	399	19
4	1393	19
done	5000	19
0	16	18
1	39	18
2	98	16
3	301	16
4	883	16
5	2680	16
done	5001	16
0	14	17
1	37	15
2	93	13
3	256	13
4	728	13
5	2035	13
done	5000	13
0	13	15
1	34	13
2	89	13
3	210	13
4	458	13
5	982	13
6	2878	13
done	5000	13
0	13	15
1	32	15
2	81	15
3	183	15
4	440	15
5	1346	15
done	5000	15
0	12	13
1	28	13
2	63	13
3	131	13
4	264	13
5	677	13
6	2317	13
done	5000	13
0	13	15
1	32	15
2	81	15
3	183	15
4	440	15
5	1346	15
done	5000	15
0	14	15
1	33	15
2	79	15
3	186	15
4	467	15
5	1464	15
done	5000	15
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	8	8
1	14	8
2	19	8
3	39	8
4	59	8
5	80	8
6	91	8
done	91	8
0	8	8
1	14	8
2	19	8
3	39	8
4	59	8
5	80	8
6	91	8
done	91	8
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	9	13
1	13	13
2	20	13
3	44	13
4	103	13
5	262	13
6	886	13
7	3288	13
done	5001	13
0	8	8
1	12	8
2	17	8
3	35	8
4	75	8
5	184	8
6	561	8
7	2173	8
done	5000	8
0	11	15
1	21	15
2	43	15
3	108	15
4	326	15
5	957	15
6	3850	15
done	5000	15
0	10	12
1	16	12
2	27	12
3	65	12
4	184	12
5	518	12
6	2204	12
done	5001	12
0	9	11
1	17	9
2	34	9
3	71	9
4	154	9
5	376	9
6	1371	9
7	4828	9
done	5000	9
0	10	12
1	16	12
2	25	12
3	59	12
4	153	12
5	417	12
6	1828	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1134	9
done	5001	9
0	8	8
1	14	6
2	23	6
3	41	6
4	83	6
5	180	6
6	622	6
7	2356	6
done	5001	6
0	9	11
1	17	11
2	26	11
3	61	11
4	145	11
5	445	11
6	1694	11
done	5000	11
0	8	8
1	14	8
2	21	8
3	47	8
4	102	8
5	273	8
6	822	8
7	2556	8
done	5000	8
0	6	7
1	13	5
2	20	3
3	31	3
4	55	3
5	114	3
6	327	3
7	1264	3
done	5000	3
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	9	13
1	13	13
2	20	13
3	45	13
4	106	13
5	276	13
6	1136	13
done	5000	13
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	11	15
1	21	15
2	37	15
3	68	15
4	129	15
5	296	15
6	1142	15
done	5000	15
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	10	12
1	16	12
2	25	12
3	51	12
4	114	12
5	282	12
6	1143	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	11
1	17	9
2	30	9
3	60	9
4	120	9
5	287	9
6	1003	9
7	4570	9
done	5000	9
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	10	12
1	16	12
2	23	12
3	48	12
4	111	12
5	283	12
6	1139	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	8	8
1	14	6
2	23	6
3	48	6
4	108	6
5	274	6
6	975	6
7	4493	6
done	5000	6
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	9	11
1	17	11
2	24	11
3	49	11
4	111	11
5	279	11
6	997	11
7	4614	11
done	5000	11
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	14	8
2	21	8
3	46	8
4	106	8
5	273	8
6	990	8
7	4507	8
done	5001	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	6	7
1	12	5
2	19	1
3	35	1
4	66	1
5	111	1
6	165	1
7	485	1
8	1891	1
done	5001	1
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	7	7
1	13	7
2	20	7
3	45	7
4	105	7
5	271	7
6	996	7
7	4500	7
done	5001	7
0	8	8
1	14	8
2	29	8
3	64	8
4	185	8
5	644	8
6	3212	8
done	5001	8
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	351	8
6	1451	8
done	5000	8
0	9	17
1	13	17
2	20	17
3	45	17
4	106	17
5	274	17
6	1130	17
done	5001	17
0	8	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1127	8
done	5000	8
0	9	23
1	16	17
2	41	9
3	105	9
4	288	9
5	1091	9
done	5000	9
0	8	8
1	12	8
2	20	8
3	45	8
4	106	8
5	275	8
6	1128	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	45	8
4	106	8
5	275	8
6	1128	8
done	5000	8
0	9	9
1	14	9
2	27	9
3	56	9
4	139	9
5	380	9
6	1596	9
done	5000	9
0	9	9
1	14	9
2	27	9
3	56	9
4	139	9
5	380	9
6	1596	9
done	5000	9
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	8	8
1	14	8
2	19	8
3	39	8
4	59	8
5	80	8
6	91	8
done	91	8
0	8	8
1	14	8
2	19	8
3	39	8
4	59	8
5	80	8
6	91	8
done	91	8
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	9	13
1	13	13
2	20	13
3	44	13
4	103	13
5	262	13
6	886	13
7	3288	13
done	5001	13
0	8	8
1	12	8
2	17	8
3	35	8
4	75	8
5	184	8
6	561	8
7	2173	8
done	5000	8
0	11	15
1	21	15
2	43	15
3	108	15
4	326	15
5	957	15
6	3850	15
done	5000	15
0	10	12
1	16	12
2	27	12
3	65	12
4	184	12
5	518	12
6	2204	12
done	5001	12
0	9	11
1	17	9
2	34	9
3	71	9
4	154	9
5	376	9
6	1371	9
7	4828	9
done	5000	9
0	10	12
1	16	12
2	25	12
3	59	12
4	153	12
5	417	12
6	1828	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1134	9
done	5001	9
0	8	8
1	14	6
2	23	6
3	41	6
4	83	6
5	180	6
6	622	6
7	2356	6
done	5001	6
0	9	11
1	17	11
2	26	11
3	61	11
4	145	11
5	445	11
6	1694	11
done	5000	11
0	8	8
1	14	8
2	21	8
3	47	8
4	102	8
5	273	8
6	822	8
7	2556	8
done	5000	8
0	6	7
1	13	5
2	20	3
3	31	3
4	55	3
5	114	3
6	327	3
7	1264	3
done	5000	3
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	9	13
1	13	13
2	20	13
3	45	13
4	106	13
5	276	13
6	1136	13
done	5000	13
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	11	15
1	21	15
2	37	15
3	68	15
4	129	15
5	296	15
6	1142	15
done	5000	15
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	10	12
1	16	12
2	25	12
3	51	12
4	114	12
5	282	12
6	1143	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	11
1	17	9
2	30	9
3	60	9
4	120	9
5	287	9
6	1003	9
7	4570	9
done	5000	9
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	10	12
1	16	12
2	23	12
3	48	12
4	111	12
5	283	12
6	1139	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	8	8
1	14	6
2	23	6
3	48	6
4	108	6
5	274	6
6	975	6
7	4493	6
done	5000	6
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	9	11
1	17	11
2	24	11
3	49	11
4	111	11
5	279	11
6	997	11
7	4614	11
done	5000	11
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	14	8
2	21	8
3	46	8
4	106	8
5	273	8
6	990	8
7	4507	8
done	5001	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	6	7
1	12	5
2	19	1
3	35	1
4	66	1
5	111	1
6	165	1
7	485	1
8	1891	1
done	5001	1
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	7	7
1	13	7
2	20	7
3	45	7
4	105	7
5	271	7
6	996	7
7	4500	7
done	5001	7
0	8	8
1	14	8
2	29	8
3	64	8
4	185	8
5	644	8
6	3212	8
done	5001	8
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	351	8
6	1451	8
done	5000	8
0	9	17
1	13	17
2	20	17
3	45	17
4	106	17
5	274	17
6	1130	17
done	5001	17
0	8	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1127	8
done	5000	8
0	9	23
1	16	17
2	41	9
3	105	9
4	288	9
5	1091	9
done	5000	9
0	8	8
1	12	8
2	20	8
3	45	8
4	106	8
5	275	8
6	1128	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	45	8
4	106	8
5	275	8
6	1128	8
done	5000	8
0	9	9
1	14	9
2	27	9
3	56	9
4	139	9
5	380	9
6	1596	9
done	5000	9
0	9	9
1	14	9
2	27	9
3	56	9
4	139	9
5	380	9
6	1596	9
done	5000	9
0	22	35
1	54	35
2	170	35
3	651	35
4	4107	35
done	5000	35
0	26	40
1	65	36
2	171	36
3	526	36
4	1701	35
done	5001	35
0	26	39
1	65	35
2	167	35
3	493	35
4	1633	35
done	5000	35
0	26	39
1	65	35
2	167	35
3	493	35
4	1633	35
done	5000	35
0	26	39
1	63	39
2	169	35
3	507	35
4	1720	35
done	5000	35
0	26	39
1	65	35
2	166	35
3	490	35
4	1625	35
done	5000	35
0	25	38
1	65	34
2	160	34
3	456	34
4	1570	34
done	5000	34
0	25	38
1	65	34
2	160	34
3	456	34
4	1570	34
done	5000	34
0	25	38
1	63	38
2	164	34
3	482	34
4	1662	34
done	5001	34
0	26	39
1	65	35
2	166	35
3	490	35
4	1625	35
done	5000	35
0	25	38
1	65	34
2	160	34
3	456	34
4	1570	34
done	5000	34
0	25	38
1	65	34
2	160	34
3	456	34
4	1570	34
done	5000	34
0	25	38
1	63	38
2	164	34
3	482	34
4	1662	34
done	5001	34
0	26	39
1	63	39
2	169	35
3	507	35
4	1725	35
done	5000	35
0	25	38
1	63	38
2	164	34
3	482	34
4	1658	34
done	5000	34
0	25	38
1	63	38
2	164	34
3	482	34
4	1658	34
done	5000	34
0	25	38
1	61	38
2	168	34
3	493	34
4	1726	34
done	5000	34
0	24	37
1	57	37
2	164	37
3	520	34
4	1897	34
done	5000	34
0	23	36
1	58	36
2	181	36
3	696	36
4	4262	34
done	5000	34
0	23	36
1	57	36
2	183	36
3	710	36
4	4499	36
done	5000	36
0	28	107
1	72	95
2	269	41
3	1392	41
done	5001	41
0	26	107
1	71	107
2	274	39
3	1583	39
done	5001	39
0	24	73
1	56	73
2	172	73
3	653	73
4	4083	73
done	5000	73
0	23	36
1	55	36
2	171	36
3	652	36
4	4091	36
done	5000	36
0	24	107
1	66	107
2	264	37
3	1630	37
done	5000	37
0	23	36
1	55	36
2	171	36
3	652	36
4	4091	36
done	5000	36
0	23	36
1	55	36
2	171	36
3	652	36
4	4091	36
done	5000	36
0	12	17
1	22	17
2	54	17
3	165	17
4	620	17
5	3111	17
done	5001	17
0	22	34
1	58	34
2	201	34
3	1032	34
done	5000	34
0	12	17
1	22	17
2	54	17
3	165	17
4	620	17
5	3111	17
done	5001	17
0	22	34
1	58	34
2	201	34
3	1032	34
done	5000	34
0	12	17
1	22	17
2	54	17
3	164	17
4	614	17
5	3110	17
done	5000	17
0	22	34
1	58	34
2	201	34
3	1046	34
done	5001	34
0	12	17
1	22	17
2	54	17
3	164	17
4	614	17
5	3110	17
done	5000	17
0	22	34
1	58	34
2	201	34
3	1046	34
done	5001	34
0	24	57
1	58	57
2	171	57
3	575	57
4	2253	57
done	5000	57
0	23	36
1	55	36
2	159	36
3	504	36
4	1894	36
done	5001	36
0	13	17
1	25	15
2	63	15
3	181	15
4	568	15
5	2312	15
done	5000	15
0	19	27
1	46	27
2	135	27
3	448	27
4	2030	27
done	5001	27
0	25	39
1	72	39
2	263	39
3	1602	39
done	5000	39
0	24	55
1	66	55
2	257	55
3	1469	47
done	5001	47
0	33	44
1	84	41
2	202	35
3	762	29
done	5000	29
0	34	46
1	89	40
2	197	34
3	539	31
4	2017	27
done	5001	27
0	35	46
1	88	43
2	190	37
3	577	31
4	2103	31
done	5001	31
0	11	11
1	21	10
2	46	8
3	98	8
4	176	5
5	335	5
6	740	5
7	2225	5
done	5000	5
0	13	15
1	29	12
2	60	9
3	134	8
4	251	7
5	501	5
6	1071	5
7	3072	5
done	5001	5
0	14	15
1	29	14
2	68	12
3	208	12
4	583	9
5	1440	5
6	3719	5
done	5000	5
0	11	11
1	21	10
2	46	8
3	98	8
4	176	5
5	335	5
6	740	5
7	2225	5
done	5000	5
0	13	15
1	29	12
2	60	9
3	160	8
4	279	7
5	544	5
6	1135	5
7	3179	5
done	5001	5
0	14	15
1	29	14
2	68	12
3	208	12
4	583	9
5	1440	5
6	3719	5
done	5000	5
0	26	36
1	68	33
2	132	27
3	348	21
4	1187	21
done	5000	21
0	64	125
1	179	109
2	451	91
3	1715	83
done	5000	83
0	65	125
1	176	117
2	435	99
3	1750	83
done	5000	83

prune771.0ms

Filtered

149 candidates to 188 candidates (-26.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	166	22	188
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	167	22	189

Merged error: 13.1b

Counts

189 → 22

localize36.0ms

Local error

Found 4 expressions with local error:

5.0b	(/ (* M D) (* 2.0 d))
6.5b	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
11.8b	(pow (/ d l) (/ 1.0 2.0))
14.7b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

818×	`add-exp-log`
567×	`prod-exp`
280×	`pow-exp`
187×	`div-exp`
94×	`pow-to-exp`
46×	`add-cbrt-cube`
32×	`rec-exp` `1-exp`
28×	`times-frac`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
20×	`cbrt-unprod`
16×	`associate-r`
13×	`unpow-prod-down` `pow-unpow`
9×	`pow1` `cbrt-undiv`
4×	`div-inv` `add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `pow-prod-down` `*-commutative`
1×	`frac-times` `flip3--` `pow-pow` `frac-2neg` `clear-num` `associate-/r` `flip--` `associate-/l` `sqr-pow`

Counts

4 → 292

Calls

4 calls:

13.0ms	(/ (* M D) (* 2.0 d))
30.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
6.0ms	(pow (/ d l) (/ 1.0 2.0))
15.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

series659.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ (* M D) (* 2.0 d))
366.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
15.0ms	(pow (/ d l) (/ 1.0 2.0))
271.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

simplify11.5min

Counts

304 → 304

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	15	17
1	36	17
2	95	17
3	251	17
4	789	17
5	3060	17
done	5000	17
0	22	25
1	43	25
2	115	25
3	380	25
4	1563	25
done	5001	25
0	21	24
1	41	24
2	106	24
3	330	24
4	1322	24
done	5000	24
0	22	24
1	43	24
2	108	24
3	358	24
4	1438	24
done	5000	24
0	21	23
1	41	23
2	99	23
3	308	23
4	1216	23
done	5000	23
0	21	24
1	43	24
2	103	24
3	341	24
4	1296	24
done	5000	24
0	20	23
1	41	23
2	94	23
3	293	23
4	1108	23
done	5001	23
0	21	23
1	43	23
2	99	23
3	321	23
4	1188	23
done	5000	23
0	20	22
1	41	22
2	90	22
3	273	22
4	998	22
5	4958	22
done	5000	22
0	20	22
1	45	22
2	121	22
3	347	22
4	1031	22
5	4497	22
done	5000	22
0	19	21
1	43	21
2	112	21
3	301	21
4	897	21
5	3927	21
done	5000	21
0	20	22
1	45	22
2	121	22
3	347	22
4	1031	22
5	4497	22
done	5000	22
0	19	21
1	43	21
2	112	21
3	301	21
4	897	21
5	3927	21
done	5000	21
0	20	22
1	47	22
2	127	22
3	387	22
4	1361	22
done	5000	22
0	19	21
1	45	21
2	118	21
3	341	21
4	1191	21
done	5000	21
0	22	24
1	41	24
2	101	24
3	301	24
4	1186	24
done	5001	24
0	21	23
1	39	23
2	94	23
3	266	23
4	1019	23
5	4846	23
done	5000	23
0	21	23
1	41	23
2	94	23
3	279	23
4	1079	23
5	4873	23
done	5000	23
0	20	22
1	39	22
2	87	22
3	244	22
4	917	22
5	4153	22
done	5000	22
0	21	23
1	41	23
2	89	23
3	269	23
4	974	23
5	4731	23
done	5000	23
0	20	22
1	39	22
2	82	22
3	234	22
4	840	22
5	4073	22
done	5000	22
0	20	22
1	41	22
2	85	22
3	247	22
4	871	22
5	4002	22
done	5000	22
0	19	21
1	39	21
2	78	21
3	214	21
4	747	21
5	3482	21
done	5000	21
0	19	21
1	43	21
2	107	21
3	278	21
4	766	21
5	3001	21
done	5000	21
0	18	20
1	41	20
2	100	20
3	249	20
4	678	20
5	2665	20
done	5000	20
0	19	21
1	43	21
2	107	21
3	278	21
4	766	21
5	3001	21
done	5000	21
0	18	20
1	41	20
2	100	20
3	249	20
4	678	20
5	2665	20
done	5000	20
0	19	21
1	45	21
2	113	21
3	316	21
4	1061	21
done	5000	21
0	18	20
1	43	20
2	106	20
3	283	20
4	942	20
done	5001	20
0	18	20
1	42	20
2	100	20
3	274	20
4	875	20
5	4522	20
done	5000	20
0	17	19
1	40	19
2	95	19
3	251	19
4	797	19
5	4083	19
done	5001	19
0	16	18
1	40	18
2	114	18
3	325	18
4	1146	18
5	4981	18
done	5000	18
0	16	18
1	39	18
2	108	18
3	295	18
4	939	18
5	3931	18
done	5000	18
0	25	53
1	69	45
2	285	27
3	2044	23
done	5000	23
0	23	53
1	65	45
2	252	25
3	1574	23
done	5001	23
0	23	53
1	65	45
2	251	25
3	1572	23
done	5000	23
0	21	53
1	61	45
2	218	23
3	1123	23
done	5000	23
0	21	53
1	61	53
2	252	23
3	1673	21
done	5001	21
0	19	53
1	57	53
2	219	21
3	1264	21
done	5000	21
0	17	37
1	38	37
2	97	37
3	253	37
4	778	37
5	3064	37
done	5001	37
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	17	53
1	48	53
2	203	19
3	1354	19
done	5000	19
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	12	13
1	29	13
2	67	13
3	138	13
4	278	13
5	701	13
6	2280	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	17	23
1	38	23
2	98	23
3	252	23
4	682	23
5	2292	23
done	5000	23
0	16	18
1	35	18
2	84	18
3	188	18
4	447	18
5	1373	18
done	5000	18
0	19	25
1	46	25
2	139	25
3	494	25
4	2065	25
done	5000	25
0	18	22
1	41	22
2	109	22
3	329	22
4	1147	22
done	5000	22
0	17	21
1	42	19
2	116	19
3	380	19
4	1453	19
done	5001	19
0	18	22
1	41	22
2	110	22
3	336	22
4	1209	22
done	5000	22
0	17	19
1	38	19
2	97	19
3	255	19
4	783	19
5	3063	19
done	5000	19
0	16	18
1	39	16
2	98	16
3	259	16
4	869	16
5	3494	16
done	5000	16
0	17	21
1	42	21
2	110	19
3	399	19
4	1393	19
done	5000	19
0	16	18
1	39	18
2	98	16
3	301	16
4	883	16
5	2680	16
done	5001	16
0	14	17
1	37	15
2	93	13
3	256	13
4	728	13
5	2035	13
done	5000	13
0	13	15
1	34	13
2	89	13
3	210	13
4	458	13
5	982	13
6	2878	13
done	5000	13
0	13	15
1	32	15
2	81	15
3	183	15
4	440	15
5	1346	15
done	5000	15
0	12	13
1	28	13
2	63	13
3	131	13
4	264	13
5	677	13
6	2317	13
done	5000	13
0	13	15
1	32	15
2	81	15
3	183	15
4	440	15
5	1346	15
done	5000	15
0	14	15
1	33	15
2	79	15
3	186	15
4	467	15
5	1464	15
done	5000	15
0	9	9
1	14	9
2	24	9
3	48	9
4	71	9
5	87	9
6	98	9
done	98	9
0	8	8
1	14	8
2	19	8
3	39	8
4	59	8
5	80	8
6	91	8
done	91	8
0	8	8
1	14	8
2	19	8
3	39	8
4	59	8
5	80	8
6	91	8
done	91	8
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	9	13
1	13	13
2	20	13
3	44	13
4	103	13
5	262	13
6	886	13
7	3288	13
done	5001	13
0	8	8
1	12	8
2	17	8
3	35	8
4	75	8
5	184	8
6	561	8
7	2173	8
done	5000	8
0	11	15
1	21	15
2	43	15
3	108	15
4	326	15
5	957	15
6	3850	15
done	5000	15
0	10	12
1	16	12
2	27	12
3	65	12
4	184	12
5	518	12
6	2204	12
done	5001	12
0	9	11
1	17	9
2	34	9
3	71	9
4	154	9
5	376	9
6	1371	9
7	4828	9
done	5000	9
0	10	12
1	16	12
2	25	12
3	59	12
4	153	12
5	417	12
6	1828	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1134	9
done	5001	9
0	8	8
1	14	6
2	23	6
3	41	6
4	83	6
5	180	6
6	622	6
7	2356	6
done	5001	6
0	9	11
1	17	11
2	26	11
3	61	11
4	145	11
5	445	11
6	1694	11
done	5000	11
0	8	8
1	14	8
2	21	8
3	47	8
4	102	8
5	273	8
6	822	8
7	2556	8
done	5000	8
0	6	7
1	13	5
2	20	3
3	31	3
4	55	3
5	114	3
6	327	3
7	1264	3
done	5000	3
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	9	13
1	13	13
2	20	13
3	45	13
4	106	13
5	276	13
6	1136	13
done	5000	13
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	11	15
1	21	15
2	37	15
3	68	15
4	129	15
5	296	15
6	1142	15
done	5000	15
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	10	12
1	16	12
2	25	12
3	51	12
4	114	12
5	282	12
6	1143	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	11
1	17	9
2	30	9
3	60	9
4	120	9
5	287	9
6	1003	9
7	4570	9
done	5000	9
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	10	12
1	16	12
2	23	12
3	48	12
4	111	12
5	283	12
6	1139	12
done	5000	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	8	8
1	14	6
2	23	6
3	48	6
4	108	6
5	274	6
6	975	6
7	4493	6
done	5000	6
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	9	11
1	17	11
2	24	11
3	49	11
4	111	11
5	279	11
6	997	11
7	4614	11
done	5000	11
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	8	8
1	14	8
2	21	8
3	46	8
4	106	8
5	273	8
6	990	8
7	4507	8
done	5001	8
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	6	7
1	12	5
2	19	1
3	35	1
4	66	1
5	111	1
6	165	1
7	485	1
8	1891	1
done	5001	1
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	7	7
1	11	7
2	18	7
3	43	7
4	104	7
5	276	7
6	1132	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	7	7
1	13	7
2	20	7
3	45	7
4	105	7
5	271	7
6	996	7
7	4500	7
done	5001	7
0	8	8
1	14	8
2	29	8
3	64	8
4	185	8
5	644	8
6	3212	8
done	5001	8
0	8	8
1	12	8
2	21	8
3	51	8
4	127	8
5	351	8
6	1451	8
done	5000	8
0	9	17
1	13	17
2	20	17
3	45	17
4	106	17
5	274	17
6	1130	17
done	5001	17
0	8	8
1	12	8
2	19	8
3	44	8
4	105	8
5	269	8
6	1127	8
done	5000	8
0	9	23
1	16	17
2	41	9
3	105	9
4	288	9
5	1091	9
done	5000	9
0	8	8
1	12	8
2	20	8
3	45	8
4	106	8
5	275	8
6	1128	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	45	8
4	106	8
5	275	8
6	1128	8
done	5000	8
0	9	9
1	14	9
2	27	9
3	56	9
4	139	9
5	380	9
6	1596	9
done	5000	9
0	9	9
1	14	9
2	27	9
3	56	9
4	139	9
5	380	9
6	1596	9
done	5000	9
0	28	48
1	69	48
2	212	48
3	909	48
done	5000	48
0	31	54
1	80	48
2	222	43
3	716	43
4	2486	40
done	5001	40
0	31	53
1	80	47
2	219	42
3	686	42
4	2335	39
done	5001	39
0	31	53
1	80	47
2	219	42
3	686	42
4	2335	39
done	5001	39
0	31	53
1	80	47
2	229	42
3	725	42
4	2544	39
done	5000	39
0	32	53
1	81	47
2	220	42
3	686	42
4	2368	40
done	5001	40
0	31	52
1	81	46
2	215	41
3	654	41
4	2241	39
done	5001	39
0	31	52
1	81	46
2	215	41
3	654	41
4	2241	39
done	5001	39
0	31	52
1	81	46
2	225	41
3	694	41
4	2403	39
done	5000	39
0	32	53
1	81	47
2	220	42
3	686	42
4	2368	40
done	5001	40
0	31	52
1	81	46
2	215	41
3	654	41
4	2241	39
done	5001	39
0	31	52
1	81	46
2	215	41
3	654	41
4	2241	39
done	5001	39
0	31	52
1	81	46
2	225	41
3	694	41
4	2403	39
done	5000	39
0	32	53
1	80	51
2	221	46
3	693	42
4	2436	42
done	5000	42
0	31	52
1	80	50
2	216	45
3	665	41
4	2283	41
done	5000	41
0	31	52
1	80	50
2	216	45
3	665	41
4	2283	41
done	5000	41
0	31	52
1	78	50
2	221	45
3	686	41
4	2446	41
done	5000	41
0	32	53
1	80	49
2	212	44
3	655	43
4	2329	40
done	5000	40
0	32	52
1	80	48
2	209	43
3	626	42
4	2197	39
done	5001	39
0	32	52
1	80	48
2	209	43
3	626	42
4	2197	39
done	5001	39
0	32	52
1	80	48
2	219	43
3	669	42
4	2398	39
done	5000	39
0	32	52
1	80	48
2	208	43
3	622	42
4	2195	40
done	5000	40
0	31	51
1	80	47
2	203	42
3	592	41
4	2076	39
done	5000	39
0	31	51
1	80	47
2	203	42
3	592	41
4	2076	39
done	5000	39
0	31	51
1	80	47
2	213	42
3	630	41
4	2219	39
done	5000	39
0	32	52
1	80	48
2	208	43
3	622	42
4	2195	40
done	5000	40
0	31	51
1	80	47
2	203	42
3	592	41
4	2076	39
done	5000	39
0	31	51
1	80	47
2	203	42
3	592	41
4	2076	39
done	5000	39
0	31	51
1	80	47
2	213	42
3	630	41
4	2219	39
done	5000	39
0	32	52
1	79	52
2	211	47
3	642	42
4	2271	42
done	5000	42
0	31	51
1	79	51
2	206	46
3	614	41
4	2150	41
done	5000	41
0	31	51
1	79	51
2	206	46
3	614	41
4	2150	41
done	5000	41
0	31	51
1	77	51
2	211	46
3	637	41
4	2279	41
done	5000	41
0	32	55
1	82	48
2	235	43
3	780	43
4	3036	40
done	5000	40
0	32	54
1	82	47
2	232	42
3	744	42
4	2875	39
done	5000	39
0	32	54
1	82	47
2	232	42
3	744	42
4	2875	39
done	5000	39
0	32	54
1	82	47
2	242	42
3	785	42
4	3046	39
done	5000	39
0	33	54
1	82	47
2	231	42
3	739	42
4	2878	40
done	5000	40
0	32	53
1	82	46
2	226	41
3	705	41
4	2710	39
done	5000	39
0	32	53
1	82	46
2	226	41
3	705	41
4	2710	39
done	5000	39
0	32	53
1	82	46
2	236	41
3	743	41
4	2875	39
done	5000	39
0	33	54
1	82	47
2	231	42
3	739	42
4	2878	40
done	5000	40
0	32	53
1	82	46
2	226	41
3	705	41
4	2710	39
done	5000	39
0	32	53
1	82	46
2	226	41
3	705	41
4	2710	39
done	5000	39
0	32	53
1	82	46
2	236	41
3	743	41
4	2875	39
done	5000	39
0	33	54
1	81	51
2	229	46
3	720	42
4	2775	42
done	5001	42
0	32	53
1	81	50
2	224	45
3	688	41
4	2626	41
done	5000	41
0	32	53
1	81	50
2	224	45
3	688	41
4	2626	41
done	5000	41
0	32	53
1	79	50
2	229	45
3	711	41
4	2768	41
done	5000	41
0	33	54
1	81	49
2	226	44
3	737	43
4	2919	43
done	5000	43
0	33	53
1	81	48
2	223	43
3	706	42
4	2741	42
done	5000	42
0	33	53
1	81	48
2	223	43
3	706	42
4	2741	42
done	5000	42
0	33	53
1	81	48
2	233	43
3	747	42
4	2921	42
done	5000	42
0	33	53
1	81	48
2	222	43
3	704	42
4	2734	42
done	5000	42
0	32	52
1	81	47
2	217	42
3	668	41
4	2575	41
done	5001	41
0	32	52
1	81	47
2	217	42
3	668	41
4	2575	41
done	5001	41
0	32	52
1	81	47
2	227	42
3	709	41
4	2739	41
done	5000	41
0	33	53
1	81	48
2	222	43
3	704	42
4	2734	42
done	5000	42
0	32	52
1	81	47
2	217	42
3	668	41
4	2575	41
done	5001	41
0	32	52
1	81	47
2	217	42
3	668	41
4	2575	41
done	5001	41
0	32	52
1	81	47
2	227	42
3	709	41
4	2739	41
done	5000	41
0	33	53
1	80	52
2	222	47
3	699	42
4	2708	42
done	5000	42
0	32	52
1	80	51
2	217	46
3	667	41
4	2537	41
done	5001	41
0	32	52
1	80	51
2	217	46
3	667	41
4	2537	41
done	5001	41
0	32	52
1	78	51
2	222	46
3	690	41
4	2692	41
done	5000	41
0	33	56
1	85	49
2	230	43
3	771	43
4	2968	40
done	5000	40
0	33	55
1	85	48
2	227	42
3	737	42
4	2808	39
done	5000	39
0	33	55
1	85	48
2	227	42
3	737	42
4	2808	39
done	5000	39
0	33	55
1	85	48
2	237	42
3	780	42
4	2988	39
done	5001	39
0	34	55
1	85	48
2	226	42
3	732	42
4	2823	40
done	5000	40
0	33	54
1	85	47
2	221	41
3	696	41
4	2656	39
done	5000	39
0	33	54
1	85	47
2	221	41
3	696	41
4	2656	39
done	5000	39
0	33	54
1	85	47
2	231	41
3	740	41
4	2800	39
done	5000	39
0	34	55
1	85	48
2	226	42
3	732	42
4	2823	40
done	5000	40
0	33	54
1	85	47
2	221	41
3	696	41
4	2656	39
done	5000	39
0	33	54
1	85	47
2	221	41
3	696	41
4	2656	39
done	5000	39
0	33	54
1	85	47
2	231	41
3	740	41
4	2800	39
done	5000	39
0	34	55
1	84	52
2	223	46
3	709	42
4	2715	42
done	5001	42
0	33	54
1	84	51
2	218	45
3	679	41
4	2543	41
done	5001	41
0	33	54
1	84	51
2	218	45
3	679	41
4	2543	41
done	5001	41
0	33	54
1	82	51
2	223	45
3	701	41
4	2697	41
done	5000	41
0	34	55
1	84	50
2	223	44
3	734	43
4	2864	43
done	5000	43
0	34	54
1	84	49
2	220	43
3	699	42
4	2686	42
done	5000	42
0	34	54
1	84	49
2	220	43
3	699	42
4	2686	42
done	5000	42
0	34	54
1	84	49
2	230	43
3	746	42
4	2871	42
done	5000	42
0	34	54
1	84	49
2	219	43
3	694	42
4	2683	42
done	5000	42
0	33	53
1	84	48
2	214	42
3	658	41
4	2508	41
done	5000	41
0	33	53
1	84	48
2	214	42
3	658	41
4	2508	41
done	5000	41
0	33	53
1	84	48
2	224	42
3	701	41
4	2676	41
done	5000	41
0	34	54
1	84	49
2	219	43
3	694	42
4	2683	42
done	5000	42
0	33	53
1	84	48
2	214	42
3	658	41
4	2508	41
done	5000	41
0	33	53
1	84	48
2	214	42
3	658	41
4	2508	41
done	5000	41
0	33	53
1	84	48
2	224	42
3	701	41
4	2676	41
done	5000	41
0	34	54
1	83	53
2	218	47
3	688	42
4	2638	42
done	5000	42
0	33	53
1	83	52
2	213	46
3	657	41
4	2488	41
done	5000	41
0	33	53
1	83	52
2	213	46
3	657	41
4	2488	41
done	5000	41
0	33	53
1	81	52
2	218	46
3	680	41
4	2635	41
done	5000	41
0	33	54
1	86	49
2	222	45
3	691	43
4	2576	43
done	5001	43
0	33	53
1	86	48
2	219	44
3	659	42
4	2391	42
done	5000	42
0	33	53
1	86	48
2	219	44
3	659	42
4	2391	42
done	5000	42
0	33	53
1	86	48
2	229	44
3	703	42
4	2576	42
done	5000	42
0	33	53
1	86	48
2	218	44
3	653	42
4	2388	42
done	5000	42
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	223	43
3	662	41
4	2387	41
done	5000	41
0	33	53
1	86	48
2	218	44
3	653	42
4	2388	42
done	5000	42
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	223	43
3	662	41
4	2387	41
done	5000	41
0	33	53
1	84	52
2	218	48
3	654	42
4	2362	42
done	5000	42
0	32	52
1	84	51
2	213	47
3	624	41
4	2229	41
done	5000	41
0	32	52
1	84	51
2	213	47
3	624	41
4	2229	41
done	5000	41
0	32	52
1	82	51
2	218	47
3	645	41
4	2358	41
done	5001	41
0	33	54
1	86	49
2	222	45
3	691	43
4	2576	43
done	5001	43
0	33	53
1	86	48
2	219	44
3	659	42
4	2391	42
done	5000	42
0	33	53
1	86	48
2	219	44
3	659	42
4	2391	42
done	5000	42
0	33	53
1	86	48
2	229	44
3	703	42
4	2576	42
done	5000	42
0	33	53
1	86	48
2	218	44
3	653	42
4	2388	42
done	5000	42
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	223	43
3	662	41
4	2387	41
done	5000	41
0	33	53
1	86	48
2	218	44
3	653	42
4	2388	42
done	5000	42
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	213	43
3	620	41
4	2242	41
done	5001	41
0	32	52
1	86	47
2	223	43
3	662	41
4	2387	41
done	5000	41
0	33	53
1	84	52
2	218	48
3	654	42
4	2362	42
done	5000	42
0	32	52
1	84	51
2	213	47
3	624	41
4	2229	41
done	5000	41
0	32	52
1	84	51
2	213	47
3	624	41
4	2229	41
done	5000	41
0	32	52
1	82	51
2	218	47
3	645	41
4	2358	41
done	5001	41
0	33	54
1	82	54
2	215	49
3	661	44
4	2428	43
done	5001	43
0	33	53
1	82	53
2	212	48
3	634	43
4	2283	42
done	5000	42
0	33	53
1	82	53
2	212	48
3	634	43
4	2283	42
done	5000	42
0	33	53
1	81	53
2	217	48
3	664	43
4	2466	42
done	5000	42
0	33	53
1	82	53
2	212	48
3	634	43
4	2275	42
done	5000	42
0	32	52
1	82	52
2	207	47
3	602	42
4	2151	41
done	5000	41
0	32	52
1	82	52
2	207	47
3	602	42
4	2151	41
done	5000	41
0	32	52
1	81	52
2	212	47
3	629	42
4	2298	41
done	5001	41
0	33	53
1	82	53
2	212	48
3	634	43
4	2275	42
done	5000	42
0	32	52
1	82	52
2	207	47
3	602	42
4	2151	41
done	5000	41
0	32	52
1	82	52
2	207	47
3	602	42
4	2151	41
done	5000	41
0	32	52
1	81	52
2	212	47
3	629	42
4	2298	41
done	5001	41
0	33	53
1	81	53
2	217	48
3	656	43
4	2395	42
done	5000	42
0	32	52
1	81	52
2	212	47
3	621	42
4	2249	41
done	5001	41
0	32	52
1	81	52
2	212	47
3	621	42
4	2249	41
done	5001	41
0	32	52
1	79	52
2	216	47
3	645	42
4	2379	41
done	5000	41
0	32	52
1	77	52
2	202	52
3	629	48
4	2347	43
done	5000	43
0	31	51
1	77	51
2	197	51
3	607	47
4	2232	42
done	5000	42
0	31	51
1	77	51
2	197	51
3	607	47
4	2232	42
done	5000	42
0	31	51
1	75	51
2	201	51
3	627	47
4	2374	42
done	5000	42
0	30	50
1	72	50
2	202	50
3	709	50
4	3115	47
done	5000	46
0	29	49
1	73	49
2	226	49
3	989	49
done	5000	49
0	29	49
1	72	49
2	227	49
3	991	49
done	5001	49
0	36	146
1	93	123
2	351	56
3	2180	56
done	5001	56
0	34	146
1	93	140
2	358	54
3	2341	54
done	5000	54
0	32	146
1	86	146
2	335	52
3	2318	52
done	5000	52
0	30	99
1	71	99
2	214	99
3	910	99
done	5000	99
0	29	49
1	70	49
2	213	49
3	912	49
done	5001	49
0	30	146
1	81	146
2	319	50
3	2355	50
done	5000	50
0	29	49
1	70	49
2	213	49
3	912	49
done	5001	49
0	29	49
1	70	49
2	213	49
3	912	49
done	5001	49
0	18	30
1	37	30
2	96	30
3	404	30
4	2273	30
done	5000	30
0	28	47
1	73	47
2	245	47
3	1399	47
done	5000	47
0	18	30
1	37	30
2	96	30
3	404	30
4	2273	30
done	5000	30
0	28	47
1	73	47
2	245	47
3	1399	47
done	5000	47
0	18	30
1	37	30
2	95	30
3	398	30
4	2280	30
done	5001	30
0	28	47
1	73	47
2	244	47
3	1426	47
done	5000	47
0	18	30
1	37	30
2	95	30
3	398	30
4	2280	30
done	5001	30
0	28	47
1	73	47
2	244	47
3	1426	47
done	5000	47
0	30	70
1	73	70
2	215	70
3	853	70
4	4475	70
done	5000	70
0	29	49
1	70	49
2	201	49
3	738	49
4	3509	49
done	5000	49
0	18	30
1	37	28
2	102	28
3	399	28
4	1972	28
done	5000	28
0	19	27
1	46	27
2	135	27
3	448	27
4	2030	27
done	5001	27
0	31	52
1	87	52
2	305	52
3	1849	52
done	5001	52
0	30	68
1	81	68
2	299	68
3	1723	60
done	5001	60
0	11	11
1	19	11
2	41	11
3	78	11
4	135	11
5	227	11
6	373	11
7	475	11
8	492	11
done	492	11
0	10	10
1	19	10
2	34	10
3	62	10
4	114	10
5	188	10
6	331	10
7	474	10
8	518	10
done	518	10
0	10	10
1	19	10
2	35	10
3	71	10
4	129	10
5	202	10
6	318	10
7	452	10
8	479	10
9	480	10
done	480	10
0	9	9
1	19	9
2	31	9
3	57	9
4	105	9
5	166	9
6	272	9
7	441	9
8	489	9
9	491	9
done	491	9
0	8	8
1	20	8
2	58	8
3	125	8
4	219	8
5	322	8
6	470	8
7	629	8
8	674	8
9	675	8
done	675	8
0	8	8
1	17	8
2	40	8
3	79	8
4	113	8
5	169	8
6	318	8
7	715	8
8	2398	8
done	5001	8
0	15	23
1	36	23
2	229	15
3	1885	15
done	5000	15
0	13	23
1	38	23
2	251	13
3	2325	13
done	5001	13
0	13	23
1	38	23
2	232	13
3	2103	13
done	5000	13
0	11	23
1	40	23
2	258	11
3	2627	9
done	5001	9
0	9	17
1	18	17
2	39	17
3	66	17
4	77	17
done	77	17
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	9	23
1	25	23
2	128	9
3	1015	9
done	5000	9
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	33	44
1	84	41
2	202	35
3	762	29
done	5000	29
0	34	46
1	89	40
2	197	34
3	539	31
4	2017	27
done	5001	27
0	35	46
1	88	43
2	190	37
3	577	31
4	2103	31
done	5001	31
0	11	11
1	21	10
2	46	8
3	98	8
4	176	5
5	335	5
6	740	5
7	2225	5
done	5000	5
0	13	15
1	29	12
2	60	9
3	160	8
4	279	7
5	544	5
6	1135	5
7	3179	5
done	5001	5
0	14	15
1	29	14
2	68	12
3	208	12
4	583	9
5	1440	5
6	3719	5
done	5000	5
0	26	36
1	68	33
2	132	27
3	348	21
4	1187	21
done	5000	21
0	61	119
1	172	103
2	419	87
3	1362	79
done	5001	79
0	69	137
1	190	129
2	497	113
3	2026	97
done	5000	97
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune1.1s

Filtered

192 candidates to 304 candidates (-58.3%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	290	14	304
Fresh	4	17	21
Picked	1	0	1
Done	0	0	0
Total	295	31	326

Merged error: 11.6b

Counts

326 → 31

localize44.0ms

Local error

Found 4 expressions with local error:

3.8b	(pow (/ d (cbrt h)) (/ 1.0 2.0))
5.0b	(/ (* M D) (* 2.0 d))
6.5b	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) l) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
14.7b	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

rewrite222.0ms

Algorithm

rewrite-expression-head

Rules

3529×	`add-exp-log`
2893×	`prod-exp`
1396×	`pow-exp`
623×	`div-exp`
522×	`pow-to-exp`
136×	`rec-exp` `1-exp`
55×	`add-cbrt-cube`
37×	`times-frac`
32×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`cbrt-unprod`
22×	`unpow-prod-down`
16×	`associate-r`
13×	`pow-unpow`
12×	`pow1`
9×	`cbrt-undiv` `cbrt-prod`
4×	`pow-prod-down` `div-inv` `add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`
1×	`frac-times` `flip3--` `pow-pow` `frac-2neg` `clear-num` `associate-/r` `flip--` `associate-/l` `sqr-pow`

Counts

4 → 785

Calls

4 calls:

8.0ms	(pow (/ d (cbrt h)) (/ 1.0 2.0))
7.0ms	(/ (* M D) (* 2.0 d))
63.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) l) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
14.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

series648.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(pow (/ d (cbrt h)) (/ 1.0 2.0))
7.0ms	(/ (* M D) (* 2.0 d))
330.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) l) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
269.0ms	(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))

simplify27.2min

Counts

797 → 797

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	15	17
1	36	17
2	95	17
3	251	17
4	789	17
5	3060	17
done	5000	17
0	22	25
1	43	25
2	115	25
3	380	25
4	1563	25
done	5001	25
0	21	24
1	41	24
2	106	24
3	330	24
4	1322	24
done	5000	24
0	22	24
1	43	24
2	108	24
3	358	24
4	1438	24
done	5000	24
0	21	23
1	41	23
2	99	23
3	308	23
4	1216	23
done	5000	23
0	21	24
1	43	24
2	103	24
3	341	24
4	1296	24
done	5000	24
0	20	23
1	41	23
2	94	23
3	293	23
4	1108	23
done	5001	23
0	21	23
1	43	23
2	99	23
3	321	23
4	1188	23
done	5000	23
0	20	22
1	41	22
2	90	22
3	273	22
4	998	22
5	4958	22
done	5000	22
0	20	22
1	45	22
2	121	22
3	347	22
4	1031	22
5	4497	22
done	5000	22
0	19	21
1	43	21
2	112	21
3	301	21
4	897	21
5	3927	21
done	5000	21
0	20	22
1	45	22
2	121	22
3	347	22
4	1031	22
5	4497	22
done	5000	22
0	19	21
1	43	21
2	112	21
3	301	21
4	897	21
5	3927	21
done	5000	21
0	20	22
1	47	22
2	127	22
3	387	22
4	1361	22
done	5000	22
0	19	21
1	45	21
2	118	21
3	341	21
4	1191	21
done	5000	21
0	22	24
1	41	24
2	101	24
3	301	24
4	1186	24
done	5001	24
0	21	23
1	39	23
2	94	23
3	266	23
4	1019	23
5	4846	23
done	5000	23
0	21	23
1	41	23
2	94	23
3	279	23
4	1079	23
5	4873	23
done	5000	23
0	20	22
1	39	22
2	87	22
3	244	22
4	917	22
5	4153	22
done	5000	22
0	21	23
1	41	23
2	89	23
3	269	23
4	974	23
5	4731	23
done	5000	23
0	20	22
1	39	22
2	82	22
3	234	22
4	840	22
5	4073	22
done	5000	22
0	20	22
1	41	22
2	85	22
3	247	22
4	871	22
5	4002	22
done	5000	22
0	19	21
1	39	21
2	78	21
3	214	21
4	747	21
5	3482	21
done	5000	21
0	19	21
1	43	21
2	107	21
3	278	21
4	766	21
5	3001	21
done	5000	21
0	18	20
1	41	20
2	100	20
3	249	20
4	678	20
5	2665	20
done	5000	20
0	19	21
1	43	21
2	107	21
3	278	21
4	766	21
5	3001	21
done	5000	21
0	18	20
1	41	20
2	100	20
3	249	20
4	678	20
5	2665	20
done	5000	20
0	19	21
1	45	21
2	113	21
3	316	21
4	1061	21
done	5000	21
0	18	20
1	43	20
2	106	20
3	283	20
4	942	20
done	5001	20
0	18	20
1	42	20
2	100	20
3	274	20
4	875	20
5	4522	20
done	5000	20
0	17	19
1	40	19
2	95	19
3	251	19
4	797	19
5	4083	19
done	5001	19
0	16	18
1	40	18
2	114	18
3	325	18
4	1146	18
5	4981	18
done	5000	18
0	16	18
1	39	18
2	108	18
3	295	18
4	939	18
5	3931	18
done	5000	18
0	25	53
1	69	45
2	285	27
3	2044	23
done	5000	23
0	23	53
1	65	45
2	252	25
3	1574	23
done	5001	23
0	23	53
1	65	45
2	251	25
3	1572	23
done	5000	23
0	21	53
1	61	45
2	218	23
3	1123	23
done	5000	23
0	21	53
1	61	53
2	252	23
3	1673	21
done	5001	21
0	19	53
1	57	53
2	219	21
3	1264	21
done	5000	21
0	17	37
1	38	37
2	97	37
3	253	37
4	778	37
5	3064	37
done	5001	37
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	17	53
1	48	53
2	203	19
3	1354	19
done	5000	19
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	16	18
1	37	18
2	96	18
3	252	18
4	783	18
5	3083	18
done	5000	18
0	12	13
1	29	13
2	67	13
3	138	13
4	278	13
5	701	13
6	2280	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	17	23
1	38	23
2	98	23
3	252	23
4	682	23
5	2292	23
done	5000	23
0	16	18
1	35	18
2	84	18
3	188	18
4	447	18
5	1373	18
done	5000	18
0	19	25
1	46	25
2	139	25
3	494	25
4	2065	25
done	5000	25
0	18	22
1	41	22
2	109	22
3	329	22
4	1147	22
done	5000	22
0	17	21
1	42	19
2	116	19
3	380	19
4	1453	19
done	5001	19
0	18	22
1	41	22
2	110	22
3	336	22
4	1209	22
done	5000	22
0	17	19
1	38	19
2	97	19
3	255	19
4	783	19
5	3063	19
done	5000	19
0	16	18
1	39	16
2	98	16
3	259	16
4	869	16
5	3494	16
done	5000	16
0	17	21
1	42	21
2	110	19
3	399	19
4	1393	19
done	5000	19
0	16	18
1	39	18
2	98	16
3	301	16
4	883	16
5	2680	16
done	5001	16
0	14	17
1	37	15
2	93	13
3	256	13
4	728	13
5	2035	13
done	5000	13
0	13	15
1	34	13
2	89	13
3	210	13
4	458	13
5	982	13
6	2878	13
done	5000	13
0	13	15
1	32	15
2	81	15
3	183	15
4	440	15
5	1346	15
done	5000	15
0	12	13
1	28	13
2	63	13
3	131	13
4	264	13
5	677	13
6	2317	13
done	5000	13
0	13	15
1	32	15
2	81	15
3	183	15
4	440	15
5	1346	15
done	5000	15
0	14	15
1	33	15
2	79	15
3	186	15
4	467	15
5	1464	15
done	5000	15
0	32	59
1	78	59
2	250	59
3	1263	59
done	5000	59
0	32	59
1	78	59
2	250	59
3	1263	59
done	5000	59
0	36	67
1	94	55
2	279	50
3	954	46
4	3884	43
done	5000	43
0	36	66
1	94	54
2	275	49
3	911	46
4	3613	43
done	5001	43
0	36	66
1	94	54
2	275	49
3	911	46
4	3613	43
done	5001	43
0	36	66
1	92	58
2	273	53
3	899	49
4	3599	43
done	5000	43
0	37	66
1	95	56
2	275	50
3	947	46
4	3881	43
done	5000	43
0	36	65
1	95	55
2	271	49
3	906	46
4	3591	43
done	5001	43
0	36	65
1	95	55
2	271	49
3	906	46
4	3591	43
done	5001	43
0	36	65
1	93	59
2	269	53
3	899	49
4	3595	43
done	5000	43
0	37	66
1	95	56
2	275	50
3	947	46
4	3881	43
done	5000	43
0	36	65
1	95	55
2	271	49
3	906	46
4	3591	43
done	5001	43
0	36	65
1	95	55
2	271	49
3	906	46
4	3591	43
done	5001	43
0	36	65
1	93	59
2	269	53
3	899	49
4	3595	43
done	5000	43
0	37	66
1	94	60
2	271	55
3	915	50
4	3767	43
done	5001	43
0	36	65
1	94	59
2	266	54
3	880	49
4	3520	43
done	5001	43
0	36	65
1	94	59
2	266	54
3	880	49
4	3520	43
done	5001	43
0	36	65
1	92	59
2	271	54
3	903	49
4	3722	43
done	5000	43
0	35	64
1	88	58
2	256	57
3	854	54
4	3467	46
done	5000	46
0	36	66
1	95	54
2	275	49
3	915	45
4	3619	43
done	5000	43
0	36	65
1	95	53
2	271	48
3	874	45
4	3344	43
done	5000	43
0	36	65
1	95	53
2	271	48
3	874	45
4	3344	43
done	5000	43
0	36	65
1	93	57
2	269	52
3	866	48
4	3359	43
done	5000	43
0	37	65
1	96	55
2	271	49
3	913	45
4	3593	43
done	5000	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	94	58
2	265	52
3	860	48
4	3356	43
done	5000	43
0	37	65
1	96	55
2	271	49
3	913	45
4	3593	43
done	5000	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	94	58
2	265	52
3	860	48
4	3356	43
done	5000	43
0	37	65
1	95	59
2	267	54
3	880	49
4	3514	43
done	5000	43
0	36	64
1	95	58
2	262	53
3	843	48
4	3283	43
done	5001	43
0	36	64
1	95	58
2	262	53
3	843	48
4	3283	43
done	5001	43
0	36	64
1	93	58
2	267	53
3	871	48
4	3493	43
done	5001	43
0	35	63
1	89	57
2	252	56
3	826	53
4	3268	46
done	5000	46
0	36	66
1	95	54
2	275	49
3	915	45
4	3619	43
done	5000	43
0	36	65
1	95	53
2	271	48
3	874	45
4	3344	43
done	5000	43
0	36	65
1	95	53
2	271	48
3	874	45
4	3344	43
done	5000	43
0	36	65
1	93	57
2	269	52
3	866	48
4	3359	43
done	5000	43
0	37	65
1	96	55
2	271	49
3	913	45
4	3593	43
done	5000	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	94	58
2	265	52
3	860	48
4	3356	43
done	5000	43
0	37	65
1	96	55
2	271	49
3	913	45
4	3593	43
done	5000	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	96	54
2	267	48
3	869	45
4	3344	43
done	5001	43
0	36	64
1	94	58
2	265	52
3	860	48
4	3356	43
done	5000	43
0	37	65
1	95	59
2	267	54
3	880	49
4	3514	43
done	5000	43
0	36	64
1	95	58
2	262	53
3	843	48
4	3283	43
done	5001	43
0	36	64
1	95	58
2	262	53
3	843	48
4	3283	43
done	5001	43
0	36	64
1	93	58
2	267	53
3	871	48
4	3493	43
done	5001	43
0	35	63
1	89	57
2	252	56
3	826	53
4	3268	46
done	5000	46
0	36	66
1	93	58
2	274	53
3	909	45
4	3571	45
done	5001	45
0	36	65
1	93	57
2	270	52
3	872	45
4	3339	45
done	5000	45
0	36	65
1	93	57
2	270	52
3	872	45
4	3339	45
done	5000	45
0	36	65
1	90	61
2	267	52
3	867	48
4	3469	45
done	5000	45
0	37	65
1	94	59
2	270	53
3	905	45
4	3578	45
done	5000	45
0	36	64
1	94	58
2	266	52
3	864	45
4	3322	45
done	5000	45
0	36	64
1	94	58
2	266	52
3	864	45
4	3322	45
done	5000	45
0	36	64
1	91	62
2	263	52
3	864	48
4	3460	45
done	5000	45
0	37	65
1	94	59
2	270	53
3	905	45
4	3578	45
done	5000	45
0	36	64
1	94	58
2	266	52
3	864	45
4	3322	45
done	5000	45
0	36	64
1	94	58
2	266	52
3	864	45
4	3322	45
done	5000	45
0	36	64
1	91	62
2	263	52
3	864	48
4	3460	45
done	5000	45
0	37	65
1	92	63
2	265	54
3	878	49
4	3605	45
done	5000	45
0	36	64
1	92	62
2	260	53
3	845	48
4	3393	45
done	5000	45
0	36	64
1	92	62
2	260	53
3	845	48
4	3393	45
done	5000	45
0	36	64
1	90	62
2	265	53
3	871	48
4	3601	45
done	5000	45
0	35	63
1	86	61
2	252	56
3	834	53
4	3463	48
done	5000	48
0	37	66
1	94	56
2	269	51
3	898	46
4	3603	43
done	5000	43
0	37	65
1	94	55
2	265	50
3	854	46
4	3328	43
done	5001	43
0	37	65
1	94	55
2	265	50
3	854	46
4	3328	43
done	5001	43
0	37	65
1	92	59
2	263	54
3	849	49
4	3342	43
done	5000	43
0	38	65
1	95	57
2	265	51
3	891	46
4	3578	43
done	5000	43
0	37	64
1	95	56
2	261	50
3	849	46
4	3327	43
done	5001	43
0	37	64
1	95	56
2	261	50
3	849	46
4	3327	43
done	5001	43
0	37	64
1	93	60
2	259	54
3	842	49
4	3345	43
done	5000	43
0	38	65
1	95	57
2	265	51
3	891	46
4	3578	43
done	5000	43
0	37	64
1	95	56
2	261	50
3	849	46
4	3327	43
done	5001	43
0	37	64
1	95	56
2	261	50
3	849	46
4	3327	43
done	5001	43
0	37	64
1	93	60
2	259	54
3	842	49
4	3345	43
done	5000	43
0	38	65
1	94	61
2	261	56
3	856	50
4	3516	43
done	5001	43
0	37	64
1	94	60
2	256	55
3	825	49
4	3298	43
done	5000	43
0	37	64
1	94	60
2	256	55
3	825	49
4	3298	43
done	5000	43
0	37	64
1	92	60
2	261	55
3	849	49
4	3490	43
done	5000	43
0	36	63
1	88	59
2	246	58
3	799	54
4	3267	46
done	5001	46
0	36	65
1	94	55
2	263	50
3	848	45
4	3268	43
done	5001	43
0	36	64
1	94	54
2	259	49
3	807	45
4	3043	43
done	5000	43
0	36	64
1	94	54
2	259	49
3	807	45
4	3043	43
done	5000	43
0	36	64
1	92	58
2	257	53
3	802	48
4	3072	43
done	5000	43
0	37	64
1	95	56
2	259	50
3	842	45
4	3267	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	93	59
2	253	53
3	796	48
4	3082	43
done	5001	43
0	37	64
1	95	56
2	259	50
3	842	45
4	3267	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	93	59
2	253	53
3	796	48
4	3082	43
done	5001	43
0	37	64
1	94	60
2	255	55
3	816	49
4	3246	43
done	5001	43
0	36	63
1	94	59
2	250	54
3	778	48
4	3036	43
done	5001	43
0	36	63
1	94	59
2	250	54
3	778	48
4	3036	43
done	5001	43
0	36	63
1	92	59
2	255	54
3	806	48
4	3210	43
done	5001	43
0	35	62
1	88	58
2	240	57
3	765	53
4	3076	46
done	5000	46
0	36	65
1	94	55
2	263	50
3	848	45
4	3268	43
done	5001	43
0	36	64
1	94	54
2	259	49
3	807	45
4	3043	43
done	5000	43
0	36	64
1	94	54
2	259	49
3	807	45
4	3043	43
done	5000	43
0	36	64
1	92	58
2	257	53
3	802	48
4	3072	43
done	5000	43
0	37	64
1	95	56
2	259	50
3	842	45
4	3267	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	93	59
2	253	53
3	796	48
4	3082	43
done	5001	43
0	37	64
1	95	56
2	259	50
3	842	45
4	3267	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	95	55
2	255	49
3	798	45
4	3034	43
done	5000	43
0	36	63
1	93	59
2	253	53
3	796	48
4	3082	43
done	5001	43
0	37	64
1	94	60
2	255	55
3	816	49
4	3246	43
done	5001	43
0	36	63
1	94	59
2	250	54
3	778	48
4	3036	43
done	5001	43
0	36	63
1	94	59
2	250	54
3	778	48
4	3036	43
done	5001	43
0	36	63
1	92	59
2	255	54
3	806	48
4	3210	43
done	5001	43
0	35	62
1	88	58
2	240	57
3	765	53
4	3076	46
done	5000	46
0	36	65
1	92	59
2	264	54
3	857	45
4	3313	45
done	5001	45
0	36	64
1	92	58
2	260	53
3	819	45
4	3091	45
done	5000	45
0	36	64
1	92	58
2	260	53
3	819	45
4	3091	45
done	5000	45
0	36	64
1	89	62
2	257	53
3	815	48
4	3194	45
done	5001	45
0	37	64
1	93	60
2	260	54
3	856	45
4	3326	45
done	5001	45
0	36	63
1	93	59
2	256	53
3	814	45
4	3090	45
done	5000	45
0	36	63
1	93	59
2	256	53
3	814	45
4	3090	45
done	5000	45
0	36	63
1	90	63
2	253	53
3	810	48
4	3200	45
done	5001	45
0	37	64
1	93	60
2	260	54
3	856	45
4	3326	45
done	5001	45
0	36	63
1	93	59
2	256	53
3	814	45
4	3090	45
done	5000	45
0	36	63
1	93	59
2	256	53
3	814	45
4	3090	45
done	5000	45
0	36	63
1	90	63
2	253	53
3	810	48
4	3200	45
done	5001	45
0	37	64
1	91	64
2	255	55
3	826	49
4	3358	45
done	5001	45
0	36	63
1	91	63
2	250	54
3	790	48
4	3138	45
done	5001	45
0	36	63
1	91	63
2	250	54
3	790	48
4	3138	45
done	5001	45
0	36	63
1	89	63
2	255	54
3	816	48
4	3338	45
done	5000	45
0	35	62
1	85	62
2	242	57
3	780	53
4	3262	48
done	5001	48
0	37	68
1	96	55
2	292	50
3	1016	46
4	4445	43
done	5000	43
0	37	67
1	96	54
2	288	49
3	975	46
4	4162	43
done	5000	43
0	37	67
1	96	54
2	288	49
3	975	46
4	4162	43
done	5000	43
0	37	67
1	94	58
2	286	53
3	955	49
4	4011	43
done	5001	43
0	38	67
1	97	56
2	288	50
3	1009	46
4	4446	43
done	5000	43
0	37	66
1	97	55
2	284	49
3	972	46
4	4164	43
done	5000	43
0	37	66
1	97	55
2	284	49
3	972	46
4	4164	43
done	5000	43
0	37	66
1	95	59
2	282	53
3	953	49
4	4028	43
done	5000	43
0	38	67
1	97	56
2	288	50
3	1009	46
4	4446	43
done	5000	43
0	37	66
1	97	55
2	284	49
3	972	46
4	4164	43
done	5000	43
0	37	66
1	97	55
2	284	49
3	972	46
4	4164	43
done	5000	43
0	37	66
1	95	59
2	282	53
3	953	49
4	4028	43
done	5000	43
0	38	67
1	96	60
2	284	55
3	969	50
4	4189	43
done	5000	43
0	37	66
1	96	59
2	279	54
3	935	49
4	3966	43
done	5000	43
0	37	66
1	96	59
2	279	54
3	935	49
4	3966	43
done	5000	43
0	37	66
1	94	59
2	284	54
3	957	49
4	4162	43
done	5000	43
0	36	65
1	90	58
2	269	57
3	906	54
4	3812	46
done	5001	46
0	37	67
1	96	54
2	286	49
3	964	45
4	4124	43
done	5000	43
0	37	66
1	96	53
2	282	48
3	924	45
4	3862	43
done	5000	43
0	37	66
1	96	53
2	282	48
3	924	45
4	3862	43
done	5000	43
0	37	66
1	94	57
2	280	52
3	908	48
4	3737	43
done	5000	43
0	38	66
1	97	55
2	282	49
3	958	45
4	4106	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	95	58
2	276	52
3	905	48
4	3744	43
done	5000	43
0	38	66
1	97	55
2	282	49
3	958	45
4	4106	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	95	58
2	276	52
3	905	48
4	3744	43
done	5000	43
0	38	66
1	96	59
2	278	54
3	919	49
4	3898	43
done	5000	43
0	37	65
1	96	58
2	273	53
3	889	48
4	3706	43
done	5000	43
0	37	65
1	96	58
2	273	53
3	889	48
4	3706	43
done	5000	43
0	37	65
1	94	58
2	278	53
3	911	48
4	3893	43
done	5001	43
0	36	64
1	90	57
2	263	56
3	864	53
4	3602	46
done	5000	46
0	37	67
1	96	54
2	286	49
3	964	45
4	4124	43
done	5000	43
0	37	66
1	96	53
2	282	48
3	924	45
4	3862	43
done	5000	43
0	37	66
1	96	53
2	282	48
3	924	45
4	3862	43
done	5000	43
0	37	66
1	94	57
2	280	52
3	908	48
4	3737	43
done	5000	43
0	38	66
1	97	55
2	282	49
3	958	45
4	4106	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	95	58
2	276	52
3	905	48
4	3744	43
done	5000	43
0	38	66
1	97	55
2	282	49
3	958	45
4	4106	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	97	54
2	278	48
3	919	45
4	3867	43
done	5000	43
0	37	65
1	95	58
2	276	52
3	905	48
4	3744	43
done	5000	43
0	38	66
1	96	59
2	278	54
3	919	49
4	3898	43
done	5000	43
0	37	65
1	96	58
2	273	53
3	889	48
4	3706	43
done	5000	43
0	37	65
1	96	58
2	273	53
3	889	48
4	3706	43
done	5000	43
0	37	65
1	94	58
2	278	53
3	911	48
4	3893	43
done	5001	43
0	36	64
1	90	57
2	263	56
3	864	53
4	3602	46
done	5000	46
0	37	67
1	94	58
2	282	53
3	932	45
4	3902	45
done	5001	45
0	37	66
1	94	57
2	278	52
3	895	45
4	3673	45
done	5000	45
0	37	66
1	94	57
2	278	52
3	895	45
4	3673	45
done	5000	45
0	37	66
1	91	61
2	275	52
3	890	48
4	3769	45
done	5000	45
0	38	66
1	95	59
2	278	53
3	928	45
4	3892	45
done	5000	45
0	37	65
1	95	58
2	274	52
3	888	45
4	3653	45
done	5001	45
0	37	65
1	95	58
2	274	52
3	888	45
4	3653	45
done	5001	45
0	37	65
1	92	62
2	271	52
3	885	48
4	3757	45
done	5000	45
0	38	66
1	95	59
2	278	53
3	928	45
4	3892	45
done	5000	45
0	37	65
1	95	58
2	274	52
3	888	45
4	3653	45
done	5001	45
0	37	65
1	95	58
2	274	52
3	888	45
4	3653	45
done	5001	45
0	37	65
1	92	62
2	271	52
3	885	48
4	3757	45
done	5000	45
0	38	66
1	93	63
2	273	54
3	901	49
4	3928	45
done	5000	45
0	37	65
1	93	62
2	268	53
3	868	48
4	3703	45
done	5001	45
0	37	65
1	93	62
2	268	53
3	868	48
4	3703	45
done	5001	45
0	37	65
1	91	62
2	273	53
3	892	48
4	3883	45
done	5000	45
0	36	64
1	87	61
2	260	56
3	859	53
4	3721	48
done	5000	48
0	38	67
1	95	56
2	283	51
3	974	46
4	4297	46
done	5000	46
0	38	66
1	95	55
2	279	50
3	935	46
4	4030	46
done	5001	46
0	38	66
1	95	55
2	279	50
3	935	46
4	4030	46
done	5001	46
0	38	66
1	93	59
2	277	54
3	920	49
4	3909	46
done	5001	46
0	39	66
1	96	57
2	279	51
3	964	46
4	4297	46
done	5000	46
0	38	65
1	96	56
2	275	50
3	929	46
4	4023	46
done	5000	46
0	38	65
1	96	56
2	275	50
3	929	46
4	4023	46
done	5000	46
0	38	65
1	94	60
2	273	54
3	917	49
4	3908	46
done	5000	46
0	39	66
1	96	57
2	279	51
3	964	46
4	4297	46
done	5000	46
0	38	65
1	96	56
2	275	50
3	929	46
4	4023	46
done	5000	46
0	38	65
1	96	56
2	275	50
3	929	46
4	4023	46
done	5000	46
0	38	65
1	94	60
2	273	54
3	917	49
4	3908	46
done	5000	46
0	39	66
1	95	61
2	275	56
3	927	50
4	4079	46
done	5000	46
0	38	65
1	95	60
2	270	55
3	897	49
4	3844	46
done	5000	46
0	38	65
1	95	60
2	270	55
3	897	49
4	3844	46
done	5000	46
0	38	65
1	93	60
2	275	55
3	923	49
4	4044	46
done	5001	46
0	37	64
1	89	59
2	260	58
3	870	54
4	3715	49
done	5001	49
0	37	66
1	95	55
2	277	50
3	928	45
4	3946	45
done	5000	45
0	37	65
1	95	54
2	273	49
3	888	45
4	3700	45
done	5000	45
0	37	65
1	95	54
2	273	49
3	888	45
4	3700	45
done	5000	45
0	37	65
1	93	58
2	271	53
3	877	48
4	3597	45
done	5001	45
0	38	65
1	96	56
2	273	50
3	924	45
4	3932	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	94	59
2	267	53
3	874	48
4	3599	45
done	5000	45
0	38	65
1	96	56
2	273	50
3	924	45
4	3932	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	94	59
2	267	53
3	874	48
4	3599	45
done	5000	45
0	38	65
1	95	60
2	269	55
3	889	49
4	3782	45
done	5001	45
0	37	64
1	95	59
2	264	54
3	853	48
4	3570	45
done	5001	45
0	37	64
1	95	59
2	264	54
3	853	48
4	3570	45
done	5001	45
0	37	64
1	93	59
2	269	54
3	882	48
4	3732	45
done	5000	45
0	36	63
1	89	58
2	254	57
3	838	53
4	3499	48
done	5001	48
0	37	66
1	95	55
2	277	50
3	928	45
4	3946	45
done	5000	45
0	37	65
1	95	54
2	273	49
3	888	45
4	3700	45
done	5000	45
0	37	65
1	95	54
2	273	49
3	888	45
4	3700	45
done	5000	45
0	37	65
1	93	58
2	271	53
3	877	48
4	3597	45
done	5001	45
0	38	65
1	96	56
2	273	50
3	924	45
4	3932	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	94	59
2	267	53
3	874	48
4	3599	45
done	5000	45
0	38	65
1	96	56
2	273	50
3	924	45
4	3932	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	96	55
2	269	49
3	883	45
4	3682	45
done	5001	45
0	37	64
1	94	59
2	267	53
3	874	48
4	3599	45
done	5000	45
0	38	65
1	95	60
2	269	55
3	889	49
4	3782	45
done	5001	45
0	37	64
1	95	59
2	264	54
3	853	48
4	3570	45
done	5001	45
0	37	64
1	95	59
2	264	54
3	853	48
4	3570	45
done	5001	45
0	37	64
1	93	59
2	269	54
3	882	48
4	3732	45
done	5000	45
0	36	63
1	89	58
2	254	57
3	838	53
4	3499	48
done	5001	48
0	37	66
1	93	59
2	275	54
3	911	45
4	3811	45
done	5001	45
0	37	65
1	93	58
2	271	53
3	874	45
4	3588	45
done	5001	45
0	37	65
1	93	58
2	271	53
3	874	45
4	3588	45
done	5001	45
0	37	65
1	90	62
2	268	53
3	867	48
4	3696	45
done	5000	45
0	38	65
1	94	60
2	271	54
3	906	45
4	3795	45
done	5000	45
0	37	64
1	94	59
2	267	53
3	871	45
4	3579	45
done	5001	45
0	37	64
1	94	59
2	267	53
3	871	45
4	3579	45
done	5001	45
0	37	64
1	91	63
2	264	53
3	863	48
4	3689	45
done	5001	45
0	38	65
1	94	60
2	271	54
3	906	45
4	3795	45
done	5000	45
0	37	64
1	94	59
2	267	53
3	871	45
4	3579	45
done	5001	45
0	37	64
1	94	59
2	267	53
3	871	45
4	3579	45
done	5001	45
0	37	64
1	91	63
2	264	53
3	863	48
4	3689	45
done	5001	45
0	38	65
1	92	64
2	266	55
3	879	49
4	3844	45
done	5000	45
0	37	64
1	92	63
2	261	54
3	843	48
4	3614	45
done	5000	45
0	37	64
1	92	63
2	261	54
3	843	48
4	3614	45
done	5000	45
0	37	64
1	90	63
2	266	54
3	872	48
4	3818	45
done	5001	45
0	36	63
1	86	62
2	253	57
3	835	53
4	3661	48
done	5001	48
0	38	69
1	99	56
2	287	50
3	1004	46
4	4344	43
done	5000	43
0	38	68
1	99	55
2	283	49
3	970	46
4	4089	43
done	5000	43
0	38	68
1	99	55
2	283	49
3	970	46
4	4089	43
done	5000	43
0	38	68
1	97	59
2	281	53
3	948	49
4	3938	43
done	5001	43
0	39	68
1	100	57
2	283	50
3	994	46
4	4346	43
done	5000	43
0	38	67
1	100	56
2	279	49
3	959	46
4	4086	43
done	5000	43
0	38	67
1	100	56
2	279	49
3	959	46
4	4086	43
done	5000	43
0	38	67
1	98	60
2	277	53
3	949	49
4	3936	43
done	5000	43
0	39	68
1	100	57
2	283	50
3	994	46
4	4346	43
done	5000	43
0	38	67
1	100	56
2	279	49
3	959	46
4	4086	43
done	5000	43
0	38	67
1	100	56
2	279	49
3	959	46
4	4086	43
done	5000	43
0	38	67
1	98	60
2	277	53
3	949	49
4	3936	43
done	5000	43
0	39	68
1	99	61
2	279	55
3	959	50
4	4083	43
done	5000	43
0	38	67
1	99	60
2	274	54
3	925	49
4	3868	43
done	5001	43
0	38	67
1	99	60
2	274	54
3	925	49
4	3868	43
done	5001	43
0	38	67
1	97	60
2	279	54
3	953	49
4	4065	43
done	5000	43
0	37	66
1	93	59
2	264	57
3	901	54
4	3715	46
done	5001	46
0	38	68
1	99	55
2	281	49
3	956	45
4	4029	43
done	5000	43
0	38	67
1	99	54
2	277	48
3	915	45
4	3786	43
done	5001	43
0	38	67
1	99	54
2	277	48
3	915	45
4	3786	43
done	5001	43
0	38	67
1	97	58
2	275	52
3	900	48
4	3659	43
done	5000	43
0	39	67
1	100	56
2	277	49
3	945	45
4	4024	43
done	5001	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	98	59
2	271	52
3	895	48
4	3667	43
done	5001	43
0	39	67
1	100	56
2	277	49
3	945	45
4	4024	43
done	5001	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	98	59
2	271	52
3	895	48
4	3667	43
done	5001	43
0	39	67
1	99	60
2	273	54
3	907	49
4	3807	43
done	5000	43
0	38	66
1	99	59
2	268	53
3	874	48
4	3620	43
done	5000	43
0	38	66
1	99	59
2	268	53
3	874	48
4	3620	43
done	5000	43
0	38	66
1	97	59
2	273	53
3	903	48
4	3769	43
done	5000	43
0	37	65
1	93	58
2	258	56
3	860	53
4	3495	46
done	5000	46
0	38	68
1	99	55
2	281	49
3	956	45
4	4029	43
done	5000	43
0	38	67
1	99	54
2	277	48
3	915	45
4	3786	43
done	5001	43
0	38	67
1	99	54
2	277	48
3	915	45
4	3786	43
done	5001	43
0	38	67
1	97	58
2	275	52
3	900	48
4	3659	43
done	5000	43
0	39	67
1	100	56
2	277	49
3	945	45
4	4024	43
done	5001	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	98	59
2	271	52
3	895	48
4	3667	43
done	5001	43
0	39	67
1	100	56
2	277	49
3	945	45
4	4024	43
done	5001	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	100	55
2	273	48
3	908	45
4	3777	43
done	5000	43
0	38	66
1	98	59
2	271	52
3	895	48
4	3667	43
done	5001	43
0	39	67
1	99	60
2	273	54
3	907	49
4	3807	43
done	5000	43
0	38	66
1	99	59
2	268	53
3	874	48
4	3620	43
done	5000	43
0	38	66
1	99	59
2	268	53
3	874	48
4	3620	43
done	5000	43
0	38	66
1	97	59
2	273	53
3	903	48
4	3769	43
done	5000	43
0	37	65
1	93	58
2	258	56
3	860	53
4	3495	46
done	5000	46
0	38	68
1	97	59
2	276	53
3	918	45
4	3795	45
done	5000	45
0	38	67
1	97	58
2	272	52
3	878	45
4	3553	45
done	5001	45
0	38	67
1	97	58
2	272	52
3	878	45
4	3553	45
done	5001	45
0	38	67
1	94	62
2	269	52
3	880	48
4	3665	45
done	5000	45
0	39	67
1	98	60
2	272	53
3	914	45
4	3774	45
done	5000	45
0	38	66
1	98	59
2	268	52
3	877	45
4	3578	45
done	5001	45
0	38	66
1	98	59
2	268	52
3	877	45
4	3578	45
done	5001	45
0	38	66
1	95	63
2	265	52
3	875	48
4	3657	45
done	5000	45
0	39	67
1	98	60
2	272	53
3	914	45
4	3774	45
done	5000	45
0	38	66
1	98	59
2	268	52
3	877	45
4	3578	45
done	5001	45
0	38	66
1	98	59
2	268	52
3	877	45
4	3578	45
done	5001	45
0	38	66
1	95	63
2	265	52
3	875	48
4	3657	45
done	5000	45
0	39	67
1	96	64
2	267	54
3	885	49
4	3813	45
done	5001	45
0	38	66
1	96	63
2	262	53
3	857	48
4	3616	45
done	5000	45
0	38	66
1	96	63
2	262	53
3	857	48
4	3616	45
done	5000	45
0	38	66
1	94	63
2	267	53
3	881	48
4	3797	45
done	5000	45
0	37	65
1	90	62
2	254	56
3	843	53
4	3631	48
done	5000	48
0	39	68
1	98	57
2	280	51
3	965	46
4	4209	46
done	5000	46
0	39	67
1	98	56
2	276	50
3	925	46
4	3923	46
done	5000	46
0	39	67
1	98	56
2	276	50
3	925	46
4	3923	46
done	5000	46
0	39	67
1	96	60
2	274	54
3	911	49
4	3826	46
done	5000	46
0	40	67
1	99	58
2	276	51
3	960	46
4	4214	46
done	5000	46
0	39	66
1	99	57
2	272	50
3	919	46
4	3939	46
done	5000	46
0	39	66
1	99	57
2	272	50
3	919	46
4	3939	46
done	5000	46
0	39	66
1	97	61
2	270	54
3	908	49
4	3830	46
done	5000	46
0	40	67
1	99	58
2	276	51
3	960	46
4	4214	46
done	5000	46
0	39	66
1	99	57
2	272	50
3	919	46
4	3939	46
done	5000	46
0	39	66
1	99	57
2	272	50
3	919	46
4	3939	46
done	5000	46
0	39	66
1	97	61
2	270	54
3	908	49
4	3830	46
done	5000	46
0	40	67
1	98	62
2	272	56
3	921	50
4	3993	46
done	5000	46
0	39	66
1	98	61
2	267	55
3	888	49
4	3770	46
done	5000	46
0	39	66
1	98	61
2	267	55
3	888	49
4	3770	46
done	5000	46
0	39	66
1	96	61
2	272	55
3	915	49
4	3961	46
done	5000	46
0	38	65
1	92	60
2	257	58
3	870	54
4	3652	49
done	5001	49
0	38	67
1	98	56
2	274	50
3	922	45
4	3866	45
done	5001	45
0	38	66
1	98	55
2	270	49
3	881	45
4	3617	45
done	5000	45
0	38	66
1	98	55
2	270	49
3	881	45
4	3617	45
done	5000	45
0	38	66
1	96	59
2	268	53
3	867	48
4	3513	45
done	5001	45
0	39	66
1	99	57
2	270	50
3	911	45
4	3857	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	97	60
2	264	53
3	866	48
4	3523	45
done	5001	45
0	39	66
1	99	57
2	270	50
3	911	45
4	3857	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	97	60
2	264	53
3	866	48
4	3523	45
done	5001	45
0	39	66
1	98	61
2	266	55
3	877	49
4	3691	45
done	5000	45
0	38	65
1	98	60
2	261	54
3	845	48
4	3490	45
done	5000	45
0	38	65
1	98	60
2	261	54
3	845	48
4	3490	45
done	5000	45
0	38	65
1	96	60
2	266	54
3	874	48
4	3672	45
done	5000	45
0	37	64
1	92	59
2	251	57
3	829	53
4	3408	48
done	5001	48
0	38	67
1	98	56
2	274	50
3	922	45
4	3866	45
done	5001	45
0	38	66
1	98	55
2	270	49
3	881	45
4	3617	45
done	5000	45
0	38	66
1	98	55
2	270	49
3	881	45
4	3617	45
done	5000	45
0	38	66
1	96	59
2	268	53
3	867	48
4	3513	45
done	5001	45
0	39	66
1	99	57
2	270	50
3	911	45
4	3857	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	97	60
2	264	53
3	866	48
4	3523	45
done	5001	45
0	39	66
1	99	57
2	270	50
3	911	45
4	3857	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	99	56
2	266	49
3	871	45
4	3617	45
done	5000	45
0	38	65
1	97	60
2	264	53
3	866	48
4	3523	45
done	5001	45
0	39	66
1	98	61
2	266	55
3	877	49
4	3691	45
done	5000	45
0	38	65
1	98	60
2	261	54
3	845	48
4	3490	45
done	5000	45
0	38	65
1	98	60
2	261	54
3	845	48
4	3490	45
done	5000	45
0	38	65
1	96	60
2	266	54
3	874	48
4	3672	45
done	5000	45
0	37	64
1	92	59
2	251	57
3	829	53
4	3408	48
done	5001	48
0	38	67
1	96	60
2	271	54
3	900	45
4	3726	45
done	5000	45
0	38	66
1	96	59
2	267	53
3	859	45
4	3492	45
done	5001	45
0	38	66
1	96	59
2	267	53
3	859	45
4	3492	45
done	5001	45
0	38	66
1	93	63
2	264	53
3	860	48
4	3599	45
done	5001	45
0	39	66
1	97	61
2	267	54
3	891	45
4	3725	45
done	5000	45
0	38	65
1	97	60
2	263	53
3	855	45
4	3496	45
done	5000	45
0	38	65
1	97	60
2	263	53
3	855	45
4	3496	45
done	5000	45
0	38	65
1	94	64
2	260	53
3	854	48
4	3615	45
done	5000	45
0	39	66
1	97	61
2	267	54
3	891	45
4	3725	45
done	5000	45
0	38	65
1	97	60
2	263	53
3	855	45
4	3496	45
done	5000	45
0	38	65
1	97	60
2	263	53
3	855	45
4	3496	45
done	5000	45
0	38	65
1	94	64
2	260	53
3	854	48
4	3615	45
done	5000	45
0	39	66
1	95	65
2	262	55
3	863	49
4	3777	45
done	5000	45
0	38	65
1	95	64
2	257	54
3	832	48
4	3534	45
done	5000	45
0	38	65
1	95	64
2	257	54
3	832	48
4	3534	45
done	5000	45
0	38	65
1	93	64
2	262	54
3	861	48
4	3735	45
done	5001	45
0	37	64
1	89	63
2	249	57
3	827	53
4	3587	48
done	5001	48
0	38	67
1	100	56
2	279	52
3	924	46
4	3822	46
done	5000	46
0	38	66
1	100	55
2	275	51
3	885	46
4	3552	46
done	5000	46
0	38	66
1	100	55
2	275	51
3	885	46
4	3552	46
done	5000	46
0	38	66
1	98	59
2	273	55
3	872	49
4	3488	46
done	5000	46
0	39	66
1	101	57
2	275	52
3	913	46
4	3807	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	99	60
2	269	55
3	869	49
4	3491	46
done	5000	46
0	39	66
1	101	57
2	275	52
3	913	46
4	3807	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	99	60
2	269	55
3	869	49
4	3491	46
done	5000	46
0	39	66
1	100	61
2	271	57
3	880	50
4	3661	46
done	5000	46
0	38	65
1	100	60
2	266	56
3	848	49
4	3449	46
done	5000	46
0	38	65
1	100	60
2	266	56
3	848	49
4	3449	46
done	5000	46
0	38	65
1	98	60
2	271	56
3	876	49
4	3631	46
done	5001	46
0	37	64
1	94	59
2	256	59
3	828	54
4	3358	49
done	5000	49
0	37	66
1	100	55
2	273	51
3	877	45
4	3453	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	98	58
2	267	54
3	828	48
4	3183	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	100	60
2	265	56
3	839	49
4	3349	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	98	59
2	265	55
3	832	48
4	3303	45
done	5000	45
0	36	63
1	94	58
2	250	58
3	785	53
4	3130	48
done	5001	48
0	37	66
1	100	55
2	273	51
3	877	45
4	3453	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	98	58
2	267	54
3	828	48
4	3183	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	100	60
2	265	56
3	839	49
4	3349	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	98	59
2	265	55
3	832	48
4	3303	45
done	5000	45
0	36	63
1	94	58
2	250	58
3	785	53
4	3130	48
done	5001	48
0	37	66
1	97	59
2	271	55
3	864	45
4	3358	45
done	5000	45
0	37	65
1	97	58
2	267	54
3	827	45
4	3159	45
done	5000	45
0	37	65
1	97	58
2	267	54
3	827	45
4	3159	45
done	5000	45
0	37	65
1	94	62
2	264	54
3	821	48
4	3235	45
done	5000	45
0	38	65
1	98	60
2	267	55
3	859	45
4	3372	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	95	63
2	260	54
3	817	48
4	3246	45
done	5001	45
0	38	65
1	98	60
2	267	55
3	859	45
4	3372	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	95	63
2	260	54
3	817	48
4	3246	45
done	5001	45
0	38	65
1	96	64
2	262	56
3	832	49
4	3407	45
done	5001	45
0	37	64
1	96	63
2	257	55
3	796	48
4	3217	45
done	5000	45
0	37	64
1	96	63
2	257	55
3	796	48
4	3217	45
done	5000	45
0	37	64
1	94	63
2	262	55
3	825	48
4	3392	45
done	5000	45
0	36	63
1	90	62
2	249	58
3	794	53
4	3285	48
done	5001	48
0	38	67
1	100	56
2	279	52
3	924	46
4	3822	46
done	5000	46
0	38	66
1	100	55
2	275	51
3	885	46
4	3552	46
done	5000	46
0	38	66
1	100	55
2	275	51
3	885	46
4	3552	46
done	5000	46
0	38	66
1	98	59
2	273	55
3	872	49
4	3488	46
done	5000	46
0	39	66
1	101	57
2	275	52
3	913	46
4	3807	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	99	60
2	269	55
3	869	49
4	3491	46
done	5000	46
0	39	66
1	101	57
2	275	52
3	913	46
4	3807	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	101	56
2	271	51
3	879	46
4	3551	46
done	5000	46
0	38	65
1	99	60
2	269	55
3	869	49
4	3491	46
done	5000	46
0	39	66
1	100	61
2	271	57
3	880	50
4	3661	46
done	5000	46
0	38	65
1	100	60
2	266	56
3	848	49
4	3449	46
done	5000	46
0	38	65
1	100	60
2	266	56
3	848	49
4	3449	46
done	5000	46
0	38	65
1	98	60
2	271	56
3	876	49
4	3631	46
done	5001	46
0	37	64
1	94	59
2	256	59
3	828	54
4	3358	49
done	5000	49
0	37	66
1	100	55
2	273	51
3	877	45
4	3453	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	98	58
2	267	54
3	828	48
4	3183	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	100	60
2	265	56
3	839	49
4	3349	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	98	59
2	265	55
3	832	48
4	3303	45
done	5000	45
0	36	63
1	94	58
2	250	58
3	785	53
4	3130	48
done	5001	48
0	37	66
1	100	55
2	273	51
3	877	45
4	3453	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	100	54
2	269	50
3	838	45
4	3236	45
done	5001	45
0	37	65
1	98	58
2	267	54
3	828	48
4	3183	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	101	56
2	269	51
3	872	45
4	3476	45
done	5000	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	101	55
2	265	50
3	831	45
4	3241	45
done	5001	45
0	37	64
1	99	59
2	263	54
3	825	48
4	3196	45
done	5000	45
0	38	65
1	100	60
2	265	56
3	839	49
4	3349	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	100	59
2	260	55
3	805	48
4	3171	45
done	5000	45
0	37	64
1	98	59
2	265	55
3	832	48
4	3303	45
done	5000	45
0	36	63
1	94	58
2	250	58
3	785	53
4	3130	48
done	5001	48
0	37	66
1	97	59
2	271	55
3	864	45
4	3358	45
done	5000	45
0	37	65
1	97	58
2	267	54
3	827	45
4	3159	45
done	5000	45
0	37	65
1	97	58
2	267	54
3	827	45
4	3159	45
done	5000	45
0	37	65
1	94	62
2	264	54
3	821	48
4	3235	45
done	5000	45
0	38	65
1	98	60
2	267	55
3	859	45
4	3372	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	95	63
2	260	54
3	817	48
4	3246	45
done	5001	45
0	38	65
1	98	60
2	267	55
3	859	45
4	3372	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	98	59
2	263	54
3	824	45
4	3151	45
done	5000	45
0	37	64
1	95	63
2	260	54
3	817	48
4	3246	45
done	5001	45
0	38	65
1	96	64
2	262	56
3	832	49
4	3407	45
done	5001	45
0	37	64
1	96	63
2	257	55
3	796	48
4	3217	45
done	5000	45
0	37	64
1	96	63
2	257	55
3	796	48
4	3217	45
done	5000	45
0	37	64
1	94	63
2	262	55
3	825	48
4	3392	45
done	5000	45
0	36	63
1	90	62
2	249	58
3	794	53
4	3285	48
done	5001	48
0	38	67
1	96	61
2	270	56
3	884	47
4	3549	46
done	5000	46
0	38	66
1	96	60
2	266	55
3	846	47
4	3319	46
done	5001	46
0	38	66
1	96	60
2	266	55
3	846	47
4	3319	46
done	5001	46
0	38	66
1	93	64
2	263	55
3	844	50
4	3405	46
done	5001	46
0	39	66
1	97	62
2	266	56
3	874	47
4	3546	46
done	5001	46
0	38	65
1	97	61
2	262	55
3	840	47
4	3313	46
done	5000	46
0	38	65
1	97	61
2	262	55
3	840	47
4	3313	46
done	5000	46
0	38	65
1	94	65
2	259	55
3	835	50
4	3395	46
done	5000	46
0	39	66
1	97	62
2	266	56
3	874	47
4	3546	46
done	5001	46
0	38	65
1	97	61
2	262	55
3	840	47
4	3313	46
done	5000	46
0	38	65
1	97	61
2	262	55
3	840	47
4	3313	46
done	5000	46
0	38	65
1	94	65
2	259	55
3	835	50
4	3395	46
done	5000	46
0	39	66
1	95	66
2	261	57
3	841	51
4	3542	46
done	5000	46
0	38	65
1	95	65
2	256	56
3	814	50
4	3320	46
done	5000	46
0	38	65
1	95	65
2	256	56
3	814	50
4	3320	46
done	5000	46
0	38	65
1	93	65
2	261	56
3	842	50
4	3544	46
done	5000	46
0	37	64
1	89	64
2	248	59
3	806	55
4	3394	49
done	5001	49
0	37	66
1	96	60
2	265	55
3	846	46
4	3273	45
done	5000	45
0	37	65
1	96	59
2	261	54
3	809	46
4	3063	45
done	5000	45
0	37	65
1	96	59
2	261	54
3	809	46
4	3063	45
done	5000	45
0	37	65
1	93	63
2	258	54
3	801	49
4	3125	45
done	5000	45
0	38	65
1	97	61
2	261	55
3	841	46
4	3272	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	94	64
2	254	54
3	799	49
4	3134	45
done	5000	45
0	38	65
1	97	61
2	261	55
3	841	46
4	3272	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	94	64
2	254	54
3	799	49
4	3134	45
done	5000	45
0	38	65
1	95	65
2	256	56
3	812	50
4	3283	45
done	5001	45
0	37	64
1	95	64
2	251	55
3	776	49
4	3092	45
done	5000	45
0	37	64
1	95	64
2	251	55
3	776	49
4	3092	45
done	5000	45
0	37	64
1	93	64
2	256	55
3	807	49
4	3281	45
done	5000	45
0	36	63
1	89	63
2	243	58
3	774	54
4	3168	48
done	5000	48
0	37	66
1	96	60
2	265	55
3	846	46
4	3273	45
done	5000	45
0	37	65
1	96	59
2	261	54
3	809	46
4	3063	45
done	5000	45
0	37	65
1	96	59
2	261	54
3	809	46
4	3063	45
done	5000	45
0	37	65
1	93	63
2	258	54
3	801	49
4	3125	45
done	5000	45
0	38	65
1	97	61
2	261	55
3	841	46
4	3272	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	94	64
2	254	54
3	799	49
4	3134	45
done	5000	45
0	38	65
1	97	61
2	261	55
3	841	46
4	3272	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	97	60
2	257	54
3	806	46
4	3071	45
done	5000	45
0	37	64
1	94	64
2	254	54
3	799	49
4	3134	45
done	5000	45
0	38	65
1	95	65
2	256	56
3	812	50
4	3283	45
done	5001	45
0	37	64
1	95	64
2	251	55
3	776	49
4	3092	45
done	5000	45
0	37	64
1	95	64
2	251	55
3	776	49
4	3092	45
done	5000	45
0	37	64
1	93	64
2	256	55
3	807	49
4	3281	45
done	5000	45
0	36	63
1	89	63
2	243	58
3	774	54
4	3168	48
done	5000	48
0	37	66
1	94	60
2	270	55
3	867	46
4	3414	45
done	5000	45
0	37	65
1	94	59
2	266	54
3	833	46
4	3191	45
done	5000	45
0	37	65
1	94	59
2	266	54
3	833	46
4	3191	45
done	5000	45
0	37	65
1	91	63
2	263	54
3	828	49
4	3305	45
done	5000	45
0	38	65
1	95	61
2	266	55
3	869	46
4	3426	45
done	5001	45
0	37	64
1	95	60
2	262	54
3	826	46
4	3196	45
done	5000	45
0	37	64
1	95	60
2	262	54
3	826	46
4	3196	45
done	5000	45
0	37	64
1	92	64
2	259	54
3	823	49
4	3306	45
done	5000	45
0	38	65
1	95	61
2	266	55
3	869	46
4	3426	45
done	5001	45
0	37	64
1	95	60
2	262	54
3	826	46
4	3196	45
done	5000	45
0	37	64
1	95	60
2	262	54
3	826	46
4	3196	45
done	5000	45
0	37	64
1	92	64
2	259	54
3	823	49
4	3306	45
done	5000	45
0	38	65
1	93	65
2	261	56
3	837	50
4	3485	45
done	5001	45
0	37	64
1	93	64
2	256	55
3	803	49
4	3238	45
done	5000	45
0	37	64
1	93	64
2	256	55
3	803	49
4	3238	45
done	5000	45
0	37	64
1	91	64
2	260	55
3	830	49
4	3454	45
done	5001	45
0	36	63
1	87	63
2	247	58
3	788	54
4	3331	48
done	5001	48
0	36	65
1	90	59
2	249	59
3	808	51
4	3145	46
done	5000	46
0	36	64
1	90	58
2	245	58
3	775	51
4	2964	46
done	5000	46
0	36	64
1	90	58
2	245	58
3	775	51
4	2964	46
done	5000	46
0	36	64
1	87	62
2	244	58
3	783	54
4	3165	46
done	5001	46
0	37	64
1	91	60
2	245	59
3	803	51
4	3147	46
done	5000	46
0	36	63
1	91	59
2	241	58
3	766	51
4	2961	46
done	5001	46
0	36	63
1	91	59
2	241	58
3	766	51
4	2961	46
done	5001	46
0	36	63
1	88	63
2	240	58
3	776	54
4	3160	46
done	5001	46
0	37	64
1	91	60
2	245	59
3	803	51
4	3147	46
done	5000	46
0	36	63
1	91	59
2	241	58
3	766	51
4	2961	46
done	5001	46
0	36	63
1	91	59
2	241	58
3	766	51
4	2961	46
done	5001	46
0	36	63
1	88	63
2	240	58
3	776	54
4	3160	46
done	5001	46
0	37	64
1	89	64
2	242	60
3	791	55
4	3264	46
done	5000	46
0	36	63
1	89	63
2	237	59
3	763	54
4	3100	46
done	5000	46
0	36	63
1	89	63
2	237	59
3	763	54
4	3100	46
done	5000	46
0	36	63
1	87	63
2	241	59
3	785	54
4	3312	46
done	5001	46
0	35	62
1	83	62
2	231	62
3	770	55
4	3252	49
done	5001	49
0	34	61
1	81	61
2	237	61
3	960	61
done	5000	61
0	33	60
1	82	60
2	267	60
3	1376	60
done	5001	60
0	33	60
1	81	60
2	267	60
3	1373	60
done	5000	60
0	42	179
1	108	147
2	428	69
3	3082	69
done	5000	69
0	40	179
1	108	162
2	435	67
3	3247	67
done	5001	67
0	40	179
1	108	164
2	435	67
3	3239	67
done	5001	67
0	38	179
1	107	179
2	438	65
3	3411	65
done	5000	65
0	36	179
1	95	179
2	394	63
3	3241	63
done	5001	63
0	34	121
1	80	121
2	252	121
3	1265	121
done	5001	121
0	33	60
1	79	60
2	251	60
3	1263	60
done	5000	60
0	34	179
1	90	179
2	370	61
3	3262	61
done	5001	61
0	33	60
1	79	60
2	251	60
3	1263	60
done	5000	60
0	33	60
1	79	60
2	251	60
3	1263	60
done	5000	60
0	22	41
1	46	41
2	134	41
3	685	41
done	5001	41
0	32	58
1	82	58
2	285	58
3	1842	58
done	5000	58
0	22	41
1	46	41
2	134	41
3	685	41
done	5001	41
0	32	58
1	82	58
2	285	58
3	1842	58
done	5000	58
0	22	41
1	46	41
2	134	41
3	681	41
done	5000	41
0	32	58
1	82	58
2	285	58
3	1862	58
done	5001	58
0	22	41
1	46	41
2	134	41
3	681	41
done	5000	41
0	32	58
1	82	58
2	285	58
3	1862	58
done	5001	58
0	34	81
1	82	81
2	253	81
3	1166	81
done	5001	81
0	33	60
1	79	60
2	239	60
3	1020	60
done	5001	60
0	22	41
1	46	39
2	140	39
3	691	39
4	4719	39
done	5000	39
0	23	38
1	55	38
2	171	38
3	654	38
4	4100	38
done	5001	38
0	35	63
1	96	63
2	343	63
3	2210	63
done	5001	63
0	34	79
1	90	79
2	337	79
3	2111	71
done	5000	71
0	11	11
1	19	11
2	41	11
3	78	11
4	135	11
5	227	11
6	373	11
7	475	11
8	492	11
done	492	11
0	10	10
1	19	10
2	34	10
3	62	10
4	114	10
5	188	10
6	331	10
7	474	10
8	518	10
done	518	10
0	10	10
1	19	10
2	35	10
3	71	10
4	129	10
5	202	10
6	318	10
7	452	10
8	479	10
9	480	10
done	480	10
0	9	9
1	19	9
2	31	9
3	57	9
4	105	9
5	166	9
6	272	9
7	441	9
8	489	9
9	491	9
done	491	9
0	8	8
1	20	8
2	58	8
3	125	8
4	219	8
5	322	8
6	470	8
7	629	8
8	674	8
9	675	8
done	675	8
0	8	8
1	17	8
2	40	8
3	79	8
4	113	8
5	169	8
6	318	8
7	715	8
8	2398	8
done	5001	8
0	15	23
1	36	23
2	229	15
3	1885	15
done	5000	15
0	13	23
1	38	23
2	251	13
3	2325	13
done	5001	13
0	13	23
1	38	23
2	232	13
3	2103	13
done	5000	13
0	11	23
1	40	23
2	258	11
3	2627	9
done	5001	9
0	9	17
1	18	17
2	39	17
3	66	17
4	77	17
done	77	17
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	9	23
1	25	23
2	128	9
3	1015	9
done	5000	9
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	10	10
1	15	10
2	25	10
3	49	10
4	72	10
5	88	10
6	99	10
done	99	10
0	9	9
1	15	9
2	20	9
3	40	9
4	60	9
5	81	9
6	92	9
done	92	9
0	9	9
1	15	9
2	20	9
3	40	9
4	60	9
5	81	9
6	92	9
done	92	9
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	10	14
1	14	14
2	21	14
3	45	14
4	102	14
5	264	14
6	878	14
7	3323	14
done	5000	14
0	9	9
1	13	9
2	18	9
3	36	9
4	76	9
5	187	9
6	570	9
7	2175	9
done	5001	9
0	12	16
1	22	16
2	44	16
3	109	16
4	327	16
5	954	16
6	3871	16
done	5000	16
0	11	13
1	17	13
2	28	13
3	66	13
4	183	13
5	516	13
6	2183	13
done	5001	13
0	10	12
1	18	10
2	35	10
3	71	10
4	154	10
5	379	10
6	1382	10
7	4823	10
done	5000	10
0	11	13
1	17	13
2	26	13
3	60	13
4	152	13
5	415	13
6	1807	13
done	5000	13
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1135	10
done	5001	10
0	9	9
1	15	7
2	24	7
3	42	7
4	84	7
5	181	7
6	622	7
7	2363	7
done	5000	7
0	10	12
1	18	12
2	27	12
3	62	12
4	148	12
5	446	12
6	1693	12
done	5000	12
0	9	9
1	15	9
2	22	9
3	48	9
4	105	9
5	276	9
6	818	9
7	2557	9
done	5000	9
0	7	8
1	14	6
2	21	4
3	32	4
4	54	4
5	115	4
6	336	4
7	1281	4
done	5001	4
0	6	6
1	13	4
2	20	4
3	31	4
4	55	4
5	114	4
6	327	4
7	1264	4
done	5000	4
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	182	6
6	565	6
7	1989	6
done	5000	6
0	10	15
1	14	15
2	21	15
3	46	15
4	109	15
5	282	15
6	1136	15
done	5001	15
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	12	16
1	18	16
2	27	16
3	53	16
4	114	16
5	282	16
6	1136	16
done	5001	16
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	11	13
1	17	13
2	26	13
3	52	13
4	113	13
5	280	13
6	1125	13
done	5001	13
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	10	12
1	18	11
2	27	11
3	53	9
4	122	9
5	291	9
6	999	9
7	4563	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	12	17
1	22	17
2	38	17
3	69	17
4	130	17
5	300	17
6	1153	17
done	5000	17
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	11	13
1	17	13
2	26	13
3	52	13
4	113	13
5	280	13
6	1125	13
done	5001	13
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	9	11
1	17	9
2	30	9
3	60	9
4	120	9
5	287	9
6	1003	9
7	4570	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	11	13
1	15	13
2	22	13
3	47	13
4	108	13
5	277	13
6	1127	13
done	5000	13
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	9	9
1	15	8
2	22	8
3	47	8
4	109	8
5	279	8
6	990	8
7	4559	8
done	5000	8
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	11	14
1	17	14
2	24	14
3	49	14
4	110	14
5	275	14
6	1121	14
done	5000	14
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	10	10
1	14	10
2	21	10
3	46	10
4	109	10
5	282	10
6	1136	10
done	5001	10
0	8	8
1	14	6
2	23	6
3	48	6
4	108	6
5	274	6
6	975	6
7	4493	6
done	5000	6
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	10	12
1	16	12
2	23	12
3	48	12
4	110	12
5	280	12
6	993	12
7	4545	12
done	5001	12
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	15	9
2	22	9
3	47	9
4	109	9
5	279	9
6	990	9
7	4534	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	7	8
1	13	7
2	20	7
3	45	7
4	105	7
5	271	7
6	995	7
7	4757	7
done	5000	7
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	10	13
1	18	13
2	25	13
3	50	13
4	112	13
5	279	13
6	1000	13
7	4543	13
done	5001	13
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	9	9
1	15	9
2	22	9
3	47	9
4	109	9
5	279	9
6	990	9
7	4534	9
done	5000	9
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	276	9
6	1136	9
done	5000	9
0	6	7
1	12	5
2	19	1
3	35	1
4	66	1
5	111	1
6	165	1
7	485	1
8	1891	1
done	5001	1
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	8	8
1	12	8
2	19	8
3	44	8
4	107	8
5	272	8
6	1127	8
done	5000	8
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	8	8
1	14	8
2	21	8
3	46	8
4	106	8
5	273	8
6	990	8
7	4507	8
done	5001	8
0	9	9
1	15	9
2	30	9
3	65	9
4	184	9
5	642	9
6	3208	9
done	5001	9
0	9	9
1	13	9
2	22	9
3	52	9
4	128	9
5	352	9
6	1451	9
done	5001	9
0	10	19
1	14	19
2	21	19
3	46	19
4	107	19
5	280	19
6	1139	19
done	5001	19
0	9	9
1	13	9
2	20	9
3	45	9
4	106	9
5	275	9
6	1128	9
done	5000	9
0	10	26
1	17	19
2	42	10
3	106	10
4	291	10
5	1099	10
done	5001	10
0	9	9
1	13	9
2	21	9
3	46	9
4	107	9
5	280	9
6	1139	9
done	5000	9
0	9	9
1	13	9
2	21	9
3	46	9
4	107	9
5	280	9
6	1139	9
done	5000	9
0	10	10
1	15	10
2	28	10
3	57	10
4	142	10
5	381	10
6	1594	10
done	5001	10
0	10	10
1	15	10
2	28	10
3	57	10
4	142	10
5	381	10
6	1594	10
done	5001	10
0	33	44
1	84	41
2	202	35
3	762	29
done	5000	29
0	34	46
1	89	40
2	197	34
3	539	31
4	2017	27
done	5001	27
0	35	46
1	88	43
2	190	37
3	577	31
4	2103	31
done	5001	31
0	26	36
1	68	33
2	132	27
3	348	21
4	1187	21
done	5000	21
0	61	119
1	172	103
2	419	87
3	1362	79
done	5001	79
0	63	120
1	172	112
2	411	96
3	1471	80
done	5000	80
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	14	15
1	26	12
2	58	10
3	126	10
4	245	7
5	486	6
6	1231	6
7	4190	6
done	5000	6
0	16	19
1	36	14
2	69	11
3	156	10
4	340	7
5	689	7
6	1664	6
done	5001	6
0	21	24
1	49	22
2	94	20
3	260	17
4	862	13
5	4202	11
done	5000	11

prune1.8s

Filtered

298 candidates to 797 candidates (-167.4%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	787	10	797
Fresh	9	21	30
Picked	1	0	1
Done	0	0	0
Total	797	31	828

Merged error: 9.2b

Counts

828 → 31

localize52.0ms

Local error

Found 4 expressions with local error:

4.9b	(* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))
5.0b	(/ (* M D) (* 2.0 d))
6.5b	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) l) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))) (/ (cbrt h) l))))
9.2b	(* (* (/ 1.0 2.0) (* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))) (/ (cbrt h) l))

rewrite249.0ms

Algorithm

rewrite-expression-head

Rules

3815×	`add-exp-log`
3086×	`prod-exp`
1424×	`pow-exp`
678×	`div-exp`
527×	`pow-to-exp`
136×	`rec-exp` `1-exp`
87×	`add-cbrt-cube`
58×	`cbrt-unprod`
26×	`associate-r`
22×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
17×	`cbrt-undiv`
14×	`pow1`
11×	`associate-l`
9×	`cbrt-prod`
6×	`unpow-prod-down` `pow-prod-down`
4×	`add-log-exp`
3×	`associate-r/` `associate-l/` `*-commutative` `div-inv` `unswap-sqr`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `sqr-pow`
1×	`frac-times` `flip3--` `frac-2neg` `clear-num` `associate-/r` `flip--` `associate-/l`

Counts

4 → 825

Calls

4 calls:

12.0ms	(* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))
7.0ms	(/ (* M D) (* 2.0 d))
65.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) l) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))) (/ (cbrt h) l))))
26.0ms	(* (* (/ 1.0 2.0) (* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))) (/ (cbrt h) l))

series796.0ms

Counts

4 → 12

Calls

4 calls:

168.0ms	(* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))
7.0ms	(/ (* M D) (* 2.0 d))
338.0ms	(* (* (* (pow (/ 1 (* (cbrt h) (cbrt h))) (/ 1.0 2.0)) (pow (/ d (cbrt h)) (/ 1.0 2.0))) (* (pow (* (cbrt d) (cbrt d)) (/ 1.0 2.0)) (pow (/ (cbrt d) l) (/ 1.0 2.0)))) (- 1.0 (* (* (/ 1.0 2.0) (* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))) (/ (cbrt h) l))))
283.0ms	(* (* (/ 1.0 2.0) (* (pow (/ (* M D) (* 2.0 d)) 2.0) (* (cbrt h) (cbrt h)))) (/ (cbrt h) l))

simplify21.5min

Counts

837 → 837

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	24
1	44	24
2	138	24
3	492	24
4	2116	20
done	5000	20
0	18	24
1	44	24
2	138	24
3	492	24
4	2116	20
done	5000	20
0	25	34
1	53	32
2	160	32
3	630	28
4	3072	28
done	5000	28
0	25	33
1	51	31
2	149	31
3	554	31
4	2675	28
done	5000	28
0	26	33
1	51	33
2	153	32
3	599	28
4	2990	28
done	5001	28
0	25	32
1	49	32
2	142	31
3	525	31
4	2564	28
done	5000	28
0	25	33
1	53	31
2	153	31
3	609	27
4	2917	27
done	5000	27
0	25	32
1	51	30
2	142	30
3	532	30
4	2574	27
done	5001	27
0	26	32
1	51	32
2	146	31
3	577	27
4	2826	27
done	5000	27
0	25	31
1	49	31
2	135	30
3	503	30
4	2458	27
done	5000	27
0	24	33
1	53	31
2	148	31
3	588	27
4	2629	27
done	5001	27
0	24	32
1	51	30
2	137	30
3	512	30
4	2292	27
done	5001	27
0	25	32
1	51	32
2	141	31
3	557	27
4	2504	27
done	5000	27
0	24	31
1	49	31
2	130	30
3	482	30
4	2191	27
done	5001	27
0	24	32
1	53	30
2	144	30
3	572	26
4	2467	26
done	5000	26
0	24	31
1	51	29
2	133	29
3	492	29
4	2152	26
done	5001	26
0	25	31
1	51	31
2	137	30
3	542	26
4	2348	26
done	5000	26
0	24	30
1	49	30
2	126	29
3	463	29
4	2064	26
done	5000	26
0	23	31
1	55	29
2	166	29
3	594	25
4	2127	25
done	5000	25
0	23	30
1	53	28
2	155	28
3	519	28
4	1819	25
done	5001	25
0	24	30
1	53	30
2	159	29
3	564	25
4	2041	25
done	5001	25
0	23	29
1	51	29
2	148	28
3	488	28
4	1754	25
done	5000	25
0	23	31
1	55	29
2	166	29
3	594	25
4	2127	25
done	5000	25
0	23	30
1	53	28
2	155	28
3	519	28
4	1819	25
done	5001	25
0	24	30
1	53	30
2	159	29
3	564	25
4	2041	25
done	5001	25
0	23	29
1	51	29
2	148	28
3	488	28
4	1754	25
done	5000	25
0	23	31
1	56	29
2	171	29
3	635	25
4	2624	25
done	5001	25
0	23	30
1	54	28
2	160	28
3	559	28
4	2282	25
done	5001	25
0	24	30
1	55	30
2	164	29
3	608	25
4	2526	25
done	5001	25
0	23	29
1	53	29
2	153	28
3	529	28
4	2221	25
done	5000	25
0	23	29
1	54	29
2	146	29
3	515	28
4	2119	25
done	5000	25
0	22	28
1	52	28
2	137	28
3	456	28
4	1831	25
done	5000	25
0	25	33
1	51	31
2	139	31
3	515	27
4	2413	27
done	5001	27
0	25	32
1	49	30
2	130	30
3	455	30
4	2169	27
done	5000	27
0	26	32
1	49	32
2	134	31
3	488	27
4	2344	27
done	5000	27
0	25	31
1	47	31
2	125	30
3	432	30
4	2100	27
done	5000	27
0	24	32
1	51	30
2	132	30
3	493	26
4	2301	26
done	5000	26
0	24	31
1	49	29
2	123	29
3	432	29
4	2046	26
done	5000	26
0	25	31
1	49	31
2	127	30
3	468	26
4	2208	26
done	5000	26
0	24	30
1	47	30
2	118	29
3	406	29
4	1961	26
done	5000	26
0	24	32
1	51	30
2	127	30
3	477	26
4	2022	26
done	5000	26
0	24	31
1	49	29
2	118	29
3	416	29
4	1799	26
done	5000	26
0	25	31
1	49	31
2	122	30
3	453	26
4	1954	26
done	5000	26
0	24	30
1	47	30
2	113	29
3	392	29
4	1734	26
done	5001	26
0	23	31
1	51	29
2	123	29
3	458	25
4	1897	25
done	5000	25
0	23	30
1	49	28
2	114	28
3	399	28
4	1677	25
done	5000	25
0	24	30
1	49	30
2	118	29
3	436	25
4	1808	25
done	5000	25
0	23	29
1	47	29
2	109	28
3	372	28
4	1612	25
done	5000	25
0	22	30
1	53	28
2	145	28
3	482	24
4	1590	24
done	5001	24
0	22	29
1	51	27
2	136	27
3	424	27
4	1428	24
done	5001	24
0	23	29
1	51	29
2	140	28
3	463	24
4	1533	24
done	5000	24
0	22	28
1	49	28
2	131	27
3	402	27
4	1380	24
done	5000	24
0	22	30
1	53	28
2	145	28
3	482	24
4	1590	24
done	5001	24
0	22	29
1	51	27
2	136	27
3	424	27
4	1428	24
done	5001	24
0	23	29
1	51	29
2	140	28
3	463	24
4	1533	24
done	5000	24
0	22	28
1	49	28
2	131	27
3	402	27
4	1380	24
done	5000	24
0	22	30
1	54	28
2	150	28
3	523	24
4	2032	24
done	5000	24
0	22	29
1	52	27
2	141	27
3	464	27
4	1843	24
done	5000	24
0	23	29
1	53	29
2	145	28
3	500	24
4	1981	24
done	5000	24
0	22	28
1	51	28
2	136	27
3	440	27
4	1791	24
done	5000	24
0	22	28
1	52	28
2	130	28
3	425	27
4	1679	24
done	5000	24
0	21	27
1	50	27
2	123	27
3	385	27
4	1505	24
done	5000	24
0	21	27
1	50	27
2	138	27
3	425	27
4	1709	26
done	5000	26
0	20	26
1	48	26
2	133	26
3	399	26
4	1558	26
done	5001	26
0	19	25
1	48	25
2	160	25
3	606	25
4	2826	21
done	5001	21
0	19	25
1	47	25
2	153	25
3	566	25
4	2477	21
done	5001	21
0	25	53
1	68	45
2	279	29
3	2080	27
done	5001	27
0	26	60
1	73	52
2	297	30
3	2168	28
done	5000	28
0	28	67
1	79	59
2	326	33
3	2780	27
done	5001	27
0	28	74
1	83	66
2	342	34
3	2829	27
done	5001	27
0	26	67
1	74	67
2	323	31
3	2787	29
done	5001	29
0	26	74
1	78	74
2	339	32
3	2824	30
done	5000	30
0	23	53
1	64	45
2	245	27
3	1508	27
done	5000	27
0	24	60
1	69	52
2	263	28
3	1576	28
done	5000	28
0	26	67
1	75	59
2	292	31
3	2148	27
done	5000	27
0	26	74
1	79	66
2	310	32
3	2163	27
done	5000	27
0	24	67
1	70	67
2	289	29
3	2145	29
done	5000	29
0	24	74
1	74	74
2	305	30
3	2168	30
done	5000	30
0	22	67
1	61	67
2	274	27
3	2256	27
done	5000	27
0	22	74
1	65	74
2	290	28
3	2303	28
done	5000	28
0	20	51
1	46	51
2	140	51
3	500	51
4	2107	43
done	5000	43
0	19	25
1	45	25
2	139	25
3	496	25
4	2110	21
done	5001	21
0	20	74
1	56	74
2	258	26
3	2185	26
done	5000	26
0	19	25
1	45	25
2	139	25
3	496	25
4	2110	21
done	5001	21
0	19	25
1	45	25
2	139	25
3	496	25
4	2110	21
done	5001	21
0	15	20
1	37	20
2	100	20
3	248	20
4	602	16
5	1814	13
done	5001	13
0	3	3
1	4	3
done	4	3
0	20	31
1	46	31
2	139	31
3	505	31
4	2133	31
done	5000	31
0	19	25
1	43	25
2	125	25
3	400	25
4	1418	25
done	5001	25
0	21	32
1	49	32
2	153	32
3	652	32
4	3543	32
done	5000	32
0	20	29
1	46	29
2	140	29
3	523	29
4	2358	29
done	5000	29
0	19	28
1	47	26
2	139	26
3	498	26
4	2450	26
done	5000	26
0	22	29
1	50	29
2	154	29
3	648	29
4	3558	29
done	5001	29
0	21	26
1	47	26
2	141	26
3	524	26
4	2385	26
done	5000	26
0	20	25
1	48	23
2	140	23
3	497	23
4	2475	23
done	5001	23
0	22	28
1	52	27
2	156	27
3	651	25
4	3719	25
done	5000	25
0	21	25
1	49	24
2	143	24
3	530	22
4	2509	22
done	5001	22
0	19	24
1	47	21
2	136	19
3	528	19
4	2000	19
done	5000	19
0	22	33
1	54	33
2	180	33
3	867	33
done	5000	33
0	21	30
1	49	30
2	152	30
3	638	30
4	3361	30
done	5001	30
0	20	29
1	50	27
2	155	27
3	644	27
4	3560	27
done	5000	27
0	21	29
1	49	29
2	153	29
3	652	29
4	3543	29
done	5000	29
0	20	26
1	46	26
2	140	26
3	523	26
4	2358	26
done	5000	26
0	19	25
1	47	23
2	139	23
3	498	23
4	2450	23
done	5000	23
0	21	27
1	51	27
2	154	25
3	742	25
4	3892	25
done	5000	25
0	20	24
1	48	24
2	142	22
3	590	22
4	2576	22
done	5000	22
0	18	23
1	46	21
2	135	19
3	520	19
4	1989	19
done	5000	19
0	17	21
1	43	19
2	131	19
3	444	19
4	1269	19
5	3696	19
done	5000	19
0	16	22
1	40	22
2	119	22
3	340	22
4	1087	18
5	3974	15
done	5000	15
0	15	20
1	36	20
2	94	20
3	239	20
4	638	16
5	2062	13
done	5000	13
0	16	22
1	40	22
2	119	22
3	340	22
4	1087	18
5	3974	15
done	5000	15
0	17	22
1	41	22
2	117	22
3	371	22
4	1257	18
5	4544	15
done	5000	15
0	33	66
1	84	66
2	291	66
3	1550	66
done	5001	66
0	33	66
1	84	66
2	291	66
3	1550	66
done	5001	66
0	38	74
1	101	62
2	321	57
3	1242	53
done	5001	53
0	38	73
1	101	61
2	317	56
3	1204	53
done	5000	53
0	38	73
1	101	61
2	317	56
3	1204	53
done	5000	53
0	38	73
1	99	65
2	315	60
3	1190	56
done	5000	56
0	39	73
1	102	63
2	317	57
3	1234	53
done	5000	53
0	38	72
1	102	62
2	313	56
3	1199	53
done	5000	53
0	38	72
1	102	62
2	313	56
3	1199	53
done	5000	53
0	38	72
1	100	66
2	311	60
3	1184	56
done	5000	56
0	39	73
1	102	63
2	317	57
3	1234	53
done	5000	53
0	38	72
1	102	62
2	313	56
3	1199	53
done	5000	53
0	38	72
1	102	62
2	313	56
3	1199	53
done	5000	53
0	38	72
1	100	66
2	311	60
3	1184	56
done	5000	56
0	39	73
1	101	67
2	313	62
3	1197	57
done	5000	57
0	38	72
1	101	66
2	308	61
3	1168	56
done	5000	56
0	38	72
1	101	66
2	308	61
3	1168	56
done	5000	56
0	38	72
1	99	66
2	313	61
3	1188	56
done	5000	56
0	37	71
1	95	65
2	298	64
3	1137	61
done	5000	61
0	38	73
1	102	61
2	317	56
3	1207	52
done	5000	52
0	38	72
1	102	60
2	313	55
3	1165	52
done	5000	52
0	38	72
1	102	60
2	313	55
3	1165	52
done	5000	52
0	38	72
1	100	64
2	311	59
3	1157	55
done	5000	55
0	39	72
1	103	62
2	313	56
3	1207	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	101	65
2	307	59
3	1147	55
done	5000	55
0	39	72
1	103	62
2	313	56
3	1207	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	101	65
2	307	59
3	1147	55
done	5000	55
0	39	72
1	102	66
2	309	61
3	1169	56
done	5001	56
0	38	71
1	102	65
2	304	60
3	1134	55
done	5000	54
0	38	71
1	102	65
2	304	60
3	1134	55
done	5000	54
0	38	71
1	100	65
2	309	60
3	1155	55
done	5000	55
0	37	70
1	96	64
2	294	63
3	1109	60
done	5000	55
0	38	73
1	102	61
2	317	56
3	1207	52
done	5000	52
0	38	72
1	102	60
2	313	55
3	1165	52
done	5000	52
0	38	72
1	102	60
2	313	55
3	1165	52
done	5000	52
0	38	72
1	100	64
2	311	59
3	1157	55
done	5000	55
0	39	72
1	103	62
2	313	56
3	1207	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	101	65
2	307	59
3	1147	55
done	5000	55
0	39	72
1	103	62
2	313	56
3	1207	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	103	61
2	309	55
3	1160	52
done	5000	52
0	38	71
1	101	65
2	307	59
3	1147	55
done	5000	55
0	39	72
1	102	66
2	309	61
3	1169	56
done	5001	56
0	38	71
1	102	65
2	304	60
3	1134	55
done	5000	54
0	38	71
1	102	65
2	304	60
3	1134	55
done	5000	54
0	38	71
1	100	65
2	309	60
3	1155	55
done	5000	55
0	37	70
1	96	64
2	294	63
3	1109	60
done	5000	55
0	38	73
1	100	65
2	316	60
3	1201	52
done	5000	52
0	38	72
1	100	64
2	312	59
3	1162	52
done	5000	52
0	38	72
1	100	64
2	312	59
3	1162	52
done	5000	52
0	38	72
1	97	68
2	309	59
3	1159	55
done	5000	55
0	39	72
1	101	66
2	312	60
3	1198	52
done	5000	52
0	38	71
1	101	65
2	308	59
3	1152	52
done	5000	52
0	38	71
1	101	65
2	308	59
3	1152	52
done	5000	52
0	38	71
1	98	69
2	305	59
3	1157	55
done	5000	55
0	39	72
1	101	66
2	312	60
3	1198	52
done	5000	52
0	38	71
1	101	65
2	308	59
3	1152	52
done	5000	52
0	38	71
1	101	65
2	308	59
3	1152	52
done	5000	52
0	38	71
1	98	69
2	305	59
3	1157	55
done	5000	55
0	39	72
1	99	70
2	307	61
3	1168	56
done	5000	56
0	38	71
1	99	69
2	302	60
3	1134	55
done	5001	55
0	38	71
1	99	69
2	302	60
3	1134	55
done	5001	55
0	38	71
1	97	69
2	307	60
3	1161	55
done	5000	55
0	37	70
1	93	68
2	294	63
3	1125	60
done	5000	60
0	38	73
1	100	63
2	310	58
3	1182	53
done	5000	53
0	38	72
1	100	62
2	306	57
3	1150	53
done	5001	53
0	38	72
1	100	62
2	306	57
3	1150	53
done	5001	53
0	38	72
1	98	66
2	304	61
3	1133	56
done	5000	56
0	39	72
1	101	64
2	306	58
3	1173	53
done	5000	53
0	38	71
1	101	63
2	302	57
3	1134	53
done	5000	50
0	38	71
1	101	63
2	302	57
3	1134	53
done	5000	50
0	38	71
1	99	67
2	300	61
3	1129	56
done	5000	55
0	39	72
1	101	64
2	306	58
3	1173	53
done	5000	53
0	38	71
1	101	63
2	302	57
3	1134	53
done	5000	50
0	38	71
1	101	63
2	302	57
3	1134	53
done	5000	50
0	38	71
1	99	67
2	300	61
3	1129	56
done	5000	55
0	39	72
1	100	68
2	302	63
3	1142	57
done	5000	57
0	38	71
1	100	67
2	297	62
3	1109	56
done	5000	56
0	38	71
1	100	67
2	297	62
3	1109	56
done	5000	56
0	38	71
1	98	67
2	302	62
3	1136	56
done	5000	56
0	37	70
1	94	66
2	287	65
3	1088	61
done	5001	55
0	37	72
1	100	62
2	304	57
3	1141	52
done	5001	50
0	37	71
1	100	61
2	300	56
3	1099	52
done	5000	50
0	37	71
1	100	61
2	300	56
3	1099	52
done	5000	50
0	37	71
1	98	65
2	298	60
3	1091	55
done	5000	54
0	38	71
1	101	63
2	300	57
3	1128	52
done	5000	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	99	66
2	294	60
3	1084	55
done	5001	54
0	38	71
1	101	63
2	300	57
3	1128	52
done	5000	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	99	66
2	294	60
3	1084	55
done	5001	54
0	38	71
1	100	67
2	296	62
3	1101	56
done	5000	54
0	37	70
1	100	66
2	291	61
3	1068	55
done	5000	54
0	37	70
1	100	66
2	291	61
3	1068	55
done	5000	54
0	37	70
1	98	66
2	296	61
3	1093	55
done	5001	54
0	36	69
1	94	65
2	281	64
3	1050	60
done	5000	55
0	37	72
1	100	62
2	304	57
3	1141	52
done	5001	50
0	37	71
1	100	61
2	300	56
3	1099	52
done	5000	50
0	37	71
1	100	61
2	300	56
3	1099	52
done	5000	50
0	37	71
1	98	65
2	298	60
3	1091	55
done	5000	54
0	38	71
1	101	63
2	300	57
3	1128	52
done	5000	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	99	66
2	294	60
3	1084	55
done	5001	54
0	38	71
1	101	63
2	300	57
3	1128	52
done	5000	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	101	62
2	296	56
3	1085	52
done	5001	50
0	37	70
1	99	66
2	294	60
3	1084	55
done	5001	54
0	38	71
1	100	67
2	296	62
3	1101	56
done	5000	54
0	37	70
1	100	66
2	291	61
3	1068	55
done	5000	54
0	37	70
1	100	66
2	291	61
3	1068	55
done	5000	54
0	37	70
1	98	66
2	296	61
3	1093	55
done	5001	54
0	36	69
1	94	65
2	281	64
3	1050	60
done	5000	55
0	37	72
1	98	66
2	305	61
3	1148	52
done	5001	52
0	37	71
1	98	65
2	301	60
3	1109	52
done	5000	52
0	37	71
1	98	65
2	301	60
3	1109	52
done	5000	52
0	37	71
1	95	69
2	298	60
3	1105	55
done	5000	54
0	38	71
1	99	67
2	301	61
3	1142	52
done	5000	52
0	37	70
1	99	66
2	297	60
3	1102	52
done	5000	52
0	37	70
1	99	66
2	297	60
3	1102	52
done	5000	52
0	37	70
1	96	70
2	294	60
3	1096	55
done	5001	54
0	38	71
1	99	67
2	301	61
3	1142	52
done	5000	52
0	37	70
1	99	66
2	297	60
3	1102	52
done	5000	52
0	37	70
1	99	66
2	297	60
3	1102	52
done	5000	52
0	37	70
1	96	70
2	294	60
3	1096	55
done	5001	54
0	38	71
1	97	71
2	296	62
3	1111	56
done	5000	56
0	37	70
1	97	70
2	291	61
3	1081	55
done	5001	54
0	37	70
1	97	70
2	291	61
3	1081	55
done	5001	54
0	37	70
1	95	70
2	296	61
3	1101	55
done	5000	54
0	36	69
1	91	69
2	283	64
3	1076	60
done	5000	55
0	39	75
1	103	62
2	334	57
3	1308	53
done	5000	53
0	39	74
1	103	61
2	330	56
3	1263	53
done	5000	53
0	39	74
1	103	61
2	330	56
3	1263	53
done	5000	53
0	39	74
1	101	65
2	328	60
3	1250	56
done	5000	56
0	40	74
1	104	63
2	330	57
3	1302	53
done	5000	53
0	39	73
1	104	62
2	326	56
3	1258	53
done	5000	53
0	39	73
1	104	62
2	326	56
3	1258	53
done	5000	53
0	39	73
1	102	66
2	324	60
3	1237	56
done	5000	56
0	40	74
1	104	63
2	330	57
3	1302	53
done	5000	53
0	39	73
1	104	62
2	326	56
3	1258	53
done	5000	53
0	39	73
1	104	62
2	326	56
3	1258	53
done	5000	53
0	39	73
1	102	66
2	324	60
3	1237	56
done	5000	56
0	40	74
1	103	67
2	326	62
3	1256	57
done	5001	57
0	39	73
1	103	66
2	321	61
3	1220	56
done	5000	56
0	39	73
1	103	66
2	321	61
3	1220	56
done	5000	56
0	39	73
1	101	66
2	326	61
3	1247	56
done	5000	56
0	38	72
1	97	65
2	311	64
3	1194	61
done	5001	61
0	39	74
1	103	61
2	328	56
3	1255	52
done	5001	52
0	39	73
1	103	60
2	324	55
3	1215	52
done	5000	52
0	39	73
1	103	60
2	324	55
3	1215	52
done	5000	52
0	39	73
1	101	64
2	322	59
3	1201	55
done	5001	55
0	40	73
1	104	62
2	324	56
3	1256	52
done	5000	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	102	65
2	318	59
3	1196	55
done	5001	55
0	40	73
1	104	62
2	324	56
3	1256	52
done	5000	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	102	65
2	318	59
3	1196	55
done	5001	55
0	40	73
1	103	66
2	320	61
3	1208	56
done	5000	56
0	39	72
1	103	65
2	315	60
3	1173	55
done	5000	55
0	39	72
1	103	65
2	315	60
3	1173	55
done	5000	55
0	39	72
1	101	65
2	320	60
3	1202	55
done	5000	55
0	38	71
1	97	64
2	305	63
3	1153	60
done	5001	60
0	39	74
1	103	61
2	328	56
3	1255	52
done	5001	52
0	39	73
1	103	60
2	324	55
3	1215	52
done	5000	52
0	39	73
1	103	60
2	324	55
3	1215	52
done	5000	52
0	39	73
1	101	64
2	322	59
3	1201	55
done	5001	55
0	40	73
1	104	62
2	324	56
3	1256	52
done	5000	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	102	65
2	318	59
3	1196	55
done	5001	55
0	40	73
1	104	62
2	324	56
3	1256	52
done	5000	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	104	61
2	320	55
3	1210	52
done	5001	52
0	39	72
1	102	65
2	318	59
3	1196	55
done	5001	55
0	40	73
1	103	66
2	320	61
3	1208	56
done	5000	56
0	39	72
1	103	65
2	315	60
3	1173	55
done	5000	55
0	39	72
1	103	65
2	315	60
3	1173	55
done	5000	55
0	39	72
1	101	65
2	320	60
3	1202	55
done	5000	55
0	38	71
1	97	64
2	305	63
3	1153	60
done	5001	60
0	39	74
1	101	65
2	324	60
3	1218	52
done	5000	52
0	39	73
1	101	64
2	320	59
3	1182	52
done	5001	52
0	39	73
1	101	64
2	320	59
3	1182	52
done	5001	52
0	39	73
1	98	68
2	317	59
3	1175	55
done	5001	55
0	40	73
1	102	66
2	320	60
3	1212	52
done	5000	52
0	39	72
1	102	65
2	316	59
3	1177	52
done	5000	52
0	39	72
1	102	65
2	316	59
3	1177	52
done	5000	52
0	39	72
1	99	69
2	313	59
3	1172	55
done	5001	55
0	40	73
1	102	66
2	320	60
3	1212	52
done	5000	52
0	39	72
1	102	65
2	316	59
3	1177	52
done	5000	52
0	39	72
1	102	65
2	316	59
3	1177	52
done	5000	52
0	39	72
1	99	69
2	313	59
3	1172	55
done	5001	55
0	40	73
1	100	70
2	315	61
3	1187	56
done	5000	56
0	39	72
1	100	69
2	310	60
3	1157	55
done	5000	55
0	39	72
1	100	69
2	310	60
3	1157	55
done	5000	55
0	39	72
1	98	69
2	315	60
3	1179	55
done	5000	55
0	38	71
1	94	68
2	302	63
3	1147	60
done	5001	60
0	39	74
1	101	63
2	324	58
3	1264	53
done	5000	53
0	39	73
1	101	62
2	320	57
3	1221	53
done	5001	53
0	39	73
1	101	62
2	320	57
3	1221	53
done	5001	53
0	39	73
1	99	66
2	318	61
3	1206	56
done	5001	56
0	40	73
1	102	64
2	320	58
3	1251	53
done	5000	53
0	39	72
1	102	63
2	316	57
3	1218	53
done	5000	53
0	39	72
1	102	63
2	316	57
3	1218	53
done	5000	53
0	39	72
1	100	67
2	314	61
3	1198	56
done	5000	56
0	40	73
1	102	64
2	320	58
3	1251	53
done	5000	53
0	39	72
1	102	63
2	316	57
3	1218	53
done	5000	53
0	39	72
1	102	63
2	316	57
3	1218	53
done	5000	53
0	39	72
1	100	67
2	314	61
3	1198	56
done	5000	56
0	40	73
1	101	68
2	316	63
3	1215	57
done	5001	57
0	39	72
1	101	67
2	311	62
3	1179	56
done	5000	56
0	39	72
1	101	67
2	311	62
3	1179	56
done	5000	56
0	39	72
1	99	67
2	316	62
3	1212	56
done	5000	56
0	38	71
1	95	66
2	301	65
3	1159	61
done	5001	61
0	38	73
1	101	62
2	318	57
3	1216	52
done	5001	52
0	38	72
1	101	61
2	314	56
3	1176	52
done	5001	52
0	38	72
1	101	61
2	314	56
3	1176	52
done	5001	52
0	38	72
1	99	65
2	312	60
3	1167	55
done	5000	55
0	39	72
1	102	63
2	314	57
3	1211	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	100	66
2	308	60
3	1160	55
done	5000	55
0	39	72
1	102	63
2	314	57
3	1211	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	100	66
2	308	60
3	1160	55
done	5000	55
0	39	72
1	101	67
2	310	62
3	1170	56
done	5000	56
0	38	71
1	101	66
2	305	61
3	1141	55
done	5000	55
0	38	71
1	101	66
2	305	61
3	1141	55
done	5000	55
0	38	71
1	99	66
2	310	61
3	1168	55
done	5000	55
0	37	70
1	95	65
2	295	64
3	1123	60
done	5000	60
0	38	73
1	101	62
2	318	57
3	1216	52
done	5001	52
0	38	72
1	101	61
2	314	56
3	1176	52
done	5001	52
0	38	72
1	101	61
2	314	56
3	1176	52
done	5001	52
0	38	72
1	99	65
2	312	60
3	1167	55
done	5000	55
0	39	72
1	102	63
2	314	57
3	1211	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	100	66
2	308	60
3	1160	55
done	5000	55
0	39	72
1	102	63
2	314	57
3	1211	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	102	62
2	310	56
3	1168	52
done	5001	52
0	38	71
1	100	66
2	308	60
3	1160	55
done	5000	55
0	39	72
1	101	67
2	310	62
3	1170	56
done	5000	56
0	38	71
1	101	66
2	305	61
3	1141	55
done	5000	55
0	38	71
1	101	66
2	305	61
3	1141	55
done	5000	55
0	38	71
1	99	66
2	310	61
3	1168	55
done	5000	55
0	37	70
1	95	65
2	295	64
3	1123	60
done	5000	60
0	38	73
1	99	66
2	316	61
3	1199	52
done	5000	52
0	38	72
1	99	65
2	312	60
3	1163	52
done	5000	52
0	38	72
1	99	65
2	312	60
3	1163	52
done	5000	52
0	38	72
1	96	69
2	309	60
3	1153	55
done	5001	55
0	39	72
1	100	67
2	312	61
3	1189	52
done	5000	52
0	38	71
1	100	66
2	308	60
3	1156	52
done	5000	52
0	38	71
1	100	66
2	308	60
3	1156	52
done	5000	52
0	38	71
1	97	70
2	305	60
3	1147	55
done	5001	55
0	39	72
1	100	67
2	312	61
3	1189	52
done	5000	52
0	38	71
1	100	66
2	308	60
3	1156	52
done	5000	52
0	38	71
1	100	66
2	308	60
3	1156	52
done	5000	52
0	38	71
1	97	70
2	305	60
3	1147	55
done	5001	55
0	39	72
1	98	71
2	307	62
3	1166	56
done	5001	56
0	38	71
1	98	70
2	302	61
3	1128	55
done	5000	55
0	38	71
1	98	70
2	302	61
3	1128	55
done	5000	55
0	38	71
1	96	70
2	307	61
3	1162	55
done	5000	55
0	37	70
1	92	69
2	294	64
3	1126	60
done	5001	60
0	40	76
1	106	63
2	329	57
3	1297	53
done	5000	53
0	40	75
1	106	62
2	325	56
3	1255	53
done	5000	53
0	40	75
1	106	62
2	325	56
3	1255	53
done	5000	53
0	40	75
1	104	66
2	323	60
3	1236	56
done	5001	56
0	41	75
1	107	64
2	325	57
3	1282	53
done	5001	53
0	40	74
1	107	63
2	321	56
3	1255	53
done	5001	53
0	40	74
1	107	63
2	321	56
3	1255	53
done	5001	53
0	40	74
1	105	67
2	319	60
3	1229	56
done	5000	56
0	41	75
1	107	64
2	325	57
3	1282	53
done	5001	53
0	40	74
1	107	63
2	321	56
3	1255	53
done	5001	53
0	40	74
1	107	63
2	321	56
3	1255	53
done	5001	53
0	40	74
1	105	67
2	319	60
3	1229	56
done	5000	56
0	41	75
1	106	68
2	321	62
3	1246	57
done	5000	57
0	40	74
1	106	67
2	316	61
3	1218	56
done	5000	56
0	40	74
1	106	67
2	316	61
3	1218	56
done	5000	56
0	40	74
1	104	67
2	321	61
3	1243	56
done	5000	56
0	39	73
1	100	66
2	306	64
3	1190	61
done	5001	61
0	40	75
1	106	62
2	323	56
3	1246	52
done	5000	52
0	40	74
1	106	61
2	319	55
3	1208	52
done	5001	52
0	40	74
1	106	61
2	319	55
3	1208	52
done	5001	52
0	40	74
1	104	65
2	317	59
3	1195	55
done	5000	55
0	41	74
1	107	63
2	319	56
3	1236	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	105	66
2	313	59
3	1184	55
done	5001	55
0	41	74
1	107	63
2	319	56
3	1236	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	105	66
2	313	59
3	1184	55
done	5001	55
0	41	74
1	106	67
2	315	61
3	1203	56
done	5001	56
0	40	73
1	106	66
2	310	60
3	1172	55
done	5000	55
0	40	73
1	106	66
2	310	60
3	1172	55
done	5000	55
0	40	73
1	104	66
2	315	60
3	1197	55
done	5000	55
0	39	72
1	100	65
2	300	63
3	1151	60
done	5001	60
0	40	75
1	106	62
2	323	56
3	1246	52
done	5000	52
0	40	74
1	106	61
2	319	55
3	1208	52
done	5001	52
0	40	74
1	106	61
2	319	55
3	1208	52
done	5001	52
0	40	74
1	104	65
2	317	59
3	1195	55
done	5000	55
0	41	74
1	107	63
2	319	56
3	1236	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	105	66
2	313	59
3	1184	55
done	5001	55
0	41	74
1	107	63
2	319	56
3	1236	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	107	62
2	315	55
3	1201	52
done	5000	52
0	40	73
1	105	66
2	313	59
3	1184	55
done	5001	55
0	41	74
1	106	67
2	315	61
3	1203	56
done	5001	56
0	40	73
1	106	66
2	310	60
3	1172	55
done	5000	55
0	40	73
1	106	66
2	310	60
3	1172	55
done	5000	55
0	40	73
1	104	66
2	315	60
3	1197	55
done	5000	55
0	39	72
1	100	65
2	300	63
3	1151	60
done	5001	60
0	40	75
1	104	66
2	318	60
3	1214	52
done	5001	52
0	40	74
1	104	65
2	314	59
3	1174	52
done	5000	52
0	40	74
1	104	65
2	314	59
3	1174	52
done	5000	52
0	40	74
1	101	69
2	311	59
3	1171	55
done	5000	55
0	41	74
1	105	67
2	314	60
3	1202	52
done	5001	52
0	40	73
1	105	66
2	310	59
3	1167	52
done	5000	52
0	40	73
1	105	66
2	310	59
3	1167	52
done	5000	52
0	40	73
1	102	70
2	307	59
3	1160	55
done	5000	55
0	41	74
1	105	67
2	314	60
3	1202	52
done	5001	52
0	40	73
1	105	66
2	310	59
3	1167	52
done	5000	52
0	40	73
1	105	66
2	310	59
3	1167	52
done	5000	52
0	40	73
1	102	70
2	307	59
3	1160	55
done	5000	55
0	41	74
1	103	71
2	309	61
3	1174	56
done	5000	56
0	40	73
1	103	70
2	304	60
3	1146	55
done	5000	55
0	40	73
1	103	70
2	304	60
3	1146	55
done	5000	55
0	40	73
1	101	70
2	309	60
3	1172	55
done	5001	55
0	39	72
1	97	69
2	296	63
3	1138	60
done	5000	60
0	40	75
1	104	64
2	321	58
3	1256	53
done	5001	53
0	40	74
1	104	63
2	317	57
3	1220	53
done	5000	53
0	40	74
1	104	63
2	317	57
3	1220	53
done	5000	53
0	40	74
1	102	67
2	315	61
3	1200	56
done	5000	56
0	41	74
1	105	65
2	317	58
3	1255	53
done	5001	53
0	40	73
1	105	64
2	313	57
3	1210	53
done	5001	53
0	40	73
1	105	64
2	313	57
3	1210	53
done	5001	53
0	40	73
1	103	68
2	311	61
3	1194	56
done	5000	56
0	41	74
1	105	65
2	317	58
3	1255	53
done	5001	53
0	40	73
1	105	64
2	313	57
3	1210	53
done	5001	53
0	40	73
1	105	64
2	313	57
3	1210	53
done	5001	53
0	40	73
1	103	68
2	311	61
3	1194	56
done	5000	56
0	41	74
1	104	69
2	313	63
3	1212	57
done	5000	57
0	40	73
1	104	68
2	308	62
3	1176	56
done	5000	56
0	40	73
1	104	68
2	308	62
3	1176	56
done	5000	56
0	40	73
1	102	68
2	313	62
3	1202	56
done	5001	56
0	39	72
1	98	67
2	298	65
3	1155	61
done	5000	61
0	39	74
1	104	63
2	315	57
3	1207	52
done	5000	52
0	39	73
1	104	62
2	311	56
3	1167	52
done	5001	52
0	39	73
1	104	62
2	311	56
3	1167	52
done	5001	52
0	39	73
1	102	66
2	309	60
3	1162	55
done	5000	55
0	40	73
1	105	64
2	311	57
3	1201	52
done	5000	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	103	67
2	305	60
3	1156	55
done	5000	55
0	40	73
1	105	64
2	311	57
3	1201	52
done	5000	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	103	67
2	305	60
3	1156	55
done	5000	55
0	40	73
1	104	68
2	307	62
3	1166	56
done	5001	56
0	39	72
1	104	67
2	302	61
3	1129	55
done	5000	55
0	39	72
1	104	67
2	302	61
3	1129	55
done	5000	55
0	39	72
1	102	67
2	307	61
3	1163	55
done	5000	55
0	38	71
1	98	66
2	292	64
3	1116	60
done	5000	60
0	39	74
1	104	63
2	315	57
3	1207	52
done	5000	52
0	39	73
1	104	62
2	311	56
3	1167	52
done	5001	52
0	39	73
1	104	62
2	311	56
3	1167	52
done	5001	52
0	39	73
1	102	66
2	309	60
3	1162	55
done	5000	55
0	40	73
1	105	64
2	311	57
3	1201	52
done	5000	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	103	67
2	305	60
3	1156	55
done	5000	55
0	40	73
1	105	64
2	311	57
3	1201	52
done	5000	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	105	63
2	307	56
3	1161	52
done	5001	52
0	39	72
1	103	67
2	305	60
3	1156	55
done	5000	55
0	40	73
1	104	68
2	307	62
3	1166	56
done	5001	56
0	39	72
1	104	67
2	302	61
3	1129	55
done	5000	55
0	39	72
1	104	67
2	302	61
3	1129	55
done	5000	55
0	39	72
1	102	67
2	307	61
3	1163	55
done	5000	55
0	38	71
1	98	66
2	292	64
3	1116	60
done	5000	60
0	39	74
1	102	67
2	312	61
3	1188	52
done	5001	52
0	39	73
1	102	66
2	308	60
3	1154	52
done	5000	52
0	39	73
1	102	66
2	308	60
3	1154	52
done	5000	52
0	39	73
1	99	70
2	305	60
3	1147	55
done	5001	55
0	40	73
1	103	68
2	308	61
3	1179	52
done	5001	52
0	39	72
1	103	67
2	304	60
3	1148	52
done	5000	52
0	39	72
1	103	67
2	304	60
3	1148	52
done	5000	52
0	39	72
1	100	71
2	301	60
3	1137	55
done	5001	55
0	40	73
1	103	68
2	308	61
3	1179	52
done	5001	52
0	39	72
1	103	67
2	304	60
3	1148	52
done	5000	52
0	39	72
1	103	67
2	304	60
3	1148	52
done	5000	52
0	39	72
1	100	71
2	301	60
3	1137	55
done	5001	55
0	40	73
1	101	72
2	303	62
3	1152	56
done	5000	56
0	39	72
1	101	71
2	298	61
3	1120	55
done	5000	55
0	39	72
1	101	71
2	298	61
3	1120	55
done	5000	55
0	39	72
1	99	71
2	303	61
3	1151	55
done	5001	55
0	38	71
1	95	70
2	290	64
3	1115	60
done	5000	60
0	39	74
1	106	63
2	320	59
3	1212	53
done	5000	53
0	39	73
1	106	62
2	316	58
3	1175	53
done	5001	53
0	39	73
1	106	62
2	316	58
3	1175	53
done	5001	53
0	39	73
1	104	66
2	314	62
3	1157	56
done	5000	56
0	40	73
1	107	64
2	316	59
3	1198	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	105	67
2	310	62
3	1151	56
done	5000	56
0	40	73
1	107	64
2	316	59
3	1198	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	105	67
2	310	62
3	1151	56
done	5000	56
0	40	73
1	106	68
2	312	64
3	1167	57
done	5000	57
0	39	72
1	106	67
2	307	63
3	1131	56
done	5000	56
0	39	72
1	106	67
2	307	63
3	1131	56
done	5000	56
0	39	72
1	104	67
2	312	63
3	1164	56
done	5001	56
0	38	71
1	100	66
2	297	66
3	1113	61
done	5000	61
0	38	73
1	106	62
2	314	58
3	1166	52
done	5001	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	104	65
2	308	61
3	1120	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	106	67
2	306	63
3	1121	56
done	5000	56
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	104	66
2	306	62
3	1116	55
done	5001	55
0	37	70
1	100	65
2	291	65
3	1075	60
done	5000	55
0	38	73
1	106	62
2	314	58
3	1166	52
done	5001	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	104	65
2	308	61
3	1120	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	106	67
2	306	63
3	1121	56
done	5000	56
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	104	66
2	306	62
3	1116	55
done	5001	55
0	37	70
1	100	65
2	291	65
3	1075	60
done	5000	55
0	38	73
1	103	66
2	312	62
3	1148	52
done	5001	52
0	38	72
1	103	65
2	308	61
3	1116	52
done	5000	52
0	38	72
1	103	65
2	308	61
3	1116	52
done	5000	52
0	38	72
1	100	69
2	305	61
3	1109	55
done	5000	54
0	39	72
1	104	67
2	308	62
3	1143	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	101	70
2	301	61
3	1103	55
done	5000	54
0	39	72
1	104	67
2	308	62
3	1143	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	101	70
2	301	61
3	1103	55
done	5000	54
0	39	72
1	102	71
2	303	63
3	1117	56
done	5001	56
0	38	71
1	102	70
2	298	62
3	1084	55
done	5001	54
0	38	71
1	102	70
2	298	62
3	1084	55
done	5001	54
0	38	71
1	100	70
2	303	62
3	1112	55
done	5001	55
0	37	70
1	96	69
2	290	65
3	1082	60
done	5001	55
0	39	74
1	106	63
2	320	59
3	1212	53
done	5000	53
0	39	73
1	106	62
2	316	58
3	1175	53
done	5001	53
0	39	73
1	106	62
2	316	58
3	1175	53
done	5001	53
0	39	73
1	104	66
2	314	62
3	1157	56
done	5000	56
0	40	73
1	107	64
2	316	59
3	1198	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	105	67
2	310	62
3	1151	56
done	5000	56
0	40	73
1	107	64
2	316	59
3	1198	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	107	63
2	312	58
3	1165	53
done	5000	53
0	39	72
1	105	67
2	310	62
3	1151	56
done	5000	56
0	40	73
1	106	68
2	312	64
3	1167	57
done	5000	57
0	39	72
1	106	67
2	307	63
3	1131	56
done	5000	56
0	39	72
1	106	67
2	307	63
3	1131	56
done	5000	56
0	39	72
1	104	67
2	312	63
3	1164	56
done	5001	56
0	38	71
1	100	66
2	297	66
3	1113	61
done	5000	61
0	38	73
1	106	62
2	314	58
3	1166	52
done	5001	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	104	65
2	308	61
3	1120	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	106	67
2	306	63
3	1121	56
done	5000	56
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	104	66
2	306	62
3	1116	55
done	5001	55
0	37	70
1	100	65
2	291	65
3	1075	60
done	5000	55
0	38	73
1	106	62
2	314	58
3	1166	52
done	5001	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	106	61
2	310	57
3	1127	52
done	5000	52
0	38	72
1	104	65
2	308	61
3	1120	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	107	63
2	310	58
3	1160	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	107	62
2	306	57
3	1119	52
done	5000	52
0	38	71
1	105	66
2	304	61
3	1112	55
done	5000	54
0	39	72
1	106	67
2	306	63
3	1121	56
done	5000	56
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	106	66
2	301	62
3	1098	55
done	5000	54
0	38	71
1	104	66
2	306	62
3	1116	55
done	5001	55
0	37	70
1	100	65
2	291	65
3	1075	60
done	5000	55
0	38	73
1	103	66
2	312	62
3	1148	52
done	5001	52
0	38	72
1	103	65
2	308	61
3	1116	52
done	5000	52
0	38	72
1	103	65
2	308	61
3	1116	52
done	5000	52
0	38	72
1	100	69
2	305	61
3	1109	55
done	5000	54
0	39	72
1	104	67
2	308	62
3	1143	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	101	70
2	301	61
3	1103	55
done	5000	54
0	39	72
1	104	67
2	308	62
3	1143	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	104	66
2	304	61
3	1112	52
done	5000	52
0	38	71
1	101	70
2	301	61
3	1103	55
done	5000	54
0	39	72
1	102	71
2	303	63
3	1117	56
done	5001	56
0	38	71
1	102	70
2	298	62
3	1084	55
done	5001	54
0	38	71
1	102	70
2	298	62
3	1084	55
done	5001	54
0	38	71
1	100	70
2	303	62
3	1112	55
done	5001	55
0	37	70
1	96	69
2	290	65
3	1082	60
done	5001	55
0	39	74
1	102	68
2	311	63
3	1170	54
done	5000	54
0	39	73
1	102	67
2	307	62
3	1130	54
done	5000	54
0	39	73
1	102	67
2	307	62
3	1130	54
done	5000	54
0	39	73
1	99	71
2	304	62
3	1126	57
done	5000	57
0	40	73
1	103	69
2	307	63
3	1169	54
done	5000	54
0	39	72
1	103	68
2	303	62
3	1126	54
done	5001	53
0	39	72
1	103	68
2	303	62
3	1126	54
done	5001	53
0	39	72
1	100	72
2	300	62
3	1118	57
done	5000	57
0	40	73
1	103	69
2	307	63
3	1169	54
done	5000	54
0	39	72
1	103	68
2	303	62
3	1126	54
done	5001	53
0	39	72
1	103	68
2	303	62
3	1126	54
done	5001	53
0	39	72
1	100	72
2	300	62
3	1118	57
done	5000	57
0	40	73
1	101	73
2	302	64
3	1129	58
done	5000	58
0	39	72
1	101	72
2	297	63
3	1094	57
done	5000	55
0	39	72
1	101	72
2	297	63
3	1094	57
done	5000	55
0	39	72
1	99	72
2	302	63
3	1124	57
done	5000	57
0	38	71
1	95	71
2	289	66
3	1098	62
done	5000	56
0	38	73
1	102	67
2	306	62
3	1130	53
done	5001	52
0	38	72
1	102	66
2	302	61
3	1103	53
done	5000	52
0	38	72
1	102	66
2	302	61
3	1103	53
done	5000	52
0	38	72
1	99	70
2	299	61
3	1088	56
done	5001	54
0	39	72
1	103	68
2	302	62
3	1125	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	100	71
2	295	61
3	1083	56
done	5000	54
0	39	72
1	103	68
2	302	62
3	1125	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	100	71
2	295	61
3	1083	56
done	5000	54
0	39	72
1	101	72
2	297	63
3	1095	57
done	5000	54
0	38	71
1	101	71
2	292	62
3	1066	56
done	5000	54
0	38	71
1	101	71
2	292	62
3	1066	56
done	5000	54
0	38	71
1	99	71
2	297	62
3	1093	56
done	5001	54
0	37	70
1	95	70
2	284	65
3	1061	61
done	5000	55
0	38	73
1	102	67
2	306	62
3	1130	53
done	5001	52
0	38	72
1	102	66
2	302	61
3	1103	53
done	5000	52
0	38	72
1	102	66
2	302	61
3	1103	53
done	5000	52
0	38	72
1	99	70
2	299	61
3	1088	56
done	5001	54
0	39	72
1	103	68
2	302	62
3	1125	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	100	71
2	295	61
3	1083	56
done	5000	54
0	39	72
1	103	68
2	302	62
3	1125	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	103	67
2	298	61
3	1094	53
done	5000	52
0	38	71
1	100	71
2	295	61
3	1083	56
done	5000	54
0	39	72
1	101	72
2	297	63
3	1095	57
done	5000	54
0	38	71
1	101	71
2	292	62
3	1066	56
done	5000	54
0	38	71
1	101	71
2	292	62
3	1066	56
done	5000	54
0	38	71
1	99	71
2	297	62
3	1093	56
done	5001	54
0	37	70
1	95	70
2	284	65
3	1061	61
done	5000	55
0	38	73
1	100	67
2	311	62
3	1159	53
done	5000	53
0	38	72
1	100	66
2	307	61
3	1120	53
done	5000	52
0	38	72
1	100	66
2	307	61
3	1120	53
done	5000	52
0	38	72
1	97	70
2	304	61
3	1114	56
done	5000	54
0	39	72
1	101	68
2	307	62
3	1149	53
done	5000	53
0	38	71
1	101	67
2	303	61
3	1115	53
done	5001	52
0	38	71
1	101	67
2	303	61
3	1115	53
done	5001	52
0	38	71
1	98	71
2	300	61
3	1109	56
done	5000	54
0	39	72
1	101	68
2	307	62
3	1149	53
done	5000	53
0	38	71
1	101	67
2	303	61
3	1115	53
done	5001	52
0	38	71
1	101	67
2	303	61
3	1115	53
done	5001	52
0	38	71
1	98	71
2	300	61
3	1109	56
done	5000	54
0	39	72
1	99	72
2	302	63
3	1119	57
done	5000	57
0	38	71
1	99	71
2	297	62
3	1092	56
done	5002	54
0	38	71
1	99	71
2	297	62
3	1092	56
done	5002	54
0	38	71
1	97	71
2	301	62
3	1115	56
done	5000	56
0	37	70
1	93	70
2	288	65
3	1080	61
done	5000	55
0	37	72
1	96	66
2	290	66
3	1103	58
done	5000	53
0	37	71
1	96	65
2	286	65
3	1068	58
done	5000	49
0	37	71
1	96	65
2	286	65
3	1068	58
done	5000	49
0	37	71
1	93	69
2	285	65
3	1071	61
done	5000	55
0	38	71
1	97	67
2	286	66
3	1093	58
done	5001	53
0	37	70
1	97	66
2	282	65
3	1058	58
done	5000	53
0	37	70
1	97	66
2	282	65
3	1058	58
done	5000	53
0	37	70
1	94	70
2	281	65
3	1065	61
done	5000	55
0	38	71
1	97	67
2	286	66
3	1093	58
done	5001	53
0	37	70
1	97	66
2	282	65
3	1058	58
done	5000	53
0	37	70
1	97	66
2	282	65
3	1058	58
done	5000	53
0	37	70
1	94	70
2	281	65
3	1065	61
done	5000	55
0	38	71
1	95	71
2	283	67
3	1086	62
done	5001	55
0	37	70
1	95	70
2	278	66
3	1044	61
done	5002	55
0	37	70
1	95	70
2	278	66
3	1044	61
done	5002	55
0	37	70
1	93	70
2	282	66
3	1073	61
done	5001	55
0	36	69
1	89	69
2	272	69
3	1062	62
done	5000	56
0	35	68
1	87	68
2	278	68
3	1246	68
done	5000	68
0	34	67
1	88	67
2	308	67
3	1668	67
done	5001	67
0	34	67
1	87	67
2	308	67
3	1659	67
done	5001	67
0	43	200
1	114	168
2	469	76
3	3378	76
done	5000	76
0	41	200
1	114	183
2	476	74
3	3501	74
done	5000	74
0	41	200
1	114	185
2	476	74
3	3518	74
done	5000	74
0	39	200
1	113	200
2	479	72
3	3694	72
done	5000	72
0	37	200
1	101	200
2	435	70
3	3550	70
done	5000	70
0	35	135
1	86	135
2	293	135
3	1553	135
done	5001	135
0	34	67
1	85	67
2	292	67
3	1554	67
done	5000	67
0	35	200
1	96	200
2	411	68
3	3501	68
done	5001	68
0	34	67
1	85	67
2	292	67
3	1554	67
done	5000	67
0	34	67
1	85	67
2	292	67
3	1554	67
done	5000	67
0	22	41
1	46	41
2	134	41
3	685	41
done	5001	41
0	33	65
1	88	65
2	332	65
3	2317	65
done	5000	65
0	22	41
1	46	41
2	134	41
3	685	41
done	5001	41
0	33	65
1	88	65
2	332	65
3	2317	65
done	5000	65
0	22	41
1	46	41
2	134	41
3	681	41
done	5000	41
0	33	65
1	88	65
2	332	65
3	2340	65
done	5001	65
0	22	41
1	46	41
2	134	41
3	681	41
done	5000	41
0	33	65
1	88	65
2	332	65
3	2340	65
done	5001	65
0	35	95
1	88	95
2	294	95
3	1454	95
done	5000	95
0	34	67
1	85	67
2	280	67
3	1307	67
done	5000	67
0	22	41
1	46	39
2	140	39
3	691	39
4	4719	39
done	5000	39
0	26	45
1	63	45
2	214	45
3	945	45
done	5000	45
0	36	70
1	102	70
2	387	70
3	2678	63
done	5001	63
0	35	93
1	96	93
2	388	93
3	2809	93
done	5000	93
0	11	11
1	19	11
2	41	11
3	78	11
4	135	11
5	227	11
6	373	11
7	475	11
8	492	11
done	492	11
0	10	10
1	19	10
2	34	10
3	62	10
4	114	10
5	188	10
6	331	10
7	474	10
8	518	10
done	518	10
0	10	10
1	19	10
2	35	10
3	71	10
4	129	10
5	202	10
6	318	10
7	452	10
8	479	10
9	480	10
done	480	10
0	9	9
1	19	9
2	31	9
3	57	9
4	105	9
5	166	9
6	272	9
7	441	9
8	489	9
9	491	9
done	491	9
0	8	8
1	20	8
2	58	8
3	125	8
4	219	8
5	322	8
6	470	8
7	629	8
8	674	8
9	675	8
done	675	8
0	8	8
1	17	8
2	40	8
3	79	8
4	113	8
5	169	8
6	318	8
7	715	8
8	2398	8
done	5001	8
0	15	23
1	36	23
2	229	15
3	1885	15
done	5000	15
0	13	23
1	38	23
2	251	13
3	2325	13
done	5001	13
0	13	23
1	38	23
2	232	13
3	2103	13
done	5000	13
0	11	23
1	40	23
2	258	11
3	2627	9
done	5001	9
0	9	17
1	18	17
2	39	17
3	66	17
4	77	17
done	77	17
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	9	23
1	25	23
2	128	9
3	1015	9
done	5000	9
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	17	21
1	31	19
2	68	19
3	151	19
4	344	19
5	721	19
6	1413	19
7	2337	19
8	3892	19
9	4548	19
10	4634	19
done	4634	19
0	17	20
1	29	20
2	69	19
3	155	19
4	349	19
5	728	19
6	1432	19
7	2361	19
8	3916	19
9	4573	19
10	4659	19
done	4659	19
0	16	20
1	31	18
2	61	18
3	129	18
4	282	18
5	598	18
6	1325	18
7	2241	18
8	3776	18
9	4805	18
10	4902	18
done	4902	18
0	16	19
1	29	19
2	62	18
3	131	18
4	286	18
5	609	18
6	1331	18
7	2261	18
8	3794	18
9	4828	18
10	4925	18
done	4925	18
0	16	20
1	31	18
2	56	18
3	129	18
4	307	18
5	650	18
6	1297	18
7	2236	18
8	3642	18
9	4533	18
10	4680	18
done	4680	18
0	16	19
1	29	19
2	57	18
3	131	18
4	309	18
5	655	18
6	1291	18
7	2224	18
8	3627	18
9	4522	18
10	4669	18
done	4669	18
0	15	19
1	31	17
2	52	17
3	109	17
4	249	17
5	543	17
6	1190	17
7	2114	17
8	3529	17
9	4754	17
10	4917	17
done	4917	17
0	15	18
1	29	18
2	53	17
3	113	17
4	254	17
5	554	17
6	1198	17
7	2125	17
8	3538	17
9	4759	17
10	4922	17
done	4922	17
0	14	18
1	32	16
2	73	16
3	152	16
4	312	16
5	595	16
6	1140	16
7	1855	16
8	2815	16
9	4671	16
done	5000	16
0	14	17
1	30	17
2	74	16
3	154	16
4	315	16
5	598	16
6	1130	16
7	1876	16
8	2837	16
9	4698	16
done	5000	16
0	14	18
1	32	16
2	73	16
3	152	16
4	312	16
5	595	16
6	1140	16
7	1855	16
8	2815	16
9	4671	16
done	5000	16
0	14	17
1	30	17
2	74	16
3	154	16
4	315	16
5	598	16
6	1130	16
7	1876	16
8	2837	16
9	4698	16
done	5000	16
0	14	18
1	33	16
2	77	16
3	174	16
4	470	16
5	1821	16
done	5001	16
0	14	17
1	32	17
2	78	16
3	176	16
4	472	16
5	1827	16
done	5000	16
0	13	16
1	32	16
2	78	16
3	191	16
4	490	16
5	1781	16
done	5000	16
0	13	16
1	31	16
2	77	16
3	171	16
4	379	16
5	1041	16
6	3777	16
done	5000	16
0	13	33
1	34	25
2	95	15
3	267	15
4	805	15
5	2894	15
done	5000	15
0	16	47
1	45	39
2	138	19
3	471	15
4	1954	15
done	5000	15
0	14	33
1	30	33
2	67	33
3	132	33
4	251	33
5	590	33
6	1831	33
done	5000	33
0	13	16
1	29	16
2	66	16
3	131	16
4	246	16
5	575	16
6	1831	16
done	5001	16
0	14	47
1	40	47
2	139	17
3	554	17
4	2233	15
done	5000	15
0	13	16
1	29	16
2	66	16
3	132	15
4	247	15
5	580	15
6	1843	15
done	5000	15
0	13	16
1	29	16
2	66	16
3	132	15
4	247	15
5	580	15
6	1843	15
done	5000	15
0	12	13
1	26	13
2	56	13
3	109	13
4	185	13
5	374	13
6	1066	13
7	3865	13
done	5000	13
0	12	13
1	26	13
2	56	13
3	109	13
4	185	13
5	374	13
6	1066	13
7	3865	13
done	5000	13
0	12	13
1	26	13
2	53	13
3	98	13
4	149	13
5	256	13
6	644	13
7	2070	13
done	5001	13
0	12	13
1	26	13
2	53	13
3	98	13
4	149	13
5	256	13
6	644	13
7	2070	13
done	5001	13
0	13	14
1	26	14
2	59	14
3	115	14
4	199	14
5	412	14
6	1233	14
7	4434	14
done	5000	14
0	13	14
1	26	14
2	59	14
3	115	14
4	199	14
5	412	14
6	1233	14
7	4434	14
done	5000	14
0	11	12
1	25	12
2	55	12
3	108	12
4	186	12
5	377	12
6	1077	12
7	3881	12
done	5000	12
0	13	16
1	29	16
2	66	16
3	131	16
4	247	16
5	577	16
6	1833	16
done	5001	16
0	13	16
1	29	16
2	66	16
3	131	16
4	247	16
5	577	16
6	1833	16
done	5001	16
0	9	11
1	16	11
2	32	11
3	71	11
4	177	11
5	510	11
6	1741	11
done	5000	11
0	12	15
1	28	15
2	65	15
3	131	15
4	250	15
5	580	15
6	1830	15
done	5000	15
0	10	13
1	22	13
2	40	13
3	82	13
4	189	13
5	516	13
6	1757	13
done	5001	13
0	13	16
1	29	16
2	57	16
3	102	16
4	155	16
5	262	16
6	653	16
7	2071	16
done	5000	16
0	13	16
1	29	16
2	58	16
3	103	16
4	154	16
5	263	16
6	651	16
7	2074	16
done	5000	16
0	12	15
1	28	15
2	65	15
3	131	15
4	250	15
5	580	15
6	1830	15
done	5000	15
0	14	17
1	29	17
2	69	17
3	138	17
4	267	17
5	623	17
6	1998	17
done	5001	17
0	33	44
1	84	41
2	202	35
3	762	29
done	5000	29
0	34	46
1	89	40
2	197	34
3	539	31
4	2017	27
done	5001	27
0	35	46
1	88	43
2	190	37
3	577	31
4	2103	31
done	5001	31
0	26	36
1	68	33
2	132	27
3	348	21
4	1187	21
done	5000	21
0	61	119
1	172	103
2	419	87
3	1362	79
done	5001	79
0	63	120
1	172	112
2	411	96
3	1471	80
done	5000	80
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	37	49
1	93	45
2	208	35
3	777	27
done	5000	27
0	41	57
1	107	49
2	268	41
3	1044	35
done	5001	35
0	45	62
1	115	58
2	293	50
3	1220	41
done	5001	41

prune1.8s

Filtered

330 candidates to 837 candidates (-153.6%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	829	8	837
Fresh	5	25	30
Picked	1	0	1
Done	0	0	0
Total	835	33	868

Merged error: 8.2b

Counts

868 → 33

regimes2.2s

Accuracy

-9% (7.0b remaining)

Error of 15.6b against oracle of 8.6b and baseline of 15.0b

bsearch312.0ms

Steps

Iters	Range		Point
8	1.1216373519901905e+282	3.110509378487501e+284	2.527890956311349e+282
8	1.4841189549473678e+197	2.2499158756864882e+201	2.2167822292661729e+201

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	67	175
1	85	175
done	85	175

end0.0ms

sample10.5s

Algorithm

intervals

Results

5.2s	38287×	body	80	nan
1.9s	12960×	body	80	valid

Details

sample328.0ms

simplify2.4s

prune6.0ms

localize33.0ms

rewrite54.0ms

series625.0ms

simplify12.4min

prune771.0ms

localize36.0ms

rewrite91.0ms

series659.0ms

simplify11.5min

prune1.1s

localize44.0ms

rewrite222.0ms

series648.0ms

simplify27.2min

prune1.8s

localize52.0ms

rewrite249.0ms

series796.0ms

simplify21.5min

prune1.8s

regimes2.2s

bsearch312.0ms

simplify6.0ms

end0.0ms

sample10.5s

Profiling