Details

sample163.0ms

Algorithm

intervals

Results

68.0ms	75×	body	1280	valid
32.0ms	58×	body	640	valid
24.0ms	172×	body	80	valid
13.0ms	32×	body	320	valid
2.0ms	9×	body	160	valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	25
1	47	25
2	153	25
3	759	25
4	3750	25
done	5000	25

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 32.9b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

3.1b	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.2b	(* (/ (pow t 3.0) (* l l)) (sin k))
13.8b	(/ (pow t 3.0) (* l l))
15.6b	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-exp-log`
58×	`prod-exp`
52×	`add-cbrt-cube`
26×	`cbrt-unprod`
24×	`div-exp`
21×	`add-sqr-sqrt`
20×	`pow1`
19×	`*-un-lft-identity`
17×	`times-frac`
16×	`associate-*l/`
14×	`add-cube-cbrt`
13×	`associate-l`
11×	`associate-r`
10×	`frac-times` `unpow-prod-down` `pow-prod-down`
8×	`tan-quot` `cbrt-undiv` `pow-to-exp` `pow-exp`
7×	`associate-/l*`
6×	`associate-*r/`
4×	`flip3-+` `flip-+` `add-log-exp` `unswap-sqr` `sqr-pow`
3×	`*-commutative` `distribute-lft-out`
2×	`div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/r*`

Counts

4 → 144

Calls

4 calls:

14.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
11.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
7.0ms	(/ (pow t 3.0) (* l l))
37.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series410.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
72.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
45.0ms	(/ (pow t 3.0) (* l l))
206.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify8.0min

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	23
1	44	23
2	141	23
3	664	23
4	3207	23
done	5001	23
0	18	23
1	44	23
2	141	23
3	664	23
4	3207	23
done	5001	23
0	18	23
1	44	23
2	141	23
3	664	23
4	3207	23
done	5001	23
0	23	29
1	44	28
2	108	28
3	355	28
4	1055	28
5	2184	28
6	3949	28
done	5000	28
0	23	28
1	43	28
2	98	28
3	310	28
4	890	28
5	1919	28
6	3763	28
done	5000	28
0	23	29
1	44	28
2	108	28
3	355	28
4	1055	28
5	2184	28
6	3949	28
done	5000	28
0	23	28
1	43	28
2	98	28
3	310	28
4	890	28
5	1919	28
6	3763	28
done	5000	28
0	23	29
1	48	28
2	120	28
3	414	28
4	1401	28
5	4552	28
done	5000	28
0	23	28
1	47	28
2	110	28
3	367	28
4	1219	28
5	4031	28
done	5001	28
0	22	27
1	43	27
2	98	27
3	287	27
4	1005	27
5	3940	27
done	5000	27
0	21	26
1	42	26
2	95	26
3	267	26
4	967	26
5	3967	26
done	5001	26
0	20	25
1	41	25
2	101	25
3	312	25
4	1158	25
done	5000	25
0	19	24
1	48	24
2	155	24
3	744	24
4	3569	24
done	5001	24
0	19	24
1	47	24
2	159	24
3	769	24
4	3665	24
done	5000	24
0	28	71
1	84	69
2	405	35
3	3728	31
done	5001	31
0	28	71
1	85	69
2	404	33
3	3789	31
done	5001	31
0	26	71
1	74	71
2	326	31
3	2502	31
done	5000	31
0	24	71
1	72	71
2	315	29
3	2512	29
done	5000	29
0	22	71
1	67	71
2	295	27
3	2470	27
done	5001	27
0	20	49
1	46	49
2	143	49
3	678	49
4	3213	49
done	5001	49
0	19	24
1	45	24
2	142	24
3	666	24
4	3179	24
done	5000	24
0	20	71
1	56	71
2	272	25
3	2460	25
done	5001	25
0	19	24
1	45	24
2	142	24
3	666	24
4	3179	24
done	5000	24
0	19	24
1	45	24
2	142	24
3	666	24
4	3179	24
done	5000	24
0	17	23
1	51	23
2	161	23
3	692	23
4	3413	23
done	5000	23
0	17	36
1	46	34
2	155	34
3	634	26
4	2612	25
done	5001	25
0	16	29
1	42	29
2	125	29
3	559	27
4	3308	25
done	5001	25
0	13	16
1	28	16
2	78	16
3	238	14
4	471	12
5	1360	12
done	5000	12
0	20	27
1	58	27
2	190	27
3	935	27
done	5001	27
0	14	32
1	38	30
2	105	30
3	337	22
4	1249	21
5	4739	20
done	5000	20
0	19	33
1	49	33
2	154	33
3	734	31
done	5000	31
0	10	12
1	20	12
2	44	12
3	83	10
4	151	8
5	474	8
6	1877	8
done	5001	8
0	18	23
1	52	23
2	166	23
3	751	23
4	3858	23
done	5001	23
0	15	33
1	41	31
2	126	31
3	416	23
4	1589	22
done	5000	22
0	17	29
1	43	29
2	130	29
3	594	27
4	3753	25
done	5001	25
0	11	13
1	23	13
2	61	13
3	123	11
4	221	9
5	700	9
6	2835	9
done	5001	9
0	17	21
1	42	21
2	134	21
3	633	21
4	2984	21
done	5000	21
0	13	15
1	28	15
2	82	15
3	317	15
4	1245	15
done	5000	15
0	17	21
1	36	21
2	102	21
3	442	21
4	2093	21
done	5000	21
0	13	15
1	28	15
2	81	15
3	319	15
4	1235	15
done	5000	15
0	20	35
1	42	35
2	113	35
3	449	35
4	1853	35
done	5001	35
0	19	24
1	39	24
2	101	24
3	352	24
4	1324	24
done	5000	24
0	13	15
1	30	13
2	90	13
3	295	13
4	1123	13
5	4587	13
done	5000	13
0	13	15
1	30	13
2	90	13
3	295	13
4	1123	13
5	4587	13
done	5000	13
0	13	15
1	30	13
2	90	13
3	295	13
4	1123	13
5	4587	13
done	5000	13
0	10	12
1	23	12
2	38	12
3	70	12
4	130	12
5	297	12
6	929	12
7	3397	12
done	5001	12
0	21	27
1	59	27
2	196	27
3	1060	27
done	5000	27
0	20	33
1	50	33
2	160	33
3	798	31
done	5001	31
0	14	19
1	36	19
2	106	19
3	359	19
4	1237	19
done	5000	19
0	17	23
1	43	23
2	135	23
3	586	23
4	2625	23
done	5000	23
0	15	19
1	37	19
2	111	19
3	409	19
4	1471	19
done	5000	19
0	8	10
1	15	9
2	25	9
3	32	9
4	38	9
5	47	9
6	66	9
7	90	9
8	103	9
done	103	9
0	8	9
1	13	9
2	20	9
3	30	9
4	36	9
5	44	9
6	62	9
7	84	9
8	109	9
done	109	9
0	8	10
1	15	9
2	25	9
3	32	9
4	38	9
5	47	9
6	66	9
7	90	9
8	103	9
done	103	9
0	8	9
1	13	9
2	20	9
3	30	9
4	36	9
5	44	9
6	62	9
7	84	9
8	109	9
done	109	9
0	8	10
1	19	9
2	37	9
3	77	9
4	184	9
5	525	9
6	1903	9
done	5000	9
0	8	9
1	18	9
2	32	9
3	73	9
4	175	9
5	508	9
6	1897	9
done	5000	9
0	7	8
1	16	8
2	37	8
3	96	8
4	287	8
5	970	8
6	4014	8
done	5000	8
0	7	8
1	13	8
2	24	8
3	62	8
4	176	8
5	577	8
6	2353	8
done	5001	8
0	10	23
1	31	21
2	135	13
3	744	9
4	4925	9
done	5000	9
0	10	23
1	32	21
2	133	11
3	766	9
4	4987	9
done	5000	9
0	8	17
1	14	17
2	25	17
3	61	17
4	170	17
5	547	17
6	2171	17
done	5000	17
0	7	8
1	13	8
2	24	8
3	60	8
4	169	8
5	547	8
6	2152	8
done	5001	8
0	8	23
1	21	23
2	76	9
3	376	9
4	2225	9
done	5000	9
0	7	8
1	13	8
2	24	8
3	61	8
4	170	8
5	545	8
6	2155	8
done	5000	8
0	7	8
1	13	8
2	24	8
3	61	8
4	170	8
5	545	8
6	2155	8
done	5000	8
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	3	4
1	6	4
done	6	4
0	7	9
1	11	9
2	18	9
3	42	9
4	103	9
5	287	9
6	966	9
7	3830	9
done	5000	9
0	6	6
1	10	6
2	17	6
3	41	6
4	102	6
5	284	6
6	962	6
7	3816	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	41	6
4	102	6
5	284	6
6	962	6
7	3816	6
done	5000	6
0	6	6
1	10	6
2	17	6
3	41	6
4	102	6
5	284	6
6	962	6
7	3816	6
done	5000	6
0	5	5
1	11	3
2	14	3
3	20	3
4	27	3
5	37	3
6	50	3
7	66	3
8	85	3
9	107	3
10	132	3
11	160	3
12	191	3
13	225	3
14	262	3
15	302	3
16	345	3
17	391	3
18	440	3
19	492	3
20	547	3
21	605	3
22	666	3
23	730	3
24	797	3
25	867	3
26	940	3
27	1016	3
28	1095	3
29	1177	3
30	1262	3
31	1350	3
32	1441	3
33	1535	3
34	1632	3
35	1732	3
36	1835	3
37	1941	3
38	2050	3
39	2162	3
40	2277	3
41	2395	3
42	2516	3
43	2640	3
44	2767	3
45	2897	3
46	3030	3
47	3166	3
48	3305	3
49	3447	3
50	3592	3
51	3740	3
52	3891	3
53	4045	3
54	4202	3
55	4362	3
56	4525	3
57	4691	3
58	4860	3
done	5000	3
0	5	5
1	9	5
2	16	5
3	40	5
4	103	5
5	290	5
6	973	5
7	3823	5
done	5000	5
0	7	11
1	13	11
2	20	11
3	39	11
4	81	11
5	188	11
6	561	11
7	1984	11
done	5001	11
0	6	6
1	10	6
2	15	6
3	33	6
4	75	6
5	186	6
6	559	6
7	1982	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	34	6
4	76	6
5	183	6
6	564	6
7	1989	6
done	5000	6
0	6	6
1	10	6
2	16	6
3	34	6
4	76	6
5	183	6
6	564	6
7	1989	6
done	5000	6
0	3	3
1	5	3
done	5	3
0	5	5
1	9	5
2	16	5
3	40	5
4	103	5
5	290	5
6	973	5
7	3823	5
done	5000	5
0	7	7
1	10	7
2	20	7
3	47	7
4	118	7
5	326	7
6	1132	7
7	4386	7
done	5000	7
0	7	7
1	10	7
2	20	7
3	47	7
4	118	7
5	326	7
6	1132	7
7	4386	7
done	5000	7
0	4	5
1	8	5
done	8	5
0	6	7
1	12	7
2	24	7
3	60	7
4	156	7
5	470	7
6	1713	7
done	5001	7
0	5	5
1	9	5
2	16	5
3	40	5
4	103	5
5	290	5
6	973	5
7	3823	5
done	5000	5
0	7	8
1	13	8
2	25	8
3	61	8
4	157	8
5	468	8
6	1722	8
done	5001	8
0	7	8
1	13	8
2	25	8
3	61	8
4	157	8
5	468	8
6	1722	8
done	5001	8
0	6	7
1	12	7
2	24	7
3	60	7
4	156	7
5	470	7
6	1713	7
done	5001	7
0	7	8
1	13	8
2	20	8
3	39	8
4	79	8
5	186	8
6	560	8
7	1960	8
done	5000	8
0	7	8
1	13	8
2	21	8
3	40	8
4	80	8
5	182	8
6	555	8
7	1955	8
done	5001	8
0	6	7
1	12	7
2	24	7
3	60	7
4	156	7
5	470	7
6	1713	7
done	5001	7
0	8	9
1	13	9
2	28	9
3	67	9
4	173	9
5	512	9
6	1879	9
done	5000	9
0	9	10
1	18	10
2	42	10
3	113	10
4	361	10
5	1320	10
done	5001	10
0	12	14
1	22	13
2	46	13
3	77	13
4	135	13
5	180	13
6	240	13
7	309	13
8	330	13
9	331	13
done	331	13
0	12	13
1	20	13
2	38	13
3	70	13
4	120	13
5	152	13
6	232	13
7	302	13
8	346	13
9	347	13
done	347	13
0	12	14
1	22	13
2	46	13
3	77	13
4	135	13
5	180	13
6	240	13
7	309	13
8	330	13
9	331	13
done	331	13
0	12	13
1	20	13
2	38	13
3	70	13
4	120	13
5	152	13
6	232	13
7	302	13
8	346	13
9	347	13
done	347	13
0	12	14
1	26	13
2	58	13
3	131	13
4	331	13
5	916	13
6	3211	13
done	5000	13
0	12	13
1	25	13
2	50	13
3	121	13
4	306	13
5	875	13
6	3232	13
done	5001	13
0	11	12
1	21	12
2	46	12
3	124	12
4	366	12
5	1320	12
done	5000	12
0	10	11
1	22	11
2	55	11
3	161	11
4	541	11
5	2039	11
done	5001	11
0	10	11
1	21	11
2	50	11
3	133	11
4	434	11
5	1656	11
done	5000	11
0	15	32
1	42	30
2	199	18
3	1480	14
done	5000	14
0	15	32
1	43	30
2	197	16
3	1516	14
done	5001	14
0	13	32
1	32	32
2	122	14
3	698	14
done	5000	14
0	11	23
1	20	23
2	44	23
3	115	23
4	363	23
5	1319	23
done	5000	23
0	10	11
1	19	11
2	43	11
3	114	11
4	368	11
5	1321	11
done	5000	11
0	11	32
1	30	32
2	115	12
3	694	12
done	5000	12
0	10	11
1	19	11
2	43	11
3	114	11
4	368	11
5	1321	11
done	5000	11
0	10	11
1	19	11
2	43	11
3	114	11
4	368	11
5	1321	11
done	5000	11
0	11	12
1	18	12
2	29	12
3	66	12
4	175	12
5	553	12
6	2162	12
done	5000	12
0	11	12
1	18	12
2	29	12
3	66	12
4	175	12
5	553	12
6	2162	12
done	5000	12
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2088	10
done	5000	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2088	10
done	5000	10
0	10	10
1	17	10
2	26	10
3	46	10
4	90	10
5	204	10
6	577	10
7	1993	10
done	5001	10
0	10	10
1	17	10
2	26	10
3	46	10
4	90	10
5	204	10
6	577	10
7	1993	10
done	5001	10
0	11	11
1	17	11
2	32	11
3	72	11
4	195	11
5	605	11
6	2238	11
done	5001	11
0	11	11
1	17	11
2	32	11
3	72	11
4	195	11
5	605	11
6	2238	11
done	5001	11
0	11	15
1	22	15
2	55	15
3	171	15
4	598	15
5	2396	15
done	5000	15
0	10	11
1	19	11
2	43	11
3	114	11
4	368	11
5	1317	11
done	5000	11
0	8	9
1	19	7
2	50	7
3	130	7
4	372	7
5	1028	7
6	3392	7
done	5000	7
0	10	11
1	17	11
2	28	11
3	64	11
4	173	11
5	551	11
6	2164	11
done	5000	11
0	10	11
1	17	11
2	28	11
3	65	11
4	174	11
5	555	11
6	2156	11
done	5000	11
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	8	8
1	15	8
2	27	8
3	64	8
4	181	8
5	567	8
6	2086	8
done	5000	8
0	9	9
1	16	9
2	24	9
3	44	9
4	88	9
5	198	9
6	576	9
7	1969	9
done	5000	9
0	9	9
1	16	9
2	25	9
3	45	9
4	89	9
5	203	9
6	576	9
7	1975	9
done	5000	9
0	8	8
1	15	8
2	27	8
3	64	8
4	181	8
5	567	8
6	2086	8
done	5000	8
0	10	10
1	16	10
2	31	10
3	71	10
4	194	10
5	603	10
6	2245	10
done	5001	10
0	9	10
1	18	10
2	42	10
3	113	10
4	361	10
5	1320	10
done	5001	10
0	7	8
1	14	8
2	24	6
3	55	6
4	90	6
done	90	6
0	6	6
1	11	6
2	20	6
3	46	6
4	116	6
5	312	6
6	1011	6
7	3788	6
done	5000	6
0	11	13
1	23	13
2	61	13
3	195	13
4	689	13
5	2933	13
done	5001	13
0	11	13
1	23	13
2	61	13
3	195	13
4	689	13
5	2933	13
done	5001	13
0	15	18
1	28	17
2	68	17
3	170	17
4	387	17
5	655	17
6	912	17
7	1141	17
8	1183	17
9	1184	17
done	1184	17
0	15	17
1	26	17
2	58	17
3	147	17
4	331	17
5	558	17
6	861	17
7	1134	17
8	1229	17
9	1230	17
done	1230	17
0	15	18
1	28	17
2	68	17
3	170	17
4	387	17
5	655	17
6	912	17
7	1141	17
8	1183	17
9	1184	17
done	1184	17
0	15	17
1	26	17
2	58	17
3	147	17
4	331	17
5	558	17
6	861	17
7	1134	17
8	1229	17
9	1230	17
done	1230	17
0	15	18
1	32	17
2	80	17
3	231	17
4	656	17
5	1992	17
done	5000	17
0	15	17
1	31	17
2	70	17
3	204	17
4	575	17
5	1773	17
done	5001	17
0	14	16
1	27	16
2	60	16
3	171	16
4	543	16
5	2086	16
done	5001	16
0	13	15
1	26	15
2	63	15
3	185	15
4	656	15
5	2577	15
done	5000	15
0	12	14
1	27	14
2	75	14
3	250	14
4	939	14
5	4159	14
done	5000	14
0	12	14
1	26	14
2	74	14
3	232	14
4	844	14
5	3856	14
done	5000	14
0	19	41
1	52	39
2	253	23
3	2171	19
done	5000	19
0	19	41
1	53	39
2	251	21
3	2219	19
done	5000	19
0	17	41
1	42	41
2	174	19
3	1112	19
done	5001	19
0	15	41
1	40	41
2	165	17
3	1169	17
done	5001	17
0	13	29
1	25	29
2	63	29
3	195	29
4	686	29
5	2945	29
done	5000	29
0	12	14
1	24	14
2	62	14
3	194	14
4	686	14
5	2939	14
done	5000	14
0	13	41
1	35	41
2	147	15
3	1082	15
done	5001	15
0	12	14
1	24	14
2	62	14
3	194	14
4	686	14
5	2939	14
done	5000	14
0	12	14
1	24	14
2	62	14
3	194	14
4	686	14
5	2939	14
done	5000	14
0	7	9
1	15	9
2	28	9
3	68	9
4	174	9
5	500	9
6	1730	9
done	5000	9
0	5	6
1	8	6
2	10	6
done	10	6
0	13	18
1	27	18
2	74	18
3	261	18
4	1018	18
5	4849	18
done	5000	18
0	12	14
1	24	14
2	62	14
3	194	14
4	686	14
5	2937	14
done	5001	14
0	11	12
1	25	10
2	69	10
3	203	10
4	700	10
5	2290	10
done	5000	10
0	4	5
1	5	5
done	5	5
0	10	13
1	22	13
2	55	13
3	166	13
4	566	13
5	2320	13
done	5000	13
0	8	9
1	16	9
2	33	9
3	78	9
4	202	9
5	619	9
6	2085	9
done	5000	9
0	24	39
1	65	37
2	229	33
3	1703	29
done	5000	29
0	33	67
1	88	63
2	377	59
3	3861	33
done	5001	33
0	34	68
1	93	66
2	397	48
3	3945	34
done	5000	34
0	12	12
1	28	11
2	45	9
3	104	7
4	355	7
5	1682	7
done	5000	7
0	18	22
1	45	20
2	95	16
3	271	15
4	918	14
5	4006	14
done	5000	14
0	20	24
1	50	23
2	107	19
3	332	17
4	1199	17
done	5000	17
0	21	33
1	54	31
2	149	27
3	717	23
done	5000	17
0	20	23
1	47	21
2	99	19
3	259	18
4	893	17
5	4463	17
done	5001	17
0	22	25
1	52	24
2	111	22
3	324	20
4	1178	20
done	5002	20
0	22	35
1	53	33
2	149	29
3	741	25
done	5000	25
0	23	28
1	56	26
2	157	24
3	726	23
4	4858	22
done	5000	22
0	25	30
1	61	29
2	169	27
3	794	25
done	5000	25

prune499.0ms

Filtered

133 candidates to 156 candidates (-17.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	141	15	156
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	142	15	157

Merged error: 21.3b

Counts

157 → 15

localize31.0ms

Local error

Found 4 expressions with local error:

3.1b	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
3.2b	(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
7.1b	(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
15.6b	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

346×	`add-exp-log`
203×	`prod-exp`
97×	`div-exp`
82×	`add-cbrt-cube`
55×	`associate-*l/`
46×	`cbrt-unprod`
41×	`pow-exp`
35×	`frac-times`
32×	`pow1`
28×	`pow-to-exp`
22×	`*-un-lft-identity`
19×	`pow-prod-down`
17×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`tan-quot`
15×	`times-frac` `associate-*r/`
13×	`cbrt-undiv`
11×	`associate-r`
8×	`flip3-+` `flip-+`
5×	`associate-/l*`
4×	`unpow-prod-down` `add-log-exp` `sqr-pow`
3×	`associate-l` `associate-/r` `-commutative` `distribute-lft-out`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `div-inv`

Counts

4 → 204

Calls

4 calls:

20.0ms	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
16.0ms	(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
6.0ms	(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
36.0ms	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series439.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
75.0ms	(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k))
50.0ms	(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
216.0ms	(* (* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify9.7min

Counts

216 → 216

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	22	32
1	53	32
2	170	32
3	858	32
done	5001	32
0	22	32
1	53	32
2	170	32
3	858	32
done	5001	32
0	22	32
1	53	32
2	170	32
3	858	32
done	5001	32
0	22	32
1	53	32
2	170	32
3	858	32
done	5001	32
0	27	40
1	53	38
2	143	38
3	611	38
4	2567	32
done	5001	32
0	27	40
1	53	38
2	143	38
3	611	38
4	2567	32
done	5001	32
0	28	40
1	57	38
2	155	38
3	661	38
4	3351	32
done	5001	32
0	28	39
1	55	37
2	145	37
3	588	37
4	2817	32
done	5000	32
0	28	39
1	54	39
2	141	38
3	607	38
4	2579	32
done	5000	32
0	28	39
1	54	39
2	141	38
3	607	38
4	2579	32
done	5000	32
0	28	39
1	58	39
2	153	38
3	665	38
4	3368	32
done	5001	32
0	28	38
1	56	38
2	143	37
3	595	37
4	2852	32
done	5000	32
0	28	39
1	54	39
2	141	38
3	607	38
4	2579	32
done	5000	32
0	28	39
1	54	39
2	141	38
3	607	38
4	2579	32
done	5000	32
0	28	39
1	58	39
2	153	38
3	665	38
4	3368	32
done	5001	32
0	28	38
1	56	38
2	143	37
3	595	37
4	2852	32
done	5000	32
0	28	39
1	57	39
2	151	39
3	643	38
4	3061	36
done	5000	36
0	28	39
1	57	39
2	151	39
3	643	38
4	3061	36
done	5000	36
0	28	39
1	60	39
2	160	39
3	682	38
4	3259	36
done	5000	36
0	28	38
1	57	38
2	148	38
3	611	37
4	2719	36
done	5001	36
0	28	38
1	54	38
2	134	38
3	540	38
4	2434	36
done	5001	36
0	28	38
1	54	38
2	134	38
3	540	38
4	2434	36
done	5001	36
0	28	38
1	57	38
2	143	38
3	584	38
4	2880	36
done	5000	36
0	27	37
1	53	37
2	132	37
3	488	37
4	2215	37
done	5000	37
0	26	36
1	52	36
2	118	36
3	373	36
4	1656	36
done	5000	36
0	25	35
1	51	35
2	121	35
3	386	35
4	1756	35
done	5001	35
0	24	34
1	50	34
2	130	34
3	444	34
4	2124	34
done	5000	34
0	23	33
1	57	33
2	184	33
3	941	33
done	5000	33
0	23	33
1	56	33
2	188	33
3	975	33
done	5000	33
0	34	98
1	100	89
2	487	46
3	4609	42
done	5000	42
0	34	98
1	98	92
2	447	44
3	3907	42
done	5000	42
0	34	98
1	98	95
2	449	44
3	3855	42
done	5000	42
0	32	98
1	92	98
2	399	42
3	3146	42
done	5001	42
0	30	98
1	86	98
2	387	40
3	3085	40
done	5001	40
0	28	98
1	81	98
2	359	38
3	2935	38
done	5000	38
0	26	98
1	76	98
2	327	36
3	2778	36
done	5000	36
0	24	67
1	55	67
2	172	67
3	863	67
done	5001	67
0	23	33
1	54	33
2	171	33
3	869	33
done	5001	33
0	24	98
1	65	98
2	301	34
3	2739	34
done	5000	34
0	23	33
1	54	33
2	171	33
3	869	33
done	5001	33
0	23	33
1	54	33
2	171	33
3	869	33
done	5001	33
0	21	32
1	60	32
2	197	32
3	1045	32
done	5000	32
0	17	36
1	46	34
2	155	34
3	634	26
4	2612	25
done	5001	25
0	20	38
1	51	38
2	161	38
3	801	36
done	5001	36
0	13	16
1	28	16
2	78	16
3	238	14
4	471	12
5	1360	12
done	5000	12
0	23	34
1	64	34
2	210	34
3	1150	34
done	5000	34
0	16	34
1	43	32
2	136	32
3	482	24
4	1908	23
done	5001	23
0	22	40
1	55	40
2	174	40
3	887	38
done	5001	38
0	12	14
1	25	14
2	67	14
3	159	12
4	286	10
5	883	10
6	3652	10
done	5000	10
0	23	34
1	64	34
2	210	34
3	1129	34
done	5001	34
0	16	34
1	43	32
2	136	32
3	482	24
4	1908	23
done	5001	23
0	22	40
1	55	40
2	174	40
3	859	38
done	5000	38
0	12	14
1	25	14
2	67	14
3	159	12
4	286	10
5	883	10
6	3652	10
done	5000	10
0	24	36
1	67	36
2	218	36
3	1138	36
done	5001	36
0	14	32
1	38	30
2	105	30
3	337	22
4	1249	21
5	4739	20
done	5000	20
0	23	42
1	58	42
2	182	42
3	888	40
done	5000	40
0	10	12
1	20	12
2	44	12
3	83	10
4	151	8
5	474	8
6	1877	8
done	5001	8
0	22	32
1	61	32
2	204	32
3	1171	32
done	5000	32
0	15	33
1	41	31
2	126	31
3	416	23
4	1589	22
done	5000	22
0	21	38
1	52	38
2	168	38
3	889	36
done	5001	36
0	11	13
1	23	13
2	61	13
3	123	11
4	221	9
5	700	9
6	2835	9
done	5001	9
0	24	34
1	65	34
2	217	34
3	1300	34
done	5000	34
0	14	31
1	38	29
2	105	29
3	337	21
4	1251	20
5	4762	19
done	5000	19
0	23	40
1	56	40
2	181	40
3	961	38
done	5000	38
0	10	11
1	20	11
2	44	11
3	83	9
4	151	7
5	474	7
6	1895	7
done	5000	7
0	24	34
1	65	34
2	217	34
3	1269	34
done	5000	34
0	14	31
1	38	29
2	105	29
3	337	21
4	1251	20
5	4762	19
done	5000	19
0	23	40
1	56	40
2	181	40
3	938	38
done	5000	38
0	10	11
1	20	11
2	44	11
3	83	9
4	151	7
5	474	7
6	1895	7
done	5000	7
0	21	30
1	51	30
2	165	30
3	829	30
done	5001	30
0	17	24
1	37	24
2	113	24
3	471	24
4	2445	24
done	5000	24
0	21	30
1	45	30
2	133	30
3	598	30
4	3708	30
done	5000	30
0	17	24
1	37	24
2	112	24
3	468	24
4	2514	24
done	5000	24
0	24	44
1	51	44
2	142	44
3	597	44
4	3283	44
done	5000	44
0	23	33
1	48	33
2	130	33
3	506	33
4	2543	33
done	5001	33
0	17	24
1	39	22
2	121	22
3	436	22
4	2205	22
done	5001	22
0	17	24
1	39	22
2	121	22
3	436	22
4	2205	22
done	5001	22
0	17	24
1	39	22
2	121	22
3	436	22
4	2205	22
done	5001	22
0	10	12
1	23	12
2	38	12
3	70	12
4	130	12
5	297	12
6	929	12
7	3397	12
done	5001	12
0	25	36
1	68	36
2	225	36
3	1279	36
done	5001	36
0	24	42
1	59	42
2	189	42
3	959	40
done	5001	40
0	18	28
1	45	28
2	142	28
3	687	28
4	4065	28
done	5000	28
0	20	30
1	49	30
2	155	30
3	764	30
4	4436	30
done	5000	30
0	20	30
1	49	30
2	155	30
3	755	30
4	4454	30
done	5000	30
0	21	32
1	52	32
2	165	32
3	782	32
4	4560	32
done	5000	32
0	19	28
1	46	28
2	149	28
3	795	28
done	5000	28
0	21	30
1	50	30
2	162	30
3	872	30
done	5000	30
0	21	30
1	50	30
2	162	30
3	855	30
done	5001	30
0	9	12
1	14	10
2	23	10
3	34	10
4	36	10
5	38	10
6	42	10
7	53	10
8	69	10
9	141	10
10	170	10
11	203	10
12	217	10
13	218	10
done	218	10
0	9	11
1	14	11
2	21	10
3	33	10
4	38	10
5	40	10
6	44	10
7	55	10
8	71	10
9	143	10
10	172	10
11	205	10
12	219	10
13	220	10
done	220	10
0	9	11
1	14	11
2	21	10
3	33	10
4	38	10
5	40	10
6	44	10
7	55	10
8	71	10
9	143	10
10	172	10
11	205	10
12	219	10
13	220	10
done	220	10
0	9	11
1	17	11
2	28	11
3	62	10
4	161	10
5	465	10
6	1586	10
done	5000	10
0	8	10
1	15	10
2	28	10
3	67	10
4	187	10
5	607	10
6	2236	10
done	5001	10
0	8	10
1	12	10
2	19	10
3	43	10
4	106	10
5	297	10
6	1031	10
7	4186	10
done	5001	10
0	11	29
1	26	23
2	84	13
3	338	11
4	1630	11
done	5000	11
0	9	21
1	13	21
2	20	21
3	44	21
4	107	21
5	290	21
6	972	21
7	3826	21
done	5000	21
0	8	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3831	10
done	5000	10
0	9	29
1	20	29
2	50	11
3	167	11
4	745	11
5	4268	11
done	5000	11
0	8	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3831	10
done	5000	10
0	8	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	973	10
7	3831	10
done	5000	10
0	6	8
1	10	8
2	18	8
3	43	8
4	107	8
5	286	8
6	978	8
7	3760	8
done	5001	8
0	2	2
done	2	2
0	8	10
1	14	10
2	25	10
3	61	10
4	168	10
5	549	10
6	2163	10
done	5000	10
0	7	7
1	11	7
2	18	7
3	42	7
4	103	7
5	285	7
6	971	7
7	3823	7
done	5000	7
0	7	7
1	11	7
2	18	7
3	42	7
4	103	7
5	285	7
6	971	7
7	3823	7
done	5000	7
0	7	7
1	11	7
2	18	7
3	42	7
4	103	7
5	285	7
6	971	7
7	3823	7
done	5000	7
0	6	6
1	12	4
2	21	4
3	47	4
4	119	4
5	341	4
6	1267	4
done	5000	4
0	6	6
1	10	6
2	17	6
3	41	6
4	102	6
5	284	6
6	962	6
7	3816	6
done	5000	6
0	11	23
1	21	23
2	35	23
3	59	23
4	99	23
5	206	23
6	582	23
7	1988	23
done	5001	23
0	9	11
1	13	11
2	18	11
3	36	11
4	76	11
5	186	11
6	566	11
7	1975	11
done	5000	11
0	10	20
1	16	20
2	23	20
3	42	20
4	82	20
5	184	20
6	558	20
7	1969	20
done	5000	20
0	9	11
1	13	11
2	18	11
3	36	11
4	76	11
5	186	11
6	566	11
7	1975	11
done	5000	11
0	9	19
1	17	17
2	28	17
3	51	17
4	90	17
5	192	17
6	557	17
7	1968	17
done	5001	17
0	8	10
1	12	10
2	17	10
3	35	10
4	75	10
5	179	10
6	550	10
7	1960	10
done	5001	10
0	10	14
1	16	14
2	22	14
3	40	14
4	80	14
5	184	14
6	561	14
7	1964	14
done	5000	14
0	9	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1978	11
done	5000	11
0	9	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1978	11
done	5000	11
0	9	11
1	13	11
2	19	11
3	37	11
4	77	11
5	181	11
6	552	11
7	1978	11
done	5000	11
0	8	10
1	14	8
2	22	8
3	40	8
4	79	8
5	179	8
6	545	8
7	1946	8
done	5000	8
0	8	10
1	12	10
2	18	10
3	36	10
4	76	10
5	186	10
6	569	10
7	1967	10
done	5000	10
0	5	7
1	9	7
done	9	7
0	8	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	970	10
7	3827	10
done	5001	10
0	4	4
1	6	4
done	6	4
0	8	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	970	10
7	3827	10
done	5001	10
0	2	3
1	4	1
done	4	1
0	7	9
1	11	9
2	18	9
3	42	9
4	103	9
5	287	9
6	966	9
7	3830	9
done	5000	9
0	11	15
1	16	15
2	30	15
3	69	15
4	186	15
5	588	15
6	2340	15
done	5000	15
0	10	12
1	13	12
2	23	12
3	50	12
4	119	12
5	324	12
6	1142	12
7	4404	12
done	5000	12
0	10	12
1	13	12
2	23	12
3	50	12
4	119	12
5	324	12
6	1142	12
7	4404	12
done	5000	12
0	10	12
1	13	12
2	23	12
3	50	12
4	119	12
5	324	12
6	1142	12
7	4404	12
done	5000	12
0	9	11
1	14	9
2	26	9
3	55	9
4	135	9
5	374	9
6	1453	9
done	5000	9
0	9	11
1	12	11
2	22	11
3	49	11
4	118	11
5	326	11
6	1141	11
7	4413	11
done	5000	11
0	3	3
1	5	3
done	5	3
0	7	9
1	11	9
2	18	9
3	40	9
4	95	9
5	236	9
6	718	9
7	2549	9
done	5001	9
0	9	13
1	15	13
2	26	13
3	62	13
4	169	13
5	547	13
6	2169	13
done	5000	13
0	8	10
1	12	10
2	19	10
3	43	10
4	104	10
5	288	10
6	970	10
7	3827	10
done	5001	10
0	7	9
1	13	7
2	22	7
3	48	7
4	120	7
5	342	7
6	1267	7
done	5000	7
0	6	6
1	10	6
2	17	6
3	39	6
4	92	6
5	236	6
6	718	6
7	2562	6
done	5000	6
0	8	10
1	12	10
2	17	10
3	35	10
4	75	10
5	181	10
6	552	10
7	1978	10
done	5001	10
0	8	10
1	12	10
2	18	10
3	36	10
4	78	10
5	182	10
6	562	10
7	1973	10
done	5001	10
0	7	9
1	11	9
2	18	9
3	40	9
4	95	9
5	236	9
6	718	9
7	2549	9
done	5001	9
0	9	11
1	12	11
2	22	11
3	47	11
4	108	11
5	278	11
6	885	11
7	3149	11
done	5000	11
0	13	19
1	27	19
2	69	19
3	215	19
4	957	19
done	5000	19
0	13	19
1	27	19
2	69	19
3	215	19
4	957	19
done	5000	19
0	16	25
1	31	23
2	79	23
3	228	23
4	580	17
5	1136	16
6	1606	16
7	1835	16
8	1871	16
done	1871	16
0	16	25
1	31	23
2	79	23
3	228	23
4	580	17
5	1136	16
6	1606	16
7	1835	16
8	1871	16
done	1871	16
0	17	25
1	35	23
2	91	23
3	286	23
4	1054	17
5	4381	16
done	5000	16
0	17	24
1	33	22
2	83	22
3	253	22
4	926	17
5	4326	16
done	5000	16
0	17	24
1	31	24
2	77	23
3	228	23
4	589	17
5	1148	16
6	1620	16
7	1854	16
8	1890	16
done	1890	16
0	17	24
1	31	24
2	77	23
3	228	23
4	589	17
5	1148	16
6	1620	16
7	1854	16
8	1890	16
done	1890	16
0	17	24
1	36	24
2	89	23
3	284	23
4	1049	17
5	4338	16
done	5000	16
0	17	23
1	34	23
2	81	22
3	254	22
4	926	17
5	4337	16
done	5000	16
0	17	24
1	31	24
2	77	23
3	228	23
4	589	17
5	1148	16
6	1620	16
7	1854	16
8	1890	16
done	1890	16
0	17	24
1	31	24
2	77	23
3	228	23
4	589	17
5	1148	16
6	1620	16
7	1854	16
8	1890	16
done	1890	16
0	17	24
1	36	24
2	89	23
3	284	23
4	1049	17
5	4338	16
done	5000	16
0	17	23
1	34	23
2	81	22
3	254	22
4	926	17
5	4337	16
done	5000	16
0	17	24
1	35	24
2	87	24
3	265	23
4	876	21
5	2888	16
done	5001	16
0	17	24
1	35	24
2	87	24
3	265	23
4	876	21
5	2888	16
done	5001	16
0	17	24
1	38	24
2	96	24
3	308	23
4	1037	21
5	4144	16
done	5001	16
0	17	23
1	35	23
2	86	23
3	272	22
4	907	21
5	4054	16
done	5000	16
0	17	23
1	32	23
2	72	23
3	215	23
4	706	21
5	2918	16
done	5001	16
0	17	23
1	32	23
2	72	23
3	215	23
4	706	21
5	2918	16
done	5001	16
0	17	23
1	35	23
2	81	23
3	258	23
4	959	21
5	4365	16
done	5000	16
0	16	22
1	31	22
2	72	22
3	221	22
4	768	22
5	3864	19
done	5000	19
0	15	21
1	30	21
2	66	21
3	208	21
4	897	21
done	5001	20
0	14	20
1	31	20
2	81	20
3	273	20
4	1259	20
done	5000	20
0	14	20
1	30	20
2	80	20
3	248	20
4	1086	20
done	5000	20
0	21	59
1	58	50
2	281	29
3	2400	25
done	5001	25
0	21	59
1	56	53
2	241	27
3	1699	25
done	5000	25
0	21	59
1	56	56
2	243	27
3	1744	25
done	5000	25
0	19	59
1	50	59
2	193	25
3	1087	25
done	5001	25
0	17	59
1	44	59
2	177	23
3	1065	23
done	5000	23
0	15	41
1	29	41
2	71	41
3	217	41
4	959	41
done	5000	41
0	14	20
1	28	20
2	68	20
3	214	20
4	948	20
done	5000	20
0	15	59
1	39	59
2	163	21
3	1022	21
done	5001	21
0	14	20
1	28	20
2	68	20
3	214	20
4	948	20
done	5000	20
0	14	20
1	28	20
2	68	20
3	214	20
4	948	20
done	5000	20
0	15	24
1	31	24
2	82	24
3	276	24
4	1324	24
done	5001	24
0	14	20
1	28	20
2	70	20
3	216	20
4	957	20
done	5000	20
0	12	18
1	28	16
2	76	16
3	242	16
4	992	16
5	4783	16
done	5000	16
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	10	15
1	20	15
2	50	15
3	154	15
4	607	15
5	3097	15
done	5000	15
0	12	17
1	24	17
2	61	17
3	198	17
4	838	17
5	4722	17
done	5000	17
0	12	17
1	24	17
2	61	17
3	198	17
4	824	17
5	4809	17
done	5000	17
0	15	22
1	32	22
2	92	22
3	325	22
4	1560	22
done	5000	22
0	15	22
1	32	22
2	92	22
3	325	22
4	1560	22
done	5000	22
0	15	22
1	32	22
2	92	22
3	325	22
4	1560	22
done	5000	22
0	19	29
1	37	27
2	103	27
3	381	27
4	1256	21
5	3077	20
done	5000	20
0	19	29
1	37	27
2	103	27
3	381	27
4	1256	21
5	3077	20
done	5000	20
0	20	29
1	41	27
2	115	27
3	442	27
4	1880	21
done	5001	21
0	20	28
1	39	26
2	105	26
3	387	26
4	1589	21
done	5000	21
0	20	28
1	37	28
2	101	27
3	380	27
4	1252	21
5	3065	20
done	5001	20
0	20	28
1	37	28
2	101	27
3	380	27
4	1252	21
5	3065	20
done	5001	20
0	20	28
1	42	28
2	113	27
3	441	27
4	1875	21
done	5000	21
0	20	27
1	40	27
2	103	26
3	385	26
4	1587	21
done	5000	21
0	20	28
1	37	28
2	101	27
3	380	27
4	1252	21
5	3065	20
done	5001	20
0	20	28
1	37	28
2	101	27
3	380	27
4	1252	21
5	3065	20
done	5001	20
0	20	28
1	42	28
2	113	27
3	441	27
4	1875	21
done	5000	21
0	20	27
1	40	27
2	103	26
3	385	26
4	1587	21
done	5000	21
0	20	28
1	41	28
2	111	28
3	416	27
4	1630	25
done	5001	25
0	20	28
1	41	28
2	111	28
3	416	27
4	1630	25
done	5001	25
0	20	28
1	44	28
2	120	28
3	461	27
4	1805	25
done	5000	25
0	20	27
1	41	27
2	108	27
3	406	26
4	1514	25
done	5000	25
0	20	27
1	38	27
2	94	27
3	341	27
4	1296	25
done	5000	25
0	20	27
1	38	27
2	94	27
3	341	27
4	1296	25
done	5000	25
0	20	27
1	41	27
2	103	27
3	382	27
4	1633	25
done	5001	25
0	19	26
1	37	26
2	92	26
3	318	26
4	1254	26
done	5000	26
0	18	25
1	36	25
2	80	25
3	256	25
4	1144	25
done	5000	25
0	17	24
1	35	24
2	89	24
3	300	24
4	1407	24
done	5000	24
0	16	23
1	36	23
2	106	23
3	385	23
4	1883	23
done	5000	23
0	16	23
1	35	23
2	107	23
3	372	23
4	1755	23
done	5000	23
0	25	68
1	68	59
2	337	34
3	3091	30
done	5001	30
0	25	68
1	66	62
2	295	32
3	2420	30
done	5000	30
0	25	68
1	66	65
2	297	32
3	2352	30
done	5000	30
0	23	68
1	60	68
2	247	30
3	1682	30
done	5000	30
0	21	68
1	54	68
2	233	28
3	1628	28
done	5000	28
0	19	68
1	49	68
2	207	26
3	1563	26
done	5001	26
0	17	47
1	34	47
2	92	47
3	323	47
4	1547	47
done	5001	47
0	16	23
1	33	23
2	93	23
3	324	23
4	1552	23
done	5001	23
0	17	68
1	44	68
2	181	24
3	1343	24
done	5000	24
0	16	23
1	33	23
2	93	23
3	324	23
4	1552	23
done	5001	23
0	16	23
1	33	23
2	93	23
3	324	23
4	1552	23
done	5001	23
0	11	18
1	24	18
2	62	18
3	220	18
4	904	18
5	4787	18
done	5000	18
0	5	6
1	8	6
2	10	6
done	10	6
0	13	20
1	28	20
2	75	20
3	272	20
4	1193	20
done	5000	20
0	4	4
1	5	4
done	5	4
0	13	20
1	28	20
2	75	20
3	266	20
4	1176	20
done	5000	20
0	4	4
1	5	4
done	5	4
0	17	27
1	36	27
2	103	27
3	396	27
4	2022	27
done	5000	27
0	16	23
1	33	23
2	93	23
3	325	23
4	1549	23
done	5000	23
0	15	21
1	34	19
2	98	19
3	305	19
4	1364	19
done	5001	19
0	4	5
1	5	5
done	5	5
0	14	22
1	31	22
2	85	22
3	288	22
4	1334	22
done	5001	22
0	12	18
1	25	18
2	69	18
3	255	18
4	1131	18
done	5000	18
0	14	20
1	29	20
2	82	20
3	312	20
4	1406	20
done	5000	20
0	14	20
1	29	20
2	82	20
3	302	20
4	1370	20
done	5000	20
0	24	39
1	65	37
2	229	33
3	1703	29
done	5000	29
0	33	67
1	88	63
2	377	59
3	3861	33
done	5001	33
0	38	77
1	108	75
2	470	57
done	5000	48
0	10	10
1	22	9
2	30	7
3	54	5
4	113	5
5	260	5
6	644	5
7	1826	5
done	5001	5
0	16	20
1	40	18
2	74	14
3	181	13
4	395	12
5	973	12
6	2623	12
done	5001	12
0	20	23
1	48	22
2	95	17
3	217	13
4	594	13
5	1715	13
done	5000	13
0	21	33
1	54	31
2	149	27
3	717	23
done	5000	17
0	20	23
1	47	21
2	99	19
3	259	18
4	893	17
5	4463	17
done	5001	17
0	24	26
1	54	25
2	113	23
3	324	21
4	1148	21
done	5000	21
0	22	35
1	53	33
2	149	29
3	741	25
done	5000	25
0	23	28
1	56	26
2	157	24
3	726	23
4	4858	22
done	5000	22
0	27	31
1	63	30
2	171	28
3	797	26
done	5000	26

prune697.0ms

Filtered

167 candidates to 216 candidates (-29.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	207	9	216
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	212	19	231

Merged error: 18.4b

Counts

231 → 19

localize25.0ms

Local error

Found 4 expressions with local error:

0.8b	(pow (cbrt t) 3.0)
3.1b	(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
3.2b	(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k))
15.6b	(* (* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite136.0ms

Algorithm

rewrite-expression-head

Rules

891×	`add-exp-log`
622×	`prod-exp`
225×	`div-exp`
124×	`pow-to-exp` `pow-exp`
119×	`add-cbrt-cube`
76×	`cbrt-unprod`
55×	`associate-*l/`
35×	`frac-times`
33×	`pow1` `associate-*r/`
19×	`pow-prod-down`
16×	`tan-quot`
15×	`cbrt-undiv` `*-un-lft-identity`
11×	`associate-r`
10×	`add-sqr-sqrt` `add-cube-cbrt`
8×	`flip3-+` `flip-+`
6×	`unpow-prod-down`
4×	`add-log-exp`
3×	`cbrt-prod` `pow-unpow` `associate-l` `*-commutative` `distribute-lft-out`
2×	`pow-pow`
1×	`distribute-rgt-in` `distribute-lft-in` `pow1/3` `sqr-pow`

Counts

4 → 289

Calls

4 calls:

3.0ms	(pow (cbrt t) 3.0)
29.0ms	(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
28.0ms	(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k))
45.0ms	(* (* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series447.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(pow (cbrt t) 3.0)
99.0ms	(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k))
76.0ms	(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k))
217.0ms	(* (* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (/ (pow (cbrt t) 3.0) l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify14.3min

Counts

301 → 301

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	34
1	52	34
2	185	31
3	1096	31
done	5000	31
0	20	34
1	52	34
2	185	31
3	1096	31
done	5000	31
0	20	34
1	52	34
2	185	31
3	1096	31
done	5000	31
0	20	34
1	52	34
2	185	31
3	1096	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	28	42
1	58	42
2	156	38
3	676	35
4	3785	31
done	5000	31
0	28	41
1	57	41
2	153	37
3	645	37
4	3512	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	28	42
1	58	42
2	156	38
3	676	35
4	3785	31
done	5000	31
0	28	41
1	57	41
2	153	37
3	645	37
4	3512	31
done	5000	31
0	28	42
1	58	42
2	155	38
3	672	35
4	3773	31
done	5000	31
0	28	42
1	58	42
2	155	38
3	672	35
4	3773	31
done	5000	31
0	27	42
1	56	42
2	154	35
3	678	35
4	3852	31
done	5000	31
0	29	41
1	56	40
2	150	37
3	676	34
4	3767	31
done	5000	31
0	28	41
1	57	41
2	153	40
3	628	37
4	3540	31
done	5000	31
0	28	41
1	57	41
2	153	40
3	628	37
4	3540	31
done	5000	31
0	29	41
1	56	40
2	148	40
3	639	34
4	3725	31
done	5000	31
0	26	40
1	52	40
2	133	34
3	561	34
4	3030	33
done	5000	33
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	28	42
1	58	42
2	156	38
3	676	35
4	3785	31
done	5000	31
0	28	41
1	57	41
2	153	37
3	645	37
4	3512	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	25	42
1	51	42
2	143	35
3	610	35
4	2719	31
done	5000	31
0	28	42
1	58	42
2	156	38
3	676	35
4	3785	31
done	5000	31
0	28	41
1	57	41
2	153	37
3	645	37
4	3512	31
done	5000	31
0	28	42
1	58	42
2	155	38
3	672	35
4	3773	31
done	5000	31
0	28	42
1	58	42
2	155	38
3	672	35
4	3773	31
done	5000	31
0	27	42
1	56	42
2	154	35
3	678	35
4	3852	31
done	5000	31
0	29	41
1	56	40
2	150	37
3	676	34
4	3767	31
done	5000	31
0	28	41
1	57	41
2	153	40
3	628	37
4	3540	31
done	5000	31
0	28	41
1	57	41
2	153	40
3	628	37
4	3540	31
done	5000	31
0	29	41
1	56	40
2	148	40
3	639	34
4	3725	31
done	5000	31
0	26	40
1	52	40
2	133	34
3	561	34
4	3030	33
done	5000	33
0	27	42
1	56	42
2	154	35
3	678	35
4	3858	31
done	5000	31
0	27	42
1	56	42
2	154	35
3	678	35
4	3858	31
done	5000	31
0	28	42
1	58	42
2	155	38
3	672	35
4	3740	31
done	5001	31
0	29	41
1	56	40
2	150	37
3	676	34
4	3756	31
done	5000	31
0	27	42
1	56	42
2	154	35
3	678	35
4	3858	31
done	5000	31
0	27	42
1	56	42
2	154	35
3	678	35
4	3858	31
done	5000	31
0	28	42
1	58	42
2	155	38
3	672	35
4	3740	31
done	5001	31
0	29	41
1	56	40
2	150	37
3	676	34
4	3756	31
done	5000	31
0	28	42
1	58	42
2	156	38
3	676	35
4	3784	31
done	5000	31
0	28	42
1	58	42
2	156	38
3	676	35
4	3784	31
done	5000	31
0	25	42
1	55	42
2	155	35
3	692	35
4	3833	31
done	5001	31
0	27	41
1	55	40
2	151	37
3	668	34
4	3665	31
done	5000	31
0	29	41
1	56	40
2	148	40
3	644	34
4	3739	31
done	5000	31
0	29	41
1	56	40
2	148	40
3	644	34
4	3739	31
done	5000	31
0	27	41
1	55	40
2	148	40
3	640	34
4	3697	31
done	5000	31
0	25	40
1	51	40
2	132	34
3	562	34
4	3023	33
done	5000	33
0	28	40
1	58	40
2	150	36
3	584	36
4	3128	34
done	5000	34
0	28	40
1	58	40
2	150	36
3	584	36
4	3128	34
done	5000	34
0	27	40
1	57	40
2	148	36
3	590	36
4	3125	34
done	5000	34
0	25	39
1	51	39
2	135	36
3	541	34
4	2697	32
done	5000	32
0	24	38
1	51	38
2	131	35
3	460	35
4	2181	30
done	5001	30
0	23	37
1	50	37
2	139	34
3	488	34
4	2350	29
done	5001	29
0	22	36
1	49	36
2	145	33
3	579	33
4	2973	28
done	5000	28
0	21	35
1	56	35
2	199	32
3	1191	32
done	5000	32
0	21	35
1	55	35
2	203	32
3	1227	32
done	5000	32
0	30	104
1	90	95
2	460	50
3	4619	41
done	5000	41
0	33	104
1	99	98
2	473	46
3	4494	37
done	5000	37
0	33	104
1	99	98
2	472	46
3	4593	37
done	5000	37
0	30	104
1	89	101
2	419	46
3	3586	37
done	5000	37
0	33	104
1	98	92
2	475	43
3	4546	41
done	5000	41
0	30	104
1	89	104
2	422	41
3	3788	41
done	5000	41
0	28	104
1	84	104
2	399	39
3	3402	39
done	5000	39
0	26	104
1	80	104
2	379	37
3	3445	37
done	5001	37
0	24	104
1	75	104
2	342	35
3	3171	35
done	5000	35
0	22	71
1	54	71
2	187	65
3	1089	65
done	5001	65
0	21	35
1	53	35
2	186	32
3	1100	32
done	5001	32
0	22	104
1	64	104
2	316	33
3	3200	33
done	5000	33
0	21	35
1	53	35
2	186	32
3	1100	32
done	5001	32
0	21	35
1	53	35
2	186	32
3	1100	32
done	5001	32
0	20	34
1	59	31
2	196	26
3	1000	26
done	5000	26
0	17	36
1	46	34
2	155	34
3	634	26
4	2612	25
done	5001	25
0	19	40
1	50	37
2	161	32
3	786	30
done	5000	30
0	13	16
1	28	16
2	78	16
3	238	14
4	471	12
5	1360	12
done	5000	12
0	22	36
1	62	36
2	212	33
3	1161	28
done	5000	28
0	16	34
1	43	32
2	136	32
3	482	24
4	1908	23
done	5001	23
0	21	42
1	53	42
2	176	39
3	907	32
done	5001	32
0	12	14
1	25	14
2	67	14
3	159	12
4	286	10
5	883	10
6	3652	10
done	5000	10
0	22	36
1	65	33
2	222	33
3	1256	28
done	5000	28
0	16	34
1	43	32
2	136	32
3	482	24
4	1908	23
done	5001	23
0	21	42
1	56	39
2	186	39
3	938	32
done	5000	32
0	12	14
1	25	14
2	67	14
3	159	12
4	286	10
5	883	10
6	3652	10
done	5000	10
0	22	38
1	66	38
2	233	35
3	1363	35
done	5001	35
0	14	32
1	38	30
2	105	30
3	337	22
4	1249	21
5	4739	20
done	5000	20
0	21	44
1	57	44
2	197	41
3	1054	39
done	5001	39
0	10	12
1	20	12
2	44	12
3	83	10
4	151	8
5	474	8
6	1877	8
done	5001	8
0	21	34
1	60	31
2	203	26
3	1111	26
done	5000	26
0	15	33
1	41	31
2	126	31
3	416	23
4	1589	22
done	5000	22
0	20	40
1	51	37
2	168	32
3	839	30
done	5001	30
0	11	13
1	23	13
2	61	13
3	123	11
4	221	9
5	700	9
6	2835	9
done	5001	9
0	23	36
1	63	36
2	219	33
3	1303	28
done	5000	28
0	14	31
1	38	29
2	105	29
3	337	21
4	1251	20
5	4762	19
done	5000	19
0	22	42
1	54	42
2	183	39
3	1000	32
done	5000	32
0	10	11
1	20	11
2	44	11
3	83	9
4	151	7
5	474	7
6	1895	7
done	5000	7
0	23	36
1	66	33
2	229	33
3	1397	28
done	5000	28
0	14	31
1	38	29
2	105	29
3	337	21
4	1251	20
5	4762	19
done	5000	19
0	22	42
1	57	39
2	193	39
3	1029	32
done	5000	32
0	10	11
1	20	11
2	44	11
3	83	9
4	151	7
5	474	7
6	1895	7
done	5000	7
0	19	32
1	50	32
2	178	29
3	1078	29
done	5000	29
0	15	26
1	36	26
2	126	23
3	622	23
4	3621	18
done	5001	18
0	19	32
1	44	32
2	146	29
3	774	29
done	5000	29
0	15	26
1	36	26
2	125	23
3	617	23
4	3634	18
done	5000	18
0	22	46
1	50	46
2	157	43
3	785	43
4	4812	38
done	5000	38
0	21	35
1	47	35
2	145	32
3	681	32
4	3717	27
done	5000	27
0	15	26
1	38	24
2	134	21
3	580	21
4	3166	16
done	5000	16
0	15	26
1	38	24
2	134	21
3	580	21
4	3166	16
done	5000	16
0	15	26
1	38	24
2	134	21
3	580	21
4	3166	16
done	5000	16
0	10	12
1	23	12
2	38	12
3	70	12
4	130	12
5	297	12
6	929	12
7	3397	12
done	5001	12
0	23	38
1	67	38
2	240	35
3	1553	35
done	5000	35
0	22	44
1	58	44
2	204	41
3	1141	39
done	5000	39
0	17	30
1	44	27
2	142	22
3	621	22
4	3449	22
done	5001	22
0	19	32
1	47	32
2	157	29
3	802	24
done	5000	24
0	19	32
1	50	29
2	167	29
3	869	24
done	5000	24
0	19	34
1	51	34
2	178	31
3	1009	31
done	5000	31
0	18	30
1	45	27
2	149	22
3	710	22
4	4077	22
done	5000	22
0	20	32
1	48	32
2	164	29
3	921	24
done	5001	24
0	20	32
1	51	29
2	174	29
3	950	24
done	5000	24
0	11	21
1	26	21
2	82	18
3	293	18
4	1289	13
done	5000	13
0	11	21
1	26	21
2	82	18
3	293	18
4	1289	13
done	5000	13
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	17	27
1	36	27
2	92	23
3	301	20
4	1218	16
done	5001	16
0	17	26
1	35	26
2	91	22
3	301	22
4	1210	16
done	5001	16
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	17	27
1	36	27
2	92	23
3	301	20
4	1218	16
done	5001	16
0	17	26
1	35	26
2	91	22
3	301	22
4	1210	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	297	20
4	1211	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	297	20
4	1211	16
done	5001	16
0	16	27
1	34	27
2	90	20
3	300	20
4	1271	16
done	5000	16
0	18	26
1	34	25
2	88	22
3	302	19
4	1278	16
done	5001	16
0	17	26
1	35	26
2	89	25
3	283	22
4	1214	16
done	5000	16
0	17	26
1	35	26
2	89	25
3	283	22
4	1214	16
done	5000	16
0	18	26
1	34	25
2	84	25
3	293	19
4	1243	16
done	5001	16
0	15	25
1	30	25
2	71	19
3	247	19
4	1052	18
done	5000	18
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	17	27
1	36	27
2	92	23
3	301	20
4	1218	16
done	5001	16
0	17	26
1	35	26
2	91	22
3	301	22
4	1210	16
done	5001	16
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	14	27
1	28	27
2	79	20
3	227	20
4	628	16
5	1391	16
6	1891	16
7	2172	16
8	2220	16
done	2220	16
0	17	27
1	36	27
2	92	23
3	301	20
4	1218	16
done	5001	16
0	17	26
1	35	26
2	91	22
3	301	22
4	1210	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	297	20
4	1211	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	297	20
4	1211	16
done	5001	16
0	16	27
1	34	27
2	90	20
3	300	20
4	1271	16
done	5000	16
0	18	26
1	34	25
2	88	22
3	302	19
4	1278	16
done	5001	16
0	17	26
1	35	26
2	89	25
3	283	22
4	1214	16
done	5000	16
0	17	26
1	35	26
2	89	25
3	283	22
4	1214	16
done	5000	16
0	18	26
1	34	25
2	84	25
3	293	19
4	1243	16
done	5001	16
0	15	25
1	30	25
2	71	19
3	247	19
4	1052	18
done	5000	18
0	16	27
1	34	27
2	90	20
3	300	20
4	1269	16
done	5001	16
0	16	27
1	34	27
2	90	20
3	300	20
4	1269	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	297	20
4	1214	16
done	5000	16
0	18	26
1	34	25
2	88	22
3	302	19
4	1278	16
done	5000	16
0	16	27
1	34	27
2	90	20
3	300	20
4	1269	16
done	5001	16
0	16	27
1	34	27
2	90	20
3	300	20
4	1269	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	297	20
4	1214	16
done	5000	16
0	18	26
1	34	25
2	88	22
3	302	19
4	1278	16
done	5000	16
0	17	27
1	36	27
2	92	23
3	301	20
4	1225	16
done	5000	16
0	17	27
1	36	27
2	92	23
3	301	20
4	1225	16
done	5000	16
0	14	27
1	33	27
2	91	20
3	304	20
4	1256	16
done	5000	16
0	16	26
1	33	25
2	89	22
3	306	19
4	1259	16
done	5001	16
0	18	26
1	34	25
2	84	25
3	293	19
4	1242	16
done	5000	16
0	18	26
1	34	25
2	84	25
3	293	19
4	1242	16
done	5000	16
0	16	26
1	33	25
2	84	25
3	292	19
4	1238	16
done	5000	16
0	14	25
1	29	25
2	70	19
3	243	19
4	1055	18
done	5000	18
0	17	25
1	36	25
2	88	21
3	282	21
4	1204	19
done	5001	19
0	17	25
1	36	25
2	88	21
3	282	21
4	1204	19
done	5001	19
0	16	25
1	35	25
2	86	21
3	280	21
4	1205	19
done	5001	19
0	14	24
1	29	24
2	75	21
3	260	19
4	1075	17
done	5001	17
0	13	23
1	29	23
2	79	20
3	272	20
4	1180	15
done	5000	15
0	12	22
1	30	22
2	99	19
3	368	19
4	1702	14
done	5000	14
0	12	22
1	29	22
2	97	19
3	346	19
4	1546	14
done	5000	14
0	17	65
1	48	56
2	254	33
3	2323	24
done	5000	24
0	20	65
1	57	59
2	266	29
3	2291	20
done	5000	20
0	20	65
1	57	59
2	266	29
3	2303	20
done	5001	20
0	17	65
1	47	62
2	213	29
3	1423	20
done	5001	20
0	20	65
1	56	53
2	270	26
3	2252	24
done	5000	24
0	17	65
1	47	65
2	216	24
3	1573	24
done	5001	24
0	15	65
1	42	65
2	196	22
3	1368	22
done	5000	22
0	13	45
1	28	45
2	84	39
3	293	39
4	1285	29
done	5000	29
0	12	22
1	27	22
2	83	19
3	294	19
4	1288	14
done	5000	14
0	13	65
1	38	65
2	179	20
3	1365	20
done	5000	20
0	12	22
1	27	22
2	83	19
3	294	19
4	1288	14
done	5000	14
0	12	22
1	27	22
2	83	19
3	294	19
4	1288	14
done	5000	14
0	13	26
1	30	26
2	97	23
3	380	23
4	1830	18
done	5000	18
0	12	22
1	27	22
2	83	19
3	294	19
4	1287	14
done	5001	14
0	10	20
1	27	18
2	89	15
3	305	15
4	1194	10
5	4892	10
done	5000	10
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	9	17
1	19	14
2	50	9
3	144	9
4	462	9
5	1681	9
done	5000	9
0	11	19
1	22	19
2	65	16
3	225	11
4	908	11
5	4133	11
done	5000	11
0	11	19
1	25	16
2	71	16
3	230	11
4	884	11
5	3967	11
done	5001	11
0	13	24
1	31	24
2	105	21
3	439	21
4	2182	16
done	5001	16
0	13	24
1	31	24
2	105	21
3	439	21
4	2182	16
done	5001	16
0	13	24
1	31	24
2	105	21
3	439	21
4	2182	16
done	5001	16
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	20	31
1	42	31
2	116	27
3	452	24
4	2174	20
done	5000	20
0	20	30
1	41	30
2	113	26
3	439	26
4	2047	20
done	5000	20
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	20	31
1	42	31
2	116	27
3	452	24
4	2174	20
done	5000	20
0	20	30
1	41	30
2	113	26
3	439	26
4	2047	20
done	5000	20
0	20	31
1	42	31
2	115	27
3	446	24
4	2139	20
done	5000	20
0	20	31
1	42	31
2	115	27
3	446	24
4	2139	20
done	5000	20
0	19	31
1	40	31
2	114	24
3	454	24
4	2200	20
done	5000	20
0	21	30
1	40	29
2	110	26
3	448	23
4	2137	20
done	5000	20
0	20	30
1	41	30
2	113	29
3	421	26
4	2056	20
done	5000	20
0	20	30
1	41	30
2	113	29
3	421	26
4	2056	20
done	5000	20
0	21	30
1	40	29
2	108	29
3	435	23
4	2185	20
done	5001	20
0	18	29
1	36	29
2	93	23
3	368	23
4	1745	22
done	5001	22
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	20	31
1	42	31
2	116	27
3	452	24
4	2174	20
done	5000	20
0	20	30
1	41	30
2	113	26
3	439	26
4	2047	20
done	5000	20
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	17	31
1	34	31
2	103	24
3	382	24
4	1371	20
5	3655	20
done	5000	20
0	20	31
1	42	31
2	116	27
3	452	24
4	2174	20
done	5000	20
0	20	30
1	41	30
2	113	26
3	439	26
4	2047	20
done	5000	20
0	20	31
1	42	31
2	115	27
3	446	24
4	2139	20
done	5000	20
0	20	31
1	42	31
2	115	27
3	446	24
4	2139	20
done	5000	20
0	19	31
1	40	31
2	114	24
3	454	24
4	2200	20
done	5000	20
0	21	30
1	40	29
2	110	26
3	448	23
4	2137	20
done	5000	20
0	20	30
1	41	30
2	113	29
3	421	26
4	2056	20
done	5000	20
0	20	30
1	41	30
2	113	29
3	421	26
4	2056	20
done	5000	20
0	21	30
1	40	29
2	108	29
3	435	23
4	2185	20
done	5001	20
0	18	29
1	36	29
2	93	23
3	368	23
4	1745	22
done	5001	22
0	19	31
1	40	31
2	114	24
3	454	24
4	2206	20
done	5000	20
0	19	31
1	40	31
2	114	24
3	454	24
4	2206	20
done	5000	20
0	20	31
1	42	31
2	115	27
3	446	24
4	2147	20
done	5001	20
0	21	30
1	40	29
2	110	26
3	448	23
4	2138	20
done	5000	20
0	19	31
1	40	31
2	114	24
3	454	24
4	2206	20
done	5000	20
0	19	31
1	40	31
2	114	24
3	454	24
4	2206	20
done	5000	20
0	20	31
1	42	31
2	115	27
3	446	24
4	2147	20
done	5001	20
0	21	30
1	40	29
2	110	26
3	448	23
4	2138	20
done	5000	20
0	20	31
1	42	31
2	116	27
3	452	24
4	2170	20
done	5000	20
0	20	31
1	42	31
2	116	27
3	452	24
4	2170	20
done	5000	20
0	17	31
1	39	31
2	115	24
3	464	24
4	2265	20
done	5000	20
0	19	30
1	39	29
2	111	26
3	452	23
4	2167	20
done	5001	20
0	21	30
1	40	29
2	108	29
3	437	23
4	2161	20
done	5000	20
0	21	30
1	40	29
2	108	29
3	437	23
4	2161	20
done	5000	20
0	19	30
1	39	29
2	108	29
3	436	23
4	2180	20
done	5000	20
0	17	29
1	35	29
2	92	23
3	368	23
4	1754	22
done	5000	22
0	20	29
1	42	29
2	110	25
3	392	25
4	1869	23
done	5000	23
0	20	29
1	42	29
2	110	25
3	392	25
4	1869	23
done	5000	23
0	19	29
1	41	29
2	108	25
3	393	25
4	1876	23
done	5000	23
0	17	28
1	35	28
2	95	25
3	366	23
4	1636	21
done	5000	21
0	16	27
1	35	27
2	93	24
3	332	24
4	1509	19
done	5000	19
0	15	26
1	34	26
2	107	23
3	400	23
4	1917	18
done	5000	18
0	14	25
1	35	25
2	119	22
3	521	22
4	2688	17
done	5000	17
0	14	25
1	34	25
2	120	22
3	508	22
4	2526	17
done	5000	17
0	21	74
1	58	65
2	308	38
3	3108	29
done	5000	29
0	24	74
1	67	68
2	321	34
3	2977	25
done	5000	25
0	24	74
1	67	68
2	320	34
3	3019	25
done	5000	25
0	21	74
1	57	71
2	267	34
3	2072	25
done	5000	25
0	24	74
1	66	62
2	323	31
3	2993	29
done	5001	29
0	21	74
1	57	74
2	270	29
3	2280	29
done	5000	29
0	19	74
1	52	74
2	246	27
3	1969	27
done	5001	27
0	17	74
1	48	74
2	229	25
3	2007	25
done	5000	25
0	15	51
1	33	51
2	107	45
3	440	45
4	2201	35
done	5000	35
0	14	25
1	32	25
2	106	22
3	445	22
4	2202	17
done	5000	17
0	15	74
1	43	74
2	194	23
3	1677	23
done	5001	23
0	14	25
1	32	25
2	106	22
3	445	22
4	2202	17
done	5000	17
0	14	25
1	32	25
2	106	22
3	445	22
4	2202	17
done	5000	17
0	10	20
1	23	17
2	62	12
3	204	12
4	734	12
5	2646	12
done	5001	12
0	5	6
1	8	6
2	10	6
done	10	6
0	12	22
1	26	22
2	77	19
3	303	14
4	1348	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	12	22
1	29	19
2	87	19
3	311	14
4	1311	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	15	29
1	35	29
2	118	26
3	541	26
4	2947	21
done	5001	21
0	14	25
1	32	25
2	106	22
3	437	22
4	2200	17
done	5000	17
0	13	23
1	33	21
2	113	18
3	405	18
4	1878	13
done	5000	13
0	4	5
1	5	5
done	5	5
0	12	24
1	30	24
2	98	21
3	392	21
4	1857	16
done	5001	16
0	11	20
1	24	17
2	69	12
3	221	12
4	863	12
5	3394	12
done	5001	12
0	13	22
1	27	22
2	84	19
3	354	14
4	1650	14
done	5001	14
0	13	22
1	30	19
2	94	19
3	353	14
4	1590	14
done	5000	14
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	883	8
7	3279	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	2167	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	8
1	10	8
2	15	8
3	33	8
4	75	8
5	182	8
6	565	8
7	1989	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	4	4
1	10	3
2	15	3
3	33	1
4	52	1
5	86	1
6	211	1
7	496	1
8	1142	1
9	2586	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	6	9
1	10	9
2	15	9
3	33	9
4	75	9
5	182	9
6	565	9
7	1989	9
done	5000	9
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	550	5
7	1957	5
done	5000	5
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	5	5
1	11	5
2	19	5
3	42	5
4	108	5
5	309	5
6	1093	5
7	4992	5
done	5000	5
0	5	5
1	9	5
2	16	5
3	39	5
4	94	5
5	254	5
6	878	5
7	3724	5
done	5000	5
0	6	11
1	10	11
2	15	11
3	33	11
4	73	11
5	177	11
6	560	11
7	1981	11
done	5000	11
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	556	5
7	1964	5
done	5000	5
0	6	14
1	13	11
2	34	6
3	89	6
4	231	6
5	795	6
6	3683	6
done	5001	6
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	6	6
1	9	6
2	17	6
3	38	6
4	88	6
5	218	6
6	723	6
7	2520	6
done	5000	6
0	24	39
1	65	37
2	229	33
3	1703	29
done	5000	29
0	33	67
1	88	63
2	377	59
3	3861	33
done	5001	33
0	38	77
1	108	75
2	470	57
done	5000	48
0	21	33
1	54	31
2	149	27
3	717	23
done	5000	17
0	20	23
1	47	21
2	99	19
3	259	18
4	893	17
5	4463	17
done	5001	17
0	24	26
1	54	25
2	113	23
3	324	21
4	1148	21
done	5000	21
0	22	35
1	53	33
2	149	29
3	741	25
done	5000	25
0	23	28
1	56	26
2	157	24
3	726	23
4	4858	22
done	5000	22
0	27	31
1	63	30
2	171	28
3	797	26
done	5000	26
0	8	8
1	20	7
2	28	5
3	48	3
4	84	3
5	175	3
6	374	3
7	965	3
8	3262	3
done	5000	3
0	9	10
1	19	8
2	35	5
3	71	3
4	123	3
5	267	3
6	619	3
7	1739	3
done	5000	3
0	14	15
1	29	14
2	50	13
3	123	12
4	292	11
5	707	9
6	1693	8
done	5000	8

prune695.0ms

Filtered

159 candidates to 301 candidates (-89.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	292	9	301
Fresh	7	11	18
Picked	1	0	1
Done	0	0	0
Total	300	20	320

Merged error: 17.7b

Counts

320 → 20

localize30.0ms

Local error

Found 4 expressions with local error:

1.3b	(* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
2.8b	(* (/ (pow (cbrt t) 3.0) l) (sin k))
3.1b	(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
15.6b	(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

1050×	`add-exp-log`
734×	`prod-exp`
255×	`div-exp`
151×	`add-cbrt-cube`
145×	`pow-to-exp` `pow-exp`
96×	`cbrt-unprod`
47×	`associate-*l/`
40×	`add-sqr-sqrt`
37×	`associate-l`
35×	`frac-times`
34×	`pow1` `times-frac`
33×	`associate-*r/`
32×	`*-un-lft-identity`
27×	`add-cube-cbrt`
20×	`unpow-prod-down` `pow-prod-down`
19×	`cbrt-undiv`
16×	`tan-quot`
12×	`associate-r`
10×	`cbrt-prod`
8×	`flip3-+` `flip-+`
5×	`unswap-sqr`
4×	`*-commutative` `add-log-exp` `sqr-pow`
3×	`distribute-lft-out`
1×	`distribute-rgt-in` `distribute-lft-in` `div-inv`

Counts

4 → 366

Calls

4 calls:

30.0ms	(* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
13.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
28.0ms	(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
46.0ms	(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series462.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
69.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
101.0ms	(* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
221.0ms	(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify16.5min

Counts

378 → 378

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	34
1	52	34
2	194	31
3	1170	31
done	5000	31
0	20	34
1	52	34
2	194	31
3	1170	31
done	5000	31
0	20	34
1	52	34
2	194	31
3	1170	31
done	5000	31
0	20	34
1	52	34
2	194	31
3	1170	31
done	5000	31
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	28	42
1	58	42
2	165	38
3	760	35
4	4299	33
done	5000	33
0	28	41
1	57	41
2	159	37
3	660	37
4	3547	34
done	5000	34
0	27	40
1	57	40
2	144	36
3	564	36
4	2424	36
done	5001	36
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	28	42
1	58	42
2	165	38
3	760	35
4	4299	33
done	5000	33
0	28	41
1	57	41
2	159	37
3	660	37
4	3547	34
done	5000	34
0	27	40
1	57	40
2	144	36
3	564	36
4	2424	36
done	5001	36
0	28	42
1	58	42
2	164	38
3	755	35
4	4295	33
done	5000	33
0	28	42
1	58	42
2	164	38
3	755	35
4	4295	33
done	5000	33
0	27	42
1	56	42
2	162	38
3	756	35
4	4282	33
done	5000	33
0	29	41
1	56	40
2	156	37
3	693	34
4	3841	33
done	5000	33
0	28	40
1	58	40
2	144	36
3	585	36
4	3171	33
done	5001	33
0	28	41
1	57	41
2	158	40
3	693	37
4	4033	34
done	5000	34
0	28	41
1	57	41
2	158	40
3	693	37
4	4033	34
done	5000	34
0	29	41
1	56	40
2	155	40
3	721	34
4	4181	33
done	5000	33
0	26	40
1	52	40
2	137	40
3	562	34
4	3032	33
done	5000	33
0	26	39
1	54	39
2	133	39
3	545	33
4	3020	33
done	5001	33
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	28	42
1	58	42
2	165	38
3	760	35
4	4299	33
done	5000	33
0	28	41
1	57	41
2	159	37
3	660	37
4	3547	34
done	5000	34
0	27	40
1	57	40
2	144	36
3	564	36
4	2424	36
done	5001	36
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	25	42
1	51	42
2	151	38
3	683	35
4	3056	35
done	5000	35
0	28	42
1	58	42
2	165	38
3	760	35
4	4299	33
done	5000	33
0	28	41
1	57	41
2	159	37
3	660	37
4	3547	34
done	5000	34
0	27	40
1	57	40
2	144	36
3	564	36
4	2424	36
done	5001	36
0	28	42
1	58	42
2	164	38
3	755	35
4	4295	33
done	5000	33
0	28	42
1	58	42
2	164	38
3	755	35
4	4295	33
done	5000	33
0	27	42
1	56	42
2	162	38
3	756	35
4	4282	33
done	5000	33
0	29	41
1	56	40
2	156	37
3	693	34
4	3841	33
done	5000	33
0	28	40
1	58	40
2	144	36
3	585	36
4	3171	33
done	5001	33
0	28	41
1	57	41
2	158	40
3	693	37
4	4033	34
done	5000	34
0	28	41
1	57	41
2	158	40
3	693	37
4	4033	34
done	5000	34
0	29	41
1	56	40
2	155	40
3	721	34
4	4181	33
done	5000	33
0	26	40
1	52	40
2	137	40
3	562	34
4	3032	33
done	5000	33
0	26	39
1	54	39
2	133	39
3	545	33
4	3020	33
done	5001	33
0	27	42
1	56	42
2	162	38
3	756	35
4	4277	33
done	5000	33
0	27	42
1	56	42
2	162	38
3	756	35
4	4277	33
done	5000	33
0	28	42
1	58	42
2	164	38
3	755	35
4	4271	33
done	5000	33
0	29	41
1	56	40
2	156	37
3	693	34
4	3846	33
done	5000	33
0	28	40
1	58	40
2	144	36
3	585	36
4	3167	33
done	5001	33
0	27	42
1	56	42
2	162	38
3	756	35
4	4277	33
done	5000	33
0	27	42
1	56	42
2	162	38
3	756	35
4	4277	33
done	5000	33
0	28	42
1	58	42
2	164	38
3	755	35
4	4271	33
done	5000	33
0	29	41
1	56	40
2	156	37
3	693	34
4	3846	33
done	5000	33
0	28	40
1	58	40
2	144	36
3	585	36
4	3167	33
done	5001	33
0	28	42
1	58	42
2	165	38
3	760	35
4	4287	33
done	5000	33
0	28	42
1	58	42
2	165	38
3	760	35
4	4287	33
done	5000	33
0	25	42
1	55	42
2	163	38
3	772	35
4	4280	33
done	5000	33
0	27	41
1	55	40
2	157	37
3	693	34
4	3811	33
done	5000	33
0	26	40
1	57	40
2	145	36
3	604	36
4	3264	33
done	5000	33
0	29	41
1	56	40
2	155	40
3	721	34
4	4151	33
done	5000	33
0	29	41
1	56	40
2	155	40
3	721	34
4	4151	33
done	5000	33
0	27	41
1	55	40
2	155	40
3	714	34
4	4252	33
done	5000	33
0	25	40
1	51	40
2	137	40
3	569	34
4	3070	33
done	5001	33
0	25	39
1	53	39
2	133	39
3	544	33
4	3016	33
done	5000	33
0	28	40
1	58	40
2	151	36
3	632	36
4	3542	34
done	5000	34
0	28	40
1	58	40
2	151	36
3	632	36
4	3542	34
done	5000	34
0	27	40
1	57	40
2	151	36
3	631	36
4	3544	34
done	5000	34
0	25	39
1	51	39
2	138	36
3	558	34
4	2824	32
done	5001	32
0	24	38
1	51	38
2	127	35
3	451	35
4	2220	33
done	5001	33
0	23	37
1	50	37
2	143	34
3	516	34
4	2542	29
done	5000	29
0	22	36
1	49	36
2	155	33
3	616	33
4	3191	28
done	5000	28
0	21	35
1	56	35
2	208	32
3	1244	32
done	5001	32
0	21	35
1	55	35
2	212	32
3	1265	32
done	5000	32
0	30	104
1	90	95
2	468	50
3	4900	41
done	5000	41
0	33	104
1	99	98
2	476	46
3	4676	37
done	5000	37
0	31	104
1	97	98
2	481	46
3	4615	39
done	5000	39
0	33	104
1	99	98
2	477	46
3	4738	37
done	5000	37
0	30	104
1	89	101
2	423	46
3	3804	37
done	5000	37
0	30	104
1	95	101
2	448	44
3	4012	44
done	5000	44
0	33	104
1	98	92
2	476	43
3	4666	41
done	5000	41
0	30	104
1	89	104
2	425	41
3	3956	41
done	5000	41
0	28	104
1	90	104
2	432	39
3	3901	39
done	5000	39
0	26	104
1	80	104
2	408	37
3	3889	37
done	5000	37
0	24	104
1	75	104
2	361	35
3	3442	35
done	5001	35
0	22	71
1	54	71
2	196	65
3	1164	65
done	5000	65
0	21	35
1	53	35
2	195	32
3	1160	32
done	5000	32
0	22	104
1	64	104
2	325	33
3	3336	33
done	5000	33
0	21	35
1	53	35
2	195	32
3	1160	32
done	5000	32
0	21	35
1	53	35
2	195	32
3	1160	32
done	5000	32
0	20	34
1	61	31
2	206	31
3	1053	26
done	5001	26
0	17	36
1	46	34
2	155	34
3	634	26
4	2612	25
done	5001	25
0	19	40
1	52	37
2	170	37
3	814	30
done	5000	30
0	13	16
1	28	16
2	78	16
3	238	14
4	471	12
5	1360	12
done	5000	12
0	22	36
1	64	36
2	229	33
3	1376	33
done	5000	33
0	16	34
1	43	32
2	136	32
3	482	24
4	1908	23
done	5001	23
0	21	42
1	55	42
2	192	39
3	1022	37
done	5000	37
0	12	14
1	25	14
2	67	14
3	159	12
4	286	10
5	883	10
6	3652	10
done	5000	10
0	22	36
1	65	33
2	224	33
3	1288	33
done	5001	33
0	16	34
1	43	32
2	136	32
3	482	24
4	1908	23
done	5001	23
0	21	42
1	56	39
2	188	39
3	970	37
done	5000	37
0	12	14
1	25	14
2	67	14
3	159	12
4	286	10
5	883	10
6	3652	10
done	5000	10
0	22	38
1	66	38
2	241	35
3	1491	35
done	5001	35
0	14	32
1	38	30
2	105	30
3	337	22
4	1249	21
5	4739	20
done	5000	20
0	21	44
1	57	44
2	205	41
3	1117	39
done	5000	39
0	10	12
1	20	12
2	44	12
3	83	10
4	151	8
5	474	8
6	1877	8
done	5001	8
0	21	34
1	62	31
2	214	31
3	1187	26
done	5000	26
0	15	33
1	41	31
2	126	31
3	416	23
4	1589	22
done	5000	22
0	20	40
1	53	37
2	178	37
3	902	30
done	5001	30
0	11	13
1	23	13
2	61	13
3	123	11
4	221	9
5	700	9
6	2835	9
done	5001	9
0	23	36
1	65	36
2	237	33
3	1535	33
done	5000	33
0	14	31
1	38	29
2	105	29
3	337	21
4	1251	20
5	4762	19
done	5000	19
0	22	42
1	56	42
2	201	39
3	1132	37
done	5001	37
0	10	11
1	20	11
2	44	11
3	83	9
4	151	7
5	474	7
6	1895	7
done	5000	7
0	23	36
1	66	33
2	232	33
3	1416	33
done	5001	33
0	14	31
1	38	29
2	105	29
3	337	21
4	1251	20
5	4762	19
done	5000	19
0	22	42
1	57	39
2	196	39
3	1041	37
done	5000	37
0	10	11
1	20	11
2	44	11
3	83	9
4	151	7
5	474	7
6	1895	7
done	5000	7
0	19	32
1	50	32
2	187	29
3	1136	29
done	5000	29
0	15	26
1	36	26
2	135	23
3	668	23
4	3776	18
done	5000	18
0	19	32
1	44	32
2	155	29
3	813	29
done	5001	29
0	15	26
1	36	26
2	134	23
3	651	23
4	3831	18
done	5000	18
0	22	46
1	50	46
2	166	43
3	830	43
done	5001	43
0	21	35
1	47	35
2	154	32
3	719	32
4	3889	27
done	5001	27
0	15	26
1	38	24
2	143	21
3	617	21
4	3287	16
done	5001	16
0	15	26
1	38	24
2	143	21
3	617	21
4	3287	16
done	5001	16
0	15	26
1	38	24
2	143	21
3	617	21
4	3287	16
done	5001	16
0	10	12
1	23	12
2	38	12
3	70	12
4	130	12
5	297	12
6	929	12
7	3397	12
done	5001	12
0	23	38
1	67	38
2	249	35
3	1630	35
done	5000	35
0	22	44
1	58	44
2	213	41
3	1193	39
done	5001	39
0	17	30
1	46	27
2	151	27
3	685	22
4	3521	22
done	5000	22
0	19	32
1	49	32
2	173	29
3	957	29
done	5001	29
0	19	32
1	50	29
2	169	29
3	894	29
done	5000	29
0	19	34
1	51	34
2	186	31
3	1062	31
done	5000	31
0	18	30
1	47	27
2	158	27
3	790	22
4	4332	22
done	5000	22
0	20	32
1	50	32
2	182	29
3	1063	29
done	5001	29
0	20	32
1	51	29
2	177	29
3	971	29
done	5001	29
0	13	24
1	31	24
2	112	21
3	463	21
4	2334	16
done	5001	16
0	13	24
1	31	24
2	112	21
3	463	21
4	2334	16
done	5001	16
0	13	24
1	31	24
2	112	21
3	463	21
4	2334	16
done	5001	16
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	20	31
1	42	31
2	123	27
3	516	24
4	2534	22
done	5000	22
0	20	30
1	41	30
2	117	26
3	439	26
4	2114	23
done	5000	23
0	19	29
1	41	29
2	104	25
3	363	25
4	1366	25
done	5000	25
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	20	31
1	42	31
2	123	27
3	516	24
4	2534	22
done	5000	22
0	20	30
1	41	30
2	117	26
3	439	26
4	2114	23
done	5000	23
0	19	29
1	41	29
2	104	25
3	363	25
4	1366	25
done	5000	25
0	20	31
1	42	31
2	122	27
3	511	24
4	2513	22
done	5001	22
0	20	31
1	42	31
2	122	27
3	511	24
4	2513	22
done	5001	22
0	19	31
1	40	31
2	120	27
3	510	24
4	2506	22
done	5000	22
0	21	30
1	40	29
2	114	26
3	461	23
4	2260	22
done	5000	22
0	20	29
1	42	29
2	104	25
3	397	25
4	1904	22
done	5001	22
0	20	30
1	41	30
2	116	29
3	471	26
4	2388	23
done	5000	23
0	20	30
1	41	30
2	116	29
3	471	26
4	2388	23
done	5000	23
0	21	30
1	40	29
2	113	29
3	482	23
4	2487	22
done	5000	22
0	18	29
1	36	29
2	95	29
3	362	23
4	1776	22
done	5000	22
0	18	28
1	38	28
2	93	28
3	364	22
4	1807	22
done	5001	22
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	20	31
1	42	31
2	123	27
3	516	24
4	2534	22
done	5000	22
0	20	30
1	41	30
2	117	26
3	439	26
4	2114	23
done	5000	23
0	19	29
1	41	29
2	104	25
3	363	25
4	1366	25
done	5000	25
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	17	31
1	34	31
2	109	27
3	428	24
4	1549	24
5	4230	20
done	5000	20
0	20	31
1	42	31
2	123	27
3	516	24
4	2534	22
done	5000	22
0	20	30
1	41	30
2	117	26
3	439	26
4	2114	23
done	5000	23
0	19	29
1	41	29
2	104	25
3	363	25
4	1366	25
done	5000	25
0	20	31
1	42	31
2	122	27
3	511	24
4	2513	22
done	5001	22
0	20	31
1	42	31
2	122	27
3	511	24
4	2513	22
done	5001	22
0	19	31
1	40	31
2	120	27
3	510	24
4	2506	22
done	5000	22
0	21	30
1	40	29
2	114	26
3	461	23
4	2260	22
done	5000	22
0	20	29
1	42	29
2	104	25
3	397	25
4	1904	22
done	5001	22
0	20	30
1	41	30
2	116	29
3	471	26
4	2388	23
done	5000	23
0	20	30
1	41	30
2	116	29
3	471	26
4	2388	23
done	5000	23
0	21	30
1	40	29
2	113	29
3	482	23
4	2487	22
done	5000	22
0	18	29
1	36	29
2	95	29
3	362	23
4	1776	22
done	5000	22
0	18	28
1	38	28
2	93	28
3	364	22
4	1807	22
done	5001	22
0	19	31
1	40	31
2	120	27
3	510	24
4	2508	22
done	5000	22
0	19	31
1	40	31
2	120	27
3	510	24
4	2508	22
done	5000	22
0	20	31
1	42	31
2	122	27
3	511	24
4	2501	22
done	5000	22
0	21	30
1	40	29
2	114	26
3	461	23
4	2270	22
done	5000	22
0	20	29
1	42	29
2	104	25
3	397	25
4	1902	22
done	5000	22
0	19	31
1	40	31
2	120	27
3	510	24
4	2508	22
done	5000	22
0	19	31
1	40	31
2	120	27
3	510	24
4	2508	22
done	5000	22
0	20	31
1	42	31
2	122	27
3	511	24
4	2501	22
done	5000	22
0	21	30
1	40	29
2	114	26
3	461	23
4	2270	22
done	5000	22
0	20	29
1	42	29
2	104	25
3	397	25
4	1902	22
done	5000	22
0	20	31
1	42	31
2	123	27
3	516	24
4	2536	22
done	5000	22
0	20	31
1	42	31
2	123	27
3	516	24
4	2536	22
done	5000	22
0	17	31
1	39	31
2	121	27
3	511	24
4	2530	22
done	5000	22
0	19	30
1	39	29
2	115	26
3	464	23
4	2236	22
done	5001	22
0	18	29
1	41	29
2	105	25
3	407	25
4	1915	22
done	5000	22
0	21	30
1	40	29
2	113	29
3	482	23
4	2508	22
done	5001	22
0	21	30
1	40	29
2	113	29
3	482	23
4	2508	22
done	5001	22
0	19	30
1	39	29
2	113	29
3	486	23
4	2497	22
done	5001	22
0	17	29
1	35	29
2	95	29
3	366	23
4	1790	22
done	5000	22
0	17	28
1	37	28
2	93	28
3	365	22
4	1813	22
done	5001	22
0	20	29
1	42	29
2	111	25
3	429	25
4	2154	23
done	5000	23
0	20	29
1	42	29
2	111	25
3	429	25
4	2154	23
done	5000	23
0	19	29
1	41	29
2	111	25
3	429	25
4	2172	23
done	5001	23
0	17	28
1	35	28
2	98	25
3	372	23
4	1739	21
done	5000	21
0	16	27
1	35	27
2	89	24
3	300	24
4	1381	22
done	5001	22
0	15	26
1	34	26
2	111	23
3	419	23
4	2054	18
done	5000	18
0	14	25
1	35	25
2	129	22
3	548	22
4	2870	17
done	5000	17
0	14	25
1	34	25
2	129	22
3	532	22
4	2704	17
done	5001	17
0	21	74
1	58	65
2	316	38
3	3276	29
done	5000	29
0	24	74
1	67	68
2	324	34
3	3142	25
done	5000	25
0	22	74
1	65	68
2	329	34
3	3057	27
done	5000	27
0	24	74
1	67	68
2	325	34
3	3179	25
done	5000	25
0	21	74
1	57	71
2	271	34
3	2229	25
done	5000	25
0	21	74
1	63	71
2	296	32
3	2469	32
done	5000	32
0	24	74
1	66	62
2	324	31
3	3100	29
done	5000	29
0	21	74
1	57	74
2	273	29
3	2400	29
done	5000	29
0	19	74
1	58	74
2	280	27
3	2410	27
done	5001	27
0	17	74
1	48	74
2	258	25
3	2335	25
done	5000	25
0	15	51
1	33	51
2	114	45
3	464	45
4	2356	35
done	5000	35
0	14	25
1	32	25
2	113	22
3	458	22
4	2330	17
done	5000	17
0	15	74
1	43	74
2	213	23
3	1905	23
done	5001	23
0	14	25
1	32	25
2	113	22
3	458	22
4	2330	17
done	5000	17
0	14	25
1	32	25
2	113	22
3	458	22
4	2330	17
done	5000	17
0	10	20
1	25	17
2	67	17
3	209	12
4	759	12
5	2913	12
done	5000	12
0	5	6
1	8	6
2	10	6
done	10	6
0	12	22
1	28	22
2	91	19
3	342	19
4	1531	14
done	5001	14
0	4	4
1	5	4
done	5	4
0	12	22
1	29	19
2	87	19
3	313	19
4	1368	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	15	29
1	35	29
2	127	26
3	574	26
4	3148	21
done	5001	21
0	14	25
1	32	25
2	113	22
3	459	22
4	2341	17
done	5000	17
0	13	23
1	33	21
2	120	18
3	480	18
4	1944	13
done	5000	13
0	11	12
1	21	12
2	45	12
3	110	12
4	332	12
5	1164	12
6	4647	12
done	5000	12
0	12	24
1	30	24
2	104	21
3	401	21
4	1984	16
done	5001	16
0	11	20
1	26	17
2	76	17
3	250	12
4	873	12
5	3451	12
done	5000	12
0	13	22
1	29	22
2	100	19
3	402	19
4	1885	14
done	5000	14
0	13	22
1	30	19
2	95	19
3	358	19
4	1650	14
done	5000	14
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	12	12
1	18	12
2	28	12
3	37	12
4	46	12
5	51	12
6	60	12
7	83	12
8	110	12
9	128	12
done	128	12
0	12	12
1	18	12
2	28	12
3	37	12
4	46	12
5	51	12
6	60	12
7	83	12
8	110	12
9	128	12
done	128	12
0	12	12
1	23	12
2	41	12
3	87	12
4	208	12
5	565	12
6	2020	12
done	5000	12
0	11	11
1	19	11
2	36	11
3	85	11
4	222	11
5	719	11
6	2649	11
done	5001	11
0	10	10
1	20	10
2	38	10
3	94	10
4	276	10
5	885	10
6	3367	10
done	5000	10
0	10	10
1	19	10
2	36	10
3	81	10
4	227	10
5	765	10
6	3308	10
done	5000	10
0	15	29
1	36	26
2	139	15
3	753	13
done	5000	13
0	13	29
1	30	29
2	93	13
3	364	13
4	2080	11
done	5001	11
0	11	21
1	18	21
2	30	21
3	67	21
4	182	21
5	569	21
6	2080	21
done	5001	21
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2089	10
done	5000	10
0	11	29
1	28	29
2	91	11
3	394	11
4	1911	11
done	5000	11
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2089	10
done	5000	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2089	10
done	5000	10
0	11	11
1	16	11
2	23	11
3	47	11
4	108	11
5	292	11
6	971	11
7	3823	11
done	5000	11
0	11	11
1	16	11
2	23	11
3	47	11
4	108	11
5	292	11
6	971	11
7	3823	11
done	5000	11
0	12	12
1	19	12
2	31	12
3	68	12
4	183	12
5	572	12
6	2096	12
done	5000	12
0	12	12
1	19	12
2	31	12
3	68	12
4	183	12
5	572	12
6	2096	12
done	5000	12
0	12	12
1	19	12
2	31	12
3	68	12
4	183	12
5	572	12
6	2096	12
done	5000	12
0	12	12
1	19	12
2	31	12
3	68	12
4	183	12
5	572	12
6	2096	12
done	5000	12
0	12	12
1	19	12
2	28	12
3	48	12
4	90	12
5	198	12
6	574	12
7	1979	12
done	5000	12
0	12	12
1	19	12
2	28	12
3	48	12
4	90	12
5	198	12
6	574	12
7	1979	12
done	5000	12
0	13	13
1	19	13
2	34	13
3	74	13
4	199	13
5	605	13
6	2251	13
done	5001	13
0	13	13
1	19	13
2	34	13
3	74	13
4	199	13
5	605	13
6	2251	13
done	5001	13
0	11	14
1	20	14
2	39	14
3	95	14
4	285	14
5	969	14
6	3680	14
done	5000	14
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2088	10
done	5000	10
0	8	8
1	17	6
2	36	6
3	82	6
4	183	6
5	456	6
6	1362	6
done	5001	6
0	10	10
1	15	10
2	22	10
3	46	10
4	107	10
5	292	10
6	974	10
7	3846	10
done	5000	10
0	10	10
1	15	10
2	22	10
3	46	10
4	107	10
5	292	10
6	974	10
7	3846	10
done	5000	10
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2090	10
done	5001	10
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2090	10
done	5001	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2091	10
done	5000	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2091	10
done	5000	10
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2090	10
done	5001	10
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	11	11
1	18	11
2	30	11
3	67	11
4	182	11
5	564	11
6	2092	11
done	5001	11
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2090	10
done	5001	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2091	10
done	5000	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2091	10
done	5000	10
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	11	11
1	18	11
2	26	11
3	46	11
4	88	11
5	199	11
6	566	11
7	1977	11
done	5000	11
0	11	11
1	18	11
2	26	11
3	46	11
4	88	11
5	199	11
6	566	11
7	1977	11
done	5000	11
0	10	10
1	17	10
2	25	10
3	45	10
4	87	10
5	196	10
6	576	10
7	1978	10
done	5001	10
0	11	11
1	18	11
2	27	11
3	47	11
4	89	11
5	198	11
6	566	11
7	1980	11
done	5000	11
0	11	11
1	18	11
2	27	11
3	47	11
4	89	11
5	198	11
6	566	11
7	1980	11
done	5000	11
0	10	10
1	17	10
2	26	10
3	46	10
4	88	10
5	197	10
6	562	10
7	1979	10
done	5000	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2091	10
done	5000	10
0	10	10
1	17	10
2	29	10
3	66	10
4	181	10
5	562	10
6	2091	10
done	5000	10
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	12	12
1	18	12
2	33	12
3	73	12
4	196	12
5	604	12
6	2247	12
done	5000	12
0	12	12
1	18	12
2	33	12
3	73	12
4	196	12
5	604	12
6	2247	12
done	5000	12
0	11	11
1	17	11
2	32	11
3	72	11
4	195	11
5	601	11
6	2233	11
done	5000	11
0	9	9
1	16	9
2	28	9
3	65	9
4	180	9
5	562	9
6	2089	9
done	5001	9
0	6	6
1	11	6
2	14	4
3	27	4
4	34	4
done	34	4
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	297	7
6	981	7
7	3739	7
done	5000	7
0	11	21
1	26	21
2	82	18
3	294	18
4	1357	13
done	5000	13
0	11	21
1	26	21
2	82	18
3	294	18
4	1357	13
done	5000	13
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	17	27
1	36	27
2	92	23
3	332	20
4	1364	18
done	5000	18
0	17	26
1	35	26
2	88	22
3	291	22
4	1207	19
done	5000	19
0	16	25
1	35	25
2	80	21
3	239	21
4	775	21
5	3467	16
done	5001	16
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	17	27
1	36	27
2	92	23
3	332	20
4	1364	18
done	5000	18
0	17	26
1	35	26
2	88	22
3	291	22
4	1207	19
done	5000	19
0	16	25
1	35	25
2	80	21
3	239	21
4	775	21
5	3467	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	327	20
4	1376	18
done	5000	18
0	17	27
1	36	27
2	91	23
3	327	20
4	1376	18
done	5000	18
0	16	27
1	34	27
2	89	23
3	323	20
4	1368	18
done	5000	18
0	18	26
1	34	25
2	85	22
3	298	19
4	1260	18
done	5000	18
0	17	25
1	36	25
2	80	21
3	268	21
4	1116	18
done	5001	18
0	17	26
1	35	26
2	87	25
3	302	22
4	1331	19
done	5000	19
0	17	26
1	35	26
2	87	25
3	302	22
4	1331	19
done	5000	19
0	18	26
1	34	25
2	84	25
3	312	19
4	1384	18
done	5001	18
0	15	25
1	30	25
2	68	25
3	232	19
4	1020	18
done	5000	18
0	15	24
1	32	24
2	71	24
3	241	18
4	1065	18
done	5000	18
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	17	27
1	36	27
2	92	23
3	332	20
4	1364	18
done	5000	18
0	17	26
1	35	26
2	88	22
3	291	22
4	1207	19
done	5000	19
0	16	25
1	35	25
2	80	21
3	239	21
4	775	21
5	3467	16
done	5001	16
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	14	27
1	28	27
2	78	23
3	244	20
4	675	20
5	1381	16
6	1850	16
7	2062	16
8	2110	16
done	2110	16
0	17	27
1	36	27
2	92	23
3	332	20
4	1364	18
done	5000	18
0	17	26
1	35	26
2	88	22
3	291	22
4	1207	19
done	5000	19
0	16	25
1	35	25
2	80	21
3	239	21
4	775	21
5	3467	16
done	5001	16
0	17	27
1	36	27
2	91	23
3	327	20
4	1376	18
done	5000	18
0	17	27
1	36	27
2	91	23
3	327	20
4	1376	18
done	5000	18
0	16	27
1	34	27
2	89	23
3	323	20
4	1368	18
done	5000	18
0	18	26
1	34	25
2	85	22
3	298	19
4	1260	18
done	5000	18
0	17	25
1	36	25
2	80	21
3	268	21
4	1116	18
done	5001	18
0	17	26
1	35	26
2	87	25
3	302	22
4	1331	19
done	5000	19
0	17	26
1	35	26
2	87	25
3	302	22
4	1331	19
done	5000	19
0	18	26
1	34	25
2	84	25
3	312	19
4	1384	18
done	5001	18
0	15	25
1	30	25
2	68	25
3	232	19
4	1020	18
done	5000	18
0	15	24
1	32	24
2	71	24
3	241	18
4	1065	18
done	5000	18
0	16	27
1	34	27
2	89	23
3	323	20
4	1386	18
done	5000	18
0	16	27
1	34	27
2	89	23
3	323	20
4	1386	18
done	5000	18
0	17	27
1	36	27
2	91	23
3	327	20
4	1374	18
done	5000	18
0	18	26
1	34	25
2	85	22
3	298	19
4	1260	18
done	5000	18
0	17	25
1	36	25
2	80	21
3	268	21
4	1116	18
done	5000	18
0	16	27
1	34	27
2	89	23
3	323	20
4	1386	18
done	5000	18
0	16	27
1	34	27
2	89	23
3	323	20
4	1386	18
done	5000	18
0	17	27
1	36	27
2	91	23
3	327	20
4	1374	18
done	5000	18
0	18	26
1	34	25
2	85	22
3	298	19
4	1260	18
done	5000	18
0	17	25
1	36	25
2	80	21
3	268	21
4	1116	18
done	5000	18
0	17	27
1	36	27
2	92	23
3	332	20
4	1364	18
done	5000	18
0	17	27
1	36	27
2	92	23
3	332	20
4	1364	18
done	5000	18
0	14	27
1	33	27
2	90	23
3	324	20
4	1389	18
done	5000	18
0	16	26
1	33	25
2	86	22
3	299	19
4	1271	18
done	5000	18
0	15	25
1	35	25
2	81	21
3	269	21
4	1105	18
done	5001	18
0	18	26
1	34	25
2	84	25
3	312	19
4	1387	18
done	5001	18
0	18	26
1	34	25
2	84	25
3	312	19
4	1387	18
done	5001	18
0	16	26
1	33	25
2	84	25
3	312	19
4	1397	18
done	5000	18
0	14	25
1	29	25
2	68	25
3	231	19
4	1015	18
done	5000	18
0	14	24
1	31	24
2	71	24
3	242	18
4	1068	18
done	5000	18
0	17	25
1	36	25
2	88	21
3	286	21
4	1288	19
done	5001	19
0	17	25
1	36	25
2	88	21
3	286	21
4	1288	19
done	5001	19
0	16	25
1	35	25
2	88	21
3	288	21
4	1291	19
done	5001	19
0	14	24
1	29	24
2	77	21
3	259	19
4	1078	17
done	5001	17
0	13	23
1	29	23
2	73	20
3	218	20
4	921	18
5	4554	17
done	5000	17
0	12	22
1	30	22
2	103	19
3	379	19
4	1805	14
done	5000	14
0	12	22
1	29	22
2	97	19
3	353	19
4	1646	14
done	5000	14
0	17	65
1	48	56
2	258	33
3	2383	24
done	5000	24
0	20	65
1	57	59
2	266	29
3	2248	20
done	5000	20
0	18	65
1	55	59
2	273	29
3	2212	22
done	5000	22
0	20	65
1	57	59
2	267	29
3	2275	20
done	5000	20
0	17	65
1	47	62
2	213	29
3	1419	20
done	5000	20
0	17	65
1	53	62
2	240	27
3	1687	27
done	5000	27
0	20	65
1	56	53
2	269	26
3	2190	24
done	5000	24
0	17	65
1	47	65
2	217	24
3	1560	24
done	5000	24
0	15	65
1	48	65
2	226	22
3	1600	22
done	5001	22
0	13	45
1	28	45
2	84	39
3	292	39
4	1360	29
done	5000	29
0	12	22
1	27	22
2	83	19
3	295	19
4	1360	14
done	5000	14
0	13	65
1	38	65
2	206	20
3	1520	20
done	5001	20
0	12	22
1	27	22
2	83	19
3	295	19
4	1360	14
done	5000	14
0	12	22
1	27	22
2	83	19
3	295	19
4	1360	14
done	5000	14
0	9	17
1	21	14
2	52	14
3	150	9
4	475	9
5	1769	9
done	5000	9
0	2	3
done	2	3
0	8	18
1	20	18
2	54	15
3	176	15
4	716	10
5	3441	10
done	5000	10
0	10	16
1	22	16
2	51	16
3	142	16
4	581	13
5	2785	13
done	5000	13
0	11	19
1	24	19
2	72	16
3	249	16
4	1040	11
5	4743	11
done	5000	11
0	11	19
1	25	16
2	69	16
3	225	16
4	904	11
5	4147	11
done	5000	11
0	24	39
1	65	37
2	229	33
3	1703	29
done	5000	29
0	33	67
1	88	63
2	377	59
3	3861	33
done	5001	33
0	38	77
1	108	75
2	470	57
done	5000	48
0	22	35
1	53	33
2	149	29
3	741	25
done	5000	25
0	23	28
1	56	26
2	157	24
3	726	23
4	4858	22
done	5000	22
0	27	31
1	63	30
2	171	28
3	797	26
done	5000	26
0	19	29
1	49	27
2	106	23
3	359	19
4	1833	15
done	5000	15
0	17	21
1	41	19
2	75	17
3	160	16
4	364	15
5	969	15
6	2974	15
done	5001	15
0	19	23
1	47	21
2	101	19
3	257	17
4	684	17
5	1947	17
done	5000	17
0	21	33
1	54	31
2	149	27
3	717	23
done	5000	17
0	20	23
1	47	21
2	99	19
3	259	18
4	893	17
5	4463	17
done	5001	17
0	24	26
1	54	25
2	113	23
3	324	21
4	1148	21
done	5000	21

prune880.0ms

Filtered

226 candidates to 378 candidates (-67.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	368	10	378
Fresh	5	14	19
Picked	1	0	1
Done	0	0	0
Total	374	24	398

Merged error: 16.9b

Counts

398 → 24

regimes888.0ms

Accuracy

11.7% (3.4b remaining)

Error of 17.8b against oracle of 14.3b and baseline of 18.2b

bsearch153.0ms

Steps

Iters	Range		Point
7	3.1221536612080764e+106	2.559599023499027e+108	1.1545917243251634e+107
7	4.47053653884379e-87	1.9255037808905953e-85	7.26490261210412e-86

simplify35.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	55	141
1	77	141
2	82	141
3	87	141
4	94	141
5	107	141
6	111	141
7	115	141
8	118	141
done	118	141

end0.0ms

sample5.1s

Algorithm

intervals

Results

2.2s	2155×	body	1280	valid
988.0ms	1718×	body	640	valid
837.0ms	5734×	body	80	valid
369.0ms	853×	body	320	valid
126.0ms	435×	body	160	valid

Details

sample163.0ms

simplify2.0s

prune5.0ms

localize21.0ms

rewrite76.0ms

series410.0ms

simplify8.0min

prune499.0ms

localize31.0ms

rewrite100.0ms

series439.0ms

simplify9.7min

prune697.0ms

localize25.0ms

rewrite136.0ms

series447.0ms

simplify14.3min

prune695.0ms

localize30.0ms

rewrite153.0ms

series462.0ms

simplify16.5min

prune880.0ms

regimes888.0ms

bsearch153.0ms

simplify35.0ms

end0.0ms

sample5.1s

Profiling