Details

sample60.0ms

Algorithm

intervals

Results

28.0ms	382×	body	80	valid
7.0ms	133×	body	80	nan

simplify3.1s

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	12	15
1	24	15
2	47	13
3	91	13
4	220	13
5	649	13
6	2339	13
done	5001	13

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 2.7b

Counts

2 → 1

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (/ a (+ 1.0 (* k (+ 10.0 k)))) (pow k m))
0.0b	(* k (+ 10.0 k))
5.2b	(/ a (+ 1.0 (* k (+ 10.0 k))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
22×	`add-cube-cbrt`
21×	`times-frac`
20×	`add-exp-log`
18×	`associate-l`
12×	`add-cbrt-cube`
11×	`associate-r`
7×	`prod-exp` `unswap-sqr`
5×	`pow1` `unpow-prod-down`
4×	`div-exp` `associate-/r/`
3×	`flip3-+` `associate-/r` `cbrt-unprod` `flip-+` `associate-/l` `add-log-exp` `sqr-pow`
2×	`cbrt-undiv` `pow-to-exp` `associate-r/` `pow-exp` `-commutative` `div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `associate-*l/` `clear-num` `distribute-lft-out`

Counts

3 → 97

Calls

3 calls:

12.0ms	(* (/ a (+ 1.0 (* k (+ 10.0 k)))) (pow k m))
7.0ms	(* k (+ 10.0 k))
5.0ms	(/ a (+ 1.0 (* k (+ 10.0 k))))

series61.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(* (/ a (+ 1.0 (* k (+ 10.0 k)))) (pow k m))
5.0ms	(* k (+ 10.0 k))
17.0ms	(/ a (+ 1.0 (* k (+ 10.0 k))))

simplify4.4min

Counts

106 → 106

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	26	11
3	30	11
done	30	11
0	9	10
1	20	10
2	27	10
3	32	10
done	32	10
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	12	29
1	41	29
2	136	13
3	549	11
4	2492	11
done	5000	11
0	10	21
1	18	21
2	23	21
3	27	21
done	27	21
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	10	29
1	25	29
2	46	11
3	88	11
4	203	11
5	644	11
6	2470	11
done	5000	11
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	2	2
done	2	2
0	7	8
1	18	8
2	34	8
3	66	8
4	84	8
5	98	8
6	125	8
7	171	8
8	219	8
9	227	8
10	228	8
done	228	8
0	12	23
1	26	23
2	40	23
3	50	23
done	50	23
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	14
1	21	14
2	28	14
3	33	14
done	33	14
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	11	20
1	21	20
2	26	20
3	30	20
done	30	20
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	10	19
1	22	19
2	27	19
3	31	19
done	31	19
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	9	10
1	19	10
2	24	10
3	28	10
done	28	10
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	2	3
1	4	1
done	4	1
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	18	9
2	23	9
3	27	9
done	27	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	10	19
1	20	19
2	25	19
3	29	19
done	29	19
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	3	3
1	5	1
done	5	1
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	11	13
1	35	13
2	85	13
3	293	13
4	739	13
5	2336	13
done	5001	13
0	10	17
1	28	17
2	89	17
3	275	17
4	799	17
5	2046	17
done	5000	17
0	4	5
1	11	5
2	12	5
done	12	5
0	6	7
1	8	7
done	8	7
0	5	6
1	15	6
2	17	6
done	17	6
0	5	6
1	14	6
2	24	6
3	39	6
4	69	6
5	163	6
6	402	6
7	1265	6
done	5000	6
0	8	17
1	28	17
2	106	9
3	315	9
4	1026	7
5	3538	7
done	5000	7
0	6	13
1	13	13
2	14	13
done	14	13
0	5	6
1	12	6
2	13	6
done	13	6
0	6	17
1	22	17
2	89	7
3	285	7
4	753	7
5	2125	7
done	5000	7
0	5	6
1	12	6
2	13	6
done	13	6
0	5	6
1	12	6
2	13	6
done	13	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	3	3
1	4	3
done	4	3
0	2	3
done	2	3
0	6	11
1	10	11
2	12	11
done	12	11
0	5	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	5	6
1	13	6
2	14	6
done	14	6
0	5	6
1	13	6
2	14	6
done	14	6
0	4	5
1	11	5
2	12	5
done	12	5
0	7	9
1	28	9
2	59	9
3	110	9
4	210	9
5	542	9
6	1817	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	67	9
4	135	9
5	214	9
6	358	9
7	702	9
8	3252	9
done	5000	9
0	14	16
1	28	16
2	43	16
3	62	16
4	79	16
5	94	16
6	103	16
7	120	16
8	139	16
9	147	16
done	147	16
0	14	16
1	28	16
2	43	16
3	62	16
4	79	16
5	94	16
6	103	16
7	120	16
8	139	16
9	147	16
done	147	16
0	14	16
1	33	16
2	56	16
3	110	16
4	248	16
5	739	16
6	2860	16
done	5000	16
0	13	15
1	26	15
2	37	15
3	50	15
4	66	15
5	83	15
6	98	15
7	107	15
8	124	15
9	143	15
10	151	15
done	151	15
0	13	15
1	26	15
2	37	15
3	50	15
4	66	15
5	83	15
6	98	15
7	107	15
8	124	15
9	143	15
10	151	15
done	151	15
0	13	15
1	31	15
2	50	15
3	94	15
4	217	15
5	642	15
6	2585	15
done	5000	15
0	12	14
1	30	14
2	59	14
3	126	14
4	327	14
5	1053	14
6	4031	14
done	5000	14
0	12	14
1	29	14
2	53	14
3	110	14
4	283	14
5	950	14
6	3916	14
done	5001	14
0	17	41
1	58	39
2	219	19
3	1101	17
done	5001	17
0	15	41
1	42	39
2	117	17
3	423	17
4	2211	15
done	5000	15
0	13	29
1	28	29
2	47	29
3	89	29
4	206	29
5	582	29
6	2048	29
done	5000	29
0	12	14
1	27	14
2	46	14
3	88	14
4	205	14
5	586	14
6	2054	14
done	5000	14
0	13	41
1	38	41
2	120	15
3	528	15
4	2718	15
done	5001	15
0	12	14
1	27	14
2	46	14
3	88	14
4	205	14
5	586	14
6	2054	14
done	5000	14
0	12	14
1	27	14
2	46	14
3	88	14
4	205	14
5	586	14
6	2054	14
done	5000	14
0	13	15
1	26	15
2	40	15
3	70	15
4	134	15
5	322	15
6	1012	15
7	3800	15
done	5000	15
0	13	15
1	26	15
2	40	15
3	70	15
4	134	15
5	322	15
6	1012	15
7	3800	15
done	5000	15
0	13	15
1	26	15
2	37	15
3	59	15
4	99	15
5	203	15
6	571	15
7	1998	15
done	5000	15
0	13	15
1	26	15
2	37	15
3	59	15
4	99	15
5	203	15
6	571	15
7	1998	15
done	5000	15
0	14	16
1	26	16
2	43	16
3	78	16
4	152	16
5	361	16
6	1180	16
7	4347	16
done	5001	16
0	14	16
1	26	16
2	43	16
3	78	16
4	152	16
5	361	16
6	1180	16
7	4347	16
done	5001	16
0	14	16
1	29	16
2	48	16
3	92	16
4	208	16
5	582	16
6	2048	16
done	5000	16
0	14	16
1	29	16
2	48	16
3	92	16
4	208	16
5	582	16
6	2048	16
done	5000	16
0	14	16
1	29	16
2	43	16
3	67	16
4	109	16
5	218	16
6	591	16
7	2016	16
done	5000	16
0	14	16
1	29	16
2	43	16
3	67	16
4	109	16
5	218	16
6	591	16
7	2016	16
done	5000	16
0	15	17
1	29	17
2	51	17
3	96	17
4	220	17
5	619	17
6	2204	17
done	5000	17
0	15	17
1	29	17
2	51	17
3	96	17
4	220	17
5	619	17
6	2204	17
done	5000	17
0	13	17
1	28	17
2	47	17
3	89	17
4	205	17
5	583	17
6	2053	17
done	5000	17
0	12	14
1	27	14
2	46	14
3	88	14
4	201	14
5	582	14
6	2060	14
done	5000	14
0	12	13
1	29	11
2	40	9
3	50	9
4	57	9
5	67	9
6	80	9
7	96	9
8	115	9
9	137	9
10	162	9
11	190	9
12	221	9
13	255	9
14	292	9
15	332	9
16	375	9
17	421	9
18	470	9
19	522	9
20	577	9
21	635	9
22	696	9
23	760	9
24	827	9
25	897	9
26	970	9
27	1046	9
28	1125	9
29	1207	9
30	1292	9
31	1380	9
32	1471	9
33	1565	9
34	1662	9
35	1762	9
36	1865	9
37	1971	9
38	2080	9
39	2192	9
40	2307	9
41	2425	9
42	2546	9
43	2670	9
44	2797	9
45	2927	9
46	3060	9
47	3196	9
48	3335	9
49	3477	9
50	3622	9
51	3770	9
52	3921	9
53	4075	9
54	4232	9
55	4392	9
56	4555	9
57	4721	9
58	4890	9
done	5000	9
0	13	19
1	30	19
2	48	19
3	78	19
4	129	19
5	246	19
6	638	19
7	2054	19
done	5001	19
0	12	14
1	27	14
2	41	14
3	65	14
4	109	14
5	221	14
6	610	14
7	2026	14
done	5000	14
0	10	11
1	23	9
2	38	9
3	42	9
done	42	9
0	13	15
1	27	15
2	49	15
3	94	15
4	217	15
5	621	15
6	2219	15
done	5000	15
0	12	14
1	25	14
2	39	14
3	69	14
4	135	14
5	325	14
6	1021	14
7	3785	14
done	5000	14
0	12	14
1	25	14
2	39	14
3	69	14
4	135	14
5	325	14
6	1021	14
7	3785	14
done	5000	14
0	13	15
1	28	15
2	47	15
3	89	15
4	205	15
5	583	15
6	2054	15
done	5000	15
0	13	15
1	28	15
2	47	15
3	89	15
4	205	15
5	583	15
6	2054	15
done	5000	15
0	12	14
1	27	14
2	46	14
3	88	14
4	201	14
5	582	14
6	2057	14
done	5000	14
0	13	15
1	28	15
2	47	15
3	89	15
4	205	15
5	583	15
6	2054	15
done	5000	15
0	13	15
1	28	15
2	47	15
3	89	15
4	205	15
5	583	15
6	2054	15
done	5000	15
0	12	14
1	27	14
2	46	14
3	88	14
4	201	14
5	582	14
6	2057	14
done	5000	14
0	12	14
1	27	14
2	46	14
3	88	14
4	201	14
5	582	14
6	2055	14
done	5000	14
0	12	14
1	27	14
2	46	14
3	88	14
4	201	14
5	582	14
6	2055	14
done	5000	14
0	11	13
1	26	13
2	45	13
3	87	13
4	204	13
5	585	13
6	2055	13
done	5000	13
0	11	13
1	26	13
2	45	13
3	87	13
4	204	13
5	585	13
6	2055	13
done	5000	13
0	11	13
1	28	13
2	47	11
3	109	11
4	250	11
5	581	11
6	1645	11
done	5000	11
0	13	27
1	41	21
2	141	21
3	455	21
4	1741	21
done	5001	21
0	9	11
1	23	11
2	51	11
3	137	11
4	433	11
5	1679	11
done	5001	11
0	5	5
1	10	5
2	19	5
3	45	5
4	109	5
5	302	5
6	999	5
7	3780	5
done	5001	5
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	20	27
1	48	24
2	131	18
3	306	16
4	555	16
5	922	14
6	1514	14
7	2747	14
8	3512	14
9	4370	14
10	4816	14
done	5001	14
0	26	54
1	67	48
2	210	39
3	985	29
done	5001	29
0	26	54
1	65	54
2	208	54
3	757	37
4	3791	21
done	5000	21

prune191.0ms

Filtered

89 candidates to 106 candidates (-19.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	102	4	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	102	5	107

Merged error: 2.7b

Counts

107 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ a (sqrt (+ 1.0 (* k (+ 10.0 k)))))
0.1b	(/ (/ a (sqrt (+ 1.0 (* k (+ 10.0 k))))) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
15.9b	(sqrt (+ 1.0 (* k (+ 10.0 k))))
15.9b	(sqrt (+ 1.0 (* k (+ 10.0 k))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
164×	`add-sqr-sqrt`
162×	`add-cube-cbrt` `*-un-lft-identity`
156×	`sqrt-prod`
27×	`associate-/l*`
22×	`sqrt-div`
18×	`associate-/r/`
12×	`associate-/r*`
11×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
9×	`div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`
1×	`associate-/l/`

Counts

4 → 262

Calls

4 calls:

6.0ms	(/ a (sqrt (+ 1.0 (* k (+ 10.0 k)))))
15.0ms	(/ (/ a (sqrt (+ 1.0 (* k (+ 10.0 k))))) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
3.0ms	(sqrt (+ 1.0 (* k (+ 10.0 k))))
3.0ms	(sqrt (+ 1.0 (* k (+ 10.0 k))))

series45.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ a (sqrt (+ 1.0 (* k (+ 10.0 k)))))
16.0ms	(/ (/ a (sqrt (+ 1.0 (* k (+ 10.0 k))))) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
4.0ms	(sqrt (+ 1.0 (* k (+ 10.0 k))))
4.0ms	(sqrt (+ 1.0 (* k (+ 10.0 k))))

simplify2.3min

Counts

274 → 274

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	19
1	17	19
2	22	19
3	26	19
done	26	19
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	26
1	18	16
2	34	10
3	67	10
4	95	10
5	105	10
6	128	10
7	193	10
8	411	10
9	1345	10
done	5000	10
0	9	18
1	18	9
2	23	9
3	27	9
done	27	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	2	2
1	4	1
done	4	1
0	7	8
1	15	8
2	20	8
3	24	8
done	24	8
0	10	12
1	34	12
2	84	12
3	283	12
4	726	12
5	2323	12
done	5000	12
0	11	24
1	34	18
2	117	18
3	335	18
4	941	18
5	2634	18
done	5000	18
0	9	16
1	27	16
2	86	16
3	272	16
4	803	16
5	2046	16
done	5000	16
0	7	8
1	16	8
2	29	8
3	50	8
4	62	8
5	76	8
6	106	8
7	160	8
8	193	8
9	194	8
done	194	8
0	3	3
1	6	1
done	6	1
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	19
1	17	19
2	22	19
3	26	19
done	26	19
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	26
1	18	16
2	34	10
3	67	10
4	95	10
5	105	10
6	128	10
7	193	10
8	411	10
9	1345	10
done	5000	10
0	9	18
1	18	9
2	23	9
3	27	9
done	27	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	2	2
1	4	1
done	4	1
0	7	8
1	15	8
2	20	8
3	24	8
done	24	8
0	10	12
1	34	12
2	84	12
3	283	12
4	726	12
5	2323	12
done	5000	12
0	11	24
1	34	18
2	117	18
3	335	18
4	941	18
5	2634	18
done	5000	18
0	9	16
1	27	16
2	86	16
3	272	16
4	803	16
5	2046	16
done	5000	16
0	7	8
1	16	8
2	29	8
3	50	8
4	62	8
5	76	8
6	106	8
7	160	8
8	193	8
9	194	8
done	194	8
0	3	3
1	6	1
done	6	1
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	12	22
1	25	22
2	42	14
3	58	14
4	67	14
5	76	14
6	90	14
7	100	14
8	103	14
done	103	14
0	12	21
1	24	21
2	35	21
3	52	14
4	65	14
5	72	14
6	82	14
7	90	14
8	100	14
9	103	14
done	103	14
0	11	20
1	24	20
2	35	10
3	48	10
4	60	10
5	71	10
6	78	10
7	88	10
8	96	10
9	106	10
10	109	10
done	109	10
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	14	59
1	35	39
2	119	25
3	468	13
4	1648	11
done	5000	11
0	14	59
1	37	49
2	106	23
3	319	11
4	815	11
5	2350	11
done	5000	11
0	12	41
1	22	41
2	27	21
3	32	21
done	32	21
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	12	59
1	29	59
2	65	11
3	165	11
4	518	11
5	1462	11
6	4883	11
done	5000	11
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	10	11
1	20	11
2	25	11
3	29	11
done	29	11
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	14	43
1	28	43
2	42	43
3	52	43
done	52	43
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	15	42
1	26	33
2	33	33
3	38	33
done	38	33
0	13	21
1	21	21
2	26	21
3	30	21
done	30	21
0	13	33
1	23	33
2	30	33
3	35	33
done	35	33
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	14	26
1	26	25
2	33	25
3	38	23
4	45	23
done	45	23
0	11	20
1	19	20
2	24	20
3	28	20
done	28	20
0	13	33
1	23	33
2	30	33
3	35	33
done	35	33
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	13	25
1	25	23
2	36	23
3	45	23
done	45	23
0	11	20
1	19	20
2	24	20
3	28	20
done	28	20
0	13	31
1	23	31
2	28	31
3	32	31
done	32	31
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	14	30
1	23	21
2	28	21
3	32	21
done	32	21
0	13	21
1	21	21
2	26	21
3	30	21
done	30	21
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	13	14
1	23	13
2	28	13
3	32	13
done	32	13
0	11	20
1	19	20
2	24	20
3	28	20
done	28	20
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	12	21
1	20	21
2	25	21
3	29	21
done	29	21
0	12	13
1	22	11
2	29	11
3	33	11
done	33	11
0	11	20
1	19	20
2	24	20
3	28	20
done	28	20
0	14	45
1	32	45
2	65	45
3	112	27
4	136	17
5	168	17
6	263	17
7	568	17
8	1674	17
done	5001	17
0	12	22
1	22	22
2	27	22
3	31	22
done	31	22
0	17	44
1	34	35
2	62	35
3	103	35
4	144	35
5	150	35
done	150	35
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	15	35
1	31	35
2	59	35
3	100	35
4	141	35
5	145	35
done	145	35
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	16	28
1	34	27
2	62	27
3	101	25
4	141	25
done	141	25
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	15	35
1	31	35
2	59	35
3	100	35
4	141	35
5	145	35
done	145	35
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	15	27
1	33	25
2	65	25
3	118	25
4	148	25
done	148	25
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	17	44
1	32	35
2	53	35
3	93	35
4	135	35
5	145	35
done	145	35
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	14	43
1	27	25
2	39	23
3	55	23
4	66	23
5	68	23
done	68	23
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	16	34
1	29	25
2	45	25
3	62	25
4	72	25
done	72	25
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	16	27
1	31	17
2	47	17
3	64	15
4	84	15
done	84	15
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	16	34
1	29	25
2	45	25
3	62	25
4	72	25
done	72	25
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	15	26
1	30	15
2	50	15
3	71	15
4	81	15
done	81	15
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	15	35
1	29	35
2	50	35
3	90	35
4	130	35
5	140	35
done	140	35
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	16	34
1	29	25
2	45	25
3	62	25
4	72	25
done	72	25
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	13	25
1	25	25
2	37	14
3	48	14
4	51	14
done	51	14
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	15	18
1	29	17
2	45	17
3	62	15
4	82	15
done	82	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	13	25
1	25	25
2	37	14
3	48	14
4	51	14
done	51	14
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	14	17
1	28	15
2	48	15
3	69	15
4	79	15
done	79	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	16	28
1	32	27
2	53	27
3	90	25
4	127	25
done	127	25
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	16	27
1	31	17
2	47	17
3	64	15
4	82	15
done	82	15
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	15	18
1	29	17
2	45	17
3	62	15
4	80	15
5	81	15
done	81	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	7	11
1	13	9
2	20	7
3	27	5
done	27	5
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	15	18
1	29	17
2	45	17
3	62	15
4	80	15
5	81	15
done	81	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	7	10
1	13	7
2	23	7
3	30	5
done	30	5
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	15	35
1	29	35
2	50	35
3	90	35
4	130	35
5	140	35
done	140	35
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	16	34
1	29	25
2	45	25
3	62	25
4	72	25
done	72	25
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	13	25
1	25	25
2	37	14
3	48	14
4	51	14
done	51	14
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	15	18
1	29	17
2	45	17
3	62	15
4	82	15
done	82	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	13	25
1	25	25
2	37	14
3	48	14
4	51	14
done	51	14
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	14	17
1	28	15
2	48	15
3	69	15
4	79	15
done	79	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	15	27
1	31	25
2	65	25
3	126	25
4	144	25
done	144	25
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	15	26
1	30	15
2	55	15
3	81	15
4	82	15
done	82	15
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	14	17
1	28	15
2	53	15
3	79	15
4	80	15
done	80	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	7	10
1	13	5
2	28	5
3	35	5
done	35	5
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	14	17
1	28	15
2	53	15
3	79	15
4	80	15
done	80	15
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	13	42
1	27	42
2	39	42
3	47	24
4	56	14
5	75	14
6	115	14
7	225	14
8	549	14
9	1914	14
done	5001	14
0	12	22
1	22	22
2	27	22
3	31	22
done	31	22
0	16	41
1	29	32
2	40	32
3	52	32
done	52	32
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	14	32
1	26	32
2	37	32
3	49	32
done	49	32
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	15	25
1	29	24
2	40	24
3	52	22
4	59	22
done	59	22
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	14	32
1	26	32
2	37	32
3	49	32
done	49	32
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	14	24
1	28	22
2	43	22
3	63	22
done	63	22
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	16	41
1	29	32
2	40	32
3	50	32
done	50	32
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	13	40
1	24	22
2	29	20
3	36	20
done	36	20
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	15	31
1	26	22
2	34	22
3	38	22
done	38	22
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	15	24
1	28	14
2	36	14
3	40	12
4	45	12
done	45	12
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	15	31
1	26	22
2	34	22
3	38	22
done	38	22
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	14	23
1	27	12
2	39	12
3	45	12
done	45	12
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	14	32
1	26	32
2	37	32
3	47	32
done	47	32
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	15	31
1	26	22
2	34	22
3	38	22
done	38	22
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	14	15
1	26	14
2	34	14
3	38	12
4	43	12
done	43	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	13	14
1	25	12
2	37	12
3	43	12
done	43	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	15	25
1	29	24
2	40	24
3	50	22
4	60	22
done	60	22
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	15	24
1	28	14
2	36	14
3	40	12
4	46	12
done	46	12
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	14	15
1	26	14
2	34	14
3	38	12
4	44	12
done	44	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	6	8
1	10	6
done	10	4
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	14	15
1	26	14
2	34	14
3	38	12
4	44	12
done	44	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	6	7
1	10	4
2	13	4
done	13	2
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	14	32
1	26	32
2	37	32
3	47	32
done	47	32
0	13	22
1	23	22
2	31	22
3	35	22
done	35	22
0	15	31
1	26	22
2	34	22
3	38	22
done	38	22
0	14	22
1	24	22
2	32	22
3	36	22
done	36	22
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	14	15
1	26	14
2	34	14
3	38	12
4	43	12
done	43	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	12	22
1	22	22
2	27	11
3	32	11
done	32	11
0	13	14
1	25	12
2	37	12
3	43	12
done	43	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	14	24
1	28	22
2	42	22
3	54	22
done	54	22
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	14	23
1	27	12
2	38	12
3	42	12
done	42	12
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	13	14
1	25	12
2	36	12
3	40	12
done	40	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	6	7
1	10	2
2	16	2
done	16	2
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	13	14
1	25	12
2	36	12
3	40	12
done	40	12
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	5	6
1	9	2
done	9	2
0	11	20
1	21	20
2	26	10
3	31	10
done	31	10
0	12	41
1	28	41
2	40	41
3	46	23
4	54	13
5	71	13
6	109	13
7	222	13
8	546	13
9	1901	13
done	5000	13
0	11	21
1	21	21
2	26	21
3	30	21
done	30	21
0	15	40
1	30	31
2	41	31
3	53	31
done	53	31
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	13	31
1	27	31
2	38	31
3	50	31
done	50	31
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	13	24
1	27	23
2	38	21
3	54	21
done	54	21
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	13	31
1	27	31
2	38	31
3	50	31
done	50	31
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	12	23
1	26	21
2	41	21
3	55	21
done	55	21
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	15	40
1	30	31
2	41	31
3	51	31
done	51	31
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	12	39
1	25	21
2	30	19
3	37	19
done	37	19
0	11	21
1	21	21
2	26	10
3	31	10
done	31	10
0	14	30
1	27	21
2	35	21
3	39	21
done	39	21
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	13	23
1	26	13
2	34	11
3	42	11
done	42	11
0	12	20
1	22	20
2	30	20
3	34	20
done	34	20
0	14	30
1	27	21
2	35	21
3	39	21
done	39	21
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	12	22
1	25	11
2	37	11
3	41	11
done	41	11
0	12	20
1	22	20
2	30	20
3	34	20
done	34	20
0	13	31
1	27	31
2	38	31
3	48	31
done	48	31
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	14	30
1	27	21
2	35	21
3	39	21
done	39	21
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	11	21
1	23	21
2	28	10
3	33	10
done	33	10
0	11	21
1	21	21
2	26	10
3	31	10
done	31	10
0	12	14
1	24	13
2	32	11
3	40	11
done	40	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	11	21
1	23	21
2	28	10
3	33	10
done	33	10
0	11	21
1	21	21
2	26	10
3	31	10
done	31	10
0	11	13
1	23	11
2	35	11
3	39	11
done	39	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	13	24
1	27	23
2	38	23
3	48	21
4	58	21
done	58	21
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	13	23
1	26	13
2	34	13
3	38	11
4	44	11
done	44	11
0	12	20
1	22	20
2	30	20
3	34	20
done	34	20
0	12	14
1	24	13
2	32	13
3	36	11
4	42	11
done	42	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	4	7
1	8	5
done	8	3
0	10	19
1	20	19
2	25	9
3	30	9
done	30	9
0	12	14
1	24	13
2	32	13
3	36	11
4	42	11
done	42	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	4	6
1	8	3
2	11	1
done	11	1
0	10	19
1	20	19
2	25	9
3	30	9
done	30	9
0	13	31
1	27	31
2	38	31
3	48	31
done	48	31
0	12	21
1	22	21
2	30	21
3	34	21
done	34	21
0	14	30
1	27	21
2	35	21
3	39	21
done	39	21
0	13	21
1	23	21
2	31	21
3	35	21
done	35	21
0	11	21
1	23	21
2	28	10
3	33	10
done	33	10
0	11	21
1	21	21
2	26	10
3	31	10
done	31	10
0	12	14
1	24	13
2	32	11
3	40	11
done	40	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	11	21
1	23	21
2	28	10
3	33	10
done	33	10
0	11	21
1	21	21
2	26	10
3	31	10
done	31	10
0	11	13
1	23	11
2	35	11
3	39	11
done	39	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	12	23
1	26	21
2	35	21
3	49	21
4	50	21
done	50	21
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	12	22
1	25	11
2	32	11
3	40	11
done	40	11
0	12	20
1	22	20
2	30	20
3	34	20
done	34	20
0	11	13
1	23	11
2	30	11
3	38	11
done	38	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	4	6
1	8	1
done	8	1
0	10	19
1	20	19
2	25	9
3	30	9
done	30	9
0	11	13
1	23	11
2	30	11
3	38	11
done	38	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	3	5
1	7	1
done	7	1
0	10	19
1	20	19
2	25	9
3	30	9
done	30	9
0	11	21
1	23	21
2	28	21
3	32	21
done	32	21
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	11	20
1	22	11
2	27	11
3	31	11
done	31	11
0	12	20
1	22	20
2	30	20
3	34	20
done	34	20
0	10	11
1	20	11
2	25	11
3	29	11
done	29	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	3	4
1	5	3
done	5	3
0	10	19
1	20	19
2	25	9
3	30	9
done	30	9
0	10	11
1	20	11
2	25	11
3	29	11
done	29	11
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	2	3
1	4	1
done	4	1
0	10	19
1	20	19
2	25	9
3	30	9
done	30	9
0	11	21
1	21	21
2	26	21
3	30	21
done	30	21
0	11	20
1	23	20
2	31	20
3	35	20
done	35	20
0	11	20
1	20	11
2	25	11
3	29	11
done	29	11
0	12	20
1	24	20
2	32	20
3	36	20
done	36	20
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	20
1	23	20
2	31	20
3	35	20
done	35	20
0	4	4
1	6	3
done	6	3
0	10	19
1	22	19
2	27	9
3	32	9
done	32	9
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	20
1	23	20
2	31	20
3	35	20
done	35	20
0	3	3
1	5	1
done	5	1
0	10	19
1	22	19
2	27	9
3	32	9
done	32	9
0	17	34
1	46	34
2	106	34
3	323	34
4	763	34
5	2362	34
done	5000	34
0	15	34
1	39	28
2	126	28
3	349	28
4	961	28
5	2667	28
done	5001	28
0	17	33
1	45	24
2	102	24
3	315	24
4	759	24
5	2383	24
done	5000	24
0	15	34
1	39	28
2	126	28
3	349	28
4	961	28
5	2667	28
done	5001	28
0	16	24
1	43	24
2	100	24
3	315	24
4	763	24
5	2380	24
done	5000	24
0	15	34
1	39	28
2	126	28
3	349	28
4	961	28
5	2667	28
done	5001	28
0	15	17
1	43	16
2	96	16
3	296	14
4	752	14
5	2339	14
done	5000	14
0	14	33
1	38	27
2	125	27
3	350	27
4	965	27
5	2661	27
done	5000	27
0	16	24
1	43	24
2	100	24
3	315	24
4	763	24
5	2380	24
done	5000	24
0	15	34
1	39	28
2	126	28
3	349	28
4	961	28
5	2667	28
done	5001	28
0	14	16
1	42	14
2	99	14
3	314	14
4	756	14
5	2377	14
done	5001	14
0	14	33
1	38	27
2	125	27
3	350	27
4	965	27
5	2661	27
done	5000	27
0	16	38
1	38	38
2	104	38
3	299	38
4	842	38
5	2175	38
done	5000	38
0	11	18
1	21	18
2	38	18
3	63	18
4	75	18
5	89	18
6	119	18
7	177	18
8	218	18
9	228	18
10	245	18
11	253	18
done	253	18
0	16	37
1	37	28
2	100	28
3	289	28
4	828	28
5	2166	28
done	5000	28
0	11	18
1	21	18
2	38	18
3	63	18
4	75	18
5	89	18
6	119	18
7	177	18
8	218	18
9	228	18
10	245	18
11	253	18
done	253	18
0	15	28
1	35	28
2	98	28
3	287	28
4	835	28
5	2175	28
done	5001	28
0	11	18
1	21	18
2	38	18
3	63	18
4	75	18
5	89	18
6	119	18
7	177	18
8	218	18
9	228	18
10	245	18
11	253	18
done	253	18
0	14	21
1	36	20
2	98	20
3	285	18
4	818	18
5	2067	18
done	5000	18
0	10	17
1	20	17
2	37	17
3	62	17
4	73	17
5	87	17
6	117	17
7	175	17
8	216	17
9	226	17
10	243	17
11	251	17
done	251	17
0	15	28
1	35	28
2	98	28
3	287	28
4	835	28
5	2175	28
done	5001	28
0	11	18
1	21	18
2	38	18
3	63	18
4	75	18
5	89	18
6	119	18
7	177	18
8	218	18
9	228	18
10	245	18
11	253	18
done	253	18
0	13	20
1	35	18
2	101	18
3	289	18
4	814	18
5	2073	18
done	5000	18
0	10	17
1	20	17
2	37	17
3	62	17
4	73	17
5	87	17
6	117	17
7	175	17
8	216	17
9	226	17
10	243	17
11	251	17
done	251	17
0	9	10
1	19	10
2	24	10
3	28	10
done	28	10
0	10	19
1	20	19
2	28	19
3	32	9
4	33	9
done	33	9
0	12	30
1	24	30
2	35	30
3	45	30
done	45	30
0	13	29
1	24	20
2	32	20
3	36	20
done	36	20
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	12	13
1	24	12
2	32	12
3	36	10
4	40	10
done	40	10
0	11	20
1	21	20
2	29	20
3	33	20
done	33	20
0	11	12
1	23	10
2	35	10
3	41	10
done	41	10
0	11	20
1	19	20
2	24	20
3	28	20
done	28	20
0	11	20
1	19	20
2	24	20
3	28	20
done	28	20
0	12	21
1	22	21
2	30	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	13	21
1	23	21
2	31	21
3	36	21
4	38	21
5	40	21
6	41	21
done	41	21
0	12	21
1	22	21
2	30	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	11	20
1	21	20
2	29	20
3	33	10
4	34	10
done	34	10
0	12	21
1	22	21
2	30	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	11	20
1	21	20
2	29	20
3	33	10
4	34	10
done	34	10
0	12	21
1	22	21
2	30	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	13	21
1	23	21
2	31	21
3	36	21
4	38	21
5	40	21
6	41	21
done	41	21
0	12	21
1	22	21
2	30	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	11	20
1	21	20
2	29	20
3	33	10
4	34	10
done	34	10
0	12	21
1	22	21
2	30	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	11	20
1	21	20
2	29	20
3	33	10
4	34	10
done	34	10
0	11	20
1	21	20
2	29	20
3	34	20
4	36	20
5	38	20
6	39	20
done	39	20
0	12	20
1	22	20
2	30	20
3	35	20
4	37	20
5	39	20
6	40	20
done	40	20
0	11	20
1	21	20
2	29	20
3	34	20
4	36	20
5	38	20
6	39	20
done	39	20
0	10	19
1	20	19
2	28	19
3	32	9
4	33	9
done	33	9
0	11	20
1	21	20
2	29	20
3	34	20
4	36	20
5	38	20
6	39	20
done	39	20
0	10	19
1	20	19
2	28	19
3	32	9
4	33	9
done	33	9
0	10	19
1	20	19
2	28	19
3	32	9
4	33	9
done	33	9
0	10	19
1	22	19
2	30	17
3	38	7
4	40	7
done	40	7
0	14	33
1	38	27
2	125	27
3	350	27
4	955	27
5	2649	27
done	5001	27
0	10	17
1	20	17
2	37	17
3	62	17
4	73	17
5	87	17
6	117	17
7	175	17
8	216	17
9	226	17
10	243	17
11	251	17
done	251	17
0	15	23
1	42	23
2	99	23
3	303	23
4	771	23
5	2396	23
done	5000	23
0	14	27
1	34	27
2	97	27
3	285	27
4	828	27
5	2162	27
done	5000	27
0	8	17
1	16	7
2	22	7
3	26	7
done	26	7
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	10	11
1	21	11
2	28	11
3	33	11
done	33	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	13	32
1	30	22
2	76	14
3	171	12
4	299	12
5	470	12
6	1010	12
7	3798	12
done	5000	12
0	11	23
1	19	23
2	24	23
3	28	23
done	28	23
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	32
1	26	32
2	47	12
3	89	12
4	154	12
5	289	12
6	499	12
7	1148	12
8	4190	12
done	5000	12
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	2	2
done	2	2
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	13	25
1	27	25
2	41	25
3	51	25
done	51	25
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	13	24
1	24	15
2	31	15
3	36	15
done	36	15
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	12	15
1	22	15
2	29	15
3	34	15
done	34	15
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	12	15
1	22	15
2	29	15
3	34	15
done	34	15
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	12	22
1	22	22
2	27	22
3	31	22
done	31	22
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	12	21
1	21	12
2	26	12
3	30	12
done	30	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	5	5
1	7	4
done	7	4
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	4	4
1	6	2
2	8	2
done	8	2
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	21
1	23	21
2	28	21
3	32	21
done	32	21
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	20
1	22	11
2	27	11
3	31	11
done	31	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	20	11
2	25	11
3	29	11
done	29	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	3	4
1	5	3
done	5	3
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	10	11
1	20	11
2	25	11
3	29	11
done	29	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	2	3
1	4	1
done	4	1
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	9	10
1	19	10
2	24	10
3	28	10
done	28	10
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	11	21
1	21	21
2	26	21
3	30	21
done	30	21
0	11	20
1	20	11
2	25	11
3	29	11
done	29	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	4	4
1	6	3
done	6	3
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	3	3
1	5	1
done	5	1
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	12	14
1	36	14
2	86	14
3	291	14
4	739	14
5	2334	14
done	5000	14
0	11	18
1	29	18
2	88	18
3	272	18
4	797	18
5	2045	18
done	5000	18
0	19	29
1	48	29
2	141	29
3	393	22
4	1057	22
5	3419	17
done	5000	17
0	8	9
1	18	9
2	36	7
3	51	7
4	70	7
5	99	7
6	118	7
7	135	7
8	146	7
9	155	7
10	189	7
11	260	7
12	262	7
done	262	7
0	8	9
1	18	9
2	30	7
3	41	7
4	56	7
5	74	7
6	104	7
7	160	7
8	262	7
9	284	7
10	299	7
11	305	7
12	309	7
done	309	7
0	19	29
1	48	29
2	141	29
3	393	22
4	1057	22
5	3419	17
done	5000	17
0	8	9
1	18	9
2	36	7
3	51	7
4	70	7
5	99	7
6	118	7
7	135	7
8	146	7
9	155	7
10	189	7
11	260	7
12	262	7
done	262	7
0	8	9
1	18	9
2	30	7
3	41	7
4	56	7
5	74	7
6	104	7
7	160	7
8	262	7
9	284	7
10	299	7
11	305	7
12	309	7
done	309	7
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	23	37
1	60	37
2	183	37
3	579	28
4	2351	26
done	5000	26
0	15	19
1	37	19
2	105	19
3	226	15
4	441	15
5	966	15
6	3038	13
done	5000	13
0	15	19
1	37	19
2	99	19
3	228	15
4	522	15
5	1431	15
done	5000	15

prune558.0ms

Filtered

175 candidates to 274 candidates (-56.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	274	0	274
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	274	5	279

Merged error: 2.7b

Counts

279 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

1.3b	(* (/ 1 (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k)))))) (/ a (cbrt (+ 1.0 (* k (+ 10.0 k))))))
16.4b	(cbrt (+ 1.0 (* k (+ 10.0 k))))
16.4b	(cbrt (+ 1.0 (* k (+ 10.0 k))))
16.4b	(cbrt (+ 1.0 (* k (+ 10.0 k))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
43×	`add-sqr-sqrt`
33×	`times-frac`
25×	`*-un-lft-identity`
24×	`associate-r`
22×	`add-cube-cbrt`
21×	`cbrt-prod`
20×	`cbrt-div` `prod-exp`
18×	`add-cbrt-cube`
15×	`div-exp` `associate-l`
10×	`flip3-+` `associate-/r/` `flip-+`
9×	`unswap-sqr`
8×	`cbrt-unprod`
7×	`cbrt-undiv`
6×	`pow1`
5×	`frac-times`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`pow1/3` `associate-r/` `associate-l/`
2×	`div-inv`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 119

Calls

4 calls:

27.0ms	(* (/ 1 (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k)))))) (/ a (cbrt (+ 1.0 (* k (+ 10.0 k))))))
3.0ms	(cbrt (+ 1.0 (* k (+ 10.0 k))))
3.0ms	(cbrt (+ 1.0 (* k (+ 10.0 k))))
3.0ms	(cbrt (+ 1.0 (* k (+ 10.0 k))))

series36.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (/ 1 (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k)))))) (/ a (cbrt (+ 1.0 (* k (+ 10.0 k))))))
9.0ms	(cbrt (+ 1.0 (* k (+ 10.0 k))))
9.0ms	(cbrt (+ 1.0 (* k (+ 10.0 k))))
9.0ms	(cbrt (+ 1.0 (* k (+ 10.0 k))))

simplify2.7min

Counts

131 → 131

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	18
1	17	18
2	22	18
3	26	18
done	26	18
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	2	2
1	4	1
done	4	1
0	7	8
1	15	8
2	20	8
3	24	8
done	24	8
0	10	12
1	34	12
2	84	12
3	283	12
4	726	12
5	2323	12
done	5000	12
0	11	24
1	34	18
2	117	18
3	335	18
4	941	18
5	2634	18
done	5000	18
0	9	16
1	27	16
2	86	16
3	272	16
4	803	16
5	2046	16
done	5000	16
0	7	8
1	16	8
2	29	8
3	50	8
4	62	8
5	76	8
6	106	8
7	160	8
8	193	8
9	194	8
done	194	8
0	9	19
1	17	19
2	22	19
3	26	19
done	26	19
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	26
1	18	26
2	25	10
3	34	7
4	40	7
5	50	7
6	71	7
7	132	7
8	346	7
9	1281	7
done	5001	7
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	18
1	17	18
2	22	18
3	26	18
done	26	18
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	2	2
1	4	1
done	4	1
0	7	8
1	15	8
2	20	8
3	24	8
done	24	8
0	10	12
1	34	12
2	84	12
3	283	12
4	726	12
5	2323	12
done	5000	12
0	11	24
1	34	18
2	117	18
3	335	18
4	941	18
5	2634	18
done	5000	18
0	9	16
1	27	16
2	86	16
3	272	16
4	803	16
5	2046	16
done	5000	16
0	7	8
1	16	8
2	29	8
3	50	8
4	62	8
5	76	8
6	106	8
7	160	8
8	193	8
9	194	8
done	194	8
0	9	19
1	17	19
2	22	19
3	26	19
done	26	19
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	26
1	18	26
2	25	10
3	34	7
4	40	7
5	50	7
6	71	7
7	132	7
8	346	7
9	1281	7
done	5001	7
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	18
1	17	18
2	22	18
3	26	18
done	26	18
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	2	2
1	4	1
done	4	1
0	7	8
1	15	8
2	20	8
3	24	8
done	24	8
0	10	12
1	34	12
2	84	12
3	283	12
4	726	12
5	2323	12
done	5000	12
0	11	24
1	34	18
2	117	18
3	335	18
4	941	18
5	2634	18
done	5000	18
0	9	16
1	27	16
2	86	16
3	272	16
4	803	16
5	2046	16
done	5000	16
0	7	8
1	16	8
2	29	8
3	50	8
4	62	8
5	76	8
6	106	8
7	160	8
8	193	8
9	194	8
done	194	8
0	9	19
1	17	19
2	22	19
3	26	19
done	26	19
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	9	26
1	18	26
2	25	10
3	34	7
4	40	7
5	50	7
6	71	7
7	132	7
8	346	7
9	1281	7
done	5001	7
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	8	9
1	16	9
2	21	9
3	25	9
done	25	9
0	13	30
1	30	30
2	53	28
3	124	28
4	216	12
5	236	9
6	250	9
7	294	9
8	452	9
9	948	9
10	3385	9
done	5000	9
0	14	33
1	30	25
2	53	24
3	85	15
4	128	14
5	190	14
6	213	14
7	229	14
8	230	14
done	230	14
0	14	32
1	29	24
2	50	23
3	81	23
4	128	14
5	191	14
6	213	14
7	229	14
8	230	14
done	230	14
0	15	32
1	29	32
2	45	24
3	75	24
4	109	14
5	163	14
6	188	14
7	222	14
8	225	14
done	225	14
0	14	31
1	27	31
2	42	23
3	73	23
4	109	14
5	156	14
6	179	14
7	207	14
8	211	14
9	212	14
done	212	14
0	15	34
1	36	25
2	83	24
3	184	24
4	424	14
5	558	14
6	580	14
done	580	14
0	15	33
1	34	24
2	75	23
3	160	23
4	381	14
5	507	14
6	530	14
done	530	14
0	16	33
1	34	32
2	71	24
3	181	24
4	395	14
5	517	14
6	542	14
7	543	14
done	543	14
0	15	32
1	32	31
2	65	23
3	159	23
4	363	14
5	485	14
6	512	14
7	513	14
done	513	14
0	16	35
1	39	26
2	82	24
3	193	24
4	433	14
5	565	14
6	588	14
done	588	14
0	16	34
1	37	25
2	73	23
3	163	23
4	378	15
5	492	14
6	509	14
7	524	14
done	524	14
0	17	34
1	37	33
2	72	25
3	188	24
4	397	14
5	525	14
6	551	14
7	552	14
done	552	14
0	16	33
1	35	32
2	65	24
3	160	23
4	357	23
5	471	14
6	500	14
7	515	14
done	515	14
0	16	33
1	37	32
2	60	31
3	136	24
4	264	14
5	459	14
6	487	14
7	488	14
done	488	14
0	15	32
1	35	31
2	55	30
3	115	23
4	232	14
5	431	14
6	531	14
7	544	14
done	544	14
0	14	31
1	34	31
2	70	29
3	172	29
4	358	13
5	594	10
6	778	10
7	927	10
8	1270	10
9	2339	10
done	5000	10
0	14	31
1	33	31
2	62	29
3	153	29
4	314	13
5	540	10
6	1357	10
done	5001	10
0	16	35
1	46	31
2	124	27
3	451	27
4	1457	13
done	5000	13
0	17	54
1	51	50
2	146	28
3	551	28
4	2092	27
done	5001	27
0	19	73
1	52	69
2	138	31
3	681	22
4	3744	22
done	5000	22
0	19	92
1	56	88
2	156	32
3	771	22
4	4179	22
done	5000	22
0	17	73
1	44	73
2	128	33
3	512	33
4	2243	27
done	5000	27
0	17	92
1	48	92
2	147	34
3	593	34
4	2487	27
done	5000	11
0	15	63
1	32	63
2	55	59
3	126	59
4	217	27
5	237	21
6	251	21
7	295	21
8	455	21
9	970	21
10	3430	21
done	5000	21
0	14	31
1	31	31
2	54	29
3	125	29
4	213	13
5	233	10
6	247	10
7	291	10
8	453	10
9	963	10
10	3397	10
done	5000	10
0	15	92
1	42	92
2	148	30
3	716	30
4	2503	11
done	5000	11
0	14	31
1	31	31
2	54	29
3	125	29
4	213	13
5	233	10
6	247	10
7	291	10
8	453	10
9	963	10
10	3397	10
done	5000	10
0	14	31
1	31	31
2	54	29
3	125	29
4	213	13
5	233	10
6	247	10
7	291	10
8	453	10
9	963	10
10	3397	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	9	26
1	18	26
2	25	10
3	34	7
4	40	7
5	50	7
6	71	7
7	132	7
8	346	7
9	1281	7
done	5001	7
0	15	32
1	28	32
2	33	32
3	37	32
done	37	32
0	15	32
1	28	32
2	33	32
3	37	32
done	37	32
0	17	33
1	32	33
2	40	33
3	48	33
4	49	33
done	49	33
0	17	33
1	32	33
2	40	33
3	48	33
4	49	33
done	49	33
0	16	33
1	31	33
2	39	33
3	47	33
4	48	33
done	48	33
0	16	33
1	31	33
2	39	33
3	47	33
4	48	33
done	48	33
0	14	23
1	27	22
2	35	22
3	41	20
4	55	20
5	56	20
6	59	20
7	64	20
done	64	20
0	14	23
1	27	22
2	35	22
3	41	20
4	55	20
5	56	20
6	59	20
7	64	20
done	64	20
0	16	24
1	31	23
2	45	23
3	66	21
4	119	21
5	163	21
6	167	21
done	167	21
0	16	24
1	31	23
2	45	23
3	66	21
4	119	21
5	163	21
6	167	21
done	167	21
0	15	24
1	30	23
2	44	23
3	65	21
4	118	21
5	158	21
6	161	21
done	161	21
0	15	24
1	30	23
2	44	23
3	65	21
4	118	21
5	158	21
6	161	21
done	161	21
0	13	22
1	26	22
2	34	20
3	51	20
4	58	20
5	59	20
6	62	20
7	67	20
done	67	20
0	13	22
1	26	22
2	34	20
3	51	20
4	58	20
5	59	20
6	62	20
7	67	20
done	67	20
0	15	23
1	30	23
2	44	21
3	87	21
4	138	21
5	178	21
6	186	21
done	186	21
0	15	23
1	30	23
2	44	21
3	87	21
4	138	21
5	178	21
6	186	21
done	186	21
0	14	23
1	29	23
2	43	21
3	86	21
4	130	21
5	168	21
6	174	21
done	174	21
0	14	23
1	29	23
2	43	21
3	86	21
4	130	21
5	168	21
6	174	21
done	174	21
0	15	43
1	32	43
2	54	41
3	121	41
4	188	41
5	191	41
6	194	41
7	199	41
done	199	41
0	14	31
1	29	31
2	44	29
3	79	29
4	116	29
5	117	29
6	120	29
7	125	29
done	125	29
0	16	44
1	35	44
2	67	42
3	208	42
4	529	42
5	750	42
6	808	42
done	808	42
0	17	35
1	36	35
2	68	33
3	209	33
4	523	33
5	738	33
6	805	33
done	805	33
0	16	28
1	35	27
2	67	25
3	205	23
4	545	23
5	599	23
done	599	23
0	17	45
1	40	45
2	95	43
3	342	43
4	991	43
5	1730	43
6	1838	43
done	1838	43
0	16	35
1	35	35
2	67	33
3	208	33
4	529	33
5	750	33
6	808	33
done	808	33
0	15	27
1	34	25
2	72	23
3	265	23
4	524	23
5	550	23
done	550	23
0	15	41
1	32	41
2	55	39
3	134	39
4	267	39
5	374	39
6	398	39
done	398	39
0	16	32
1	33	32
2	56	30
3	135	30
4	267	30
5	381	30
6	406	30
done	406	30
0	15	25
1	32	24
2	55	22
3	133	20
4	299	20
5	326	20
done	326	20
0	16	42
1	35	42
2	68	40
3	198	40
4	491	40
5	885	40
6	938	40
done	938	40
0	15	32
1	32	32
2	55	30
3	134	30
4	267	30
5	374	30
6	398	30
done	398	30
0	14	24
1	31	22
2	56	20
3	135	20
4	250	20
5	253	20
done	253	20
0	13	40
1	30	40
2	53	38
3	105	38
4	161	38
5	162	38
done	162	38
0	14	31
1	31	31
2	54	29
3	102	29
4	159	29
5	160	29
done	160	29
0	13	24
1	30	23
2	52	21
3	107	19
4	153	19
5	164	19
done	164	19
0	14	41
1	33	41
2	65	39
3	166	39
4	325	39
5	350	39
done	350	39
0	13	31
1	30	31
2	53	29
3	105	29
4	161	29
5	162	29
done	162	29
0	12	23
1	29	19
2	44	19
3	74	19
4	87	19
done	87	19
0	11	21
1	26	19
2	35	19
3	43	19
4	51	19
done	51	19
0	12	21
1	27	21
2	42	19
3	54	19
4	66	19
5	99	19
6	103	19
done	103	19
0	18	34
1	52	34
2	124	32
3	404	32
4	980	32
5	2677	32
done	5000	32
0	17	38
1	44	38
2	122	36
3	386	36
4	1042	36
5	2474	36
done	5000	36
0	14	31
1	29	31
2	37	31
3	45	31
4	46	31
done	46	31
0	14	31
1	29	31
2	37	31
3	45	31
4	46	31
done	46	31
0	13	22
1	28	21
2	41	21
3	57	19
4	93	19
5	106	19
6	107	19
done	107	19
0	13	22
1	28	21
2	41	21
3	57	19
4	93	19
5	106	19
6	107	19
done	107	19
0	12	21
1	27	21
2	40	19
3	85	19
4	131	19
5	133	19
done	133	19
0	13	30
1	30	30
2	53	28
3	124	28
4	216	12
5	236	9
6	250	9
7	294	9
8	452	9
9	948	9
10	3385	9
done	5000	9
0	13	30
1	30	30
2	53	28
3	124	28
4	216	12
5	236	9
6	250	9
7	294	9
8	452	9
9	948	9
10	3385	9
done	5000	9
0	17	60
1	46	48
2	141	48
3	380	48
4	992	48
5	2699	48
done	5000	48
0	19	44
1	51	38
2	162	38
3	423	38
4	1027	38
5	2771	38
done	5000	38
0	19	44
1	51	38
2	162	38
3	425	38
4	1030	38
5	2776	38
done	5000	38
0	13	28
1	28	28
2	53	28
3	89	28
4	111	28
5	130	28
6	160	28
7	218	28
8	259	28
9	269	28
10	286	28
11	294	28
done	294	28
0	16	35
1	43	29
2	133	29
3	363	29
4	970	29
5	2681	29
done	5001	29
0	12	19
1	25	19
2	45	19
3	74	19
4	87	19
5	101	19
6	131	19
7	189	19
8	230	19
9	240	19
10	257	19
11	265	19
done	265	19
0	16	35
1	43	29
2	133	29
3	363	29
4	970	29
5	2681	29
done	5001	29
0	12	19
1	25	19
2	45	19
3	74	19
4	87	19
5	101	19
6	131	19
7	189	19
8	230	19
9	240	19
10	257	19
11	265	19
done	265	19
0	12	21
1	27	21
2	42	19
3	54	19
4	66	19
5	99	19
6	103	19
done	103	19
0	11	12
1	24	10
2	39	10
3	45	10
4	48	10
5	50	10
done	50	10
0	23	35
1	61	31
2	190	30
3	638	26
4	2539	25
done	5000	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17
0	23	35
1	61	31
2	190	30
3	638	26
4	2539	25
done	5000	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17
0	23	35
1	61	31
2	190	30
3	638	26
4	2539	25
done	5000	25
0	20	48
1	46	42
2	108	36
3	313	19
4	1065	15
done	5000	15
0	21	48
1	47	45
2	106	39
3	309	21
4	1102	19
done	5001	17
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17

prune607.0ms

Filtered

103 candidates to 131 candidates (-27.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	131	5	136

Merged error: 2.7b

Counts

136 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt a)
0.5b	(cbrt a)
2.1b	(/ (cbrt a) (+ 1.0 (* k (+ 10.0 k))))
3.3b	(* (* (cbrt a) (cbrt a)) (/ (cbrt a) (+ 1.0 (* k (+ 10.0 k)))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
38×	`times-frac`
34×	`add-cube-cbrt` `*-un-lft-identity`
28×	`cbrt-prod`
24×	`associate-r`
18×	`add-exp-log`
11×	`add-cbrt-cube`
9×	`pow1`
6×	`prod-exp` `cbrt-unprod` `associate-/l*`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/r*` `unswap-sqr`
2×	`flip3-+` `pow1/3` `flip-+` `div-inv`
1×	`frac-2neg` `associate-r/` `associate-l` `clear-num` `-commutative`

Counts

4 → 110

Calls

4 calls:

1.0ms	(cbrt a)
1.0ms	(cbrt a)
6.0ms	(/ (cbrt a) (+ 1.0 (* k (+ 10.0 k))))
16.0ms	(* (* (cbrt a) (cbrt a)) (/ (cbrt a) (+ 1.0 (* k (+ 10.0 k)))))

series105.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt a)
26.0ms	(cbrt a)
28.0ms	(/ (cbrt a) (+ 1.0 (* k (+ 10.0 k))))
25.0ms	(* (* (cbrt a) (cbrt a)) (/ (cbrt a) (+ 1.0 (* k (+ 10.0 k)))))

simplify1.7min

Counts

122 → 122

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	11	16
1	24	16
2	35	16
3	46	12
4	51	9
5	55	9
6	61	9
7	71	9
8	92	9
9	152	9
10	365	9
11	1307	9
done	5000	9
0	11	16
1	24	16
2	35	16
3	46	12
4	51	9
5	55	9
6	61	9
7	71	9
8	92	9
9	152	9
10	365	9
11	1307	9
done	5000	9
0	13	20
1	30	18
2	51	14
3	68	14
4	86	14
5	115	14
6	168	14
7	193	14
8	223	14
9	244	14
done	244	14
0	13	19
1	28	17
2	43	17
3	65	14
4	87	14
5	115	14
6	168	14
7	193	14
8	223	14
9	245	14
done	245	14
0	14	19
1	28	19
2	46	18
3	69	14
4	90	14
5	118	14
6	167	14
7	190	14
8	223	14
9	244	14
done	244	14
0	13	18
1	26	18
2	43	17
3	66	14
4	88	14
5	116	14
6	165	14
7	188	14
8	219	14
9	240	14
done	240	14
0	12	17
1	28	17
2	48	17
3	77	13
4	105	10
5	131	10
6	164	10
7	227	10
8	273	10
9	365	10
10	598	10
11	1526	10
done	5000	10
0	12	17
1	27	17
2	47	17
3	76	13
4	155	10
5	337	10
6	785	10
7	2911	10
done	5000	10
0	12	29
1	40	29
2	128	15
3	525	13
4	2402	11
done	5000	11
0	13	36
1	33	36
2	79	16
3	203	16
4	596	15
5	1780	15
done	5000	15
0	15	43
1	51	43
2	173	19
3	773	15
4	3295	11
done	5000	11
0	15	50
1	43	50
2	121	20
3	396	15
4	1181	11
5	3388	11
done	5001	11
0	13	35
1	26	35
2	37	35
3	48	27
4	53	21
5	57	21
6	63	21
7	73	21
8	96	21
9	157	21
10	377	21
11	1293	21
done	5000	21
0	12	17
1	25	17
2	36	17
3	47	13
4	52	10
5	56	10
6	62	10
7	72	10
8	95	10
9	156	10
10	379	10
11	1311	10
done	5000	10
0	13	50
1	36	50
2	113	18
3	402	14
4	1046	11
5	2807	11
done	5000	11
0	12	17
1	25	17
2	36	17
3	47	13
4	52	10
5	56	10
6	62	10
7	72	10
8	95	10
9	156	10
10	379	10
11	1311	10
done	5000	10
0	12	17
1	25	17
2	36	17
3	47	13
4	52	10
5	56	10
6	62	10
7	72	10
8	95	10
9	156	10
10	379	10
11	1311	10
done	5000	10
0	11	14
1	20	14
2	25	14
3	29	14
done	29	14
0	11	14
1	20	14
2	25	14
3	29	14
done	29	14
0	13	15
1	24	15
2	32	15
3	40	15
4	41	15
done	41	15
0	13	15
1	24	15
2	32	15
3	40	15
4	41	15
done	41	15
0	12	15
1	23	15
2	31	15
3	39	15
4	40	15
done	40	15
0	12	15
1	23	15
2	31	15
3	39	15
4	40	15
done	40	15
0	13	29
1	28	29
2	44	29
3	50	29
done	50	29
0	12	17
1	23	17
2	30	17
3	34	17
done	34	17
0	14	30
1	29	30
2	52	30
3	92	30
4	137	30
5	164	30
6	165	30
done	165	30
0	13	21
1	26	21
2	39	21
3	54	21
4	64	21
5	69	21
done	69	21
0	7	14
1	14	12
2	26	12
3	48	12
4	78	12
5	97	12
done	97	12
0	15	27
1	30	27
2	53	27
3	91	27
4	136	27
5	163	27
6	165	27
done	165	27
0	14	18
1	27	18
2	40	18
3	55	18
4	65	18
5	70	18
done	70	18
0	8	11
1	15	9
2	27	9
3	49	9
4	79	9
5	99	9
done	99	9
0	15	26
1	32	25
2	55	25
3	94	23
4	167	23
5	188	23
done	188	23
0	14	17
1	29	16
2	42	16
3	57	14
4	79	14
5	80	14
done	80	14
0	7	10
1	14	7
2	23	5
3	36	5
4	55	5
done	55	5
0	15	31
1	34	31
2	83	31
3	177	31
4	329	31
5	400	31
6	406	31
done	406	31
0	14	22
1	29	22
2	52	22
3	95	22
4	138	22
5	150	22
6	153	22
done	153	22
0	8	15
1	17	13
2	45	13
3	112	13
4	211	13
5	270	13
done	270	13
0	14	27
1	29	27
2	52	27
3	92	27
4	137	27
5	164	27
6	165	27
done	165	27
0	13	18
1	26	18
2	39	18
3	54	18
4	64	18
5	69	18
done	69	18
0	7	11
1	14	9
2	26	9
3	48	9
4	78	9
5	97	9
done	97	9
0	14	25
1	31	25
2	53	23
3	119	23
4	166	23
5	171	23
done	171	23
0	13	16
1	28	16
2	41	14
3	77	14
4	86	14
done	86	14
0	6	9
1	13	7
2	22	5
3	35	5
4	54	5
done	54	5
0	5	7
1	10	5
2	18	5
done	18	5
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	14	20
1	43	20
2	99	20
3	307	16
4	772	13
5	2376	13
done	5000	13
0	13	24
1	36	24
2	108	24
3	335	20
4	946	17
5	2533	17
done	5001	17
0	10	13
1	21	13
2	28	13
3	32	13
done	32	13
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	10	11
1	21	11
2	28	11
3	33	11
done	33	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	25
1	33	25
2	101	11
3	448	11
4	2258	11
done	5001	11
0	11	23
1	19	23
2	24	23
3	28	23
done	28	23
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	32
1	26	32
2	47	12
3	89	12
4	202	11
5	619	11
6	2372	11
done	5000	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	3	3
done	3	3
0	7	8
1	18	8
2	34	8
3	66	8
4	84	8
5	98	8
6	125	8
7	171	8
8	219	8
9	227	8
10	228	8
done	228	8
0	13	24
1	23	24
2	28	24
3	32	24
done	32	24
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	12	15
1	20	15
2	25	15
3	29	15
done	29	15
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	6	8
1	8	6
2	10	6
done	10	6
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	12	21
1	22	21
2	27	21
3	31	21
done	31	21
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	5	5
1	7	3
2	9	3
done	9	3
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	11	20
1	23	19
2	28	19
3	32	19
done	32	19
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	20	10
2	25	10
3	29	10
done	29	10
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	3	4
1	5	1
done	5	1
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	13	25
1	27	25
2	41	25
3	51	25
done	51	25
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	12	16
1	22	16
2	29	16
3	34	16
done	34	16
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	12	21
1	22	21
2	27	21
3	31	21
done	31	21
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	11	12
1	19	12
2	24	12
3	28	12
done	28	12
0	5	5
1	7	3
2	9	3
done	9	3
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	19
1	22	19
2	27	19
3	31	19
done	31	19
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	9	10
1	19	10
2	24	10
3	28	10
done	28	10
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	2	3
1	4	1
done	4	1
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	8	9
1	18	9
2	23	9
3	27	9
done	27	9
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	11	20
1	21	20
2	26	20
3	30	20
done	30	20
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	4	4
1	6	2
2	8	2
done	8	2
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	10	11
1	18	11
2	23	11
3	27	11
done	27	11
0	9	10
1	17	10
2	22	10
3	26	10
done	26	10
0	12	14
1	36	14
2	86	14
3	291	14
4	741	14
5	2337	14
done	5000	14
0	11	18
1	29	18
2	90	18
3	278	18
4	802	18
5	2051	18
done	5000	18
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	17	21
1	42	21
2	118	21
3	292	21
4	763	17
5	2287	17
done	5001	17
0	21	38
1	51	35
2	103	29
3	281	17
4	1207	12
5	4538	12
done	5000	12
0	25	48
1	59	42
2	148	33
3	517	23
4	3111	18
done	5000	18
0	28	57
1	69	54
2	210	51
3	1018	39
done	5001	39
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune158.0ms

Filtered

90 candidates to 122 candidates (-35.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	122	5	127

Merged error: 2.7b

Counts

127 → 5

regimes170.0ms

Accuracy

0% (0.0b remaining)

Error of 1.9b against oracle of 1.9b and baseline of 1.9b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	15	13
done	15	13

end0.0ms

sample1.8s

Algorithm

intervals

Results

904.0ms	11935×	body	80	valid
218.0ms	4097×	body	80	nan

Details

sample60.0ms

simplify3.1s

prune9.0ms

localize16.0ms

rewrite27.0ms

series61.0ms

simplify4.4min

prune191.0ms

localize12.0ms

rewrite54.0ms

series45.0ms

simplify2.3min

prune558.0ms

localize23.0ms

rewrite42.0ms

series36.0ms

simplify2.7min

prune607.0ms

localize15.0ms

rewrite28.0ms

series105.0ms

simplify1.7min

prune158.0ms

regimes170.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.8s

Profiling