Details

sample27.0ms

Algorithm

intervals

Results

15.0ms	256×	body	80	valid
3.0ms	256×	pre	80	true

simplify6.1s

Counts

1 → 1

Iterations

Useful iterations: 4 (4.9s)

Iter	Nodes	Cost
0	10	25
1	31	25
2	163	23
3	856	19
4	4710	15
done	5001	15

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 2.0 2.0) (/ 1.0 (* i i)))
0.1b	(/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
0.6b	(/ 1.0 (* i i))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

65×	`times-frac`
43×	`add-sqr-sqrt`
27×	`add-exp-log`
25×	`add-cube-cbrt` `*-un-lft-identity`
18×	`difference-of-squares`
17×	`add-cbrt-cube`
13×	`div-exp`
10×	`associate-/l*`
8×	`div-inv`
7×	`cbrt-undiv`
6×	`associate-/r*`
5×	`add-log-exp`
4×	`prod-exp`
3×	`pow1`
2×	`rec-exp` `flip3--` `frac-2neg` `1-exp` `clear-num` `associate-/r/` `flip--` `cbrt-unprod`
1×	`sub-neg` `diff-log` `associate-/l/`

Counts

3 → 105

Calls

3 calls:

6.0ms	(- (* 2.0 2.0) (/ 1.0 (* i i)))
13.0ms	(/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
12.0ms	(/ 1.0 (* i i))

series13.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(- (* 2.0 2.0) (/ 1.0 (* i i)))
5.0ms	(/ (/ 1 (* 2.0 2.0)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
4.0ms	(/ 1.0 (* i i))

simplify2.7min

Counts

114 → 114

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	12	17
1	22	16
2	40	15
3	56	15
4	65	15
5	78	15
6	91	15
7	99	15
8	109	15
done	109	15
0	11	16
1	19	16
2	31	16
3	49	15
4	60	15
5	68	15
6	82	15
7	97	15
8	105	15
9	115	15
done	115	15
0	13	18
1	27	16
2	59	15
3	105	15
4	212	15
5	286	15
6	315	15
7	330	15
done	330	15
0	12	17
1	24	16
2	48	16
3	97	15
4	189	15
5	250	15
6	298	15
7	318	15
done	318	15
0	14	19
1	30	17
2	60	15
3	115	15
4	222	15
5	297	15
6	328	15
7	343	15
done	343	15
0	13	18
1	27	17
2	51	16
3	107	15
4	200	15
5	261	15
6	314	15
7	333	15
done	333	15
0	12	17
1	26	16
2	42	16
3	75	16
4	124	15
5	179	15
6	232	15
7	257	15
8	271	15
done	271	15
0	11	16
1	24	16
2	47	15
3	86	15
4	169	15
5	299	15
6	498	15
7	698	15
8	851	15
9	984	15
10	1197	15
11	2205	15
done	5000	15
0	11	16
1	21	16
2	32	16
3	49	16
4	73	16
5	124	16
6	224	16
7	359	16
8	511	16
9	712	16
10	1198	16
11	3189	16
done	5000	16
0	16	47
1	40	43
2	125	21
3	456	17
4	2134	17
done	5000	17
0	16	47
1	42	43
2	127	19
3	492	17
4	2395	17
done	5000	17
0	14	47
1	37	47
2	132	19
3	716	17
4	3201	17
done	5000	17
0	12	33
1	22	33
2	33	33
3	50	33
4	74	33
5	123	33
6	222	33
7	356	33
8	503	33
9	702	33
10	1180	33
11	3156	33
done	5000	33
0	11	16
1	21	16
2	32	16
3	49	16
4	73	16
5	124	16
6	224	16
7	359	16
8	511	16
9	712	16
10	1198	16
11	3189	16
done	5000	16
0	12	47
1	29	47
2	77	17
3	315	17
4	1904	17
5	4779	17
done	5000	17
0	11	16
1	21	16
2	32	16
3	49	16
4	73	16
5	124	16
6	224	16
7	359	16
8	511	16
9	712	16
10	1198	16
11	3189	16
done	5000	16
0	11	16
1	21	16
2	32	16
3	49	16
4	73	16
5	124	16
6	224	16
7	359	16
8	511	16
9	712	16
10	1198	16
11	3189	16
done	5000	16
0	5	6
1	12	5
2	16	5
done	16	5
0	8	10
1	12	10
2	20	10
3	31	10
4	38	9
done	38	9
0	14	35
1	28	35
2	42	35
3	50	35
done	50	35
0	12	17
1	20	17
2	25	17
3	27	17
done	27	17
0	13	24
1	23	24
2	30	24
3	33	24
done	33	24
0	12	17
1	20	17
2	25	17
3	27	17
done	27	17
0	7	15
1	13	13
2	19	13
3	24	13
done	24	13
0	11	16
1	19	16
2	24	16
3	26	16
done	26	16
0	13	22
1	22	22
2	24	22
3	25	22
done	25	22
0	12	15
1	20	15
2	21	15
done	21	15
0	12	20
1	19	20
2	21	20
3	22	20
done	22	20
0	11	13
1	17	13
2	20	13
done	20	13
0	13	28
1	23	28
2	28	28
3	30	28
done	30	28
0	12	17
1	20	17
2	25	17
3	27	17
done	27	17
0	12	17
1	20	17
2	25	17
3	27	17
done	27	17
0	12	17
1	20	17
2	25	17
3	27	17
done	27	17
0	6	8
1	10	6
2	12	6
done	12	6
0	11	16
1	19	16
2	24	16
3	26	16
done	26	16
0	12	15
1	19	15
done	19	15
0	12	15
1	20	15
2	21	15
done	21	15
0	11	13
1	16	13
done	16	13
0	11	13
1	17	13
2	20	13
done	20	13
0	14	29
1	26	27
2	47	25
3	76	25
4	135	25
5	147	25
done	147	25
0	12	15
1	20	14
2	28	14
3	30	14
done	30	14
0	13	18
1	23	16
2	39	14
3	53	14
4	67	14
done	67	14
0	12	15
1	20	14
2	28	14
3	30	14
done	30	14
0	6	9
1	12	5
2	26	3
3	31	3
4	34	3
done	34	3
0	11	14
1	19	13
2	27	13
3	37	13
4	51	13
5	85	13
6	124	13
7	165	13
8	207	13
9	269	13
10	473	13
11	1384	13
done	5000	13
0	12	16
1	21	14
2	32	12
3	51	12
4	76	12
5	78	12
6	84	12
7	89	12
8	100	12
done	100	12
0	11	13
1	19	12
2	23	12
3	30	12
4	34	12
5	38	12
done	38	12
0	11	14
1	18	12
2	29	10
3	48	10
4	74	10
5	84	10
6	103	10
7	134	10
8	158	10
9	168	10
done	168	10
0	10	11
1	16	10
2	22	10
3	29	10
4	37	10
5	51	10
6	60	10
7	65	10
8	70	10
9	72	10
done	72	10
0	13	26
1	23	25
2	34	25
3	42	25
done	42	25
0	12	15
1	20	14
2	28	14
3	30	14
done	30	14
0	12	15
1	20	14
2	28	14
3	30	14
done	30	14
0	12	15
1	20	14
2	28	14
3	30	14
done	30	14
0	5	6
1	9	3
2	16	3
done	16	3
0	11	14
1	19	13
2	27	13
3	37	13
4	51	13
5	85	13
6	124	13
7	165	13
8	207	13
9	269	13
10	473	13
11	1384	13
done	5000	13
0	11	13
1	18	12
2	21	12
3	28	12
done	28	12
0	11	13
1	19	12
2	23	12
3	30	12
4	34	12
5	38	12
done	38	12
0	10	11
1	15	10
2	18	10
3	25	10
4	29	10
5	33	10
6	35	10
7	36	10
done	36	10
0	10	11
1	16	10
2	22	10
3	29	10
4	37	10
5	51	10
6	60	10
7	65	10
8	70	10
9	72	10
done	72	10
0	12	25
1	22	25
2	33	25
3	41	25
done	41	25
0	11	14
1	19	14
2	27	14
3	29	14
done	29	14
0	11	14
1	19	14
2	27	14
3	29	14
done	29	14
0	11	14
1	19	14
2	27	14
3	29	14
done	29	14
0	4	5
1	8	3
2	15	3
done	15	3
0	10	13
1	18	13
2	26	13
3	36	13
4	50	13
5	84	13
6	123	13
7	163	13
8	203	13
9	267	13
10	480	13
11	1407	13
done	5000	13
0	10	12
1	17	12
2	20	12
3	27	12
done	27	12
0	10	12
1	18	12
2	22	12
3	29	12
4	33	12
5	37	12
done	37	12
0	9	10
1	14	10
2	17	10
3	24	10
4	28	10
5	32	10
6	34	10
7	35	10
done	35	10
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	11	23
1	19	23
2	24	23
3	26	23
done	26	23
0	11	16
1	21	16
2	32	16
3	42	16
done	42	16
0	10	12
1	16	12
2	21	12
3	23	12
done	23	12
0	11	16
1	21	16
2	32	16
3	42	16
done	42	16
0	2	3
1	4	1
done	4	1
0	10	15
1	20	15
2	31	15
3	48	15
4	72	15
5	123	15
6	222	15
7	360	15
8	509	15
9	713	15
10	1195	15
11	3175	15
done	5000	15
0	9	10
1	14	10
done	14	10
0	11	14
1	21	14
2	28	14
3	44	14
4	58	14
5	73	14
6	87	14
7	97	14
8	118	14
9	173	14
10	374	14
11	1291	14
done	5000	14
0	8	8
1	11	8
done	11	8
0	10	12
1	18	12
2	27	12
3	43	12
4	61	12
5	92	12
6	134	12
7	173	12
8	222	12
9	295	12
10	505	12
11	1425	12
done	5001	12
0	11	23
1	19	23
2	24	23
3	26	23
done	26	23
0	11	16
1	21	16
2	32	16
3	42	16
done	42	16
0	10	12
1	16	12
2	21	12
3	23	12
done	23	12
0	11	16
1	21	16
2	32	16
3	42	16
done	42	16
0	2	3
1	4	1
done	4	1
0	10	15
1	20	15
2	31	15
3	48	15
4	72	15
5	123	15
6	222	15
7	360	15
8	509	15
9	713	15
10	1195	15
11	3175	15
done	5000	15
0	9	10
1	14	10
done	14	10
0	11	14
1	21	14
2	28	14
3	44	14
4	58	14
5	73	14
6	87	14
7	97	14
8	118	14
9	173	14
10	374	14
11	1291	14
done	5000	14
0	8	8
1	11	8
done	11	8
0	10	12
1	18	12
2	27	12
3	43	12
4	61	12
5	92	12
6	134	12
7	173	12
8	222	12
9	295	12
10	505	12
11	1425	12
done	5001	12
0	9	11
1	15	11
2	20	11
3	22	11
done	22	11
0	10	15
1	23	15
2	52	13
3	133	13
4	345	13
5	712	13
6	1236	13
7	1800	13
8	2191	13
9	3821	13
done	5000	13
0	12	27
1	24	27
2	41	27
3	70	27
4	75	27
done	75	27
0	11	16
1	21	16
2	32	16
3	42	16
done	42	16
0	5	7
1	11	5
2	21	5
3	31	5
done	31	5
0	11	14
1	20	14
2	26	14
3	42	14
4	52	14
5	57	14
6	63	14
7	73	14
8	96	14
9	153	14
10	357	14
11	1285	14
done	5001	14
0	10	12
1	17	12
2	23	12
3	39	12
4	53	12
5	68	12
6	87	12
7	104	12
8	132	12
9	193	12
10	401	12
11	1329	12
done	5000	12
0	11	16
1	22	16
2	35	16
3	51	16
4	66	16
5	69	16
done	69	16
0	11	16
1	22	16
2	35	16
3	51	16
4	66	16
5	69	16
done	69	16
0	11	14
1	22	13
2	43	13
3	78	11
4	182	11
5	327	11
6	439	11
7	544	11
8	601	11
9	770	11
10	1551	11
done	5000	11
0	11	14
1	22	13
2	43	13
3	78	11
4	182	11
5	327	11
6	439	11
7	544	11
8	601	11
9	770	11
10	1551	11
done	5000	11
0	10	13
1	21	13
2	42	11
3	92	11
4	192	11
5	323	11
6	439	11
7	540	11
8	598	11
9	762	11
10	1541	11
done	5000	11
0	10	15
1	23	15
2	52	13
3	133	13
4	345	13
5	712	13
6	1236	13
7	1800	13
8	2191	13
9	3821	13
done	5000	13
0	10	15
1	23	15
2	52	13
3	133	13
4	345	13
5	712	13
6	1236	13
7	1800	13
8	2191	13
9	3821	13
done	5000	13
0	13	19
1	41	19
2	119	17
3	373	17
4	1533	17
done	5000	17
0	12	25
1	33	25
2	73	23
3	191	21
4	473	19
5	1157	17
6	3393	17
done	5001	17
0	8	13
1	15	13
2	27	13
3	54	13
4	103	13
5	200	13
6	334	13
7	481	13
8	679	13
9	1153	13
10	3092	13
done	5000	13
0	9	11
1	15	10
2	21	10
3	35	10
4	66	10
5	149	10
6	425	10
7	1665	10
done	5001	10
0	8	10
1	12	10
2	17	10
3	19	10
done	19	10
0	8	10
1	15	10
2	24	10
3	33	10
4	50	10
5	92	10
6	247	10
7	636	10
8	1933	10
done	5001	10
0	9	21
1	13	21
2	18	21
3	20	21
done	20	21
0	8	10
1	12	10
2	17	10
3	19	10
done	19	10
0	9	29
1	14	29
2	33	11
3	104	11
4	376	11
5	1422	11
done	5000	11
0	8	10
1	12	10
2	17	10
3	19	10
done	19	10
0	8	10
1	12	10
2	17	10
3	19	10
done	19	10
0	10	13
1	32	13
2	104	11
3	323	11
4	1272	11
done	5000	11
0	11	29
1	32	23
2	84	21
3	186	19
4	305	19
5	372	19
6	510	19
7	916	19
8	2602	19
done	5000	19
0	5	6
1	9	6
2	13	6
done	13	6
0	9	19
1	24	19
2	56	17
3	145	15
4	311	13
5	515	11
6	849	11
7	1770	11
done	5000	11
0	7	9
1	10	9
done	10	9
0	7	8
1	10	8
done	10	8
0	7	8
1	11	8
2	12	8
done	12	8
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	11	6
done	11	6
0	5	6
1	9	6
2	13	6
done	13	6
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	16	18
1	38	18
2	102	18
3	238	18
4	686	18
5	2144	18
done	5000	18
0	15	17
1	34	17
2	80	13
3	196	13
4	635	13
5	1959	13
done	5000	13
0	15	17
1	34	17
2	80	13
3	196	13
4	635	13
5	1959	13
done	5000	13
0	9	9
1	20	9
2	48	7
3	116	7
4	314	7
5	1036	7
done	5000	7
0	9	9
1	20	9
2	48	7
3	116	7
4	314	7
5	1036	7
done	5000	7
0	9	9
1	20	9
2	48	7
3	116	7
4	314	7
5	1036	7
done	5000	7

prune190.0ms

Filtered

81 candidates to 114 candidates (-40.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	112	4	116

Merged error: 0b

Counts

116 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ 1 (* (+ 2.0 (/ (sqrt 1.0) i)) 2.0)) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
0.0b	(- 2.0 (/ (sqrt 1.0) i))
0.1b	(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
0.1b	(/ 1 (* (+ 2.0 (/ (sqrt 1.0) i)) 2.0))

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

384×	`times-frac`
377×	`add-sqr-sqrt`
198×	`*-un-lft-identity`
154×	`add-exp-log`
141×	`add-cube-cbrt`
97×	`associate-r`
84×	`difference-of-squares`
72×	`div-exp`
53×	`prod-exp`
50×	`add-cbrt-cube`
28×	`sqrt-prod` `distribute-lft-out--`
20×	`cbrt-undiv` `rec-exp` `1-exp`
19×	`div-inv`
16×	`associate-/l*`
13×	`cbrt-unprod`
9×	`pow1` `associate-l`
8×	`associate-/r*` `associate-/r/`
6×	`add-log-exp`
5×	`associate-*l/`
4×	`unswap-sqr`
3×	`flip3--` `flip--`
2×	`pow-flip` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `flip-+`
1×	`frac-times` `sub-neg` `diff-log` `associate-r/` `-commutative` `associate-/l/` `inv-pow`

Counts

4 → 342

Calls

4 calls:

58.0ms	(* (/ 1 (* (+ 2.0 (/ (sqrt 1.0) i)) 2.0)) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
10.0ms	(- 2.0 (/ (sqrt 1.0) i))
16.0ms	(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
12.0ms	(/ 1 (* (+ 2.0 (/ (sqrt 1.0) i)) 2.0))

series28.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (/ 1 (* (+ 2.0 (/ (sqrt 1.0) i)) 2.0)) (/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i))))
6.0ms	(- 2.0 (/ (sqrt 1.0) i))
5.0ms	(/ (/ 1 2.0) (- 2.0 (/ (sqrt 1.0) i)))
5.0ms	(/ 1 (* (+ 2.0 (/ (sqrt 1.0) i)) 2.0))

simplify10.9min

Counts

354 → 354

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	10	11
1	15	11
2	17	11
3	18	11
done	18	11
0	9	10
1	14	10
2	25	10
3	31	10
4	36	10
5	38	10
6	39	10
done	39	10
0	11	12
1	17	11
2	31	11
3	49	11
4	82	11
5	115	11
6	127	11
7	128	11
done	128	11
0	10	11
1	17	10
2	34	10
3	52	10
4	85	10
5	119	10
6	142	10
7	158	10
8	159	10
done	159	10
0	12	13
1	20	12
2	29	11
3	53	11
4	86	11
5	119	11
6	131	11
7	132	11
done	132	11
0	11	12
1	20	11
2	34	10
3	56	10
4	88	10
5	120	10
6	142	10
7	157	10
8	158	10
done	158	10
0	10	11
1	20	10
2	36	10
3	57	10
4	82	10
5	118	10
6	152	10
7	167	10
8	168	10
done	168	10
0	10	11
1	16	11
2	25	11
3	29	11
4	33	11
5	35	11
6	36	11
done	36	11
0	15	32
1	44	28
2	138	14
3	451	14
4	1739	12
done	5001	12
0	13	32
1	34	28
2	113	12
3	435	12
4	1463	12
5	4429	12
done	5000	12
0	11	23
1	17	23
2	26	23
3	30	23
4	34	23
5	36	23
6	37	23
done	37	23
0	10	11
1	16	11
2	25	11
3	29	11
4	33	11
5	35	11
6	36	11
done	36	11
0	11	32
1	24	32
2	75	12
3	303	12
4	955	12
5	1549	12
6	3588	12
done	5000	12
0	10	11
1	16	11
2	25	11
3	29	11
4	33	11
5	35	11
6	36	11
done	36	11
0	10	11
1	16	11
2	25	11
3	29	11
4	33	11
5	35	11
6	36	11
done	36	11
0	2	2
1	5	1
done	5	1
0	8	9
1	14	9
2	26	9
3	52	9
4	68	9
5	76	9
6	82	9
7	85	9
done	85	9
0	10	12
1	15	10
2	17	8
3	18	8
done	18	8
0	4	4
1	6	3
done	6	3
0	9	9
1	12	8
done	12	8
0	4	4
1	6	3
done	6	3
0	8	8
1	11	8
done	11	8
0	3	3
1	5	3
done	5	3
0	9	10
1	15	10
2	24	10
3	28	10
4	32	10
5	34	10
6	35	10
done	35	10
0	9	10
1	15	8
2	30	8
3	43	8
4	60	8
5	62	8
6	63	8
done	63	8
0	8	8
1	11	8
done	11	8
0	10	11
1	16	10
2	27	10
3	34	8
4	58	8
5	64	8
6	65	8
done	65	8
0	10	11
1	16	10
2	27	10
3	34	8
4	58	8
5	64	8
6	65	8
done	65	8
0	9	10
1	15	8
2	30	8
3	43	8
4	60	8
5	62	8
6	63	8
done	63	8
0	12	14
1	34	14
2	71	14
3	164	14
4	485	14
5	1711	14
done	5001	14
0	11	17
1	25	17
2	54	17
3	126	13
4	280	13
5	584	13
6	988	13
7	1901	13
done	5000	13
0	10	11
1	14	11
2	20	11
3	22	11
done	22	11
0	11	12
1	19	11
2	33	11
3	50	11
4	86	11
5	110	11
6	121	11
7	134	11
done	134	11
0	12	13
1	22	12
2	36	11
3	60	11
4	96	11
5	120	11
6	130	11
7	142	11
done	142	11
0	11	12
1	21	11
2	31	11
3	45	11
4	63	11
5	79	11
6	93	11
7	102	11
8	117	11
done	117	11
0	10	11
1	19	11
2	34	10
3	52	10
4	83	10
5	116	10
6	158	10
7	193	10
8	200	10
9	202	10
done	202	10
0	10	11
1	16	11
2	22	11
3	29	11
4	37	11
5	51	11
6	60	11
7	65	11
8	70	11
9	72	11
done	72	11
0	15	32
1	32	28
2	92	14
3	288	14
4	1104	14
5	3324	12
done	5000	12
0	13	32
1	32	32
2	102	14
3	420	12
4	1291	12
5	3318	12
done	5001	12
0	11	23
1	17	23
2	23	23
3	30	23
4	38	23
5	52	23
6	61	23
7	66	23
8	71	23
9	73	23
done	73	23
0	10	11
1	16	11
2	22	11
3	29	11
4	37	11
5	51	11
6	60	11
7	65	11
8	70	11
9	72	11
done	72	11
0	11	32
1	24	32
2	61	12
3	213	12
4	845	12
5	1616	12
6	4039	12
done	5000	12
0	10	11
1	16	11
2	22	11
3	29	11
4	37	11
5	51	11
6	60	11
7	65	11
8	70	11
9	72	11
done	72	11
0	10	11
1	16	11
2	22	11
3	29	11
4	37	11
5	51	11
6	60	11
7	65	11
8	70	11
9	72	11
done	72	11
0	4	4
1	9	3
done	9	3
0	7	7
1	9	7
2	15	7
3	19	7
4	22	6
done	22	6
0	13	25
1	23	25
2	35	25
3	41	25
done	41	25
0	11	12
1	15	12
2	18	12
done	18	12
0	12	17
1	18	17
2	23	17
3	24	17
done	24	17
0	11	12
1	15	12
2	18	12
done	18	12
0	6	11
1	10	9
2	16	9
3	21	9
done	21	9
0	10	11
1	14	11
2	17	11
done	17	11
0	13	18
1	18	18
2	20	18
3	21	18
done	21	18
0	12	13
1	16	13
2	17	13
done	17	13
0	14	19
1	19	19
2	21	19
3	22	19
done	22	19
0	13	14
1	17	14
2	20	14
done	20	14
0	14	19
1	19	19
2	21	19
3	22	19
done	22	19
0	13	14
1	17	14
2	20	14
done	20	14
0	6	11
1	10	9
2	16	9
3	21	9
done	21	9
0	10	11
1	14	11
2	17	11
done	17	11
0	12	20
1	18	20
2	21	20
done	21	20
0	11	12
1	15	12
2	18	12
done	18	12
0	11	12
1	15	12
2	18	12
done	18	12
0	11	12
1	15	12
2	18	12
done	18	12
0	5	6
1	7	4
2	9	4
done	9	4
0	10	11
1	14	11
2	17	11
done	17	11
0	12	13
1	15	13
done	15	13
0	12	13
1	16	13
2	17	13
done	17	13
0	13	14
1	16	14
done	16	14
0	13	14
1	17	14
2	20	14
done	20	14
0	13	14
1	16	14
done	16	14
0	13	14
1	17	14
2	20	14
done	20	14
0	5	6
1	7	4
2	9	4
done	9	4
0	10	11
1	14	11
2	17	11
done	17	11
0	15	27
1	29	25
2	67	23
3	152	23
4	273	23
5	301	23
done	301	23
0	12	13
1	18	12
2	24	12
done	24	12
0	14	19
1	26	17
2	52	15
3	91	15
4	125	15
5	129	15
done	129	15
0	12	13
1	18	12
2	24	12
done	24	12
0	8	13
1	18	9
2	44	7
3	76	7
4	77	7
done	77	7
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	15	20
1	26	18
2	49	16
3	96	16
4	146	16
5	187	16
6	252	16
7	276	16
done	276	16
0	13	14
1	19	13
2	23	13
3	31	13
4	35	13
5	39	13
done	39	13
0	16	21
1	27	19
2	50	17
3	97	17
4	155	17
5	206	17
6	336	17
7	466	17
8	487	17
done	487	17
0	14	15
1	20	14
2	26	14
3	34	14
4	42	14
5	56	14
6	65	14
7	70	14
8	75	14
9	77	14
done	77	14
0	16	21
1	27	19
2	50	17
3	97	17
4	155	17
5	206	17
6	336	17
7	466	17
8	487	17
done	487	17
0	14	15
1	20	14
2	26	14
3	34	14
4	42	14
5	56	14
6	65	14
7	70	14
8	75	14
9	77	14
done	77	14
0	8	13
1	18	9
2	44	7
3	76	7
4	77	7
done	77	7
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	14	24
1	24	22
2	43	20
3	70	20
4	129	20
5	137	20
done	137	20
0	12	13
1	18	12
2	24	12
done	24	12
0	13	16
1	21	14
2	35	12
3	47	12
4	64	12
done	64	12
0	12	13
1	18	12
2	24	12
done	24	12
0	7	10
1	13	6
2	27	4
3	32	4
done	32	4
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	13	17
1	20	15
2	31	13
3	50	13
4	75	12
5	79	12
6	84	12
7	91	12
8	99	12
done	99	12
0	12	14
1	18	13
2	22	13
3	29	13
4	33	13
5	37	12
done	37	12
0	14	18
1	21	16
2	32	14
3	51	14
4	80	13
5	90	13
6	108	13
7	144	13
8	173	13
9	180	13
done	180	13
0	13	15
1	19	14
2	25	14
3	32	14
4	40	14
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	14	18
1	21	16
2	32	14
3	51	14
4	80	13
5	90	13
6	108	13
7	144	13
8	173	13
9	180	13
done	180	13
0	13	15
1	19	14
2	25	14
3	32	14
4	40	14
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	7	10
1	13	6
2	27	4
3	32	4
done	32	4
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	13	23
1	23	19
2	53	17
3	75	17
4	81	17
done	81	17
0	11	12
1	17	11
2	23	11
done	23	11
0	12	15
1	20	11
2	41	9
3	45	9
done	45	9
0	11	12
1	17	11
2	23	11
done	23	11
0	5	9
1	11	1
done	11	1
0	10	11
1	16	10
2	22	10
3	29	10
4	37	10
5	51	10
6	60	10
7	65	10
8	70	10
9	72	10
done	72	10
0	13	16
1	20	12
2	38	10
3	50	10
4	58	10
done	58	10
0	12	13
1	18	12
2	22	12
3	30	12
4	34	12
5	38	12
done	38	12
0	14	17
1	21	13
2	39	11
3	51	11
4	63	11
5	71	11
6	78	11
7	82	11
8	83	11
done	83	11
0	13	14
1	19	13
2	25	13
3	33	13
4	41	13
5	55	13
6	64	13
7	69	13
8	74	13
9	76	13
done	76	13
0	14	17
1	21	13
2	39	11
3	51	11
4	63	11
5	71	11
6	78	11
7	82	11
8	83	11
done	83	11
0	13	14
1	19	13
2	25	13
3	33	13
4	41	13
5	55	13
6	64	13
7	69	13
8	74	13
9	76	13
done	76	13
0	5	9
1	11	1
done	11	1
0	10	11
1	16	10
2	22	10
3	29	10
4	37	10
5	51	10
6	60	10
7	65	10
8	70	10
9	72	10
done	72	10
0	14	24
1	24	23
2	39	23
3	66	23
4	72	23
done	72	23
0	12	13
1	18	12
2	24	12
done	24	12
0	13	16
1	21	15
2	30	15
3	38	15
done	38	15
0	12	13
1	18	12
2	24	12
done	24	12
0	7	10
1	13	7
2	23	7
3	33	7
done	33	7
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	14	17
1	21	16
2	27	16
3	43	16
4	55	16
done	55	16
0	13	14
1	19	13
2	23	13
3	31	13
4	35	13
5	39	13
done	39	13
0	15	18
1	22	17
2	28	17
3	44	17
4	60	17
5	70	17
6	83	17
7	90	17
8	95	17
done	95	17
0	14	15
1	20	14
2	26	14
3	34	14
4	42	14
5	56	14
6	65	14
7	70	14
8	75	14
9	77	14
done	77	14
0	15	18
1	22	17
2	28	17
3	44	17
4	60	17
5	70	17
6	83	17
7	90	17
8	95	17
done	95	17
0	14	15
1	20	14
2	26	14
3	34	14
4	42	14
5	56	14
6	65	14
7	70	14
8	75	14
9	77	14
done	77	14
0	7	10
1	13	7
2	23	7
3	33	7
done	33	7
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	13	21
1	21	20
2	30	20
3	36	20
done	36	20
0	12	13
1	18	12
2	24	12
done	24	12
0	12	13
1	18	12
2	24	12
done	24	12
0	12	13
1	18	12
2	24	12
done	24	12
0	6	7
1	10	4
2	17	4
done	17	4
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	12	14
1	17	13
2	20	13
3	27	13
done	27	12
0	12	14
1	18	13
2	22	13
3	29	13
4	33	13
5	37	12
done	37	12
0	13	15
1	18	14
2	21	14
3	28	14
4	32	13
5	36	13
6	38	13
7	39	13
done	39	13
0	13	15
1	19	14
2	25	14
3	32	14
4	40	14
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	13	15
1	18	14
2	21	14
3	28	14
4	32	13
5	36	13
6	38	13
7	39	13
done	39	13
0	13	15
1	19	14
2	25	14
3	32	14
4	40	14
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	6	7
1	10	4
2	17	4
done	17	4
0	11	12
1	17	11
2	23	11
3	31	11
4	39	11
5	53	11
6	62	11
7	67	11
8	72	11
9	74	11
done	74	11
0	12	20
1	20	17
2	27	17
3	37	17
4	38	17
done	38	17
0	11	12
1	17	11
2	23	11
done	23	11
0	11	12
1	17	9
2	22	9
3	26	9
done	26	9
0	11	12
1	17	11
2	23	11
done	23	11
0	4	6
1	8	1
done	8	1
0	10	11
1	16	10
2	22	10
3	29	10
4	37	10
5	51	10
6	60	10
7	65	10
8	70	10
9	72	10
done	72	10
0	12	13
1	17	10
2	19	10
3	31	10
4	39	10
done	39	10
0	12	13
1	18	12
2	22	12
3	30	12
4	34	12
5	38	12
done	38	12
0	13	14
1	18	11
2	20	11
3	32	11
4	44	11
5	52	11
6	59	11
7	63	11
8	64	11
done	64	11
0	13	14
1	19	13
2	25	13
3	33	13
4	41	13
5	55	13
6	64	13
7	69	13
8	74	13
9	76	13
done	76	13
0	13	14
1	18	11
2	20	11
3	32	11
4	44	11
5	52	11
6	59	11
7	63	11
8	64	11
done	64	11
0	13	14
1	19	13
2	25	13
3	33	13
4	41	13
5	55	13
6	64	13
7	69	13
8	74	13
9	76	13
done	76	13
0	4	6
1	8	1
done	8	1
0	10	11
1	16	10
2	22	10
3	29	10
4	37	10
5	51	10
6	60	10
7	65	10
8	70	10
9	72	10
done	72	10
0	13	23
1	23	23
2	38	23
3	65	23
4	70	23
done	70	23
0	11	12
1	17	12
2	23	12
done	23	12
0	12	15
1	20	15
2	29	15
3	37	15
done	37	15
0	11	12
1	17	12
2	23	12
done	23	12
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	10	11
1	16	11
2	22	11
3	30	11
4	38	11
5	52	11
6	61	11
7	66	11
8	71	11
9	73	11
done	73	11
0	13	16
1	20	16
2	26	16
3	42	16
4	54	16
done	54	16
0	12	13
1	18	13
2	22	13
3	30	13
4	34	13
5	38	13
done	38	13
0	14	17
1	21	17
2	27	17
3	43	17
4	59	17
5	69	17
6	82	17
7	89	17
8	94	17
done	94	17
0	13	14
1	19	14
2	25	14
3	33	14
4	41	14
5	55	14
6	64	14
7	69	14
8	74	14
9	76	14
done	76	14
0	14	17
1	21	17
2	27	17
3	43	17
4	59	17
5	69	17
6	82	17
7	89	17
8	94	17
done	94	17
0	13	14
1	19	14
2	25	14
3	33	14
4	41	14
5	55	14
6	64	14
7	69	14
8	74	14
9	76	14
done	76	14
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	10	11
1	16	11
2	22	11
3	30	11
4	38	11
5	52	11
6	61	11
7	66	11
8	71	11
9	73	11
done	73	11
0	12	20
1	20	20
2	29	20
3	35	20
done	35	20
0	11	12
1	17	12
2	23	12
done	23	12
0	11	12
1	17	12
2	23	12
done	23	12
0	11	12
1	17	12
2	23	12
done	23	12
0	5	6
1	9	4
2	16	4
done	16	4
0	10	11
1	16	11
2	22	11
3	30	11
4	38	11
5	52	11
6	61	11
7	66	11
8	71	11
9	73	11
done	73	11
0	11	13
1	16	13
2	19	13
3	26	13
done	26	12
0	11	13
1	17	13
2	21	13
3	28	13
4	32	13
5	36	12
done	36	12
0	12	14
1	17	14
2	20	14
3	27	14
4	31	13
5	35	13
6	37	13
7	38	13
done	38	13
0	12	14
1	18	14
2	24	14
3	31	14
4	39	14
5	53	13
6	62	13
7	67	13
8	72	13
9	74	13
done	74	13
0	12	14
1	17	14
2	20	14
3	27	14
4	31	13
5	35	13
6	37	13
7	38	13
done	38	13
0	12	14
1	18	14
2	24	14
3	31	14
4	39	14
5	53	13
6	62	13
7	67	13
8	72	13
9	74	13
done	74	13
0	5	6
1	9	4
2	16	4
done	16	4
0	10	11
1	16	11
2	22	11
3	30	11
4	38	11
5	52	11
6	61	11
7	66	11
8	71	11
9	73	11
done	73	11
0	11	19
1	19	17
2	26	17
3	36	17
4	37	17
done	37	17
0	10	11
1	16	11
2	22	11
done	22	11
0	10	11
1	16	9
2	21	9
3	25	9
done	25	9
0	10	11
1	16	11
2	22	11
done	22	11
0	3	5
1	7	1
done	7	1
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	11	12
1	16	10
2	18	10
3	30	10
4	38	10
done	38	10
0	11	12
1	17	12
2	21	12
3	29	12
4	33	12
5	37	12
done	37	12
0	12	13
1	17	11
2	19	11
3	31	11
4	43	11
5	51	11
6	58	11
7	62	11
done	62	11
0	12	13
1	18	13
2	24	13
3	32	13
4	40	13
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	12	13
1	17	11
2	19	11
3	31	11
4	43	11
5	51	11
6	58	11
7	62	11
done	62	11
0	12	13
1	18	13
2	24	13
3	32	13
4	40	13
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	3	5
1	7	1
done	7	1
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	10	17
1	16	17
2	19	17
done	19	17
0	10	11
1	16	11
2	22	11
done	22	11
0	9	9
1	13	9
2	16	9
done	16	9
0	10	11
1	16	11
2	22	11
done	22	11
0	2	3
1	4	1
done	4	1
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	10	10
1	13	10
done	13	10
0	11	12
1	17	12
2	21	12
3	29	12
4	33	12
5	37	12
done	37	12
0	11	11
1	14	11
done	14	11
0	12	13
1	18	13
2	24	13
3	32	13
4	40	13
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	11	11
1	14	11
done	14	11
0	12	13
1	18	13
2	24	13
3	32	13
4	40	13
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	2	3
1	4	1
done	4	1
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	10	17
1	16	17
2	19	17
done	19	17
0	10	11
1	16	11
2	22	11
done	22	11
0	9	9
1	13	9
2	16	9
done	16	9
0	10	11
1	16	11
2	22	11
done	22	11
0	2	3
1	4	1
done	4	1
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	10	10
1	13	10
done	13	10
0	11	12
1	17	12
2	21	12
3	29	12
4	33	12
5	37	12
done	37	12
0	11	11
1	14	11
done	14	11
0	12	13
1	18	13
2	24	13
3	32	13
4	40	13
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	11	11
1	14	11
done	14	11
0	12	13
1	18	13
2	24	13
3	32	13
4	40	13
5	54	13
6	63	13
7	68	13
8	73	13
9	75	13
done	75	13
0	2	3
1	4	1
done	4	1
0	9	10
1	15	10
2	21	10
3	28	10
4	36	10
5	50	10
6	59	10
7	64	10
8	69	10
9	71	10
done	71	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	18	10
2	33	8
3	70	8
4	117	8
5	160	8
6	203	8
7	238	8
8	250	8
9	253	8
done	253	8
0	11	19
1	19	19
2	28	19
3	34	19
done	34	19
0	10	11
1	16	11
2	22	11
done	22	11
0	4	5
1	8	3
2	15	3
done	15	3
0	11	12
1	16	12
2	19	12
3	27	12
done	27	12
0	12	13
1	17	13
2	20	13
3	28	13
4	32	13
5	36	13
6	38	13
7	39	13
done	39	13
0	12	13
1	17	13
2	20	13
3	28	13
4	32	13
5	36	13
6	38	13
7	39	13
done	39	13
0	4	5
1	8	3
2	15	3
done	15	3
0	10	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	10	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	11	12
1	20	11
2	35	11
3	56	9
4	110	9
5	168	9
6	225	9
7	261	9
8	272	9
9	275	9
done	275	9
0	11	12
1	20	11
2	35	11
3	56	9
4	110	9
5	168	9
6	225	9
7	261	9
8	272	9
9	275	9
done	275	9
0	10	11
1	19	10
2	34	10
3	55	8
4	105	8
5	157	8
6	197	8
7	233	8
8	244	8
9	247	8
done	247	8
0	11	12
1	20	11
2	35	11
3	56	9
4	110	9
5	168	9
6	225	9
7	261	9
8	272	9
9	275	9
done	275	9
0	11	12
1	20	11
2	35	11
3	56	9
4	110	9
5	168	9
6	225	9
7	261	9
8	272	9
9	275	9
done	275	9
0	10	11
1	19	10
2	34	10
3	55	8
4	105	8
5	157	8
6	197	8
7	233	8
8	244	8
9	247	8
done	247	8
0	10	11
1	19	11
2	34	9
3	70	9
4	121	9
5	177	9
6	229	9
7	264	9
8	275	9
9	278	9
done	278	9
0	10	11
1	19	11
2	34	9
3	70	9
4	121	9
5	177	9
6	229	9
7	264	9
8	275	9
9	278	9
done	278	9
0	9	10
1	18	10
2	33	8
3	70	8
4	117	8
5	160	8
6	203	8
7	238	8
8	250	8
9	253	8
done	253	8
0	9	10
1	18	10
2	33	8
3	70	8
4	117	8
5	160	8
6	203	8
7	238	8
8	250	8
9	253	8
done	253	8
0	9	10
1	18	10
2	33	8
3	70	8
4	117	8
5	160	8
6	203	8
7	238	8
8	250	8
9	253	8
done	253	8
0	12	14
1	34	14
2	79	14
3	205	14
4	687	14
5	2721	14
done	5000	14
0	11	17
1	24	17
2	46	17
3	98	13
4	200	13
5	429	13
6	819	13
7	1312	13
8	3192	13
done	5000	13
0	7	8
1	10	8
2	18	8
3	27	8
4	41	8
5	50	8
6	55	8
7	60	8
8	62	8
done	62	8
0	8	8
1	10	7
2	12	7
3	17	7
4	20	7
5	26	7
6	30	7
7	46	7
8	50	7
9	55	7
10	62	7
11	80	7
12	101	7
13	118	7
14	123	7
15	125	7
done	125	7
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	12	7
2	17	7
3	20	7
4	26	7
5	30	7
6	46	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	118	7
13	123	7
14	125	7
done	125	7
0	8	15
1	10	15
2	13	15
done	13	15
0	7	7
1	9	7
2	12	7
done	12	7
0	8	20
1	11	20
2	28	8
3	79	8
4	243	8
5	793	8
6	2663	8
done	5001	8
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	9	7
2	12	7
done	12	7
0	9	10
1	27	10
2	69	10
3	179	10
4	554	10
5	1854	10
done	5001	10
0	10	20
1	23	15
2	41	15
3	60	14
4	71	14
5	75	14
6	76	14
done	76	14
0	5	5
1	7	5
done	7	5
0	8	13
1	17	13
2	32	13
3	66	9
4	119	9
5	196	9
6	284	9
7	474	9
8	1881	9
done	5001	9
0	6	6
1	7	6
done	7	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	14	9
done	14	9
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	7	5
done	7	5
0	13	21
1	28	21
2	70	19
3	204	19
4	608	19
5	922	19
6	1882	19
done	5000	19
0	15	23
1	26	23
2	50	22
3	116	22
4	222	21
5	411	20
6	436	20
7	456	20
done	456	20
0	16	24
1	31	23
2	72	22
3	226	22
4	585	21
5	956	20
6	1012	20
7	1039	20
done	1039	20
0	17	25
1	34	24
2	69	22
3	211	22
4	615	21
5	1018	20
6	1074	20
7	1101	20
done	1101	20
0	17	24
1	33	23
2	65	22
3	191	22
4	495	21
5	830	20
6	883	20
7	909	20
done	909	20
0	16	23
1	31	23
2	55	21
3	142	21
4	386	21
5	899	21
6	1014	20
7	1041	20
8	1046	20
9	1048	20
done	1048	20
0	15	22
1	26	22
2	52	21
3	102	21
4	198	21
5	360	20
6	397	20
7	418	20
done	418	20
0	16	23
1	31	22
2	71	21
3	170	21
4	475	21
5	793	20
6	880	20
7	907	20
done	907	20
0	17	24
1	34	23
2	71	21
3	174	21
4	477	21
5	793	21
6	875	20
7	891	20
done	891	20
0	16	23
1	33	22
2	65	21
3	148	21
4	407	21
5	796	20
6	895	20
7	925	20
done	925	20
0	15	22
1	30	22
2	59	20
3	124	20
4	319	20
5	658	20
6	821	20
7	850	20
done	850	20
0	16	24
1	31	23
2	82	22
3	245	22
4	647	21
5	801	20
6	825	20
done	825	20
0	16	25
1	35	23
2	97	22
3	297	22
4	852	21
5	985	20
6	1005	20
done	1005	20
0	18	26
1	38	24
2	100	22
3	300	22
4	850	21
5	979	20
6	999	20
done	999	20
0	18	25
1	37	23
2	91	22
3	252	22
4	811	21
5	960	20
6	984	20
done	984	20
0	17	24
1	34	23
2	83	21
3	218	21
4	648	21
5	825	21
6	853	20
7	873	20
8	878	20
9	880	20
done	880	20
0	16	23
1	31	22
2	78	21
3	220	21
4	625	21
5	834	20
6	863	20
done	863	20
0	16	24
1	35	22
2	94	21
3	276	21
4	768	21
5	915	20
6	934	20
done	934	20
0	18	25
1	38	23
2	97	21
3	278	21
4	767	21
5	915	20
6	934	20
done	934	20
0	17	24
1	37	22
2	88	21
3	235	21
4	700	21
5	917	20
6	942	20
done	942	20
0	16	23
1	34	22
2	81	20
3	204	20
4	571	20
5	813	20
6	847	20
7	867	20
done	867	20
0	17	25
1	34	24
2	79	22
3	250	22
4	654	21
5	814	20
6	839	20
done	839	20
0	18	26
1	38	24
2	98	22
3	294	22
4	851	21
5	980	20
6	1000	20
done	1000	20
0	17	27
1	38	25
2	97	22
3	311	22
4	872	21
5	1004	20
6	1024	20
done	1024	20
0	18	26
1	37	24
2	87	22
3	257	22
4	815	21
5	966	20
6	990	20
done	990	20
0	17	25
1	35	24
2	77	22
3	216	21
4	640	21
5	812	21
6	839	20
7	859	20
8	864	20
9	866	20
done	866	20
0	17	24
1	34	23
2	77	21
3	223	21
4	627	21
5	832	20
6	861	20
done	861	20
0	18	25
1	38	23
2	97	21
3	274	21
4	759	21
5	908	20
6	927	20
done	927	20
0	17	26
1	38	24
2	96	21
3	289	21
4	772	21
5	924	20
6	943	20
done	943	20
0	17	25
1	37	23
2	86	21
3	240	21
4	700	21
5	917	20
6	942	20
done	942	20
0	16	24
1	35	23
2	78	21
3	203	20
4	566	20
5	812	20
6	841	20
7	861	20
done	861	20
0	16	23
1	33	22
2	70	21
3	174	21
4	478	21
5	772	20
6	830	20
7	834	20
done	834	20
0	17	24
1	37	22
2	88	21
3	226	21
4	718	21
5	955	20
6	982	20
7	983	20
done	983	20
0	17	25
1	37	23
2	85	21
3	229	21
4	709	21
5	940	21
6	971	20
7	986	20
done	986	20
0	16	24
1	36	22
2	78	21
3	203	21
4	613	21
5	852	20
6	879	20
7	880	20
done	880	20
0	15	23
1	33	22
2	70	20
3	165	20
4	458	20
5	922	20
6	1004	20
7	1024	20
done	1024	20
0	14	22
1	32	22
2	91	20
3	284	20
4	919	19
5	1739	19
6	3028	19
done	5000	19
0	14	22
1	31	22
2	79	20
3	239	20
4	763	20
5	1461	20
6	3856	20
done	5000	20
0	21	65
1	67	57
2	274	27
3	1774	27
done	5000	27
0	23	65
1	74	61
2	293	27
3	2065	25
done	5000	25
0	21	65
1	66	61
2	247	25
3	1379	25
done	5001	25
0	21	65
1	60	57
2	251	25
3	1692	25
done	5000	25
0	21	65
1	64	61
2	267	25
3	2037	23
done	5000	23
0	19	65
1	56	61
2	218	23
3	1321	23
done	5001	23
0	21	65
1	54	61
2	202	27
3	1215	25
done	5000	25
0	19	65
1	54	65
2	231	27
3	1430	25
done	5000	25
0	17	65
1	46	65
2	178	25
3	962	25
done	5000	23
0	15	45
1	30	45
2	72	41
3	207	41
4	620	41
5	937	41
6	1899	41
done	5000	41
0	14	22
1	29	22
2	71	20
3	206	20
4	622	20
5	942	20
6	1904	20
done	5000	20
0	15	65
1	40	65
2	170	21
3	1062	21
done	5001	21
0	14	22
1	29	22
2	71	20
3	206	20
4	622	20
5	942	20
6	1904	20
done	5000	20
0	14	22
1	29	22
2	71	20
3	206	20
4	622	20
5	942	20
6	1904	20
done	5000	20
0	4	5
1	9	3
done	9	3
0	9	15
1	16	15
2	42	15
3	113	15
4	258	15
5	554	15
6	1004	15
7	1655	11
8	3484	11
done	5000	11
0	15	23
1	26	23
2	40	23
3	50	23
4	59	23
5	71	23
6	81	23
7	86	23
done	86	23
0	15	23
1	26	23
2	40	23
3	50	23
4	59	23
5	71	23
6	81	23
7	86	23
done	86	23
0	16	24
1	27	24
2	41	24
3	49	24
4	54	24
5	56	24
6	57	24
done	57	24
0	16	24
1	27	24
2	41	24
3	49	24
4	54	24
5	56	24
6	57	24
done	57	24
0	17	25
1	30	24
2	53	24
3	78	22
4	143	22
5	154	22
6	155	22
done	155	22
0	17	25
1	30	24
2	53	24
3	78	22
4	143	22
5	154	22
6	155	22
done	155	22
0	16	24
1	29	24
2	52	24
3	77	22
4	137	22
5	146	22
6	147	22
done	147	22
0	16	24
1	29	24
2	52	24
3	77	22
4	137	22
5	146	22
6	147	22
done	147	22
0	15	34
1	30	34
2	64	32
3	163	32
4	304	32
5	343	32
6	375	32
7	479	32
8	759	32
9	1005	32
10	1082	32
11	1150	32
12	1160	32
done	1160	32
0	14	22
1	27	22
2	54	20
3	109	20
4	188	20
5	217	20
6	239	20
7	299	20
8	435	20
9	540	20
10	572	20
11	619	20
12	629	20
done	629	20
0	17	36
1	36	36
2	100	34
3	405	34
4	1393	34
5	2932	34
6	3814	34
done	5000	34
0	16	28
1	31	28
2	72	26
3	253	26
4	746	26
5	1248	26
6	1614	26
7	2721	26
8	4360	26
done	5000	26
0	14	22
1	27	20
2	71	18
3	310	18
4	799	18
5	994	18
6	1278	18
7	2151	18
8	2868	18
9	2930	18
done	2930	18
0	17	29
1	31	29
2	69	27
3	250	27
4	793	27
5	1452	27
6	2292	27
7	4528	27
done	5000	27
0	19	30
1	33	30
2	71	28
3	252	28
4	778	28
5	1466	28
6	2413	28
done	5000	28
0	19	30
1	33	30
2	71	28
3	252	28
4	778	28
5	1466	28
6	2413	28
done	5000	28
0	14	22
1	27	20
2	71	18
3	310	18
4	799	18
5	994	18
6	1278	18
7	2151	18
8	2868	18
9	2930	18
done	2930	18
0	16	31
1	31	31
2	73	29
3	238	29
4	714	29
5	1511	29
6	2006	29
7	3615	29
done	5001	29
0	15	23
1	28	23
2	60	21
3	165	21
4	403	21
5	687	21
6	898	21
7	1537	21
8	2252	21
9	2513	21
10	2534	21
done	2534	21
0	13	17
1	24	15
2	55	13
3	167	13
4	438	13
5	537	13
6	704	13
7	1170	13
8	1444	13
9	1480	13
done	1480	13
0	16	24
1	28	24
2	57	22
3	162	22
4	440	22
5	808	22
6	1330	22
7	2656	22
8	3919	22
done	5001	22
0	18	25
1	30	25
2	59	23
3	164	23
4	436	23
5	816	23
6	1423	23
7	3115	23
done	5000	23
0	18	25
1	30	25
2	59	23
3	164	23
4	436	23
5	816	23
6	1423	23
7	3115	23
done	5000	23
0	13	17
1	24	15
2	55	13
3	167	13
4	438	13
5	537	13
6	704	13
7	1170	13
8	1444	13
9	1480	13
done	1480	13
0	19	38
1	42	36
2	133	32
3	520	32
4	2313	32
5	3886	32
done	5000	32
0	18	30
1	39	28
2	108	24
3	354	24
4	1280	24
5	1812	24
6	2346	24
7	4303	24
done	5000	24
0	16	24
1	35	20
2	116	16
3	385	16
4	870	16
5	1033	16
6	1311	16
7	2181	16
8	2886	16
9	2969	16
done	2969	16
0	19	31
1	39	29
2	105	25
3	359	25
4	1355	25
5	2187	25
6	3694	25
done	5000	25
0	21	32
1	41	30
2	107	26
3	361	26
4	1360	26
5	2201	26
6	4070	26
done	5000	26
0	21	32
1	41	30
2	107	26
3	361	26
4	1360	26
5	2201	26
6	4070	26
done	5000	26
0	16	24
1	35	20
2	116	16
3	385	16
4	870	16
5	1033	16
6	1311	16
7	2181	16
8	2886	16
9	2969	16
done	2969	16
0	18	35
1	37	33
2	105	29
3	352	29
4	1426	29
5	2231	29
6	2774	29
done	5000	29
0	17	27
1	34	25
2	87	21
3	264	21
4	871	21
5	1097	21
6	1342	21
7	2304	21
8	3191	21
9	3464	21
done	3464	21
0	15	21
1	30	17
2	88	13
3	235	13
4	508	13
5	578	13
6	743	13
7	1206	13
8	1490	13
9	1526	13
done	1526	13
0	17	28
1	33	26
2	83	22
3	265	22
4	908	21
5	1329	21
6	1968	21
7	3656	21
done	5000	21
0	19	29
1	35	27
2	85	23
3	265	23
4	915	22
5	1372	22
6	2182	22
7	4743	22
done	5001	22
0	19	29
1	35	27
2	85	23
3	265	23
4	915	22
5	1372	22
6	2182	22
7	4743	22
done	5001	22
0	15	21
1	30	17
2	88	13
3	235	13
4	508	13
5	578	13
6	743	13
7	1206	13
8	1490	13
9	1526	13
done	1526	13
0	17	34
1	36	30
2	112	26
3	295	26
4	821	26
5	1036	26
6	1355	26
7	2534	26
8	3250	26
9	3547	26
10	3614	26
11	3646	26
done	3646	26
0	16	26
1	33	22
2	90	18
3	197	18
4	459	18
5	566	18
6	730	18
7	1264	18
8	1590	18
9	1794	18
10	1864	18
11	1898	18
done	1898	18
0	14	20
1	29	12
2	50	10
3	101	10
4	196	10
5	224	10
6	263	10
7	276	10
8	283	10
done	283	10
0	17	27
1	33	23
2	87	19
3	202	19
4	544	19
5	739	19
6	1131	19
7	2135	19
8	2751	19
9	3268	19
10	3432	19
done	3432	19
0	19	28
1	35	24
2	89	20
3	202	20
4	548	20
5	766	20
6	1242	20
7	2590	20
8	4168	20
done	5001	20
0	19	28
1	35	24
2	89	20
3	202	20
4	548	20
5	766	20
6	1242	20
7	2590	20
8	4168	20
done	5001	20
0	14	20
1	29	12
2	50	10
3	101	10
4	196	10
5	224	10
6	263	10
7	276	10
8	283	10
done	283	10
0	18	35
1	37	34
2	101	32
3	371	32
4	1673	32
5	4003	32
done	5000	32
0	17	27
1	34	26
2	82	24
3	272	24
4	1023	24
5	1726	24
6	2280	24
7	4206	24
done	5000	24
0	15	21
1	30	18
2	84	16
3	291	16
4	737	16
5	938	16
6	1225	16
7	2115	16
8	2846	16
9	2919	16
done	2919	16
0	18	28
1	34	27
2	79	25
3	277	25
4	1096	25
5	2043	25
6	3431	25
done	5000	25
0	20	29
1	36	28
2	81	26
3	277	26
4	1138	26
5	2128	26
6	3784	26
done	5001	26
0	20	29
1	36	28
2	81	26
3	277	26
4	1138	26
5	2128	26
6	3784	26
done	5001	26
0	15	21
1	30	18
2	84	16
3	291	16
4	737	16
5	938	16
6	1225	16
7	2115	16
8	2846	16
9	2919	16
done	2919	16
0	17	32
1	34	31
2	90	29
3	305	29
4	1132	29
5	2184	29
6	2751	29
7	4906	29
done	5000	29
0	16	24
1	31	23
2	74	21
3	219	21
4	662	21
5	874	21
6	1117	21
7	2059	21
8	2913	21
9	3179	21
done	3179	21
0	14	18
1	27	15
2	72	13
3	194	13
4	467	13
5	536	13
6	701	13
7	1175	13
8	1447	13
9	1481	13
done	1481	13
0	16	25
1	30	24
2	70	22
3	218	22
4	713	21
5	1045	21
6	1693	21
7	3397	21
done	5000	21
0	18	26
1	32	25
2	72	23
3	224	23
4	730	22
5	1108	22
6	1927	22
7	4550	22
done	5000	22
0	18	26
1	32	25
2	72	23
3	224	23
4	730	22
5	1108	22
6	1927	22
7	4550	22
done	5000	22
0	14	18
1	27	15
2	72	13
3	194	13
4	467	13
5	536	13
6	701	13
7	1175	13
8	1447	13
9	1481	13
done	1481	13
0	16	31
1	33	28
2	81	26
3	231	26
4	679	26
5	966	26
6	1303	26
7	2569	26
8	3749	26
9	4136	26
10	4202	26
11	4271	26
done	4271	26
0	15	23
1	30	20
2	67	18
3	156	18
4	396	18
5	512	18
6	671	18
7	1225	18
8	1766	18
9	1967	18
10	2031	18
11	2106	18
done	2106	18
0	13	17
1	26	10
2	45	10
3	92	10
4	148	10
5	177	10
6	216	10
7	229	10
8	236	10
done	236	10
0	16	24
1	30	21
2	64	19
3	159	19
4	478	19
5	668	19
6	1043	19
7	2077	19
8	2871	19
9	3473	19
10	3813	19
done	3813	19
0	18	25
1	32	22
2	66	20
3	165	20
4	480	20
5	706	20
6	1180	20
7	2583	20
8	4286	20
done	5000	20
0	18	25
1	32	22
2	66	20
3	165	20
4	480	20
5	706	20
6	1180	20
7	2583	20
8	4286	20
done	5000	20
0	13	17
1	26	10
2	45	10
3	92	10
4	148	10
5	177	10
6	216	10
7	229	10
8	236	10
done	236	10
0	17	34
1	36	34
2	100	32
3	382	32
4	1721	32
5	4141	32
done	5000	32
0	16	26
1	33	26
2	81	24
3	265	24
4	986	24
5	1669	24
6	2241	24
7	4164	24
done	5000	24
0	14	20
1	29	18
2	83	16
3	290	16
4	749	16
5	950	16
6	1234	16
7	2119	16
8	2833	16
9	2908	16
done	2908	16
0	17	27
1	33	27
2	78	25
3	274	25
4	1114	25
5	2055	25
6	3431	25
done	5000	25
0	19	28
1	35	28
2	80	26
3	276	26
4	1113	26
5	2089	26
6	3745	26
done	5000	26
0	19	28
1	35	28
2	80	26
3	276	26
4	1113	26
5	2089	26
6	3745	26
done	5000	26
0	14	20
1	29	18
2	83	16
3	290	16
4	749	16
5	950	16
6	1234	16
7	2119	16
8	2833	16
9	2908	16
done	2908	16
0	16	31
1	33	31
2	89	29
3	302	29
4	1138	29
5	2149	29
6	2700	29
7	4839	29
done	5000	29
0	15	23
1	30	23
2	73	21
3	220	21
4	663	21
5	857	21
6	1096	21
7	2063	21
8	2931	21
9	3187	21
done	3187	21
0	13	17
1	26	15
2	71	13
3	194	13
4	463	13
5	532	13
6	699	13
7	1162	13
8	1435	13
9	1469	13
done	1469	13
0	15	24
1	29	24
2	69	22
3	223	22
4	726	21
5	1063	21
6	1716	21
7	3391	21
done	5000	21
0	17	25
1	31	25
2	71	23
3	219	23
4	725	22
5	1092	22
6	1907	22
7	4513	22
done	5001	22
0	17	25
1	31	25
2	71	23
3	219	23
4	725	22
5	1092	22
6	1907	22
7	4513	22
done	5001	22
0	13	17
1	26	15
2	71	13
3	194	13
4	463	13
5	532	13
6	699	13
7	1162	13
8	1435	13
9	1469	13
done	1469	13
0	15	30
1	32	28
2	80	26
3	226	26
4	669	26
5	957	26
6	1289	26
7	2561	26
8	3703	26
9	4095	26
10	4162	26
11	4228	26
done	4228	26
0	14	22
1	29	20
2	66	18
3	155	18
4	393	18
5	506	18
6	665	18
7	1214	18
8	1752	18
9	1989	18
10	2058	18
11	2128	18
done	2128	18
0	12	16
1	25	10
2	44	10
3	91	10
4	146	10
5	173	10
6	212	10
7	225	10
8	232	10
done	232	10
0	15	23
1	29	21
2	63	19
3	158	19
4	469	19
5	664	19
6	1050	19
7	2079	19
8	2856	19
9	3440	19
10	3688	19
done	3688	19
0	17	24
1	31	22
2	65	20
3	160	20
4	480	20
5	712	20
6	1179	20
7	2568	20
8	4207	20
done	5000	20
0	17	24
1	31	22
2	65	20
3	160	20
4	480	20
5	712	20
6	1179	20
7	2568	20
8	4207	20
done	5000	20
0	12	16
1	25	10
2	44	10
3	91	10
4	146	10
5	173	10
6	212	10
7	225	10
8	232	10
done	232	10
0	14	28
1	29	28
2	71	26
3	204	26
4	481	26
5	587	26
6	749	26
7	1400	26
8	1931	26
9	2087	26
done	2087	26
0	13	20
1	26	20
2	59	18
3	135	18
4	256	18
5	280	18
6	339	18
7	539	18
8	725	18
9	779	18
done	779	18
0	11	14
1	22	10
2	41	10
3	88	10
4	143	10
5	172	10
6	209	10
7	222	10
8	228	10
done	228	10
0	14	21
1	26	21
2	56	19
3	132	19
4	281	19
5	369	19
6	600	19
7	1056	19
8	1375	19
9	1575	19
10	1633	19
11	1670	19
12	1687	19
done	1687	19
0	16	22
1	28	22
2	58	20
3	132	20
4	280	20
5	380	20
6	656	20
7	1302	20
8	1970	20
9	2587	20
10	2837	20
11	2938	20
12	2996	20
done	2996	20
0	16	22
1	28	22
2	58	20
3	132	20
4	280	20
5	380	20
6	656	20
7	1302	20
8	1970	20
9	2587	20
10	2837	20
11	2938	20
12	2996	20
done	2996	20
0	11	14
1	22	10
2	41	10
3	88	10
4	143	10
5	172	10
6	209	10
7	222	10
8	228	10
done	228	10
0	14	28
1	29	28
2	71	26
3	204	26
4	481	26
5	587	26
6	749	26
7	1400	26
8	1931	26
9	2087	26
done	2087	26
0	13	20
1	26	20
2	59	18
3	135	18
4	256	18
5	280	18
6	339	18
7	539	18
8	725	18
9	779	18
done	779	18
0	11	14
1	22	10
2	41	10
3	88	10
4	143	10
5	172	10
6	209	10
7	222	10
8	228	10
done	228	10
0	14	21
1	26	21
2	56	19
3	132	19
4	281	19
5	369	19
6	600	19
7	1056	19
8	1375	19
9	1575	19
10	1633	19
11	1670	19
12	1687	19
done	1687	19
0	16	22
1	28	22
2	58	20
3	132	20
4	280	20
5	380	20
6	656	20
7	1302	20
8	1970	20
9	2587	20
10	2837	20
11	2938	20
12	2996	20
done	2996	20
0	16	22
1	28	22
2	58	20
3	132	20
4	280	20
5	380	20
6	656	20
7	1302	20
8	1970	20
9	2587	20
10	2837	20
11	2938	20
12	2996	20
done	2996	20
0	11	14
1	22	10
2	41	10
3	88	10
4	143	10
5	172	10
6	209	10
7	222	10
8	228	10
done	228	10
0	10	12
1	19	10
2	32	10
3	46	10
4	64	10
5	73	10
6	74	10
done	74	10
0	11	14
1	22	14
2	50	12
3	102	12
4	152	12
5	166	12
6	196	12
7	281	12
8	441	12
9	555	12
10	729	12
11	1500	12
done	5000	12
0	16	25
1	47	25
2	127	23
3	397	23
4	1691	23
done	5000	23
0	15	28
1	36	28
2	96	26
3	317	22
4	1224	22
5	2824	22
done	5001	22
0	14	22
1	27	22
2	49	22
3	83	20
4	158	20
5	217	20
6	323	20
7	511	20
8	723	20
9	837	20
10	841	20
done	841	20
0	14	22
1	27	22
2	49	22
3	83	20
4	158	20
5	217	20
6	323	20
7	511	20
8	723	20
9	837	20
10	841	20
done	841	20
0	12	15
1	23	14
2	43	12
3	90	12
4	189	12
5	257	12
6	388	12
7	681	12
8	883	12
9	984	12
10	1146	12
11	1911	12
done	5001	12
0	12	15
1	23	14
2	43	12
3	90	12
4	189	12
5	257	12
6	388	12
7	681	12
8	883	12
9	984	12
10	1146	12
11	1911	12
done	5001	12
0	10	14
1	21	14
2	41	12
3	92	12
4	200	12
5	268	12
6	399	12
7	697	12
8	898	12
9	1000	12
10	1174	12
11	1960	12
done	5000	12
0	13	21
1	28	21
2	70	19
3	204	19
4	608	19
5	922	19
6	1882	19
done	5000	19
0	13	21
1	28	21
2	70	19
3	204	19
4	608	19
5	922	19
6	1882	19
done	5000	19
0	15	31
1	38	26
2	86	26
3	240	23
4	855	23
5	3075	16
done	5000	16
0	10	17
1	19	17
2	39	17
3	113	15
4	358	3
5	1163	3
done	5000	3
0	11	14
1	22	14
2	50	12
3	102	12
4	152	12
5	166	12
6	196	12
7	281	12
8	441	12
9	555	12
10	729	12
11	1500	12
done	5000	12
0	10	12
1	19	10
2	37	10
3	57	10
4	91	10
5	138	10
6	189	10
7	250	10
8	294	10
9	306	10
10	313	10
done	313	10
0	19	28
1	51	28
2	178	25
3	583	25
4	2610	20
done	5001	20
0	15	19
1	34	19
2	93	16
3	171	16
4	372	15
5	1272	15
done	5000	15
0	15	19
1	34	19
2	93	16
3	171	16
4	372	15
5	1272	15
done	5000	15
0	20	29
1	54	29
2	188	26
3	624	26
4	3065	21
done	5001	21
0	15	19
1	33	19
2	83	16
3	146	16
4	306	15
5	990	15
6	4463	14
done	5000	14
0	15	19
1	33	19
2	83	16
3	146	16
4	306	15
5	990	15
6	4463	14
done	5000	14
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	23	33
1	58	33
2	187	29
3	636	29
done	5000	27
0	18	23
1	41	23
2	130	19
3	324	19
4	1256	17
done	5000	17
0	18	23
1	41	23
2	130	19
3	324	19
4	1256	17
done	5000	17

prune751.0ms

Filtered

191 candidates to 354 candidates (-85.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	354	0	354
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	354	4	358

Merged error: 0b

Counts

358 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 2.0 (/ (sqrt 1.0) i))
0.1b	(* (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i))) (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i))))
0.2b	(/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
0.2b	(/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i)))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

