Details

sample40.0ms

Algorithm

intervals

Results

12.0ms

341×

body

valid

simplify3.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	28	9
3	47	9
4	77	9
5	101	9
6	121	9
7	128	9
8	144	9
9	189	9
10	282	9
11	423	9
12	461	9
13	512	9
14	602	9
15	834	9
16	1118	9
17	1657	9
18	2137	9
19	2195	9
done	2195	9

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 6.2b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ (* (- y x) z) t))
0.0b	(* (- y x) z)
6.5b	(/ (* (- y x) z) t)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 57

Calls

3 calls:

5.0ms	(+ x (/ (* (- y x) z) t))
7.0ms	(* (- y x) z)
8.0ms	(/ (* (- y x) z) t)

series34.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ x (/ (* (- y x) z) t))
8.0ms	(* (- y x) z)
14.0ms	(/ (* (- y x) z) t)

simplify2.1min

Counts

66 → 66

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	17	10
2	25	10
3	31	10
4	37	10
5	46	10
6	59	10
7	77	10
8	93	10
9	100	10
10	117	10
11	119	10
done	119	10
0	9	9
1	17	9
2	30	9
3	44	9
4	53	9
5	59	9
6	68	9
7	81	9
8	99	9
9	115	9
10	122	9
11	139	9
12	141	9
done	141	9
0	8	8
1	16	8
2	38	8
3	69	8
4	107	8
5	129	8
6	150	8
7	170	8
8	186	8
9	193	8
10	210	8
11	212	8
done	212	8
0	8	8
1	13	8
2	27	8
3	47	8
4	85	8
5	125	8
6	221	8
7	503	8
8	1992	8
done	5000	8
0	13	23
1	30	23
2	139	13
3	668	13
4	2981	11
done	5000	11
0	11	23
1	32	23
2	158	11
3	911	9
4	3894	9
done	5000	9
0	9	17
1	14	17
2	28	17
3	43	17
4	66	17
5	80	17
6	89	17
7	91	17
done	91	17
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	9	23
1	21	23
2	72	9
3	334	9
4	1733	9
done	5000	9
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	2	2
done	2	2
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	5	5
1	12	3
2	17	3
done	17	3
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	21	7
3	26	7
4	30	7
done	30	7
0	9	11
1	19	11
2	46	11
3	78	11
4	141	11
5	179	11
6	211	11
7	232	11
done	232	11
0	8	8
1	13	8
2	27	8
3	42	8
4	65	8
5	79	8
6	88	8
7	90	8
done	90	8
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	3	3
done	3	3
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	10	11
1	18	10
2	33	10
3	57	10
4	110	10
5	178	10
6	345	10
7	930	10
8	4746	10
done	5000	10
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2135	10
19	2193	10
20	2201	10
21	2218	10
22	2242	10
23	2330	10
24	2683	10
25	3665	10
done	5001	10
0	9	10
1	18	10
2	33	10
3	57	10
4	110	10
5	178	10
6	345	10
7	928	10
8	4749	10
done	5000	10
0	10	21
1	16	21
2	30	21
3	49	21
4	79	21
5	103	21
6	123	21
7	130	21
8	146	21
9	191	21
10	284	21
11	425	21
12	463	21
13	514	21
14	604	21
15	834	21
16	1114	21
17	1662	21
18	2143	21
19	2196	21
done	2196	21
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2133	10
19	2185	10
done	2185	10
0	10	29
1	29	29
2	91	11
3	344	11
4	1511	11
done	5000	11
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2133	10
19	2185	10
done	2185	10
0	9	10
1	15	10
2	29	10
3	48	10
4	78	10
5	102	10
6	122	10
7	129	10
8	145	10
9	190	10
10	283	10
11	424	10
12	462	10
13	513	10
14	603	10
15	835	10
16	1117	10
17	1656	10
18	2133	10
19	2185	10
done	2185	10
0	11	13
1	33	13
2	88	13
3	326	13
4	1775	13
done	5000	13
0	12	29
1	31	21
2	94	21
3	325	21
4	989	21
5	2902	21
done	5000	21
0	10	19
1	24	19
2	67	19
3	267	19
4	1066	19
5	3862	19
done	5001	19
0	8	9
1	15	9
2	34	9
3	69	9
4	129	9
5	212	9
6	255	9
7	271	9
8	299	9
9	373	9
10	494	9
11	531	9
12	621	9
13	855	9
14	1141	9
15	1680	9
16	2167	9
17	2223	9
done	2223	9
0	8	9
1	14	9
2	28	9
3	47	9
4	77	9
5	101	9
6	121	9
7	128	9
8	144	9
9	189	9
10	282	9
11	423	9
12	461	9
13	512	9
14	602	9
15	834	9
16	1118	9
17	1657	9
18	2137	9
19	2195	9
done	2195	9
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	1	1
done	1	1
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9

prune100.0ms

Filtered

50 candidates to 66 candidates (-32.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	62	4	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	4	67

Merged error: 0.0b

Counts

67 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (- y x) (/ t z)))
7.4b	(/ (- y x) (/ t z))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