277×	`add-sqr-sqrt`
254×	`times-frac`
127×	`*-un-lft-identity`
111×	`cbrt-prod`
76×	`associate-r`
75×	`add-cube-cbrt`
66×	`difference-of-squares`
32×	`add-exp-log`
22×	`sqrt-prod` `add-cbrt-cube` `distribute-lft-out--`
19×	`div-inv`
11×	`associate-/r` `associate-/l`
10×	`cbrt-undiv` `div-exp` `associate-l` `unswap-sqr`
9×	`prod-exp` `cbrt-unprod`
8×	`associate-/r/`
6×	`pow1` `add-log-exp`
5×	`cbrt-div`
4×	`associate-/l/`
3×	`flip3--` `flip--` `distribute-lft-out`
2×	`frac-times` `frac-2neg` `flip3-+` `associate-r/` `associate-l/` `clear-num` `flip-+`
1×	`sub-neg` `diff-log` `pow-prod-down` `*-commutative`

Counts

4 → 266

Calls

4 calls:

9.0ms	(- 2.0 (/ (sqrt 1.0) i))
58.0ms	(* (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i))) (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i))))
15.0ms	(/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
17.0ms	(/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i)))

series47.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- 2.0 (/ (sqrt 1.0) i))
25.0ms	(* (/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i))) (/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i))))
7.0ms	(/ (cbrt (/ 1 (* 2.0 2.0))) (- 2.0 (/ (sqrt 1.0) i)))
10.0ms	(/ (* (cbrt (/ 1 (* 2.0 2.0))) (cbrt (/ 1 (* 2.0 2.0)))) (+ 2.0 (/ (sqrt 1.0) i)))

simplify10.9min

Counts

278 → 278

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	23
1	25	17
2	29	17
3	32	17
4	36	17
5	41	17
6	49	17
7	64	17
8	76	17
9	88	17
10	98	17
11	99	17
done	99	17
0	14	22
1	23	22
2	30	17
3	34	17
4	36	17
5	40	17
6	45	17
7	53	17
8	67	17
9	79	17
10	91	17
11	103	17
12	104	17
done	104	17
0	13	21
1	23	21
2	31	21
3	44	17
4	52	17
5	56	17
6	64	17
7	78	17
8	90	17
9	102	17
10	112	17
11	113	17
done	113	17
0	13	21
1	20	21
2	22	21
3	25	21
4	31	21
5	39	21
6	64	21
7	132	21
8	300	21
9	882	21
10	4384	21
done	5001	21
0	13	32
1	42	32
2	132	18
3	501	18
4	1868	16
5	4620	14
done	5001	14
0	16	62
1	49	62
2	157	24
3	531	17
4	1571	17
done	5000	17
0	14	43
1	21	43
2	23	43
3	24	43
done	24	43
0	13	21
1	20	21
2	22	21
3	23	21
done	23	21
0	14	62
1	28	62
2	62	22
3	186	22
4	519	20
5	1254	17
6	4743	17
done	5000	17
0	13	21
1	20	21
2	22	21
3	23	21
done	23	21
0	13	21
1	20	21
2	22	21
3	23	21
done	23	21
0	7	14
1	14	14
done	14	14
0	7	7
1	11	7
2	15	7
3	16	7
done	16	7
0	13	22
1	20	22
done	20	22
0	12	14
1	17	14
done	17	14
0	12	14
1	17	14
done	17	14
0	12	14
1	17	14
done	17	14
0	6	8
1	10	6
2	12	6
done	12	6
0	11	13
1	16	13
done	16	13
0	6	8
1	10	6
2	12	6
done	12	6
0	11	13
1	16	13
done	16	13
0	8	8
1	11	8
done	11	8
0	12	20
1	19	20
done	19	20
0	14	29
1	25	29
2	34	29
3	40	29
done	40	29
0	13	21
1	20	21
2	22	21
3	23	21
done	23	21
0	7	15
1	13	13
2	19	13
3	24	13
done	24	13
0	7	15
1	13	13
2	19	13
3	24	13
done	24	13
0	11	13
1	16	13
done	16	13
0	15	24
1	37	24
2	66	24
3	132	24
4	307	24
5	842	24
6	3555	24
done	5000	24
0	13	27
1	28	27
2	54	27
3	114	23
4	221	23
5	416	23
6	663	23
7	999	23
8	2624	23
done	5001	23
0	10	16
1	14	16
2	24	16
3	40	16
4	50	16
5	63	16
6	70	16
7	75	16
done	75	16
0	9	11
1	11	11
2	19	11
3	23	11
4	27	11
5	29	11
6	30	11
done	30	11
0	9	11
1	11	11
2	19	11
3	23	11
4	27	11
5	29	11
6	30	11
done	30	11
0	13	15
1	21	15
2	25	15
done	25	15
0	12	14
1	21	14
2	26	14
3	27	14
done	27	14
0	12	14
1	18	14
2	21	14
done	21	14
0	12	26
1	23	26
2	55	14
3	141	14
4	417	14
5	1441	14
done	5000	14
0	13	29
1	19	29
2	22	29
done	22	29
0	12	14
1	18	14
2	21	14
done	21	14
0	13	41
1	26	41
2	45	15
3	89	15
4	189	14
5	470	14
6	1299	14
7	4588	14
done	5000	14
0	12	14
1	18	14
2	21	14
done	21	14
0	12	14
1	18	14
2	21	14
done	21	14
0	6	7
1	10	7
done	10	7
0	7	7
1	9	7
2	15	7
3	19	7
4	22	6
done	22	6
0	15	30
1	23	30
2	26	30
done	26	30
0	13	15
1	19	15
2	22	15
done	22	15
0	14	22
1	20	22
2	23	22
done	23	22
0	13	15
1	19	15
2	22	15
done	22	15
0	8	16
1	12	14
2	14	14
done	14	14
0	12	14
1	18	14
2	21	14
done	21	14
0	15	23
1	20	23
done	20	23
0	14	16
1	20	16
2	21	16
done	21	16
0	16	24
1	21	24
done	21	24
0	15	17
1	21	17
2	24	17
done	24	17
0	16	24
1	21	24
done	21	24
0	15	17
1	21	17
2	24	17
done	24	17
0	8	16
1	12	14
2	14	14
done	14	14
0	12	14
1	18	14
2	21	14
done	21	14
0	14	23
1	22	23
2	25	23
done	25	23
0	13	15
1	19	15
2	22	15
done	22	15
0	13	15
1	19	15
2	22	15
done	22	15
0	13	15
1	19	15
2	22	15
done	22	15
0	7	9
1	11	7
2	13	7
done	13	7
0	12	14
1	18	14
2	21	14
done	21	14
0	14	16
1	19	16
done	19	16
0	14	16
1	20	16
2	21	16
done	21	16
0	15	17
1	20	17
done	20	17
0	15	17
1	21	17
2	24	17
done	24	17
0	15	17
1	20	17
done	20	17
0	15	17
1	21	17
2	24	17
done	24	17
0	7	9
1	11	7
2	13	7
done	13	7
0	12	14
1	18	14
2	21	14
done	21	14
0	14	24
1	22	22
2	27	20
3	28	20
done	28	20
0	12	13
1	16	12
2	19	12
done	19	12
0	13	16
1	19	14
2	24	12
3	25	12
done	25	12
0	12	13
1	16	12
2	19	12
done	19	12
0	7	10
1	11	6
2	14	4
3	15	4
done	15	4
0	11	12
1	15	11
2	18	11
done	18	11
0	14	17
1	19	15
2	21	13
3	22	13
done	22	13
0	13	14
1	17	13
2	18	13
done	18	13
0	15	18
1	20	16
2	22	14
3	23	14
done	23	14
0	14	15
1	18	14
2	21	14
done	21	14
0	15	18
1	20	16
2	22	14
3	23	14
done	23	14
0	14	15
1	18	14
2	21	14
done	21	14
0	7	10
1	11	6
2	14	4
3	15	4
done	15	4
0	11	12
1	15	11
2	18	11
done	18	11
0	13	21
1	19	20
2	22	20
done	22	20
0	12	13
1	16	12
2	19	12
done	19	12
0	12	13
1	16	12
2	19	12
done	19	12
0	12	13
1	16	12
2	19	12
done	19	12
0	6	7
1	8	4
2	10	4
done	10	4
0	11	12
1	15	11
2	18	11
done	18	11
0	13	14
1	16	13
done	16	13
0	13	14
1	17	13
2	18	13
done	18	13
0	14	15
1	17	14
done	17	14
0	14	15
1	18	14
2	21	14
done	21	14
0	14	15
1	17	14
done	17	14
0	14	15
1	18	14
2	21	14
done	21	14
0	6	7
1	8	4
2	10	4
done	10	4
0	11	12
1	15	11
2	18	11
done	18	11
0	12	20
1	18	20
2	21	20
done	21	20
0	11	12
1	15	12
2	18	12
done	18	12
0	11	12
1	15	12
2	18	12
done	18	12
0	11	12
1	15	12
2	18	12
done	18	12
0	5	6
1	7	4
2	9	4
done	9	4
0	10	11
1	14	11
2	17	11
done	17	11
0	12	13
1	15	13
done	15	13
0	12	13
1	16	13
2	17	13
done	17	13
0	13	14
1	16	14
done	16	14
0	13	14
1	17	14
2	20	14
done	20	14
0	13	14
1	16	14
done	16	14
0	13	14
1	17	14
2	20	14
done	20	14
0	5	6
1	7	4
2	9	4
done	9	4
0	10	11
1	14	11
2	17	11
done	17	11
0	11	18
1	17	17
2	20	17
done	20	17
0	12	14
1	18	14
2	21	14
done	21	14
0	10	10
1	14	9
2	17	9
done	17	9
0	12	14
1	18	14
2	21	14
done	21	14
0	3	4
1	5	1
done	5	1
0	11	13
1	17	13
2	20	13
done	20	13
0	11	11
1	14	10
done	14	10
0	13	15
1	19	15
2	20	15
done	20	15
0	12	12
1	15	11
done	15	11
0	14	16
1	20	16
2	23	16
done	23	16
0	12	12
1	15	11
done	15	11
0	14	16
1	20	16
2	23	16
done	23	16
0	3	4
1	5	1
done	5	1
0	11	13
1	17	13
2	20	13
done	20	13
0	11	18
1	17	17
2	20	17
done	20	17
0	12	14
1	18	14
2	21	14
done	21	14
0	10	10
1	14	9
2	17	9
done	17	9
0	12	14
1	18	14
2	21	14
done	21	14
0	3	4
1	5	1
done	5	1
0	11	13
1	17	13
2	20	13
done	20	13
0	11	11
1	14	10
done	14	10
0	13	15
1	19	15
2	20	15
done	20	15
0	12	12
1	15	11
done	15	11
0	14	16
1	20	16
2	23	16
done	23	16
0	12	12
1	15	11
done	15	11
0	14	16
1	20	16
2	23	16
done	23	16
0	3	4
1	5	1
done	5	1
0	11	13
1	17	13
2	20	13
done	20	13
0	15	31
1	27	31
2	39	31
3	45	31
done	45	31
0	13	15
1	19	15
2	22	15
done	22	15
0	14	23
1	22	23
2	27	23
3	28	23
done	28	23
0	13	15
1	19	15
2	22	15
done	22	15
0	8	17
1	14	15
2	20	15
3	25	15
done	25	15
0	12	14
1	18	14
2	21	14
done	21	14
0	15	24
1	22	24
2	24	24
3	25	24
done	25	24
0	14	16
1	20	16
2	21	16
done	21	16
0	16	25
1	23	25
2	25	25
3	26	25
done	26	25
0	15	17
1	21	17
2	24	17
done	24	17
0	16	25
1	23	25
2	25	25
3	26	25
done	26	25
0	15	17
1	21	17
2	24	17
done	24	17
0	8	17
1	14	15
2	20	15
3	25	15
done	25	15
0	12	14
1	18	14
2	21	14
done	21	14
0	14	23
1	22	23
2	25	23
done	25	23
0	13	15
1	19	15
2	22	15
done	22	15
0	13	15
1	19	15
2	22	15
done	22	15
0	13	15
1	19	15
2	22	15
done	22	15
0	7	9
1	11	7
2	13	7
done	13	7
0	12	14
1	18	14
2	21	14
done	21	14
0	14	16
1	19	16
done	19	16
0	14	16
1	20	16
2	21	16
done	21	16
0	15	17
1	20	17
done	20	17
0	15	17
1	21	17
2	24	17
done	24	17
0	15	17
1	20	17
done	20	17
0	15	17
1	21	17
2	24	17
done	24	17
0	7	9
1	11	7
2	13	7
done	13	7
0	12	14
1	18	14
2	21	14
done	21	14
0	10	17
1	16	17
2	19	17
done	19	17
0	12	14
1	18	14
2	21	14
done	21	14
0	9	9
1	13	9
2	16	9
done	16	9
0	12	14
1	18	14
2	21	14
done	21	14
0	2	3
1	4	1
done	4	1
0	11	13
1	17	13
2	20	13
done	20	13
0	10	10
1	13	10
done	13	10
0	13	15
1	19	15
2	20	15
done	20	15
0	11	11
1	14	11
done	14	11
0	14	16
1	20	16
2	23	16
done	23	16
0	11	11
1	14	11
done	14	11
0	14	16
1	20	16
2	23	16
done	23	16
0	2	3
1	4	1
done	4	1
0	11	13
1	17	13
2	20	13
done	20	13
0	8	8
1	12	8
2	15	8
done	15	8
0	11	13
1	20	13
2	27	13
3	33	13
4	37	13
done	37	13
0	13	22
1	21	22
2	24	22
done	24	22
0	12	14
1	18	14
2	21	14
done	21	14
0	6	8
1	10	6
2	12	6
done	12	6
0	13	15
1	18	15
done	18	15
0	14	16
1	19	16
done	19	16
0	14	16
1	19	16
done	19	16
0	6	8
1	10	6
2	12	6
done	12	6
0	12	14
1	21	14
2	28	14
3	34	14
4	38	14
done	38	14
0	12	14
1	21	14
2	28	14
3	34	14
4	38	14
done	38	14
0	11	12
1	18	11
2	25	11
3	31	11
4	35	11
done	35	11
0	11	12
1	18	11
2	25	11
3	31	11
4	35	11
done	35	11
0	10	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	11	13
1	20	13
2	27	13
3	33	13
4	37	13
done	37	13
0	11	13
1	20	13
2	27	13
3	33	13
4	37	13
done	37	13
0	12	14
1	21	14
2	28	14
3	34	14
4	38	14
done	38	14
0	12	14
1	21	14
2	28	14
3	34	14
4	38	14
done	38	14
0	11	13
1	20	13
2	27	13
3	33	13
4	37	13
done	37	13
0	14	17
1	35	17
2	77	17
3	189	17
4	566	17
5	1880	17
done	5000	17
0	12	20
1	25	20
2	42	20
3	78	16
4	131	16
5	208	16
6	288	16
7	478	16
8	1858	16
done	5000	16
0	9	11
1	12	11
2	21	11
3	30	11
4	44	11
5	53	11
6	58	11
7	63	11
8	65	11
done	65	11
0	15	34
1	29	34
2	49	34
3	91	34
4	171	22
5	299	19
6	574	19
7	1153	19
8	2291	19
9	4780	15
done	5000	15
0	18	39
1	38	33
2	73	33
3	151	33
4	287	25
5	495	25
6	611	25
7	669	25
8	674	25
done	674	25
0	18	38
1	36	32
2	66	32
3	129	32
4	268	25
5	456	25
6	566	25
7	626	25
8	633	25
done	633	25
0	19	38
1	36	38
2	70	33
3	144	33
4	283	25
5	501	25
6	618	25
7	676	25
8	681	25
done	681	25
0	18	37
1	34	37
2	63	32
3	121	32
4	247	25
5	435	25
6	546	25
7	606	25
8	613	25
done	613	25
0	18	37
1	35	37
2	58	37
3	124	32
4	280	25
5	517	25
6	633	25
7	698	25
8	705	25
done	705	25
0	17	36
1	33	36
2	53	36
3	105	32
4	229	32
5	440	25
6	629	25
7	713	25
8	742	25
9	747	25
done	747	25
0	16	35
1	33	35
2	66	35
3	145	35
4	351	23
5	691	20
6	1274	20
7	2056	19
8	3526	19
done	5000	19
0	16	35
1	32	35
2	58	35
3	112	35
4	245	23
5	513	20
6	1170	20
7	2971	20
done	5001	20
0	18	59
1	59	59
2	240	33
3	1290	31
done	5001	31
0	19	74
1	62	74
2	224	34
3	1137	32
done	5000	32
0	21	89
1	66	89
2	270	39
3	1669	30
done	5000	30
0	21	104
1	68	104
2	251	40
3	1353	32
done	5000	32
0	19	89
1	45	89
2	161	37
3	801	35
done	5000	35
0	19	104
1	47	104
2	142	38
3	610	38
4	3684	21
done	5000	21
0	17	71
1	31	71
2	51	71
3	93	71
4	175	47
5	303	41
6	578	41
7	1159	41
8	2292	41
9	4797	33
done	5000	33
0	16	35
1	30	35
2	50	35
3	92	35
4	172	23
5	300	20
6	575	20
7	1138	20
8	2271	20
9	4755	16
done	5000	16
0	17	104
1	41	104
2	139	36
3	770	36
4	4153	24
done	5000	24
0	16	35
1	30	35
2	50	35
3	92	35
4	172	23
5	300	20
6	575	20
7	1138	20
8	2271	20
9	4755	16
done	5000	16
0	16	35
1	30	35
2	50	35
3	92	35
4	172	23
5	300	20
6	575	20
7	1138	20
8	2271	20
9	4755	16
done	5000	16
0	7	20
1	12	20
2	14	8
3	19	5
4	25	5
5	35	5
6	56	5
7	111	5
8	326	5
9	1255	5
done	5000	5
0	8	13
1	12	13
2	29	13
3	65	13
4	144	13
5	248	13
6	356	13
7	542	9
8	1319	9
9	4176	9
done	5000	9
0	17	36
1	27	36
2	32	36
3	33	36
done	33	36
0	17	36
1	27	36
2	32	36
3	33	36
done	33	36
0	19	37
1	31	37
2	39	37
3	44	37
4	45	37
done	45	37
0	19	37
1	31	37
2	39	37
3	44	37
4	45	37
done	45	37
0	20	35
1	32	34
2	40	34
3	45	34
4	46	34
done	46	34
0	20	35
1	32	34
2	40	34
3	45	34
4	46	34
done	46	34
0	19	34
1	30	34
2	38	34
3	43	34
4	44	34
done	44	34
0	19	34
1	30	34
2	38	34
3	43	34
4	44	34
done	44	34
0	18	37
1	30	37
2	38	37
3	43	37
4	44	37
done	44	37
0	18	37
1	30	37
2	38	37
3	43	37
4	44	37
done	44	37
0	16	29
1	26	29
2	32	29
3	34	29
4	36	29
5	37	29
done	37	29
0	16	29
1	26	29
2	32	29
3	34	29
4	36	29
5	37	29
done	37	29
0	18	30
1	30	30
2	42	30
3	59	30
4	80	30
5	92	30
6	94	30
done	94	30
0	18	30
1	30	30
2	42	30
3	59	30
4	80	30
5	92	30
6	94	30
done	94	30
0	19	28
1	31	27
2	43	27
3	60	27
4	81	27
5	93	27
6	95	27
done	95	27
0	19	28
1	31	27
2	43	27
3	60	27
4	81	27
5	93	27
6	95	27
done	95	27
0	18	27
1	29	27
2	41	27
3	58	27
4	79	27
5	91	27
6	93	27
done	93	27
0	18	27
1	29	27
2	41	27
3	58	27
4	79	27
5	91	27
6	93	27
done	93	27
0	17	30
1	29	30
2	41	30
3	58	30
4	79	30
5	91	30
6	93	30
done	93	30
0	17	30
1	29	30
2	41	30
3	58	30
4	79	30
5	91	30
6	93	30
done	93	30
0	17	50
1	31	50
2	52	50
3	93	50
4	130	50
5	142	50
6	151	50
7	152	50
done	152	50
0	16	35
1	28	35
2	41	35
3	58	35
4	68	35
5	70	35
6	71	35
done	71	35
0	18	51
1	34	51
2	65	51
3	152	51
4	379	51
5	720	51
6	964	51
7	1304	51
8	2020	51
9	2573	51
10	2723	51
11	2793	51
12	2802	51
done	2802	51
0	17	43
1	31	43
2	52	43
3	100	43
4	195	43
5	288	43
6	354	43
7	463	43
8	652	43
9	825	43
10	895	43
11	921	43
12	934	43
done	934	43
0	15	37
1	27	35
2	47	35
3	119	35
4	262	35
5	362	35
6	459	35
7	636	35
8	859	35
9	874	35
10	876	35
done	876	35
0	18	44
1	31	44
2	49	44
3	97	44
4	208	44
5	351	44
6	478	44
7	671	44
8	958	44
9	1326	44
10	1714	44
11	2153	44
12	2528	44
13	2676	44
14	2735	44
15	2753	44
16	2758	44
17	2760	44
done	2760	44
0	20	45
1	33	45
2	51	45
3	99	45
4	210	45
5	361	45
6	520	45
7	794	45
8	1249	45
9	1769	45
10	2322	45
11	3273	45
12	4482	45
13	4929	45
done	5001	45
0	20	45
1	33	45
2	51	45
3	99	45
4	210	45
5	361	45
6	520	45
7	794	45
8	1249	45
9	1769	45
10	2322	45
11	3273	45
12	4482	45
13	4929	45
done	5001	45
0	15	37
1	27	35
2	47	35
3	119	35
4	262	35
5	362	35
6	459	35
7	636	35
8	859	35
9	874	35
10	876	35
done	876	35
0	19	44
1	35	44
2	66	44
3	151	44
4	374	44
5	712	44
6	960	44
7	1301	44
8	2007	44
9	2560	44
10	2706	44
11	2776	44
12	2786	44
done	2786	44
0	18	36
1	32	36
2	53	36
3	101	36
4	198	36
5	291	36
6	354	36
7	463	36
8	652	36
9	825	36
10	894	36
11	920	36
12	933	36
done	933	36
0	16	30
1	28	28
2	48	28
3	120	28
4	267	28
5	363	28
6	460	28
7	637	28
8	848	28
9	861	28
10	863	28
done	863	28
0	19	37
1	32	37
2	50	37
3	98	37
4	209	37
5	350	37
6	475	37
7	656	37
8	943	37
9	1312	37
10	1700	37
11	2144	37
12	2520	37
13	2668	37
14	2728	37
15	2746	37
16	2751	37
17	2753	37
done	2753	37
0	21	38
1	34	38
2	52	38
3	100	38
4	213	38
5	362	38
6	524	38
7	782	38
8	1237	38
9	1769	38
10	2304	38
11	3271	38
12	4493	38
13	4950	38
done	5001	38
0	21	38
1	34	38
2	52	38
3	100	38
4	213	38
5	362	38
6	524	38
7	782	38
8	1237	38
9	1769	38
10	2304	38
11	3271	38
12	4493	38
13	4950	38
done	5001	38
0	16	30
1	28	28
2	48	28
3	120	28
4	267	28
5	363	28
6	460	28
7	637	28
8	848	28
9	861	28
10	863	28
done	863	28
0	21	45
1	39	43
2	71	41
3	160	41
4	394	41
5	743	41
6	997	41
7	1335	41
8	2049	41
9	2618	41
10	2777	41
11	2849	41
12	2858	41
done	2858	41
0	20	37
1	36	35
2	58	33
3	110	33
4	216	33
5	314	33
6	377	33
7	486	33
8	675	33
9	849	33
10	919	33
11	945	33
12	958	33
done	958	33
0	18	31
1	32	27
2	52	25
3	128	25
4	284	25
5	390	25
6	487	25
7	664	25
8	890	25
9	903	25
10	905	25
done	905	25
0	21	38
1	36	36
2	55	34
3	107	34
4	229	34
5	379	34
6	507	34
7	688	34
8	975	34
9	1352	34
10	1724	34
11	2172	34
12	2547	34
13	2695	34
14	2754	34
15	2772	34
16	2777	34
17	2779	34
done	2779	34
0	23	39
1	38	37
2	57	35
3	109	35
4	233	35
5	387	35
6	549	35
7	807	35
8	1262	35
9	1790	35
10	2332	35
11	3285	35
12	4489	35
13	4934	35
done	5000	35
0	23	39
1	38	37
2	57	35
3	109	35
4	233	35
5	387	35
6	549	35
7	807	35
8	1262	35
9	1790	35
10	2332	35
11	3285	35
12	4489	35
13	4934	35
done	5000	35
0	18	31
1	32	27
2	52	25
3	128	25
4	284	25
5	390	25
6	487	25
7	664	25
8	890	25
9	903	25
10	905	25
done	905	25
0	20	42
1	36	41
2	67	41
3	152	41
4	379	41
5	714	41
6	961	41
7	1301	41
8	2026	41
9	2583	41
10	2726	41
11	2797	41
12	2806	41
done	2806	41
0	19	34
1	33	33
2	54	33
3	102	33
4	197	33
5	290	33
6	354	33
7	463	33
8	652	33
9	823	33
10	893	33
11	919	33
12	932	33
done	932	33
0	17	28
1	29	25
2	49	25
3	121	25
4	269	25
5	365	25
6	462	25
7	643	25
8	857	25
9	873	25
10	875	25
done	875	25
0	20	35
1	33	34
2	51	34
3	99	34
4	210	34
5	353	34
6	478	34
7	673	34
8	960	34
9	1331	34
10	1717	34
11	2161	34
12	2534	34
13	2682	34
14	2741	34
15	2759	34
16	2764	34
17	2766	34
done	2766	34
0	22	36
1	35	35
2	53	35
3	101	35
4	212	35
5	361	35
6	520	35
7	778	35
8	1233	35
9	1769	35
10	2308	35
11	3263	35
12	4485	35
13	4937	35
done	5000	35
0	22	36
1	35	35
2	53	35
3	101	35
4	212	35
5	361	35
6	520	35
7	778	35
8	1233	35
9	1769	35
10	2308	35
11	3263	35
12	4485	35
13	4937	35
done	5000	35
0	17	28
1	29	25
2	49	25
3	121	25
4	269	25
5	365	25
6	462	25
7	643	25
8	857	25
9	873	25
10	875	25
done	875	25
0	19	41
1	34	41
2	65	41
3	151	41
4	378	41
5	716	41
6	965	41
7	1304	41
8	2022	41
9	2577	41
10	2727	41
11	2798	41
12	2807	41
done	2807	41
0	18	33
1	31	33
2	52	33
3	100	33
4	195	33
5	286	33
6	351	33
7	460	33
8	649	33
9	821	33
10	891	33
11	917	33
12	930	33
done	930	33
0	16	27
1	27	25
2	47	25
3	119	25
4	267	25
5	363	25
6	460	25
7	641	25
8	845	25
9	859	25
10	861	25
done	861	25
0	19	34
1	31	34
2	49	34
3	97	34
4	208	34
5	351	34
6	476	34
7	657	34
8	944	34
9	1313	34
10	1700	34
11	2161	34
12	2538	34
13	2686	34
14	2744	34
15	2762	34
16	2767	34
17	2769	34
done	2769	34
0	21	35
1	33	35
2	51	35
3	99	35
4	210	35
5	361	35
6	523	35
7	795	35
8	1249	35
9	1780	35
10	2337	35
11	3288	35
12	4486	35
13	4934	35
done	5001	35
0	21	35
1	33	35
2	51	35
3	99	35
4	210	35
5	361	35
6	523	35
7	795	35
8	1249	35
9	1780	35
10	2337	35
11	3288	35
12	4486	35
13	4934	35
done	5001	35
0	16	27
1	27	25
2	47	25
3	119	25
4	267	25
5	363	25
6	460	25
7	641	25
8	845	25
9	859	25
10	861	25
done	861	25
0	18	39
1	34	38
2	65	38
3	151	36
4	418	36
5	637	36
6	773	36
7	1168	36
8	2150	36
9	2713	36
10	2856	36
11	2915	36
done	2915	36
0	17	31
1	31	30
2	52	30
3	100	28
4	202	28
5	270	28
6	312	28
7	432	28
8	713	28
9	904	28
10	964	28
11	1006	28
done	1006	28
0	15	25
1	27	22
2	44	20
3	118	20
4	215	20
5	274	20
6	351	20
7	619	20
8	864	20
9	890	20
10	893	20
11	897	20
12	898	20
done	898	20
0	18	32
1	31	31
2	49	31
3	97	29
4	215	29
5	321	29
6	421	29
7	645	29
8	1182	29
9	1543	29
10	1918	29
11	2322	29
12	2516	29
13	2616	29
14	2664	29
15	2672	29
16	2676	29
done	2676	29
0	20	33
1	33	32
2	51	32
3	99	30
4	214	30
5	325	30
6	451	30
7	731	30
8	1431	30
9	2046	30
10	2720	30
11	3768	30
12	4082	30
13	4319	30
14	4395	30
15	4407	30
16	4411	30
done	4411	30
0	20	33
1	33	32
2	51	32
3	99	30
4	214	30
5	325	30
6	451	30
7	731	30
8	1431	30
9	2046	30
10	2720	30
11	3768	30
12	4082	30
13	4319	30
14	4395	30
15	4407	30
16	4411	30
done	4411	30
0	15	25
1	27	22
2	44	20
3	118	20
4	215	20
5	274	20
6	351	20
7	619	20
8	864	20
9	890	20
10	893	20
11	897	20
12	898	20
done	898	20
0	18	39
1	34	38
2	65	38
3	151	36
4	418	36
5	637	36
6	773	36
7	1168	36
8	2150	36
9	2713	36
10	2856	36
11	2915	36
done	2915	36
0	17	31
1	31	30
2	52	30
3	100	28
4	202	28
5	270	28
6	312	28
7	432	28
8	713	28
9	904	28
10	964	28
11	1006	28
done	1006	28
0	15	25
1	27	22
2	44	20
3	118	20
4	215	20
5	274	20
6	351	20
7	619	20
8	864	20
9	890	20
10	893	20
11	897	20
12	898	20
done	898	20
0	18	32
1	31	31
2	49	31
3	97	29
4	215	29
5	321	29
6	421	29
7	645	29
8	1182	29
9	1543	29
10	1918	29
11	2322	29
12	2516	29
13	2616	29
14	2664	29
15	2672	29
16	2676	29
done	2676	29
0	20	33
1	33	32
2	51	32
3	99	30
4	214	30
5	325	30
6	451	30
7	731	30
8	1431	30
9	2046	30
10	2720	30
11	3768	30
12	4082	30
13	4319	30
14	4395	30
15	4407	30
16	4411	30
done	4411	30
0	20	33
1	33	32
2	51	32
3	99	30
4	214	30
5	325	30
6	451	30
7	731	30
8	1431	30
9	2046	30
10	2720	30
11	3768	30
12	4082	30
13	4319	30
14	4395	30
15	4407	30
16	4411	30
done	4411	30
0	15	25
1	27	22
2	44	20
3	118	20
4	215	20
5	274	20
6	351	20
7	619	20
8	864	20
9	890	20
10	893	20
11	897	20
12	898	20
done	898	20
0	19	52
1	39	52
2	94	52
3	262	52
4	794	52
5	1729	52
6	2365	52
7	3207	52
done	5000	52
0	18	44
1	34	44
2	64	44
3	153	44
4	383	44
5	683	44
6	855	44
7	1123	44
8	1728	44
9	2391	44
10	2718	44
11	2867	44
12	2893	44
done	2893	44
0	16	38
1	30	36
2	65	36
3	217	36
4	542	36
5	768	36
6	993	36
7	1454	36
8	2273	36
9	2395	36
done	2395	36
0	19	45
1	34	45
2	61	45
3	150	45
4	400	45
5	763	45
6	1036	45
7	1453	45
8	2351	45
9	3438	45
10	4524	45
done	5000	45
0	21	46
1	36	46
2	63	46
3	152	46
4	402	46
5	787	46
6	1099	46
7	1629	46
8	2904	46
9	4556	46
done	5001	46
0	21	46
1	36	46
2	63	46
3	152	46
4	402	46
5	787	46
6	1099	46
7	1629	46
8	2904	46
9	4556	46
done	5001	46
0	16	38
1	30	36
2	65	36
3	217	36
4	542	36
5	768	36
6	993	36
7	1454	36
8	2273	36
9	2395	36
done	2395	36
0	18	44
1	34	44
2	65	44
3	152	44
4	379	44
5	720	44
6	964	44
7	1304	44
8	2020	44
9	2573	44
10	2723	44
11	2793	44
12	2802	44
done	2802	44
0	17	36
1	31	36
2	52	36
3	100	36
4	195	36
5	288	36
6	354	36
7	463	36
8	652	36
9	825	36
10	895	36
11	921	36
12	934	36
done	934	36
0	15	30
1	27	28
2	47	28
3	119	28
4	262	28
5	362	28
6	459	28
7	636	28
8	859	28
9	874	28
10	876	28
done	876	28
0	18	37
1	31	37
2	49	37
3	97	37
4	208	37
5	351	37
6	478	37
7	671	37
8	958	37
9	1326	37
10	1714	37
11	2153	37
12	2528	37
13	2676	37
14	2735	37
15	2753	37
16	2758	37
17	2760	37
done	2760	37
0	20	38
1	33	38
2	51	38
3	99	38
4	210	38
5	361	38
6	520	38
7	794	38
8	1249	38
9	1769	38
10	2322	38
11	3273	38
12	4482	38
13	4929	38
done	5001	38
0	20	38
1	33	38
2	51	38
3	99	38
4	210	38
5	361	38
6	520	38
7	794	38
8	1249	38
9	1769	38
10	2322	38
11	3273	38
12	4482	38
13	4929	38
done	5001	38
0	15	30
1	27	28
2	47	28
3	119	28
4	262	28
5	362	28
6	459	28
7	636	28
8	859	28
9	874	28
10	876	28
done	876	28
0	17	38
1	33	38
2	63	36
3	197	36
4	437	36
5	639	36
6	773	36
7	1172	36
8	2191	36
9	2772	36
10	2915	36
11	2977	36
done	2977	36
0	16	30
1	30	30
2	51	28
3	132	28
4	220	28
5	287	28
6	325	28
7	445	28
8	731	28
9	923	28
10	982	28
11	1023	28
done	1023	28
0	14	24
1	26	22
2	43	20
3	117	20
4	219	20
5	277	20
6	354	20
7	618	20
8	879	20
9	903	20
10	906	20
11	910	20
12	912	20
done	912	20
0	17	31
1	30	31
2	48	29
3	129	29
4	237	29
5	346	29
6	443	29
7	663	29
8	1204	29
9	1572	29
10	1945	29
11	2356	29
12	2550	29
13	2653	29
14	2701	29
15	2709	29
16	2713	29
done	2713	29
0	19	32
1	32	32
2	50	30
3	131	30
4	236	30
5	348	30
6	471	30
7	755	30
8	1450	30
9	2070	30
10	2741	30
11	3812	30
12	4124	30
13	4361	30
14	4437	30
15	4449	30
16	4453	30
done	4453	30
0	19	32
1	32	32
2	50	30
3	131	30
4	236	30
5	348	30
6	471	30
7	755	30
8	1450	30
9	2070	30
10	2741	30
11	3812	30
12	4124	30
13	4361	30
14	4437	30
15	4449	30
16	4453	30
done	4453	30
0	14	24
1	26	22
2	43	20
3	117	20
4	219	20
5	277	20
6	354	20
7	618	20
8	879	20
9	903	20
10	906	20
11	910	20
12	912	20
done	912	20
0	13	22
1	23	20
2	40	20
3	69	20
4	76	20
5	81	20
6	82	20
done	82	20
0	13	27
1	23	27
2	27	27
3	35	15
4	41	12
5	53	12
6	77	12
7	135	12
8	276	12
9	812	12
10	3200	12
done	5001	12
0	18	38
1	47	38
2	106	38
3	272	38
4	904	26
5	4096	23
done	5000	23
0	16	41
1	36	41
2	73	41
3	183	37
4	463	25
5	1101	22
6	2999	22
done	5000	22
0	16	35
1	28	35
2	36	35
3	44	35
4	52	35
5	62	35
6	72	35
7	76	35
done	76	35
0	16	35
1	28	35
2	36	35
3	44	35
4	52	35
5	62	35
6	72	35
7	76	35
done	76	35
0	15	28
1	27	28
2	39	28
3	57	28
4	88	28
5	124	28
6	175	28
7	230	28
8	274	28
9	298	28
10	303	28
done	303	28
0	15	28
1	27	28
2	39	28
3	57	28
4	88	28
5	124	28
6	175	28
7	230	28
8	274	28
9	298	28
10	303	28
done	303	28
0	14	27
1	26	27
2	38	27
3	56	27
4	103	27
5	183	27
6	355	27
7	647	27
8	1023	27
9	1539	23
10	2870	23
done	5001	23
0	14	27
1	26	27
2	38	27
3	56	27
4	103	27
5	183	27
6	355	27
7	647	27
8	1023	27
9	1539	23
10	2870	23
done	5001	23
0	15	34
1	29	34
2	49	34
3	91	34
4	171	22
5	299	19
6	574	19
7	1153	19
8	2291	19
9	4780	15
done	5000	15
0	14	22
1	26	22
2	38	20
3	80	20
4	174	20
5	328	20
6	581	20
7	1139	20
8	1859	20
9	3029	16
done	5001	16
0	16	34
1	39	29
2	79	29
3	185	28
4	438	28
5	1008	28
6	2193	28
7	4138	23
done	5001	23
0	12	20
1	21	20
2	33	20
3	63	20
4	108	8
5	172	6
6	787	6
done	5001	6
0	13	27
1	23	27
2	27	27
3	35	15
4	41	12
5	53	12
6	77	12
7	135	12
8	276	12
9	812	12
10	3200	12
done	5001	12
0	13	27
1	24	27
2	33	27
3	43	15
4	58	12
5	84	12
6	124	12
7	204	12
8	401	12
9	1194	12
done	5002	12
0	8	8
1	10	7
2	12	7
3	17	7
4	20	7
5	26	7
6	30	7
7	46	7
8	50	7
9	55	7
10	62	7
11	80	7
12	101	7
13	118	7
14	123	7
15	125	7
done	125	7
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	12	7
2	17	7
3	20	7
4	26	7
5	30	7
6	46	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	118	7
13	123	7
14	125	7
done	125	7
0	8	15
1	10	15
2	13	15
done	13	15
0	7	7
1	9	7
2	12	7
done	12	7
0	8	20
1	11	20
2	28	8
3	79	8
4	243	8
5	793	8
6	2663	8
done	5001	8
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	9	7
2	12	7
done	12	7
0	9	10
1	27	10
2	69	10
3	179	10
4	554	10
5	1854	10
done	5001	10
0	10	20
1	23	15
2	41	15
3	60	14
4	71	14
5	75	14
6	76	14
done	76	14
0	5	5
1	7	5
done	7	5
0	8	13
1	17	13
2	32	13
3	66	9
4	119	9
5	196	9
6	284	9
7	474	9
8	1881	9
done	5001	9
0	6	6
1	7	6
done	7	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	14	9
done	14	9
0	9	9
1	10	9
done	10	9
0	9	9
1	11	9
2	14	9
done	14	9
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	7	5
done	7	5
0	24	41
1	65	41
2	294	38
3	1267	38
done	5000	38
0	20	34
1	49	34
2	188	31
3	517	31
4	2430	24
done	5001	24
0	20	34
1	49	34
2	188	31
3	517	31
4	2430	24
done	5001	24
0	24	36
1	64	36
2	227	33
3	924	33
done	5000	27
0	19	28
1	44	28
2	127	25
3	278	25
4	850	20
5	3057	20
done	5000	20
0	19	28
1	44	28
2	127	25
3	278	25
4	850	20
5	3057	20
done	5000	20
0	23	33
1	58	33
2	187	29
3	636	29
done	5000	27
0	18	23
1	41	23
2	130	19
3	324	19
4	1256	17
done	5000	17
0	18	23
1	41	23
2	130	19
3	324	19
4	1256	17
done	5000	17
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6