119×	`times-frac`
88×	`*-un-lft-identity`
86×	`add-sqr-sqrt`
58×	`add-cube-cbrt`
14×	`distribute-lft-out--` `difference-of-squares`
13×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube` `div-inv`
5×	`associate-/l*`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `div-sub` `associate-/l/`
1×	`+-commutative` `associate-+r-` `flip3--` `frac-2neg` `flip3-+` `clear-num` `sum-log` `associate-/r/` `flip--` `flip-+` `distribute-lft-out`

Counts

2 → 114

Calls

2 calls:

22.0ms	(+ x (/ (- y x) (/ t z)))
10.0ms	(/ (- y x) (/ t z))

series32.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(+ x (/ (- y x) (/ t z)))
14.0ms	(/ (- y x) (/ t z))

simplify2.1min

Counts

120 → 120

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	18	10
2	27	10
3	40	10
4	45	10
5	53	10
6	68	10
7	94	10
8	103	10
done	103	10
0	9	9
1	16	9
2	22	9
3	29	9
4	42	9
5	47	9
6	55	9
7	70	9
8	96	9
9	105	9
done	105	9
0	8	8
1	18	8
2	36	8
3	58	8
4	87	8
5	114	8
6	136	8
7	152	8
8	172	8
9	192	8
10	198	8
done	198	8
0	8	8
1	15	8
2	31	8
3	58	8
4	98	8
5	174	8
6	426	8
7	1638	8
done	5001	8
0	13	23
1	29	23
2	122	13
3	560	11
4	2371	9
done	5001	9
0	11	23
1	28	23
2	102	11
3	409	9
4	1808	9
done	5000	9
0	9	17
1	16	17
2	27	17
3	41	17
4	60	17
5	70	17
6	84	17
7	89	17
8	91	17
done	91	17
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	9	23
1	23	23
2	81	9
3	406	9
4	2176	9
done	5000	9
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
done	6	4
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	11	19
1	19	19
2	29	19
3	35	19
done	35	19
0	9	9
1	11	9
2	12	9
done	12	9
0	10	14
1	14	14
2	17	14
3	18	14
done	18	14
0	9	9
1	11	9
2	12	9
done	12	9
0	13	21
1	25	21
2	62	21
3	155	21
4	283	21
5	377	21
6	415	21
7	425	21
8	427	21
done	427	21
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	12	18
1	20	18
2	39	18
3	83	18
4	127	18
5	146	18
6	151	18
7	152	18
done	152	18
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	12	18
1	20	18
2	36	18
3	64	18
4	101	18
5	124	18
6	134	18
7	143	18
done	143	18
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	15
1	17	15
2	27	15
3	37	15
4	47	15
5	51	15
6	53	15
7	54	15
done	54	15
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	14
1	18	12
2	30	12
3	52	12
4	58	12
5	62	12
6	68	12
done	68	12
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	7	11
1	11	11
2	14	11
3	15	11
done	15	11
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	10	14
1	14	14
2	15	14
done	15	14
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	12	16
1	22	16
2	44	16
3	75	16
4	101	16
5	135	16
6	156	16
7	166	16
done	166	16
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	11	13
1	17	13
2	26	13
3	39	13
4	47	13
5	53	13
6	56	13
done	56	13
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	12
1	18	10
2	32	10
3	59	10
4	71	10
5	83	10
6	89	10
done	89	10
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	11	13
1	17	13
2	25	13
3	33	13
4	37	13
5	46	13
6	52	13
7	57	13
done	57	13
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	10	10
1	14	10
2	18	10
3	19	10
4	21	10
5	23	10
6	24	10
done	24	10
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	9	9
1	13	9
2	17	9
3	18	9
4	20	9
5	22	9
6	23	9
done	23	9
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	16	8
3	17	8
4	19	8
5	21	8
6	22	8
done	22	8
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	7	11
1	11	11
done	11	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	6
1	8	6
done	8	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	3	5
1	6	1
done	6	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	3	3
1	5	3
done	5	3
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	11	15
1	14	15
done	14	15
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	10	10
1	11	10
done	11	10
0	10	10
1	15	10
2	18	10
3	20	10
done	20	10
0	13	17
1	22	17
2	43	17
3	74	17
4	108	17
5	161	17
6	212	17
7	268	17
8	330	17
9	398	17
10	427	17
11	441	17
12	446	17
13	448	17
14	449	17
done	449	17
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	12	14
1	17	14
2	25	14
3	38	14
4	54	14
5	68	14
6	81	14
7	91	14
8	111	14
9	129	14
10	145	14
11	148	14
12	150	14
13	151	14
done	151	14
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	11	13
1	18	11
2	31	11
3	58	11
4	76	11
5	112	11
6	139	11
7	151	11
8	167	11
9	175	11
done	175	11
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	12	14
1	17	14
2	24	14
3	32	14
4	44	14
5	65	14
6	79	14
7	104	14
8	124	14
9	138	14
10	146	14
11	152	14
12	153	14
done	153	14
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	11	11
1	14	11
2	17	11
3	18	11
4	28	11
5	30	11
6	39	11
7	41	11
8	47	11
9	51	11
10	57	11
11	59	11
done	59	11
0	11	11
1	18	11
2	29	11
3	43	11
4	62	11
5	72	11
6	86	11
7	91	11
8	93	11
done	93	11
0	10	10
1	15	8
2	21	8
3	26	8
4	36	8
5	47	8
6	59	8
7	65	8
8	69	8
9	71	8
done	71	8
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	10	10
1	17	10
2	28	10
3	42	10
4	61	10
5	71	10
6	85	10
7	90	10
8	92	10
done	92	10
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	8	7
done	8	7
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	7	11
1	11	11
done	11	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	6
1	8	6
done	8	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	3	5
1	6	1
done	6	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	3	3
1	5	3
done	5	3
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	9	13
1	16	13
2	24	13
3	29	13
4	32	13
done	32	13
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	11	15
1	24	15
2	65	15
3	154	15
4	305	15
5	487	15
6	649	15
7	748	15
8	772	15
done	772	15
0	10	12
1	19	12
2	39	12
3	87	12
4	143	12
5	190	12
6	227	12
7	239	12
8	242	12
done	242	12
0	9	11
1	20	9
2	44	9
3	109	9
4	196	9
5	288	9
6	369	9
7	400	9
8	408	9
done	408	9
0	10	12
1	19	12
2	38	12
3	73	12
4	124	12
5	175	12
6	216	12
7	256	12
8	273	12
9	274	12
done	274	12
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	8
1	17	6
2	28	6
3	48	6
4	79	6
5	99	6
6	120	6
7	135	6
8	146	6
9	148	6
done	148	6
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	8
1	12	8
2	16	8
done	16	8
0	8	8
1	12	8
2	16	8
done	16	8
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	11	15
1	27	13
2	77	13
3	154	13
4	226	13
5	281	13
6	352	13
7	406	13
8	420	13
9	421	13
done	421	13
0	7	7
1	17	7
2	33	7
3	41	7
4	47	7
5	54	7
6	56	7
done	56	7
0	10	11
1	20	10
2	39	10
3	78	10
4	142	10
5	276	10
6	763	10
7	3585	10
done	5000	10
0	9	10
1	17	10
2	32	10
3	53	10
4	82	10
5	101	10
6	120	10
7	138	10
8	186	10
9	276	10
10	412	10
11	465	10
12	516	10
13	606	10
14	838	10
15	1121	10
16	1670	10
17	2159	10
18	2222	10
19	2230	10
20	2247	10
21	2269	10
22	2353	10
23	2622	10
24	3642	10
done	5000	10
0	9	10
1	20	10
2	41	10
3	83	10
4	151	10
5	294	10
6	834	10
7	4167	10
done	5001	10
0	10	21
1	18	21
2	33	21
3	54	21
4	83	21
5	102	21
6	121	21
7	139	21
8	187	21
9	277	21
10	413	21
11	466	21
12	517	21
13	607	21
14	835	21
15	1120	21
16	1679	21
17	2174	21
18	2232	21
done	2232	21
0	9	10
1	17	10
2	32	10
3	53	10
4	82	10
5	101	10
6	120	10
7	138	10
8	186	10
9	276	10
10	412	10
11	465	10
12	516	10
13	606	10
14	838	10
15	1121	10
16	1670	10
17	2157	10
18	2214	10
done	2214	10
0	10	29
1	31	29
2	94	11
3	374	11
4	2072	11
done	5000	11
0	9	10
1	17	10
2	32	10
3	53	10
4	82	10
5	101	10
6	120	10
7	138	10
8	186	10
9	276	10
10	412	10
11	465	10
12	516	10
13	606	10
14	838	10
15	1121	10
16	1670	10
17	2157	10
18	2214	10
done	2214	10
0	9	10
1	17	10
2	32	10
3	53	10
4	82	10
5	101	10
6	120	10
7	138	10
8	186	10
9	276	10
10	412	10
11	465	10
12	516	10
13	606	10
14	838	10
15	1121	10
16	1670	10
17	2157	10
18	2214	10
done	2214	10
0	11	13
1	35	13
2	89	13
3	324	13
4	1502	13
done	5001	13
0	12	29
1	33	21
2	103	21
3	361	21
4	1186	21
5	3508	21
done	5000	21
0	10	19
1	26	19
2	75	19
3	322	19
4	1333	19
5	4858	19
done	5000	19
0	8	9
1	17	9
2	37	9
3	68	9
4	127	9
5	188	9
6	228	9
7	270	9
8	331	9
9	432	9
10	483	9
11	519	9
12	650	9
13	965	9
14	1238	9
15	2080	9
16	2207	9
done	2207	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	100	9
6	119	9
7	137	9
8	185	9
9	275	9
10	411	9
11	464	9
12	515	9
13	605	9
14	833	9
15	1120	9
16	1672	9
17	2146	9
18	2199	9
done	2199	9
0	7	7
1	10	7
2	13	7
3	14	7
4	16	7
5	18	7
6	19	7
done	19	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9

prune129.0ms

Filtered

89 candidates to 120 candidates (-34.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	118	6	124

Merged error: 0b

Counts

124 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ 1 (/ (/ t z) (- y x))))
0.5b	(/ 1 (/ (/ t z) (- y x)))
7.2b	(/ (/ t z) (- y x))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

772×	`times-frac`
462×	`*-un-lft-identity`
459×	`add-sqr-sqrt`
327×	`add-cube-cbrt`
76×	`associate-/r*`
66×	`distribute-lft-out--` `difference-of-squares`
33×	`div-inv`
29×	`add-exp-log`
18×	`div-exp`
17×	`add-cbrt-cube`
16×	`associate-/l*`
11×	`associate-/r/`
9×	`cbrt-undiv`
5×	`flip3--` `flip--` `add-log-exp`
4×	`pow1`
3×	`rec-exp` `1-exp`
2×	`frac-2neg` `clear-num` `distribute-lft-out`
1×	`+-commutative` `pow-flip` `flip3-+` `sum-log` `flip-+` `associate-/l/` `inv-pow`

Counts

3 → 425

Calls

3 calls:

65.0ms	(+ x (/ 1 (/ (/ t z) (- y x))))
27.0ms	(/ 1 (/ (/ t z) (- y x)))
10.0ms	(/ (/ t z) (- y x))

series40.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ x (/ 1 (/ (/ t z) (- y x))))
15.0ms	(/ 1 (/ (/ t z) (- y x)))
12.0ms	(/ (/ t z) (- y x))

simplify5.3min

Counts

434 → 434

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	18	10
2	30	10
3	46	10
4	55	10
5	63	10
6	78	10
7	104	10
8	113	10
done	113	10
0	9	9
1	16	9
2	24	9
3	39	9
4	53	9
5	57	9
6	65	9
7	80	9
8	106	9
9	115	9
done	115	9
0	8	8
1	15	8
2	26	8
3	46	8
4	67	8
5	83	8
6	91	8
7	104	8
8	118	8
9	134	8
10	138	8
done	138	8
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	13	23
1	29	23
2	117	13
3	506	11
4	2089	9
done	5000	9
0	11	23
1	28	23
2	98	11
3	369	9
4	1476	9
5	4910	9
done	5000	9
0	9	17
1	13	17
2	17	17
3	25	17
4	29	17
5	33	17
done	33	17
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	9	23
1	20	23
2	55	9
3	214	9
4	990	9
5	3317	9
done	5000	9
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	11	19
1	19	19
2	29	19
3	35	19
done	35	19
0	9	9
1	11	9
2	12	9
done	12	9
0	10	14
1	14	14
2	17	14
3	18	14
done	18	14
0	9	9
1	11	9
2	12	9
done	12	9
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	8	8
1	10	8
2	11	8
done	11	8
0	11	15
1	14	15
2	16	15
3	17	15
done	17	15
0	10	10
1	12	10
2	13	10
done	13	10
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	8	8
1	10	8
2	11	8
done	11	8
0	10	14
1	14	14
2	15	14
done	15	14
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	9	9
1	11	9
2	12	9
done	12	9
0	6	6
1	8	4
2	10	4
done	10	4
0	8	8
1	10	8
2	11	8
done	11	8
0	10	10
1	11	10
done	11	10
0	10	10
1	12	10
2	13	10
done	13	10
0	6	6
1	8	4
2	10	4
done	10	4
0	8	8
1	10	8
2	11	8
done	11	8
0	13	21
1	25	21
2	61	21
3	149	21
4	275	21
5	310	21
done	310	21
0	10	10
1	14	10
2	18	10
done	18	10
0	12	16
1	22	16
2	46	16
3	83	16
4	124	16
5	128	16
done	128	16
0	10	10
1	14	10
2	18	10
done	18	10
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	13	17
1	22	17
2	45	17
3	90	17
4	151	17
5	175	17
6	201	17
7	215	17
8	223	17
9	230	17
10	234	17
11	235	17
done	235	17
0	11	11
1	15	11
2	19	11
3	27	11
4	31	11
5	35	11
done	35	11
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	12	18
1	20	18
2	37	18
3	73	18
4	114	18
5	124	18
done	124	18
0	10	10
1	14	10
2	18	10
done	18	10
0	11	13
1	17	13
2	29	13
3	42	13
4	52	13
done	52	13
0	10	10
1	14	10
2	18	10
done	18	10
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	12	14
1	17	14
2	28	14
3	49	14
4	67	14
5	69	14
6	75	14
7	79	14
8	85	14
9	88	14
10	90	14
done	90	14
0	11	11
1	15	11
2	19	11
3	27	11
4	31	11
5	35	11
done	35	11
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	11	17
1	21	15
2	51	15
3	108	15
4	124	15
done	124	15
0	9	9
1	13	9
2	17	9
done	17	9
0	10	12
1	18	10
2	39	10
3	61	10
4	62	10
done	62	10
0	9	9
1	13	9
2	17	9
done	17	9
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	11	13
1	18	11
2	38	11
3	68	11
4	93	11
5	99	11
6	103	11
7	105	11
done	105	11
0	10	10
1	14	10
2	18	10
3	26	10
4	30	10
5	34	10
done	34	10
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	12	18
1	20	18
2	33	18
3	60	18
4	64	18
done	64	18
0	10	10
1	14	10
2	18	10
done	18	10
0	11	13
1	17	13
2	24	13
3	32	13
done	32	13
0	10	10
1	14	10
2	18	10
done	18	10
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	12	14
1	17	14
2	23	14
3	39	14
4	51	14
5	53	14
done	53	14
0	11	11
1	15	11
2	19	11
3	27	11
4	31	11
5	35	11
done	35	11
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	11	15
1	17	15
2	24	15
3	30	15
done	30	15
0	10	10
1	14	10
2	18	10
done	18	10
0	10	10
1	14	10
2	18	10
done	18	10
0	10	10
1	14	10
2	18	10
done	18	10
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	11	11
1	14	11
2	17	11
3	25	11
done	25	11
0	11	11
1	15	11
2	19	11
3	27	11
4	31	11
5	35	11
done	35	11
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	10	14
1	18	12
2	28	12
3	36	12
done	36	12
0	9	9
1	13	9
2	17	9
done	17	9
0	9	9
1	15	7
2	22	7
done	22	7
0	9	9
1	13	9
2	17	9
done	17	9
0	5	6
1	9	2
done	9	2
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	10	10
1	15	8
2	21	8
3	29	8
4	37	8
done	37	8
0	10	10
1	14	10
2	18	10
3	26	10
4	30	10
5	34	10
done	34	10
0	5	6
1	9	2
done	9	2
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	11	17
1	21	17
2	34	17
3	61	17
4	65	17
done	65	17
0	9	9
1	13	9
2	17	9
done	17	9
0	10	12
1	18	12
2	25	12
3	33	12
done	33	12
0	9	9
1	13	9
2	17	9
done	17	9
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	11	13
1	18	13
2	24	13
3	40	13
4	52	13
5	54	13
done	54	13
0	10	10
1	14	10
2	18	10
3	26	10
4	30	10
5	34	10
done	34	10
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	10	14
1	18	14
2	25	14
3	31	14
done	31	14
0	9	9
1	13	9
2	17	9
done	17	9
0	9	9
1	15	9
2	19	9
done	19	9
0	9	9
1	13	9
2	17	9
done	17	9
0	5	6
1	9	4
2	16	4
done	16	4
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	10	10
1	15	10
2	18	10
3	26	10
done	26	10
0	10	10
1	14	10
2	18	10
3	26	10
4	30	10
5	34	10
done	34	10
0	5	6
1	9	4
2	16	4
done	16	4
0	8	8
1	12	8
2	16	8
3	24	8
4	28	8
5	32	8
done	32	8
0	8	13
1	16	11
2	21	11
3	31	11
4	32	11
done	32	11
0	8	8
1	12	8
2	16	8
done	16	8
0	7	8
1	13	6
2	16	6
3	20	6
done	20	6
0	8	8
1	12	8
2	16	8
done	16	8
0	3	5
1	7	1
done	7	1
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	8	9
1	13	7
2	15	7
3	27	7
4	35	7
done	35	7
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	3	5
1	7	1
done	7	1
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	12	8
2	16	8
done	16	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	12	8
2	16	8
done	16	8
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	7	7
1	10	7
done	10	7
0	9	9
1	13	9
2	17	9
3	25	9
4	29	9
5	33	9
done	33	9
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	7	11
1	11	11
2	12	11
done	12	11
0	8	8
1	14	8
2	18	8
done	18	8
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	14	8
2	18	8
done	18	8
0	3	3
1	5	1
done	5	1
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	7	7
1	8	7
done	8	7
0	9	9
1	15	9
2	19	9
3	27	9
4	31	9
5	35	9
done	35	9
0	3	3
1	5	1
done	5	1
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	9	13
1	15	13
2	22	13
3	28	13
done	28	13
0	8	8
1	12	8
2	16	8
done	16	8
0	5	5
1	9	3
2	16	3
done	16	3
0	9	9
1	12	9
2	15	9
3	23	9
done	23	9
0	5	5
1	9	3
2	16	3
done	16	3
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	9	9
1	16	9
2	27	9
3	41	9
4	60	9
5	70	9
6	84	9
7	89	9
8	91	9
done	91	9
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	8	8
1	15	8
2	26	8
3	40	8
4	59	8
5	69	8
6	83	8
7	88	8
8	90	8
done	90	8
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	7	7
1	14	7
2	25	7
3	39	7
4	58	7
5	68	7
6	82	7
7	87	7
8	89	7
done	89	7
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	10	11
1	27	11
2	52	11
3	102	11
4	272	11
5	935	11
6	4323	11
done	5000	11
0	9	11
1	16	11
2	30	11
3	67	11
4	149	11
5	260	11
6	411	11
7	682	11
8	2305	11
done	5000	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	2	2
1	5	1
done	5	1
0	11	11
1	19	11
2	34	11
3	57	11
4	83	10
5	94	10
6	110	10
7	129	10
done	129	10
0	10	10
1	17	10
2	28	10
3	47	10
4	69	9
5	86	9
6	97	9
7	117	9
8	137	9
done	137	9
0	9	9
1	16	9
2	27	9
3	50	9
4	77	9
5	102	9
6	118	9
7	133	9
8	154	9
done	154	9
0	12	12
1	24	11
2	52	11
3	114	10
4	252	10
5	347	10
6	396	10
7	410	10
done	410	10
0	11	11
1	22	10
2	44	10
3	89	9
4	203	9
5	318	9
6	385	9
7	437	9
done	437	9
0	10	10
1	19	9
2	36	9
3	71	9
4	148	9
5	284	9
6	377	9
7	410	9
8	425	9
done	425	9
0	13	13
1	27	12
2	50	11
3	118	10
4	256	10
5	350	10
6	402	10
7	417	10
done	417	10
0	12	12
1	25	11
2	42	10
3	93	9
4	207	9
5	323	9
6	392	9
7	444	9
done	444	9
0	11	11
1	22	10
2	36	9
3	75	9
4	152	9
5	286	9
6	377	9
7	411	9
8	425	9
done	425	9
0	10	10
1	22	9
2	47	9
3	119	8
4	309	8
5	514	8
6	741	8
7	822	8
8	884	8
done	884	8
0	10	10
1	18	10
2	36	10
3	94	8
4	277	8
5	505	8
6	1067	8
7	3597	8
done	5001	8
0	17	29
1	40	25
2	152	15
3	833	11
4	4694	11
done	5000	11
0	15	29
1	39	25
2	135	13
3	644	11
4	3470	11
done	5000	11
0	13	29
1	33	25
2	92	11
3	435	11
4	2352	9
done	5000	9
0	11	21
1	19	21
2	35	21
3	81	17
4	215	17
5	308	17
6	378	17
7	431	17
8	447	17
done	447	17
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	378	8
7	433	8
8	449	8
done	449	8
0	11	29
1	26	29
2	81	11
3	465	9
4	2635	9
done	5000	9
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	378	8
7	433	8
8	449	8
done	449	8
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	378	8
7	433	8
8	449	8
done	449	8
0	2	2
1	5	1
done	5	1
0	8	8
1	14	8
2	21	8
3	33	8
4	37	8
5	41	8
done	41	8
0	13	23
1	25	21
2	38	19
3	52	19
4	56	19
5	60	19
done	60	19
0	11	11
1	17	10
2	21	10
3	29	10
4	33	10
5	37	10
done	37	10
0	12	14
1	20	12
2	26	10
3	35	10
4	39	10
5	43	10
done	43	10
0	11	11
1	17	10
2	21	10
3	29	10
4	33	10
5	37	10
done	37	10
0	15	25
1	29	23
2	66	21
3	138	19
4	185	19
done	185	19
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	14	20
1	24	18
2	43	16
3	76	14
4	100	14
done	100	14
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	10	17
1	18	11
2	32	11
3	41	11
done	41	11
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	15	21
1	24	19
2	50	17
3	111	15
4	197	15
5	217	15
done	217	15
0	13	13
1	19	12
2	29	12
3	47	10
4	94	10
5	132	10
6	156	10
7	161	10
8	162	10
done	162	10
0	10	17
1	18	11
2	32	11
3	41	11
done	41	11
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	14	20
1	24	18
2	40	16
3	60	14
4	64	14
done	64	14
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	13	15
1	21	13
2	31	11
3	39	9
4	40	9
done	40	9
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	9	12
1	15	6
2	20	6
done	20	6
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	14	16
1	21	14
2	38	12
3	62	10
4	89	10
5	91	10
done	91	10
0	13	13
1	19	12
2	29	12
3	47	10
4	94	10
5	132	10
6	156	10
7	161	10
8	162	10
done	162	10
0	9	12
1	15	6
2	20	6
done	20	6
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	17	27
1	35	25
2	99	23
3	335	21
4	964	21
5	1126	21
done	1126	21
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	16	22
1	32	20
2	78	18
3	226	16
4	557	16
5	597	16
done	597	16
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	12	19
1	26	13
2	74	13
3	157	11
4	197	11
done	197	11
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	17	23
1	32	21
2	85	19
3	291	17
4	905	17
5	1193	17
6	1319	17
done	1319	17
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	12	19
1	26	13
2	74	13
3	157	11
4	197	11
done	197	11
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	16	24
1	30	22
2	69	20
3	190	18
4	481	18
5	560	18
done	560	18
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	15	19
1	27	17
2	55	15
3	133	13
4	279	13
5	298	13
done	298	13
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	11	16
1	21	10
2	49	10
3	84	8
4	92	8
done	92	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	16	20
1	27	18
2	62	16
3	178	14
4	486	14
5	610	14
6	670	14
done	670	14
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	11	16
1	21	10
2	49	10
3	84	8
4	92	8
done	92	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	14	23
1	28	19
2	75	15
3	164	15
4	189	15
done	189	15
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	13	18
1	25	14
2	57	10
3	91	10
4	93	10
done	93	10
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	9	15
1	19	7
2	26	7
3	35	7
done	35	7
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	14	19
1	25	15
2	64	11
3	126	11
4	198	11
5	218	11
done	218	11
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	304	10
6	381	10
7	437	10
8	443	10
done	443	10
0	9	15
1	19	7
2	26	7
3	35	7
done	35	7
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	16	24
1	30	22
2	65	20
3	163	18
4	371	18
5	402	18
done	402	18
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	15	19
1	27	17
2	50	15
3	105	13
4	208	13
5	216	13
done	216	13
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	11	16
1	21	10
2	44	10
3	76	8
4	82	8
done	82	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	16	20
1	27	18
2	57	16
3	150	14
4	394	14
5	483	14
6	505	14
done	505	14
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	11	16
1	21	10
2	44	10
3	76	8
4	82	8
done	82	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	15	21
1	27	19
2	54	17
3	107	15
4	193	15
5	201	15
done	201	15
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	14	16
1	24	14
2	42	12
3	72	10
4	115	10
5	116	10
done	116	10
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	10	13
1	18	7
2	34	7
3	44	5
4	46	5
done	46	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	15	17
1	24	15
2	49	13
3	109	11
4	238	11
5	263	11
6	271	11
done	271	11
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	10	13
1	18	7
2	34	7
3	44	5
4	46	5
done	46	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	13	20
1	25	16
2	48	12
3	69	12
4	71	12
done	71	12
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	12	15
1	22	11
2	36	7
3	38	7
done	38	7
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	8	12
1	16	4
2	17	4
done	17	4
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	13	16
1	22	12
2	43	8
3	61	8
4	95	8
5	97	8
done	97	8
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	304	10
6	381	10
7	437	10
8	443	10
done	443	10
0	8	12
1	16	4
2	17	4
done	17	4
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	14	23
1	28	21
2	63	19
3	160	15
4	292	15
5	396	15
6	441	15
done	441	15
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	13	18
1	25	16
2	48	14
3	102	10
4	173	10
5	207	10
done	207	10
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	9	15
1	19	9
2	41	5
3	54	5
4	60	5
5	63	5
done	63	5
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	14	19
1	25	17
2	55	15
3	147	11
4	299	11
5	417	11
6	473	11
done	473	11
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	309	10
6	391	10
7	405	10
8	406	10
done	406	10
0	9	15
1	19	9
2	41	5
3	54	5
4	60	5
5	63	5
done	63	5
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	13	20
1	25	18
2	52	16
3	104	12
4	145	12
5	180	12
6	199	12
done	199	12
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	12	15
1	22	13
2	40	11
3	69	7
4	86	7
5	92	7
done	92	7
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	8	12
1	16	6
2	31	2
3	32	2
4	33	2
5	34	2
done	34	2
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	13	16
1	22	14
2	47	12
3	106	8
4	161	8
5	215	8
6	231	8
done	231	8
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	309	10
6	391	10
7	405	10
8	406	10
done	406	10
0	8	12
1	16	6
2	31	2
3	32	2
4	33	2
5	34	2
done	34	2
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	11	19
1	23	15
2	39	9
3	56	9
4	64	9
5	65	9
done	65	9
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	10	14
1	20	10
2	29	4
3	32	4
done	32	4
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	6	11
1	14	1
done	14	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	11	15
1	20	11
2	36	5
3	47	5
done	47	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	303	9
6	380	9
7	438	9
8	442	9
done	442	9
0	6	11
1	14	1
done	14	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	10	17
1	20	15
2	36	11
3	52	9
4	60	9
5	61	9
done	61	9
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	9	12
1	17	10
2	27	6
3	34	4
done	34	4
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	5	9
1	11	1
done	11	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	10	13
1	17	11
2	34	7
3	41	5
4	49	5
done	49	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	303	9
6	380	9
7	438	9
8	442	9
done	442	9
0	5	9
1	11	1
done	11	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	11	17
1	21	15
2	37	13
3	57	11
4	61	11
done	61	11
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	10	12
1	18	10
2	28	8
3	36	6
4	37	6
done	37	6
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	6	9
1	12	3
2	16	3
done	16	3
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	11	13
1	18	11
2	35	9
3	59	7
4	86	7
5	88	7
done	88	7
0	11	12
1	19	11
2	35	9
3	72	7
4	158	7
5	242	7
6	359	7
7	450	7
8	499	7
done	499	7
0	6	9
1	12	3
2	16	3
done	16	3
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	4	7
1	8	3
2	12	1
done	12	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	7	9
1	13	7
2	22	5
3	30	3
4	31	3
done	31	3
0	7	8
1	13	7
2	23	5
3	33	3
4	53	3
5	59	3
done	59	3
0	14	17
1	37	15
2	82	13
3	231	11
4	949	11
5	3834	11
done	5001	11
0	10	14
1	19	11
2	27	11
3	28	11
4	29	11
done	29	11
0	13	17
1	26	15
2	62	13
3	199	11
4	779	11
5	1731	11
6	2621	11
7	4255	11
done	5000	11
0	6	6
1	9	5
done	9	5
0	12	20
1	20	19
2	24	19
3	32	19
4	36	19
5	40	19
done	40	19
0	11	11
1	17	10
2	21	10
3	29	10
4	33	10
5	37	10
done	37	10
0	11	11
1	17	10
2	21	10
3	29	10
4	33	10
5	37	10
done	37	10
0	11	11
1	17	10
2	21	10
3	29	10
4	33	10
5	37	10
done	37	10
0	14	22
1	26	21
2	48	21
3	79	19
4	139	19
5	208	19
done	208	19
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	13	17
1	21	16
2	30	16
3	43	14
4	70	14
5	104	14
done	104	14
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	9	14
1	15	11
2	26	11
3	35	11
done	35	11
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	14	18
1	21	17
2	37	17
3	70	15
4	143	15
5	224	15
6	227	15
done	227	15
0	13	13
1	19	12
2	29	12
3	47	10
4	94	10
5	132	10
6	156	10
7	161	10
8	162	10
done	162	10
0	9	14
1	15	11
2	26	11
3	35	11
done	35	11
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	13	17
1	21	16
2	29	16
3	37	14
4	61	14
5	78	14
done	78	14
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	12
1	18	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	8	9
1	12	6
2	17	6
done	17	6
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	13	13
1	18	12
2	29	12
3	42	10
4	77	10
5	96	10
done	96	10
0	13	13
1	19	12
2	29	12
3	47	10
4	94	10
5	132	10
6	156	10
7	161	10
8	162	10
done	162	10
0	8	9
1	12	6
2	17	6
done	17	6
0	11	11
1	17	10
2	27	10
3	45	8
4	92	8
5	128	8
6	148	8
7	150	8
8	151	8
done	151	8
0	16	24
1	32	23
2	84	23
3	251	21
4	711	21
5	1132	21
6	1135	21
done	1135	21
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	15	19
1	29	18
2	65	18
3	160	16
4	371	16
5	497	16
6	498	16
done	498	16
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	11	16
1	23	13
2	61	13
3	143	11
4	183	11
done	183	11
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	16	20
1	29	19
2	72	19
3	217	17
4	665	17
5	1047	17
6	1170	17
done	1170	17
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	11	16
1	23	13
2	61	13
3	143	11
4	183	11
done	183	11
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	15	21
1	27	20
2	56	20
3	137	18
4	357	18
5	544	18
6	545	18
done	545	18
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	14	16
1	24	15
2	44	15
3	91	13
4	187	13
5	260	13
done	260	13
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	10	13
1	18	10
2	41	10
3	76	8
4	85	8
done	85	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	15	17
1	24	16
2	51	16
3	132	14
4	364	14
5	538	14
6	596	14
done	596	14
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	10	13
1	18	10
2	41	10
3	76	8
4	85	8
done	85	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	13	20
1	25	17
2	65	15
3	150	15
4	173	15
done	173	15
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	12	15
1	22	12
2	49	10
3	84	10
4	86	10
done	86	10
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	8	12
1	16	7
2	23	7
3	32	7
done	32	7
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	13	16
1	22	13
2	56	11
3	119	11
4	195	11
5	215	11
done	215	11
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	304	10
6	381	10
7	437	10
8	443	10
done	443	10
0	8	12
1	16	7
2	23	7
3	32	7
done	32	7
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	15	21
1	27	20
2	52	20
3	118	18
4	268	18
5	351	18
6	355	18
done	355	18
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	14	16
1	24	15
2	39	15
3	73	13
4	138	13
5	158	13
done	158	13
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	10	13
1	18	10
2	36	10
3	68	8
4	75	8
done	75	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	15	17
1	24	16
2	46	16
3	114	14
4	299	14
5	391	14
6	413	14
done	413	14
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	10	13
1	18	10
2	36	10
3	68	8
4	75	8
done	75	8
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	14	18
1	24	17
2	41	17
3	72	15
4	148	15
5	190	15
done	190	15
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	13	13
1	21	12
2	31	12
3	46	10
4	81	10
5	93	10
done	93	10
0	9	10
1	15	7
2	28	7
3	38	5
4	40	5
done	40	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	14	14
1	21	13
2	38	13
3	79	11
4	183	11
5	219	11
6	227	11
done	227	11
0	14	14
1	22	13
2	38	13
3	84	11
4	217	11
5	312	11
6	394	11
7	408	11
8	409	11
done	409	11
0	9	10
1	15	7
2	28	7
3	38	5
4	40	5
done	40	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	309	9
6	387	9
7	404	9
8	416	9
done	416	9
0	12	17
1	22	14
2	40	12
3	61	12
4	63	12
done	63	12
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	11	12
1	19	9
2	30	7
3	33	7
done	33	7
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	90	9
done	90	9
0	7	9
1	13	4
2	14	4
done	14	4
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	12	13
1	19	10
2	37	8
3	56	8
4	90	8
5	92	8
done	92	8
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	304	10
6	381	10
7	437	10
8	443	10
done	443	10
0	7	9
1	13	4
2	14	4
done	14	4
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	305	8
6	374	8
7	423	8
8	439	8
done	439	8
0	13	20
1	25	19
2	50	17
3	107	15
4	226	15
5	314	15
6	336	15
done	336	15
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	12	15
1	22	14
2	37	12
3	63	10
4	109	10
5	133	10
done	133	10
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	8	12
1	16	9
2	33	5
3	46	5
4	52	5
5	55	5
done	55	5
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	13	16
1	22	15
2	44	13
3	102	11
4	198	11
5	283	11
6	340	11
7	345	11
done	345	11
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	309	10
6	391	10
7	405	10
8	406	10
done	406	10
0	8	12
1	16	9
2	33	5
3	46	5
4	52	5
5	55	5
done	55	5
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	12	17
1	22	16
2	39	14
3	62	12
4	138	12
5	177	12
6	190	12
done	190	12
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	11	12
1	19	11
2	29	9
3	37	7
4	63	7
5	75	7
6	76	7
done	76	7
0	12	12
1	20	11
2	30	11
3	45	9
4	79	9
5	91	9
done	91	9
0	7	9
1	13	6
2	25	2
3	26	2
4	27	2
5	28	2
done	28	2
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	12	13
1	19	12
2	36	10
3	68	8
4	132	8
5	178	8
6	203	8
done	203	8
0	13	13
1	21	12
2	37	12
3	83	10
4	216	10
5	309	10
6	391	10
7	405	10
8	406	10
done	406	10
0	7	9
1	13	6
2	25	2
3	26	2
4	27	2
5	28	2
done	28	2
0	11	11
1	19	10
2	35	10
3	81	8
4	214	8
5	310	8
6	388	8
7	405	8
8	416	8
done	416	8
0	10	16
1	20	11
2	29	9
3	47	9
4	57	9
5	60	9
done	60	9
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	9	11
1	17	6
2	20	4
3	26	4
4	27	4
5	28	4
done	28	4
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	5	8
1	11	1
done	11	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	10	12
1	17	7
2	27	5
3	41	5
4	42	5
5	43	5
done	43	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	303	9
6	380	9
7	438	9
8	442	9
done	442	9
0	5	8
1	11	1
done	11	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	9	14
1	17	13
2	25	11
3	34	9
4	47	9
5	49	9
done	49	9
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	8	9
1	14	8
2	18	6
3	23	4
4	27	4
done	27	4
0	11	11
1	19	10
2	29	10
3	44	8
4	78	8
5	87	8
done	87	8
0	4	6
1	8	1
done	8	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	9	10
1	14	9
2	25	7
3	30	5
4	42	5
done	42	5
0	12	12
1	20	11
2	36	11
3	82	9
4	215	9
5	303	9
6	380	9
7	438	9
8	442	9
done	442	9
0	4	6
1	8	1
done	8	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	10	14
1	18	13
2	26	13
3	34	11
4	58	11
5	75	11
done	75	11
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	9	9
1	15	8
2	19	8
3	20	6
4	33	6
5	40	6
done	40	6
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	5	6
1	9	3
2	13	3
done	13	3
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	10	10
1	15	9
2	26	9
3	39	7
4	74	7
5	91	7
done	91	7
0	11	12
1	19	11
2	35	9
3	72	7
4	158	7
5	242	7
6	359	7
7	450	7
8	499	7
done	499	7
0	5	6
1	9	3
2	13	3
done	13	3
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	3	4
1	5	1
done	5	1
0	10	10
1	18	9
2	34	9
3	80	7
4	214	7
5	307	7
6	378	7
7	433	7
8	450	7
done	450	7
0	6	6
1	10	5
2	13	5
3	14	3
done	14	3
0	7	8
1	13	7
2	23	5
3	33	3
4	53	3
5	59	3
done	59	3
0	13	14
1	34	13
2	71	13
3	201	11
4	830	11
5	3530	11
done	5000	11
0	10	14
1	19	11
2	27	11
3	28	11
4	29	11
done	29	11
0	12	14
1	23	13
2	51	13
3	164	11
4	632	11
5	1550	11
6	2409	11
7	3889	11
done	5000	11
0	6	6
1	9	5
done	9	5
0	11	19
1	19	19
2	23	19
3	31	19
4	35	19
5	39	19
done	39	19
0	10	10
1	16	10
2	20	10
3	28	10
4	32	10
5	36	10
done	36	10
0	10	10
1	16	10
2	20	10
3	28	10
4	32	10
5	36	10
done	36	10
0	10	10
1	16	10
2	20	10
3	28	10
4	32	10
5	36	10
done	36	10
0	13	21
1	25	21
2	47	21
3	78	19
4	138	19
5	203	19
done	203	19
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	12	16
1	20	16
2	29	16
3	42	14
4	69	14
5	101	14
done	101	14
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	8	13
1	14	11
2	25	11
3	34	11
done	34	11
0	10	10
1	16	10
2	26	10
3	44	8
4	91	8
5	129	8
6	149	8
7	151	8
8	152	8
done	152	8
0	13	17
1	20	17
2	36	17
3	69	15
4	142	15
5	219	15
6	222	15
done	222	15
0	12	12
1	18	12
2	28	12
3	46	10
4	93	10
5	131	10
6	155	10
7	160	10
8	161	10
done	161	10
0	8	13
1	14	11
2	25	11
3	34	11
done	34	11
0	10	10
1	16	10
2	26	10
3	44	8
4	91	8
5	129	8
6	149	8
7	151	8
8	152	8
done	152	8
0	12	16
1	20	16
2	28	16
3	36	14
4	60	14
5	75	14
done	75	14
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	7	8
1	11	6
2	16	6
done	16	6
0	10	10
1	16	10
2	26	10
3	44	8
4	91	8
5	129	8
6	149	8
7	151	8
8	152	8
done	152	8
0	12	12
1	17	12
2	28	12
3	41	10
4	76	10
5	93	10
done	93	10
0	12	12
1	18	12
2	28	12
3	46	10
4	93	10
5	131	10
6	155	10
7	160	10
8	161	10
done	161	10
0	7	8
1	11	6
2	16	6
done	16	6
0	10	10
1	16	10
2	26	10
3	44	8
4	91	8
5	129	8
6	149	8
7	151	8
8	152	8
done	152	8
0	15	23
1	31	23
2	83	23
3	246	21
4	704	21
5	1115	21
6	1118	21
done	1118	21
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	14	18
1	28	18
2	64	18
3	157	16
4	369	16
5	500	16
6	501	16
done	501	16
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	10	15
1	22	13
2	60	13
3	144	11
4	186	11
done	186	11
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	15	19
1	28	19
2	71	19
3	214	17
4	655	17
5	1032	17
6	1152	17
done	1152	17
0	13	13
1	21	13
2	37	13
3	83	11
4	216	11
5	309	11
6	391	11
7	405	11
8	406	11
done	406	11
0	10	15
1	22	13
2	60	13
3	144	11
4	186	11
done	186	11
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	14	20
1	26	20
2	55	20
3	136	18
4	352	18
5	541	18
6	542	18
done	542	18
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	13	15
1	23	15
2	43	15
3	90	13
4	183	13
5	256	13
done	256	13
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	9	12
1	17	10
2	40	10
3	75	8
4	83	8
done	83	8
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	14	16
1	23	16
2	50	16
3	131	14
4	360	14
5	529	14
6	583	14
done	583	14
0	13	13
1	21	13
2	37	13
3	83	11
4	216	11
5	309	11
6	391	11
7	405	11
8	406	11
done	406	11
0	9	12
1	17	10
2	40	10
3	75	8
4	83	8
done	83	8
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	12	19
1	24	17
2	64	15
3	149	15
4	173	15
done	173	15
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	87	9
done	87	9
0	11	14
1	21	12
2	48	10
3	83	10
4	85	10
done	85	10
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	87	9
done	87	9
0	7	11
1	15	7
2	22	7
3	31	7
done	31	7
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	377	8
7	428	8
8	445	8
done	445	8
0	12	15
1	21	13
2	55	11
3	118	11
4	191	11
5	211	11
done	211	11
0	12	12
1	20	12
2	36	12
3	82	10
4	215	10
5	303	10
6	379	10
7	437	10
8	443	10
done	443	10
0	7	11
1	15	7
2	22	7
3	31	7
done	31	7
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	377	8
7	428	8
8	445	8
done	445	8
0	14	20
1	26	20
2	51	20
3	117	18
4	268	18
5	365	18
6	369	18
done	369	18
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	13	15
1	23	15
2	38	15
3	72	13
4	137	13
5	157	13
done	157	13
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	9	12
1	17	10
2	35	10
3	67	8
4	73	8
done	73	8
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	14	16
1	23	16
2	45	16
3	113	14
4	296	14
5	384	14
6	406	14
done	406	14
0	13	13
1	21	13
2	37	13
3	83	11
4	216	11
5	309	11
6	391	11
7	405	11
8	406	11
done	406	11
0	9	12
1	17	10
2	35	10
3	67	8
4	73	8
done	73	8
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	13	17
1	23	17
2	40	17
3	71	15
4	147	15
5	190	15
done	190	15
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	8	9
1	14	7
2	27	7
3	37	5
4	39	5
done	39	5
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	13	13
1	20	13
2	37	13
3	78	11
4	182	11
5	214	11
6	222	11
done	222	11
0	13	13
1	21	13
2	37	13
3	83	11
4	216	11
5	309	11
6	391	11
7	405	11
8	406	11
done	406	11
0	8	9
1	14	7
2	27	7
3	37	5
4	39	5
done	39	5
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	310	9
6	388	9
7	405	9
8	416	9
done	416	9
0	11	16
1	21	14
2	39	12
3	60	12
4	62	12
done	62	12
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	87	9
done	87	9
0	10	11
1	18	9
2	29	7
3	32	7
done	32	7
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	87	9
done	87	9
0	6	8
1	12	4
2	13	4
done	13	4
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	377	8
7	428	8
8	445	8
done	445	8
0	11	12
1	18	10
2	36	8
3	55	8
4	89	8
5	91	8
done	91	8
0	12	12
1	20	12
2	36	12
3	82	10
4	215	10
5	303	10
6	379	10
7	437	10
8	443	10
done	443	10
0	6	8
1	12	4
2	13	4
done	13	4
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	307	8
6	377	8
7	428	8
8	445	8
done	445	8
0	12	19
1	24	19
2	49	15
3	126	15
4	256	15
5	354	15
6	361	15
done	361	15
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	88	9
done	88	9
0	11	14
1	21	14
2	36	10
3	82	10
4	129	10
5	154	10
done	154	10
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	88	9
done	88	9
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	310	8
6	388	8
7	405	8
8	417	8
done	417	8
0	12	15
1	21	15
2	43	11
3	123	11
4	237	11
5	336	11
6	386	11
7	390	11
done	390	11
0	12	12
1	20	12
2	36	12
3	82	10
4	215	10
5	310	10
6	392	10
7	406	10
8	407	10
done	407	10
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	310	8
6	388	8
7	405	8
8	417	8
done	417	8
0	11	16
1	21	16
2	38	12
3	74	12
4	144	12
5	195	12
done	195	12
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	88	9
done	88	9
0	10	11
1	18	11
2	28	7
3	50	7
4	68	7
5	76	7
done	76	7
0	11	11
1	19	11
2	29	11
3	44	9
4	78	9
5	88	9
done	88	9
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	310	8
6	388	8
7	405	8
8	417	8
done	417	8
0	11	12
1	18	12
2	35	8
3	77	8
4	133	8
5	193	8
6	205	8
done	205	8
0	12	12
1	20	12
2	36	12
3	82	10
4	215	10
5	310	10
6	392	10
7	406	10
8	407	10
done	407	10
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	10	10
1	18	10
2	34	10
3	80	8
4	214	8
5	310	8
6	388	8
7	405	8
8	417	8
done	417	8
0	9	15
1	19	11
2	28	9
3	44	9
4	54	9
5	57	9
done	57	9
0	10	10
1	18	10
2	28	10
3	43	8
4	78	8
5	89	8
done	89	8
0	8	10
1	16	6
2	19	4
3	25	4
4	26	4
5	27	4
done	27	4
0	10	10
1	18	10
2	28	10
3	43	8
4	78	8
5	89	8
done	89	8
0	4	7
1	10	1
done	10	1
0	9	9
1	17	9
2	33	9
3	79	7
4	212	7
5	305	7
6	375	7
7	432	7
8	447	7
done	447	7
0	9	11
1	16	7
2	26	5
3	40	5
4	41	5
5	42	5
done	42	5
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	302	9
6	379	9
7	439	9
8	446	9
done	446	9
0	4	7
1	10	1
done	10	1
0	9	9
1	17	9
2	33	9
3	79	7
4	212	7
5	305	7
6	375	7
7	432	7
8	447	7
done	447	7
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	10	10
1	18	10
2	28	10
3	43	8
4	78	8
5	89	8
done	89	8
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	10	10
1	18	10
2	28	10
3	43	8
4	78	8
5	89	8
done	89	8
0	3	5
1	6	1
done	6	1
0	9	9
1	17	9
2	33	9
3	79	7
4	212	7
5	305	7
6	375	7
7	432	7
8	447	7
done	447	7
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	11	11
1	19	11
2	35	11
3	81	9
4	214	9
5	302	9
6	379	9
7	439	9
8	446	9
done	446	9
0	3	5
1	6	1
done	6	1
0	9	9
1	17	9
2	33	9
3	79	7
4	212	7
5	305	7
6	375	7
7	432	7
8	447	7
done	447	7
0	9	13
1	17	13
2	25	13
3	33	11
4	57	11
5	72	11
done	72	11
0	9	10
1	17	10
2	27	6
3	42	6
4	63	6
5	80	6
6	93	6
done	93	6
0	8	8
1	14	8
2	18	8
3	19	6
4	32	6
5	37	6
done	37	6
0	9	10
1	17	10
2	27	6
3	42	6
4	63	6
5	80	6
6	93	6
done	93	6
0	4	5
1	8	3
2	12	3
done	12	3
0	8	9
1	16	9
2	32	5
3	66	5
4	120	5
5	173	5
6	225	5
7	267	5
8	335	5
9	386	5
10	394	5
done	394	5
0	9	9
1	14	9
2	25	9
3	38	7
4	73	7
5	90	7
done	90	7
0	10	11
1	18	11
2	34	7
3	68	7
4	122	7
5	180	7
6	250	7
7	300	7
8	351	7
9	374	7
done	374	7
0	4	5
1	8	3
2	12	3
done	12	3
0	8	9
1	16	9
2	32	5
3	66	5
4	120	5
5	173	5
6	225	5
7	267	5
8	335	5
9	386	5
10	394	5
done	394	5
0	2	3
1	4	1
done	4	1
0	9	9
1	17	9
2	33	9
3	79	7
4	212	7
5	305	7
6	375	7
7	432	7
8	447	7
done	447	7
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	12	13
1	33	13
2	70	13
3	200	11
4	838	11
5	3530	11
done	5000	11
0	9	13
1	18	11
2	26	11
3	27	11
4	28	11
done	28	11
0	11	13
1	22	13
2	50	13
3	163	11
4	636	11
5	1558	11
6	2410	11
7	3883	11
done	5000	11
0	5	5
1	8	5
done	8	5
0	9	9
1	17	9
2	33	9
3	79	7
4	212	7
5	305	7
6	375	7
7	432	7
8	447	7
done	447	7
0	9	9
1	17	7
2	38	7
3	79	7
4	129	7
5	148	7
6	157	7
7	159	7
done	159	7
0	11	19
1	19	19
2	23	19
3	31	19
4	35	19
5	39	19
done	39	19
0	10	10
1	16	10
2	20	10
3	28	10
4	32	10
5	36	10
done	36	10
0	13	21
1	25	21
2	47	21
3	78	19
4	138	19
5	203	19
done	203	19
0	12	16
1	20	16
2	29	16
3	42	14
4	69	14
5	101	14
done	101	14
0	8	13
1	14	11
2	25	11
3	34	11
done	34	11
0	13	17
1	20	17
2	36	17
3	69	15
4	142	15
5	219	15
6	222	15
done	222	15
0	8	13
1	14	11
2	25	11
3	34	11
done	34	11
0	12	16
1	20	16
2	28	16
3	36	14
4	60	14
5	75	14
done	75	14
0	11	11
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	7	8
1	11	6
2	16	6
done	16	6
0	12	12
1	17	12
2	28	12
3	41	10
4	76	10
5	93	10
done	93	10
0	7	8
1	11	6
2	16	6
done	16	6
0	15	23
1	31	23
2	83	23
3	246	21
4	704	21
5	1115	21
6	1118	21
done	1118	21
0	14	18
1	28	18
2	64	18
3	157	16
4	369	16
5	500	16
6	501	16
done	501	16
0	10	15
1	22	13
2	60	13
3	144	11
4	186	11
done	186	11
0	15	19
1	28	19
2	71	19
3	214	17
4	655	17
5	1032	17
6	1152	17
done	1152	17
0	10	15
1	22	13
2	60	13
3	144	11
4	186	11
done	186	11
0	14	20
1	26	20
2	55	20
3	136	18
4	352	18
5	541	18
6	542	18
done	542	18
0	13	15
1	23	15
2	43	15
3	90	13
4	183	13
5	256	13
done	256	13
0	9	12
1	17	10
2	40	10
3	75	8
4	83	8
done	83	8
0	14	16
1	23	16
2	50	16
3	131	14
4	360	14
5	529	14
6	583	14
done	583	14
0	9	12
1	17	10
2	40	10
3	75	8
4	83	8
done	83	8
0	12	19
1	24	17
2	64	15
3	149	15
4	173	15
done	173	15
0	11	14
1	21	12
2	48	10
3	83	10
4	85	10
done	85	10
0	7	11
1	15	7
2	22	7
3	31	7
done	31	7
0	12	15
1	21	13
2	55	11
3	118	11
4	191	11
5	211	11
done	211	11
0	7	11
1	15	7
2	22	7
3	31	7
done	31	7
0	14	20
1	26	20
2	51	20
3	117	18
4	268	18
5	365	18
6	369	18
done	369	18
0	13	15
1	23	15
2	38	15
3	72	13
4	137	13
5	157	13
done	157	13
0	9	12
1	17	10
2	35	10
3	67	8
4	73	8
done	73	8
0	14	16
1	23	16
2	45	16
3	113	14
4	296	14
5	384	14
6	406	14
done	406	14
0	9	12
1	17	10
2	35	10
3	67	8
4	73	8
done	73	8
0	13	17
1	23	17
2	40	17
3	71	15
4	147	15
5	190	15
done	190	15
0	12	12
1	20	12
2	30	12
3	45	10
4	79	10
5	89	10
done	89	10
0	8	9
1	14	7
2	27	7
3	37	5
4	39	5
done	39	5
0	13	13
1	20	13
2	37	13
3	78	11
4	182	11
5	214	11
6	222	11
done	222	11
0	8	9
1	14	7
2	27	7
3	37	5
4	39	5
done	39	5
0	11	16
1	21	14
2	39	12
3	60	12
4	62	12
done	62	12
0	10	11
1	18	9
2	29	7
3	32	7
done	32	7
0	6	8
1	12	4
2	13	4
done	13	4
0	11	12
1	18	10
2	36	8
3	55	8
4	89	8
5	91	8
done	91	8
0	6	8
1	12	4
2	13	4
done	13	4
0	12	19
1	24	19
2	49	15
3	126	15
4	256	15
5	354	15
6	361	15
done	361	15
0	11	14
1	21	14
2	36	10
3	82	10
4	129	10
5	154	10
done	154	10
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	12	15
1	21	15
2	43	11
3	123	11
4	237	11
5	336	11
6	386	11
7	390	11
done	390	11
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	16
1	21	16
2	38	12
3	74	12
4	144	12
5	195	12
done	195	12
0	10	11
1	18	11
2	28	7
3	50	7
4	68	7
5	76	7
done	76	7
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	18	12
2	35	8
3	77	8
4	133	8
5	193	8
6	205	8
done	205	8
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	9	15
1	19	11
2	28	9
3	44	9
4	54	9
5	57	9
done	57	9
0	8	10
1	16	6
2	19	4
3	25	4
4	26	4
5	27	4
done	27	4
0	4	7
1	10	1
done	10	1
0	9	11
1	16	7
2	26	5
3	40	5
4	41	5
5	42	5
done	42	5
0	4	7
1	10	1
done	10	1
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	3	5
1	6	1
done	6	1
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	3	5
1	6	1
done	6	1
0	9	13
1	17	13
2	25	13
3	33	11
4	57	11
5	72	11
done	72	11
0	8	8
1	14	8
2	18	8
3	19	6
4	32	6
5	37	6
done	37	6
0	4	5
1	8	3
2	12	3
done	12	3
0	9	9
1	14	9
2	25	9
3	38	7
4	73	7
5	90	7
done	90	7
0	4	5
1	8	3
2	12	3
done	12	3
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	12	13
1	33	13
2	70	13
3	200	11
4	838	11
5	3530	11
done	5000	11
0	11	13
1	22	13
2	50	13
3	163	11
4	636	11
5	1558	11
6	2410	11
7	3883	11
done	5000	11
0	10	10
1	18	9
2	35	9
3	59	7
4	118	7
5	137	7
6	147	7
7	149	7
done	149	7
0	10	10
1	18	9
2	35	9
3	59	7
4	118	7
5	137	7
6	147	7
7	149	7
done	149	7
0	9	9
1	17	7
2	38	7
3	79	7
4	129	7
5	148	7
6	157	7
7	159	7
done	159	7
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	12	13
1	23	12
2	42	12
3	104	10
4	303	10
5	563	10
6	1265	10
7	4889	10
done	5000	10
0	11	12
1	20	12
2	36	12
3	86	10
4	225	10
5	319	10
6	395	10
7	469	10
8	570	10
9	816	10
10	1281	10
11	1462	10
12	1639	10
13	1656	10
14	1660	10
15	1677	10
16	1731	10
17	1904	10
18	2575	10
done	5000	10
0	11	12
1	23	12
2	42	12
3	104	10
4	303	10
5	563	10
6	1267	10
7	4914	10
done	5000	10
0	12	25
1	21	25
2	37	25
3	87	21
4	226	21
5	322	21
6	400	21
7	472	21
8	573	21
9	818	21
10	1279	21
11	1460	21
12	1626	21
13	1642	21
done	1642	21
0	11	12
1	20	12
2	36	12
3	86	10
4	225	10
5	319	10
6	395	10
7	469	10
8	570	10
9	814	10
10	1273	10
11	1442	10
12	1587	10
13	1603	10
done	1603	10
0	12	35
1	34	35
2	98	13
3	447	11
4	2831	11
done	5001	11
0	11	12
1	20	12
2	36	12
3	86	10
4	225	10
5	319	10
6	395	10
7	469	10
8	570	10
9	814	10
10	1273	10
11	1442	10
12	1587	10
13	1603	10
done	1603	10
0	11	12
1	20	12
2	36	12
3	86	10
4	225	10
5	319	10
6	395	10
7	469	10
8	570	10
9	814	10
10	1273	10
11	1442	10
12	1587	10
13	1603	10
done	1603	10
0	13	15
1	38	15
2	95	15
3	403	13
4	2245	13
done	5000	13
0	14	35
1	36	25
2	103	25
3	500	21
4	2270	21
done	5000	21
0	12	23
1	29	23
2	75	21
3	399	19
4	2120	19
done	5000	19
0	10	11
1	20	11
2	44	11
3	128	9
4	417	9
5	794	9
6	982	9
7	1163	9
8	1406	9
9	1490	9
10	1492	9
done	1492	9
0	10	11
1	19	11
2	35	11
3	85	9
4	224	9
5	320	9
6	396	9
7	470	9
8	572	9
9	816	9
10	1274	9
11	1459	9
12	1604	9
13	1620	9
done	1620	9
0	10	11
1	19	11
2	35	11
3	85	9
4	224	9
5	320	9
6	396	9
7	470	9
8	572	9
9	816	9
10	1274	9
11	1459	9
12	1604	9
13	1620	9
done	1620	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9

prune281.0ms

Filtered

237 candidates to 434 candidates (-83.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	434	0	434
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	434	6	440

Merged error: 0b

Counts

440 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (- y x) (/ z t)))
7.1b	(* (- y x) (/ z t))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

3.0ms	(+ x (* (- y x) (/ z t)))
11.0ms	(* (- y x) (/ z t))

series27.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ x (* (- y x) (/ z t)))
14.0ms	(* (- y x) (/ z t))

simplify2.4min

Counts

55 → 55

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	10	10
1	17	10
2	25	10
3	34	10
4	40	10
5	50	10
6	57	10
7	69	10
8	92	10
9	106	10
10	112	10
done	112	10
0	9	9
1	15	9
2	22	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	81	9
9	100	9
10	108	9
done	108	9
0	8	8
1	16	8
2	32	8
3	66	8
4	108	8
5	137	8
6	160	8
7	178	8
8	194	8
9	201	8
10	218	8
11	220	8
done	220	8
0	8	8
1	15	8
2	36	8
3	76	8
4	149	8
5	277	8
6	617	8
7	1948	8
done	5001	8
0	13	23
1	30	23
2	121	13
3	562	11
4	2827	11
done	5001	11
0	11	23
1	26	23
2	88	11
3	332	11
4	1571	9
done	5000	9
0	9	17
1	14	17
2	24	17
3	48	17
4	71	17
5	87	17
6	98	17
done	98	17
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	9	23
1	24	23
2	103	9
3	525	9
4	2321	9
done	5000	9
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	8	8
1	13	8
2	23	8
3	47	8
4	70	8
5	86	8
6	97	8
done	97	8
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	5	5
1	7	5
2	15	5
done	15	5
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	10	10
1	15	10
2	19	10
3	23	10
4	24	10
done	24	10
0	9	13
1	14	13
2	23	13
3	40	13
4	50	13
5	58	13
done	58	13
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	11	15
1	22	15
2	58	15
3	162	15
4	349	15
5	570	15
6	734	15
7	772	15
8	774	15
done	774	15
0	10	12
1	17	12
2	34	12
3	87	12
4	163	12
5	230	12
6	279	12
7	284	12
done	284	12
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	10	12
1	17	12
2	35	12
3	84	12
4	143	12
5	208	12
6	243	12
7	250	12
done	250	12
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	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	9	11
1	18	11
2	35	9
3	99	9
4	204	9
5	278	9
6	351	9
7	380	9
8	398	9
9	400	9
done	400	9
0	8	8
1	15	8
2	25	6
3	60	6
4	102	6
5	129	6
6	148	6
7	150	6
8	151	6
done	151	6
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
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	7	7
1	12	7
2	22	7
3	46	7
4	69	7
5	85	7
6	96	7
done	96	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	28	11
2	59	11
3	163	11
4	489	11
5	1748	11
done	5000	11
0	9	11
1	17	11
2	39	11
3	118	11
4	311	11
5	564	11
6	963	11
7	1727	11
done	5000	11
0	10	11
1	20	10
2	41	10
3	89	10
4	192	10
5	383	10
6	903	10
7	3169	10
done	5000	10
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2159	10
20	2228	10
21	2236	10
22	2253	10
23	2275	10
24	2363	10
25	2624	10
26	3561	10
done	5000	10
0	9	10
1	18	10
2	33	10
3	76	10
4	151	10
5	287	10
6	625	10
7	2135	10
done	5000	10
0	10	21
1	16	21
2	26	21
3	54	21
4	85	21
5	109	21
6	131	21
7	154	21
8	195	21
9	261	21
10	347	21
11	384	21
12	435	21
13	470	21
14	506	21
15	596	21
16	830	21
17	1118	21
18	1674	21
19	2165	21
20	2221	21
done	2221	21
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2157	10
20	2220	10
done	2220	10
0	10	29
1	29	29
2	95	11
3	415	11
4	2134	11
done	5000	11
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2157	10
20	2220	10
done	2220	10
0	9	10
1	15	10
2	25	10
3	53	10
4	84	10
5	108	10
6	130	10
7	153	10
8	194	10
9	260	10
10	346	10
11	383	10
12	434	10
13	469	10
14	505	10
15	595	10
16	825	10
17	1105	10
18	1665	10
19	2157	10
20	2220	10
done	2220	10
0	11	13
1	33	13
2	94	13
3	394	13
4	1872	13
done	5001	13
0	12	29
1	34	21
2	125	21
3	413	21
4	1354	21
5	4421	21
done	5000	21
0	10	19
1	27	19
2	95	19
3	390	19
4	1474	19
5	4968	19
done	5000	19
0	8	9
1	15	9
2	34	9
3	84	9
4	171	9
5	222	9
6	278	9
7	344	9
8	431	9
9	548	9
10	585	9
11	675	9
12	907	9
13	1195	9
14	1744	9
15	2225	9
16	2287	9
done	2287	9
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	9	11
1	17	11
2	29	11
3	45	11
4	71	7
5	83	7
6	88	7
7	91	7
8	93	7
9	94	7
done	94	7
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9
0	10	13
1	21	13
2	39	13
3	61	13
4	97	9
5	148	9
6	223	9
7	321	9
8	364	9
9	422	9
10	462	9
11	478	9
12	514	9
13	604	9
14	834	9
15	1118	9
16	1665	9
17	2163	9
18	2219	9
done	2219	9

prune60.0ms

Filtered

41 candidates to 55 candidates (-34.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	55	6	61

Merged error: 0b

Counts

61 → 6

regimes295.0ms

Accuracy

15.8% (1.8b remaining)

Error of 1.8b against oracle of 0.0b and baseline of 2.1b

bsearch87.0ms

Steps

Iters	Range		Point
7	3.0413648196657067e-53	5.986703965913458e-51	5.826684257362502e-51
11	-3.599476642763101e-289	4.830314714371918e-298	2.011868196789524e-307

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	41
1	31	41
done	31	41

end0.0ms

sample985.0ms

Algorithm

intervals

Results

369.0ms

10597×

body

valid

Details

sample40.0ms

simplify3.6s

prune4.0ms

localize7.0ms

rewrite22.0ms

series34.0ms

simplify2.1min

prune100.0ms

localize7.0ms

rewrite38.0ms

series32.0ms

simplify2.1min

prune129.0ms

localize9.0ms

rewrite138.0ms

series40.0ms

simplify5.3min

prune281.0ms

localize7.0ms

rewrite16.0ms

series27.0ms

simplify2.4min

prune60.0ms

regimes295.0ms

bsearch87.0ms

simplify3.0ms

end0.0ms

sample985.0ms

Profiling