prune1.1s

Filtered

179 candidates to 278 candidates (-55.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	278	0	278
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	278	4	282

Merged error: 0b

Counts

282 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* 2.0 i) (* 2.0 i)) 1.0)
0.1b	(* (* i i) (* i i))
15.1b	(/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
39.2b	(/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

303×	`add-exp-log` `add-cbrt-cube`
168×	`prod-exp` `cbrt-unprod`
115×	`pow1`
76×	`cbrt-undiv` `div-exp`
36×	`pow-prod-up`
26×	`times-frac`
23×	`pow-prod-down`
22×	`add-sqr-sqrt` `pow-sqr`
18×	`pow-plus`
15×	`add-cube-cbrt` `*-un-lft-identity`
13×	`pow2`
7×	`div-inv` `difference-of-squares`
6×	`associate-/l*` `add-log-exp`
5×	`associate-/r*`
2×	`flip3--` `frac-2neg` `clear-num` `associate-/r/` `flip--`
1×	`sub-neg` `diff-log` `swap-sqr` `associate-r` `associate-l` `*-commutative` `associate-/l/` `unswap-sqr`

Counts

4 → 233

Calls

4 calls:

8.0ms	(- (* (* 2.0 i) (* 2.0 i)) 1.0)
10.0ms	(* (* i i) (* i i))
48.0ms	(/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
27.0ms	(/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* (* 2.0 i) (* 2.0 i)) 1.0)
4.0ms	(* (* i i) (* i i))
7.0ms	(/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
4.0ms	(/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))

simplify13.1min

Counts

245 → 245

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	23
1	28	14
2	105	12
3	309	12
4	829	7
done	5000	7
0	11	22
1	29	16
2	86	14
3	242	11
4	683	9
5	2162	7
done	5000	7
0	11	22
1	29	16
2	88	14
3	245	11
4	673	9
5	2268	7
done	5000	7
0	9	21
1	26	13
2	82	11
3	220	11
4	632	9
5	1916	7
done	5000	7
0	9	20
1	30	15
2	83	11
3	203	11
4	558	11
5	1492	7
done	5000	7
0	11	22
1	28	17
2	100	12
3	298	12
4	814	7
5	4941	7
done	5000	7
0	13	21
1	29	19
2	81	14
3	230	11
4	675	9
5	2042	7
done	5000	7
0	13	21
1	29	19
2	83	14
3	233	11
4	663	9
5	2122	7
done	5001	7
0	11	20
1	26	16
2	77	11
3	215	11
4	618	9
5	1824	7
done	5000	7
0	11	19
1	29	18
2	78	11
3	203	11
4	540	11
5	1419	7
done	5001	7
0	11	22
1	28	17
2	98	12
3	292	12
4	847	7
5	4950	7
done	5000	7
0	13	21
1	29	19
2	80	14
3	228	11
4	702	9
5	2113	7
done	5000	7
0	13	21
1	29	19
2	82	14
3	232	11
4	675	9
5	2196	7
done	5000	7
0	11	20
1	26	16
2	75	11
3	212	11
4	638	9
5	1897	7
done	5000	7
0	11	19
1	29	18
2	77	11
3	198	11
4	549	11
5	1492	7
done	5001	7
0	10	21
1	25	14
2	87	12
3	266	12
4	829	7
5	4488	7
done	5001	7
0	12	20
1	26	16
2	69	16
3	207	11
4	681	9
5	1982	7
done	5000	7
0	12	20
1	26	16
2	71	16
3	211	11
4	662	9
5	2055	7
done	5000	7
0	9	19
1	23	13
2	64	11
3	192	11
4	623	11
5	1686	7
done	5000	7
0	9	18
1	26	15
2	68	13
3	187	11
4	530	11
5	1400	7
done	5000	7
0	10	20
1	27	16
2	84	14
3	241	12
4	765	9
5	2764	7
done	5000	7
0	12	19
1	27	18
2	67	16
3	196	11
4	637	9
5	1963	7
done	5000	7
0	12	19
1	27	18
2	69	16
3	204	11
4	639	9
5	1969	7
done	5001	7
0	9	18
1	25	15
2	65	13
3	185	11
4	587	11
5	1640	7
done	5000	7
0	9	17
1	26	17
2	67	13
3	176	11
4	486	11
5	1310	7
done	5001	7
0	8	16
1	28	16
2	152	14
3	680	8
4	2709	6
done	5000	6
0	8	16
1	25	16
2	128	14
3	557	10
4	2142	8
done	5000	8
0	11	47
1	40	47
2	370	25
done	5001	13
0	14	47
1	52	47
2	410	21
done	5000	17
0	14	47
1	52	47
2	400	21
done	5000	17
0	11	47
1	44	47
2	345	21
done	5000	17
0	11	47
1	44	47
2	376	19
done	5000	17
0	13	47
1	45	47
2	374	23
done	5000	13
0	16	47
1	57	47
2	418	21
done	5000	15
0	16	47
1	57	47
2	410	21
done	5000	15
0	13	47
1	49	47
2	350	21
done	5000	15
0	13	47
1	49	47
2	385	19
done	5001	15
0	13	47
1	44	47
2	373	25
done	5000	13
0	16	47
1	56	47
2	417	23
done	5000	15
0	16	47
1	56	47
2	409	23
done	5000	15
0	13	47
1	48	47
2	349	23
done	5000	15
0	13	47
1	48	47
2	384	21
done	5000	15
0	12	47
1	43	47
2	387	25
done	5001	13
0	15	47
1	55	47
2	426	23
done	5000	15
0	15	47
1	55	47
2	416	23
done	5000	15
0	11	47
1	47	47
2	365	23
done	5000	15
0	11	47
1	47	47
2	396	21
done	5000	15
0	12	47
1	43	47
2	372	21
done	5000	13
0	15	47
1	53	47
2	383	19
done	5000	15
0	15	47
1	53	47
2	377	19
done	5001	15
0	11	47
1	46	47
2	349	19
done	5000	15
0	11	47
1	45	47
2	349	17
done	5000	15
0	9	33
1	26	33
2	127	29
3	527	21
4	2032	17
done	5000	17
0	8	16
1	25	16
2	126	14
3	527	10
4	2017	8
done	5000	8
0	9	47
1	33	47
2	246	15
3	3472	11
done	5001	11
0	8	16
1	25	16
2	127	8
3	528	6
4	2036	4
done	5000	4
0	8	16
1	25	16
2	127	8
3	528	6
4	2036	4
done	5000	4
0	4	8
1	11	8
2	27	6
3	39	4
4	61	4
5	114	4
6	274	4
7	797	4
8	3126	4
done	5000	4
0	5	8
1	16	8
2	51	8
3	85	8
done	85	8
0	5	7
1	13	7
2	27	5
3	39	3
4	101	3
5	254	3
6	1227	3
7	3924	3
done	5000	3
0	5	7
1	13	7
2	27	5
3	39	3
4	101	3
5	254	3
6	1227	3
7	3924	3
done	5000	3
0	6	9
1	18	9
2	42	9
3	54	9
4	56	9
done	56	9
0	7	15
1	24	15
2	124	13
3	524	9
4	1908	7
done	5000	7
0	6	11
1	18	11
2	58	9
3	157	7
4	279	5
5	935	5
done	5000	5
0	6	11
1	19	11
2	70	11
3	191	5
4	576	3
5	1802	3
done	5000	3
0	15	34
1	48	25
2	166	23
3	547	23
4	1899	18
done	5001	18
0	16	33
1	47	27
2	143	25
3	455	22
4	1583	20
done	5000	20
0	16	33
1	47	27
2	145	25
3	458	22
4	1580	20
done	5000	20
0	14	32
1	44	24
2	139	22
3	412	22
4	1448	20
5	4985	18
done	5000	18
0	13	31
1	40	26
2	116	22
3	343	22
4	1197	22
5	4043	18
done	5001	18
0	17	33
1	47	28
2	158	23
3	530	23
4	1832	18
done	5000	18
0	18	32
1	46	30
2	135	25
3	435	22
4	1547	20
done	5000	20
0	18	32
1	46	30
2	137	25
3	438	22
4	1535	20
done	5001	20
0	16	31
1	43	27
2	129	22
3	392	22
4	1390	20
5	4756	18
done	5000	18
0	15	30
1	39	29
2	109	22
3	338	22
4	1154	22
5	3912	18
done	5001	18
0	17	33
1	47	28
2	156	23
3	530	23
4	1894	18
done	5000	18
0	18	32
1	46	30
2	134	25
3	437	22
4	1585	20
done	5000	20
0	18	32
1	46	30
2	136	25
3	441	22
4	1578	20
done	5000	20
0	16	31
1	43	27
2	127	22
3	395	22
4	1431	20
5	4863	18
done	5000	18
0	15	30
1	39	29
2	108	22
3	337	22
4	1161	22
5	3929	18
done	5000	18
0	16	32
1	44	25
2	143	23
3	490	23
4	1811	18
done	5000	18
0	17	31
1	43	27
2	121	27
3	404	22
4	1535	20
done	5001	20
0	17	31
1	43	27
2	123	27
3	405	22
4	1496	20
done	5000	20
0	14	30
1	40	24
2	114	22
3	365	22
4	1352	22
5	4390	18
done	5001	18
0	13	29
1	36	26
2	97	24
3	316	22
4	1116	22
5	3725	18
done	5000	18
0	16	31
1	46	27
2	136	25
3	445	23
4	1645	20
done	5000	20
0	17	30
1	44	29
2	115	27
3	377	22
4	1408	20
5	4661	18
done	5000	18
0	17	30
1	44	29
2	117	27
3	383	22
4	1414	20
5	4608	18
done	5000	18
0	14	29
1	42	26
2	111	24
3	344	22
4	1264	22
5	4033	18
done	5000	18
0	13	28
1	36	28
2	92	24
3	290	22
4	1013	22
5	3274	18
done	5000	18
0	12	27
1	36	27
2	166	25
3	751	19
4	3220	17
done	5000	17
0	11	26
1	35	26
2	182	24
3	1022	19
done	5001	19
0	11	26
1	32	26
2	164	24
3	864	20
4	4743	16
done	5000	16
0	18	77
1	60	77
2	457	37
done	5000	25
0	19	77
1	64	77
2	481	33
done	5000	29
0	19	77
1	64	77
2	471	33
done	5000	29
0	16	77
1	56	77
2	418	33
done	5000	29
0	16	77
1	56	77
2	454	31
done	5001	29
0	20	77
1	65	77
2	465	35
done	5000	25
0	21	77
1	69	77
2	488	33
done	5000	27
0	21	77
1	69	77
2	482	33
done	5001	27
0	18	77
1	61	77
2	427	33
done	5002	27
0	18	77
1	61	77
2	463	31
done	5000	27
0	20	77
1	64	77
2	464	37
done	5002	25
0	21	77
1	68	77
2	487	35
done	5000	27
0	21	77
1	68	77
2	481	35
done	5000	27
0	18	77
1	60	77
2	426	35
done	5001	27
0	18	77
1	60	77
2	462	33
done	5000	27
0	19	77
1	63	77
2	483	37
done	5000	25
0	20	77
1	67	77
2	502	35
done	5000	27
0	20	77
1	67	77
2	494	35
done	5000	27
0	16	77
1	59	77
2	444	35
done	5000	27
0	16	77
1	59	77
2	479	33
done	5002	27
0	19	77
1	63	77
2	470	33
done	5000	25
0	20	77
1	65	77
2	461	31
done	5000	27
0	20	77
1	65	77
2	455	31
done	5000	27
0	16	77
1	58	77
2	431	31
done	5000	27
0	16	77
1	57	77
2	433	29
done	5000	27
0	14	77
1	48	77
2	328	27
done	5000	23
0	12	53
1	33	53
2	165	49
3	860	41
4	4724	33
done	5000	33
0	11	26
1	32	26
2	164	24
3	858	20
4	4704	16
done	5001	16
0	12	77
1	40	77
2	221	25
3	2156	21
done	5000	21
0	11	26
1	32	26
2	164	24
3	858	20
4	4704	16
done	5001	16
0	11	26
1	32	26
2	164	24
3	858	20
4	4704	16
done	5001	16
0	8	16
1	27	16
2	151	14
3	841	9
4	4279	8
done	5001	8
0	7	10
1	17	10
2	32	10
3	56	10
4	105	9
done	105	9
0	14	55
1	39	55
2	150	51
3	557	43
4	2048	39
done	5000	39
0	12	27
1	31	27
2	133	25
3	532	21
4	2055	19
done	5000	19
0	13	44
1	34	44
2	138	40
3	539	32
4	2045	28
done	5001	28
0	12	27
1	31	27
2	133	25
3	532	21
4	2055	19
done	5000	19
0	11	35
1	32	33
2	139	29
3	543	21
4	2031	17
done	5000	17
0	11	26
1	30	26
2	132	24
3	531	20
4	2064	18
done	5000	18
0	13	40
1	33	40
2	136	36
3	537	28
4	1995	24
done	5000	24
0	12	23
1	31	23
2	133	21
3	532	17
4	2055	15
done	5000	15
0	13	38
1	34	38
2	137	30
3	537	28
4	2032	26
done	5000	26
0	12	27
1	31	27
2	134	19
3	533	17
4	2057	15
done	5001	15
0	12	27
1	31	27
2	134	19
3	533	17
4	2057	15
done	5001	15
0	12	27
1	31	27
2	134	19
3	533	17
4	2057	15
done	5001	15
0	10	18
1	29	16
2	133	8
3	533	6
4	1984	4
done	5000	4
0	11	26
1	30	26
2	133	18
3	532	16
4	2059	14
done	5000	14
0	12	23
1	30	23
2	132	15
3	532	13
4	2017	11
done	5000	11
0	12	23
1	31	23
2	134	15
3	533	13
4	2057	11
done	5001	11
0	11	29
1	31	29
2	85	27
3	190	25
4	593	25
5	2132	25
done	5000	25
0	10	18
1	28	18
2	70	16
3	124	14
4	318	14
5	976	14
6	4118	14
done	5001	14
0	10	18
1	28	18
2	70	16
3	124	14
4	318	14
5	976	14
6	4118	14
done	5001	14
0	10	18
1	28	18
2	70	16
3	124	14
4	318	14
5	976	14
6	4118	14
done	5001	14
0	7	9
1	19	7
2	52	5
3	113	3
4	264	3
5	604	3
6	1513	3
7	4021	3
done	5000	3
0	9	17
1	27	17
2	69	15
3	134	13
4	399	13
5	1355	13
done	5000	13
0	9	14
1	20	14
2	50	12
3	110	10
4	332	10
5	1024	10
6	4089	10
done	5000	10
0	9	14
1	21	14
2	52	12
3	115	10
4	350	10
5	1120	10
6	4763	10
done	5000	10
0	10	23
1	24	23
2	36	23
3	38	23
done	38	23
0	11	26
1	32	26
2	164	24
3	846	20
4	4479	18
done	5000	18
0	9	12
1	21	12
2	33	12
3	34	12
done	34	12
0	11	26
1	32	26
2	164	24
3	846	20
4	4479	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	10	25
1	31	25
2	163	23
3	856	19
4	4710	15
done	5001	15
0	8	8
1	12	8
done	12	8
0	11	22
1	32	22
2	164	20
3	856	16
4	4638	12
done	5001	12
0	11	29
1	30	29
2	72	27
3	135	25
4	203	25
5	322	25
6	726	25
7	2333	25
done	5000	25
0	10	20
1	26	20
2	63	20
3	140	20
4	224	20
5	231	20
done	231	20
0	10	18
1	25	18
2	50	16
3	74	14
4	104	14
5	160	14
6	336	14
7	932	14
8	3476	14
done	5001	14
0	10	20
1	26	20
2	63	20
3	140	20
4	224	20
5	231	20
done	231	20
0	5	9
1	13	7
2	28	5
3	63	3
4	114	3
5	185	3
6	439	3
7	1373	3
done	5000	3
0	9	19
1	25	19
2	62	19
3	142	19
4	321	19
5	534	18
6	712	17
7	871	17
8	1017	15
9	1744	15
10	4581	15
done	5000	15
0	9	14
1	17	14
2	30	12
3	52	10
4	82	10
5	138	10
6	305	10
7	878	10
8	3364	10
done	5000	10
0	10	16
1	26	16
2	63	16
3	148	16
4	320	16
5	483	16
6	615	16
7	793	16
8	940	16
9	1406	16
10	3382	16
done	5001	16
0	8	11
1	20	11
2	32	11
3	33	11
done	33	11
0	10	25
1	34	25
2	193	23
3	1592	17
done	5000	17
0	12	37
1	35	37
2	179	35
3	1085	31
done	5000	31
0	11	26
1	32	26
2	164	24
3	846	20
4	4479	18
done	5000	18
0	9	17
1	30	15
2	165	13
3	822	7
4	2650	7
done	5000	7
0	11	22
1	31	22
2	162	20
3	849	16
4	4559	14
done	5000	14
0	11	26
1	33	26
2	145	24
3	574	20
4	2080	18
done	5000	18
0	11	26
1	33	26
2	146	18
3	575	16
4	2078	14
done	5001	14
0	9	17
1	30	17
2	109	15
3	420	13
4	1483	11
done	5000	11
0	10	25
1	34	25
2	193	23
3	1592	17
done	5000	17
0	9	19
1	28	19
2	85	17
3	338	17
4	1374	15
5	4880	15
done	5000	15
0	13	29
1	49	29
2	259	23
3	1454	19
done	5000	19
0	12	35
1	40	35
2	227	27
3	1262	19
done	5000	19
0	7	17
1	20	17
2	58	17
3	177	17
4	385	16
5	598	15
6	759	15
7	903	13
8	1632	13
9	4450	13
done	5000	13
0	3	7
1	13	1
2	14	1
done	14	1
0	4	5
1	11	3
2	13	1
done	13	1
0	3	7
1	13	1
2	14	1
done	14	1
0	5	7
1	12	3
2	14	1
done	14	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	4	5
1	11	3
2	13	1
done	13	1
0	2	3
1	4	1
done	4	1
0	4	5
1	11	3
2	13	1
done	13	1
0	4	5
1	9	1
done	9	1
0	3	7
1	13	1
2	14	1
done	14	1
0	4	5
1	11	3
2	13	1
done	13	1
0	3	7
1	13	1
2	14	1
done	14	1
0	5	7
1	12	3
2	14	1
done	14	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	5	7
1	12	3
2	14	1
done	14	1
0	4	5
1	9	1
done	9	1
0	5	7
1	12	3
2	14	1
done	14	1
0	4	7
1	13	1
done	13	1
0	2	3
done	2	3
0	2	3
done	2	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	2	3
done	2	3
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	4	11
1	11	6
2	22	4
3	27	4
done	27	4
0	6	10
1	11	9
2	22	4
3	31	4
done	31	4
0	6	10
1	11	9
2	22	4
3	31	4
done	31	4
0	4	9
1	8	6
2	16	6
3	25	4
4	30	4
done	30	4
0	4	8
1	10	8
2	21	6
3	38	4
4	63	4
5	100	4
6	209	4
7	568	4
8	1979	4
done	5000	4
0	4	8
1	10	8
2	23	6
3	48	4
4	109	4
5	258	4
6	692	4
7	2459	4
done	5000	4
0	5	23
1	16	23
2	66	9
3	109	5
4	210	3
5	718	3
6	2937	3
done	5000	3
0	7	23
1	20	23
2	63	9
3	119	5
4	258	3
5	994	3
6	4195	3
done	5001	3
0	7	23
1	20	23
2	63	11
3	111	5
4	230	3
5	914	3
6	3827	3
done	5000	3
0	5	23
1	19	23
2	68	11
3	119	5
4	238	3
5	917	3
6	3820	3
done	5000	3
0	5	17
1	9	17
2	13	13
3	22	9
4	37	9
5	65	9
6	137	9
7	352	9
8	1254	9
done	5000	9
0	4	8
1	8	8
2	12	6
3	21	4
4	36	4
5	64	4
6	136	4
7	352	4
8	1262	4
done	5001	4
0	5	23
1	17	23
2	60	7
3	104	5
4	236	3
5	926	3
6	3846	3
done	5000	3
0	4	8
1	9	4
2	13	4
3	22	4
4	37	4
5	66	4
6	140	4
7	351	4
8	1264	4
done	5000	4
0	4	8
1	9	4
2	13	4
3	22	4
4	37	4
5	66	4
6	140	4
7	351	4
8	1264	4
done	5000	4
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	4	5
1	11	3
2	12	1
done	12	1
0	4	5
1	11	3
2	12	1
done	12	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	2	3
1	3	1
done	3	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	5
1	11	3
2	12	1
done	12	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	4	5
1	11	1
done	11	1
0	3	5
1	4	5
2	6	3
3	11	3
4	17	3
5	27	3
6	50	3
7	113	3
8	331	3
9	1249	3
done	5001	3
0	3	5
1	6	3
2	11	3
3	17	3
4	27	3
5	50	3
6	113	3
7	331	3
8	1249	3
done	5001	3
0	8	11
1	20	10
2	46	10
3	83	10
4	186	10
5	489	10
6	1420	10
done	5000	10
0	7	10
1	17	10
2	29	10
3	30	10
done	30	10
0	7	10
1	20	10
2	42	10
3	70	10
4	158	10
5	425	10
6	1324	10
7	3678	10
done	5000	10
0	8	21
1	18	21
2	30	21
done	30	21
0	7	10
1	17	10
2	29	10
3	30	10
done	30	10
0	8	29
1	19	29
2	45	11
3	146	11
4	641	11
5	2261	11
done	5000	11
0	7	10
1	17	10
2	29	10
3	30	10
done	30	10
0	7	10
1	17	10
2	29	10
3	30	10
done	30	10
0	9	13
1	34	13
2	127	9
3	483	9
4	1495	9
done	5001	9
0	10	29
1	31	27
2	115	21
3	305	17
4	471	17
5	636	15
6	1290	15
7	3800	15
done	5000	15
0	2	2
done	2	2
0	8	19
1	25	19
2	87	13
3	227	9
4	410	9
5	796	9
6	1688	9
7	4803	9
done	5000	9
0	6	9
1	15	9
2	26	9
3	27	9
done	27	9
0	6	6
1	8	6
done	8	6
0	6	6
1	9	6
2	10	6
done	10	6
0	2	2
done	2	2
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	16	18
1	38	18
2	102	18
3	238	18
4	686	18
5	2144	18
done	5000	18
0	15	17
1	34	17
2	80	13
3	196	13
4	635	13
5	1959	13
done	5000	13
0	15	17
1	34	17
2	80	13
3	196	13
4	635	13
5	1959	13
done	5000	13
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7
0	7	7
1	15	7
2	32	7
3	39	7
4	45	7
5	55	7
6	77	7
7	140	7
8	352	7
9	1280	7
done	5000	7

prune281.0ms

Filtered

119 candidates to 245 candidates (-105.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	245	0	245
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	245	4	249

Merged error: 0b

Counts

249 → 4

regimes73.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	12	15
done	12	15

end0.0ms

sample776.0ms

Algorithm

intervals

Results

511.0ms	8000×	body	80	valid
100.0ms	8000×	pre	80	true

Details

sample27.0ms

simplify6.1s

prune8.0ms

localize9.0ms

rewrite36.0ms

series13.0ms

simplify2.7min

prune190.0ms

localize12.0ms

rewrite127.0ms

series28.0ms

simplify10.9min

prune751.0ms

localize14.0ms

rewrite116.0ms

series47.0ms

simplify10.9min

prune1.1s

localize10.0ms

rewrite111.0ms

series21.0ms

simplify13.1min

prune281.0ms

regimes73.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample776.0ms

Profiling