Details

sample163.0ms

Algorithm

intervals

Results

76.0ms	63×	body	1280	valid
25.0ms	45×	body	640	valid
20.0ms	152×	body	80	valid
7.0ms	62×	body	80	nan
6.0ms	16×	body	320	valid
3.0ms	10×	body	160	valid

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	20	27
1	42	27
2	80	26
3	146	26
4	317	26
5	811	26
6	2759	26
done	5000	26

prune14.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: 15.2b

Counts

2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ F (sin B))
0.3b	(* x (/ 1.0 (tan B)))
5.7b	(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
17.5b	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-sqr-sqrt`
49×	`times-frac`
45×	`add-cube-cbrt` `*-un-lft-identity`
30×	`pow-unpow`
25×	`add-exp-log`
21×	`associate-r`
16×	`associate-l` `add-cbrt-cube`
13×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
8×	`unpow-prod-down` `prod-exp` `unswap-sqr`
7×	`pow1`
5×	`div-exp` `div-inv`
4×	`pow-neg` `cbrt-unprod` `add-log-exp` `sqr-pow`
3×	`cbrt-undiv` `neg-sub0` `pow-to-exp` `associate-r/` `pow-exp` `associate-/r` `associate-/l*` `pow-sub`
2×	`frac-times` `*-commutative`
1×	`tan-quot` `neg-mul-1` `pow-pow` `frac-2neg` `pow-prod-down` `associate-*l/` `clear-num` `associate-/r/` `un-div-inv`

Counts

4 → 154

Calls

4 calls:

4.0ms	(/ F (sin B))
8.0ms	(* x (/ 1.0 (tan B)))
16.0ms	(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
14.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

series153.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ F (sin B))
29.0ms	(* x (/ 1.0 (tan B)))
74.0ms	(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
37.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

simplify6.5min

Counts

166 → 166

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	12	15
1	22	15
2	40	15
3	56	15
4	68	15
5	82	15
6	84	15
done	84	15
0	12	15
1	22	15
2	40	15
3	56	15
4	68	15
5	82	15
6	84	15
done	84	15
0	6	6
1	13	4
2	30	4
3	56	4
4	72	4
5	91	4
6	104	4
7	107	4
done	107	4
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	9	11
1	19	1
2	28	1
3	30	1
4	36	1
5	42	1
done	42	1
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	13	21
1	24	21
2	40	21
3	68	21
4	130	21
5	293	21
6	909	21
7	3358	21
done	5000	21
0	12	15
1	23	15
2	37	15
3	59	15
4	104	15
5	210	15
6	582	15
7	2194	15
done	5000	15
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	21	11
2	37	11
3	49	11
4	77	11
5	146	11
6	366	11
7	1304	11
done	5000	11
0	13	20
1	25	20
2	45	20
3	84	20
4	182	20
5	433	20
6	1405	20
done	5001	20
0	12	15
1	21	15
2	37	15
3	63	15
4	122	15
5	251	15
6	702	15
7	3002	15
done	5001	15
0	15	22
1	32	22
2	70	22
3	150	22
4	422	22
5	1456	22
done	5000	22
0	14	19
1	27	19
2	51	19
3	106	19
4	286	19
5	859	19
6	3187	19
done	5000	19
0	14	18
1	29	16
2	57	16
3	105	16
4	225	16
5	536	16
6	1722	16
done	5000	16
0	14	19
1	27	19
2	49	19
3	88	19
4	204	19
5	541	19
6	1930	19
done	5000	19
0	13	16
1	24	16
2	42	16
3	76	16
4	163	16
5	389	16
6	1294	16
done	5000	16
0	13	15
1	26	13
2	46	13
3	70	13
4	132	13
5	262	13
6	810	13
7	3448	13
done	5000	13
0	13	18
1	29	17
2	50	17
3	89	17
4	197	17
5	535	17
6	2090	17
done	5000	17
0	12	15
1	26	14
2	43	14
3	77	14
4	158	14
5	392	14
6	1323	14
7	4201	14
done	5001	14
0	11	14
1	25	11
2	41	11
3	53	11
4	81	11
5	148	11
6	360	11
7	1283	11
done	5000	11
0	10	12
1	23	11
2	38	11
3	50	11
4	80	11
5	150	11
6	367	11
7	1311	11
done	5000	11
0	10	12
1	19	12
2	35	12
3	61	12
4	122	12
5	260	12
6	727	12
7	3039	12
done	5000	12
0	12	19
1	21	19
2	37	19
3	65	19
4	127	19
5	288	19
6	917	19
7	3386	19
done	5000	19
0	11	14
1	20	14
2	34	14
3	56	14
4	101	14
5	211	14
6	585	14
7	2196	14
done	5000	14
0	14	21
1	29	21
2	60	21
3	129	21
4	352	21
5	1003	21
6	3526	21
done	5000	21
0	13	18
1	24	18
2	44	18
3	86	18
4	208	18
5	544	18
6	1922	18
done	5000	18
0	13	17
1	26	15
2	51	15
3	90	15
4	179	15
5	401	15
6	1364	15
done	5000	15
0	13	18
1	24	18
2	42	18
3	80	18
4	177	18
5	438	18
6	1617	18
done	5000	18
0	12	15
1	21	15
2	37	15
3	66	15
4	132	15
5	299	15
6	1016	15
7	4784	15
done	5000	15
0	12	14
1	23	12
2	40	12
3	60	12
4	108	12
5	212	12
6	652	12
7	2438	12
done	5001	12
0	12	17
1	25	17
2	42	17
3	79	17
4	169	17
5	469	17
6	1714	17
done	5001	17
0	11	14
1	22	14
2	37	14
3	65	14
4	126	14
5	298	14
6	845	14
7	2577	14
done	5001	14
0	10	13
1	22	11
2	37	9
3	52	9
4	80	9
5	151	9
6	371	9
7	1317	9
done	5001	9
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	18	11
2	32	11
3	54	11
4	99	11
5	211	11
6	584	11
7	1990	11
done	5000	11
0	13	26
1	24	26
2	42	26
3	76	26
4	163	26
5	388	26
6	1247	26
done	5001	26
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	6	6
1	14	1
2	21	1
3	35	1
4	55	1
5	86	1
6	132	1
7	196	1
8	280	1
9	379	1
10	485	1
11	606	1
12	747	1
13	899	1
14	1070	1
15	1247	1
16	1438	1
17	1653	1
18	1875	1
19	2109	1
20	2368	1
21	2654	1
22	2933	1
23	3240	1
24	3561	1
25	3894	1
26	4250	1
27	4599	1
28	4960	1
done	5000	1
0	11	14
1	22	14
2	40	14
3	74	14
4	161	14
5	381	14
6	1243	14
done	5001	14
0	12	15
1	25	15
2	50	15
3	98	15
4	227	15
5	642	15
6	2632	15
done	5001	15
0	12	15
1	23	15
2	43	15
3	82	15
4	184	15
5	465	15
6	1577	15
done	5000	15
0	13	31
1	24	31
2	42	31
3	76	31
4	163	31
5	386	31
6	1248	31
done	5000	31
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1240	15
done	5001	15
0	13	44
1	27	31
2	65	16
3	144	16
4	350	16
5	1123	16
done	5000	16
0	12	15
1	23	15
2	42	15
3	76	15
4	163	15
5	385	15
6	1254	15
done	5000	15
0	12	15
1	23	15
2	42	15
3	76	15
4	163	15
5	385	15
6	1254	15
done	5000	15
0	13	16
1	25	16
2	47	16
3	87	16
4	189	16
5	463	16
6	1642	15
done	5000	15
0	13	16
1	25	16
2	47	16
3	87	16
4	189	16
5	463	16
6	1642	15
done	5000	15
0	18	22
1	33	22
2	62	21
3	102	21
4	144	21
5	184	21
6	203	21
7	229	21
8	238	21
done	238	21
0	18	22
1	33	22
2	62	21
3	102	21
4	144	21
5	184	21
6	203	21
7	229	21
8	238	21
done	238	21
0	18	22
1	36	22
2	71	22
3	151	21
4	359	21
5	1091	21
6	4522	21
done	5000	21
0	17	21
1	31	21
2	56	20
3	85	20
4	127	20
5	177	20
6	193	20
7	210	20
8	232	20
9	239	20
done	239	20
0	17	21
1	31	21
2	56	20
3	85	20
4	127	20
5	177	20
6	193	20
7	210	20
8	232	20
9	239	20
done	239	20
0	17	21
1	34	21
2	65	21
3	131	20
4	325	20
5	1027	20
6	4314	20
done	5000	20
0	16	20
1	33	20
2	70	20
3	153	20
4	420	20
5	1377	20
done	5000	20
0	16	20
1	32	20
2	64	20
3	135	20
4	355	20
5	1106	20
6	4524	20
done	5000	20
0	20	59
1	48	46
2	163	25
3	731	23
4	4569	23
done	5000	23
0	19	59
1	45	46
2	131	23
3	457	23
4	2247	21
done	5000	21
0	17	41
1	31	41
2	58	41
3	114	41
4	277	41
5	773	41
6	2716	41
done	5001	41
0	16	20
1	30	20
2	57	20
3	111	20
4	274	20
5	766	20
6	2717	20
done	5000	20
0	17	59
1	41	59
2	131	21
3	553	21
4	2782	21
done	5001	21
0	16	20
1	30	20
2	57	20
3	111	20
4	274	20
5	766	20
6	2717	20
done	5000	20
0	16	20
1	30	20
2	57	20
3	111	20
4	274	20
5	766	20
6	2717	20
done	5000	20
0	3	3
1	6	1
done	6	1
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	10	13
1	21	3
2	30	1
3	32	1
4	38	1
5	44	1
done	44	1
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	17	21
1	29	21
2	51	21
3	93	21
4	208	21
5	512	21
6	1693	21
done	5000	21
0	17	21
1	29	21
2	51	21
3	93	21
4	208	21
5	512	21
6	1693	21
done	5000	21
0	17	21
1	29	21
2	48	21
3	82	21
4	171	21
5	393	21
6	1245	21
done	5001	21
0	17	21
1	29	21
2	48	21
3	82	21
4	171	21
5	393	21
6	1245	21
done	5001	21
0	18	22
1	31	22
2	57	22
3	107	22
4	237	22
5	596	22
6	2086	21
done	5000	21
0	18	22
1	31	22
2	57	22
3	107	22
4	237	22
5	596	22
6	2086	21
done	5000	21
0	18	22
1	32	22
2	59	22
3	115	22
4	278	22
5	770	22
6	2730	22
done	5000	22
0	18	22
1	32	22
2	59	22
3	115	22
4	278	22
5	770	22
6	2730	22
done	5000	22
0	18	22
1	32	22
2	54	22
3	90	22
4	181	22
5	398	22
6	1256	22
done	5001	22
0	18	22
1	32	22
2	54	22
3	90	22
4	181	22
5	398	22
6	1256	22
done	5001	22
0	19	23
1	34	23
2	65	23
3	125	23
4	301	23
5	844	23
6	3113	22
done	5000	22
0	19	23
1	34	23
2	65	23
3	125	23
4	301	23
5	844	23
6	3113	22
done	5000	22
0	17	31
1	31	31
2	58	31
3	116	31
4	279	31
5	768	31
6	2720	31
done	5001	31
0	16	20
1	30	20
2	57	20
3	113	20
4	276	20
5	769	20
6	2718	20
done	5000	20
0	11	11
1	22	6
2	32	4
3	46	4
4	66	4
5	97	4
6	144	4
7	210	4
8	290	4
9	383	4
10	493	4
11	614	4
12	753	4
13	913	4
14	1075	4
15	1264	4
16	1467	4
17	1673	4
18	1894	4
19	2130	4
20	2384	4
21	2654	4
22	2936	4
23	3238	4
24	3559	4
25	3905	4
26	4263	4
27	4613	4
28	4989	4
done	5000	4
0	17	36
1	33	36
2	59	36
3	103	36
4	199	36
5	426	36
6	1287	36
done	5000	36
0	16	20
1	30	20
2	52	20
3	90	20
4	181	20
5	398	20
6	1251	20
done	5001	20
0	6	6
1	11	4
2	21	4
done	21	4
0	17	21
1	32	21
2	63	21
3	127	21
4	305	21
5	855	21
6	3116	20
done	5000	20
0	16	20
1	28	20
2	50	20
3	92	20
4	207	20
5	508	20
6	1691	20
done	5000	20
0	16	20
1	28	20
2	50	20
3	92	20
4	207	20
5	508	20
6	1691	20
done	5000	20
0	17	21
1	31	21
2	58	21
3	114	21
4	275	21
5	772	21
6	2729	21
done	5000	21
0	17	21
1	31	21
2	58	21
3	114	21
4	275	21
5	772	21
6	2729	21
done	5000	21
0	16	20
1	30	20
2	57	20
3	113	20
4	276	20
5	769	20
6	2724	20
done	5001	20
0	17	21
1	31	21
2	58	21
3	114	21
4	275	21
5	772	21
6	2729	21
done	5000	21
0	17	21
1	31	21
2	58	21
3	114	21
4	275	21
5	772	21
6	2729	21
done	5000	21
0	16	20
1	30	20
2	57	20
3	113	20
4	276	20
5	769	20
6	2724	20
done	5001	20
0	16	20
1	30	20
2	57	20
3	113	20
4	276	20
5	769	20
6	2726	20
done	5000	20
0	16	20
1	30	20
2	57	20
3	113	20
4	276	20
5	769	20
6	2726	20
done	5000	20
0	15	19
1	29	19
2	56	19
3	114	19
4	275	19
5	770	19
6	2714	19
done	5001	19
0	15	19
1	29	19
2	56	19
3	114	19
4	275	19
5	770	19
6	2714	19
done	5001	19
0	16	19
1	32	19
2	58	17
3	130	17
4	315	17
5	769	17
6	2325	17
done	5000	17
0	6	6
1	11	4
2	21	4
done	21	4
0	13	16
1	26	6
2	38	4
3	42	4
4	48	4
5	54	4
done	54	4
0	12	16
1	24	16
2	46	16
3	88	16
4	198	16
5	496	16
6	1662	16
done	5000	16
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	9
1	14	9
2	21	9
3	30	9
4	36	9
5	46	9
6	53	9
7	65	9
8	88	9
9	102	9
10	108	9
done	108	9
0	8	8
1	12	8
2	18	8
3	27	8
4	37	8
5	46	8
6	51	8
7	60	8
8	77	8
9	96	8
10	104	8
done	104	8
0	7	7
1	13	7
2	22	7
3	36	7
4	56	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	7	7
1	12	7
2	21	7
3	35	7
4	68	7
5	149	7
6	358	7
7	1389	7
done	5001	7
0	12	20
1	27	20
2	105	12
3	445	10
4	1709	10
done	5000	10
0	10	20
1	23	20
2	72	10
3	228	10
4	784	8
5	2443	8
done	5000	8
0	8	15
1	11	15
2	14	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	20
1	21	20
2	75	8
3	270	8
4	861	8
5	2536	8
done	5000	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	8	13
1	11	13
2	13	13
done	13	13
0	7	7
1	8	7
done	8	7
0	10	15
1	19	15
2	48	15
3	90	15
4	146	15
5	162	15
done	162	15
0	9	11
1	14	11
2	24	11
3	39	11
4	52	11
5	54	11
done	54	11
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	9	12
1	14	12
2	25	12
3	38	12
4	50	12
done	50	12
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	8	11
1	15	11
2	25	9
3	33	9
4	53	9
5	85	9
6	90	9
done	90	9
0	7	7
1	12	7
2	15	5
3	16	5
4	21	5
5	22	5
done	22	5
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
1	4	3
done	4	3
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	14
2	49	8
3	116	6
4	194	6
5	312	6
6	773	6
7	3351	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	194	6
6	322	6
7	819	6
8	3546	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	23	29
1	58	27
2	150	27
3	440	27
4	1600	27
done	5000	27
0	16	31
1	36	27
2	90	23
3	276	21
4	967	13
done	5001	13
0	17	31
1	37	29
2	88	25
3	272	21
4	1011	15
done	5000	15
0	27	43
1	73	41
2	195	41
3	652	35
4	2724	35
done	5001	35
0	20	37
1	42	33
2	96	29
3	266	27
4	751	14
5	2986	14
done	5001	14
0	21	37
1	43	35
2	93	31
3	259	27
4	788	16
5	3263	16
done	5000	16
0	9	11
1	18	11
2	38	11
3	67	11
4	80	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	7	9
1	12	9
2	18	9
done	18	9
0	4	4
done	4	4
0	4	4
done	4	4

prune460.0ms

Filtered

135 candidates to 166 candidates (-23.0%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	150	16	166
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	16	167

Merged error: 5.5b

Counts

167 → 16

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
0.3b	(* x (/ 1.0 (tan B)))
0.9b	(/ (* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))) (sin B))
17.5b	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
33×	`add-cube-cbrt` `*-un-lft-identity`
31×	`times-frac`
30×	`pow-unpow`
25×	`add-exp-log`
21×	`associate-r`
16×	`add-cbrt-cube`
13×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
8×	`prod-exp`
7×	`pow1` `unpow-prod-down`
6×	`associate-l`
5×	`pow-neg` `associate-*r/` `div-exp` `unswap-sqr`
4×	`cbrt-unprod` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `neg-sub0` `pow-to-exp` `pow-exp` `associate-/r*` `associate-/l/` `pow-sub` `sqr-pow`
2×	`un-div-inv` `*-commutative`
1×	`tan-quot` `neg-mul-1` `pow-pow` `frac-2neg` `pow-prod-down` `clear-num` `associate-/r/` `associate-/l*`

Counts

4 → 133

Calls

4 calls:

12.0ms	(* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
8.0ms	(* x (/ 1.0 (tan B)))
13.0ms	(/ (* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))) (sin B))
12.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
27.0ms	(* x (/ 1.0 (tan B)))
70.0ms	(/ (* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))) (sin B))
26.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

simplify6.7min

Counts

145 → 145

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	12	15
1	22	15
2	40	15
3	56	15
4	68	15
5	82	15
6	84	15
done	84	15
0	12	15
1	22	15
2	40	15
3	56	15
4	68	15
5	82	15
6	84	15
done	84	15
0	6	6
1	13	4
2	30	4
3	56	4
4	72	4
5	91	4
6	104	4
7	107	4
done	107	4
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	9	11
1	19	1
2	28	1
3	30	1
4	36	1
5	42	1
done	42	1
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	13	21
1	24	21
2	40	21
3	68	21
4	130	21
5	293	21
6	909	21
7	3358	21
done	5000	21
0	12	15
1	23	15
2	37	15
3	59	15
4	104	15
5	210	15
6	582	15
7	2194	15
done	5000	15
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	21	11
2	37	11
3	49	11
4	77	11
5	146	11
6	366	11
7	1304	11
done	5000	11
0	13	20
1	25	20
2	45	20
3	84	20
4	182	20
5	433	20
6	1405	20
done	5001	20
0	12	15
1	21	15
2	37	15
3	63	15
4	122	15
5	251	15
6	702	15
7	3002	15
done	5001	15
0	15	22
1	32	22
2	70	22
3	150	22
4	422	22
5	1456	22
done	5000	22
0	14	19
1	27	19
2	51	19
3	106	19
4	286	19
5	859	19
6	3187	19
done	5000	19
0	14	18
1	29	16
2	57	16
3	105	16
4	225	16
5	536	16
6	1722	16
done	5000	16
0	14	19
1	27	19
2	49	19
3	88	19
4	204	19
5	541	19
6	1930	19
done	5000	19
0	13	16
1	24	16
2	42	16
3	76	16
4	163	16
5	389	16
6	1294	16
done	5000	16
0	13	15
1	26	13
2	46	13
3	70	13
4	132	13
5	262	13
6	810	13
7	3448	13
done	5000	13
0	13	18
1	29	17
2	50	17
3	89	17
4	197	17
5	535	17
6	2090	17
done	5000	17
0	12	15
1	26	14
2	43	14
3	77	14
4	158	14
5	392	14
6	1323	14
7	4201	14
done	5001	14
0	11	14
1	25	11
2	41	11
3	53	11
4	81	11
5	148	11
6	360	11
7	1283	11
done	5000	11
0	10	12
1	23	11
2	38	11
3	50	11
4	80	11
5	150	11
6	367	11
7	1311	11
done	5000	11
0	10	12
1	19	12
2	35	12
3	61	12
4	122	12
5	260	12
6	727	12
7	3039	12
done	5000	12
0	12	19
1	21	19
2	37	19
3	65	19
4	127	19
5	288	19
6	917	19
7	3386	19
done	5000	19
0	11	14
1	20	14
2	34	14
3	56	14
4	101	14
5	211	14
6	585	14
7	2196	14
done	5000	14
0	14	21
1	29	21
2	60	21
3	129	21
4	352	21
5	1003	21
6	3526	21
done	5000	21
0	13	18
1	24	18
2	44	18
3	86	18
4	208	18
5	544	18
6	1922	18
done	5000	18
0	13	17
1	26	15
2	51	15
3	90	15
4	179	15
5	401	15
6	1364	15
done	5000	15
0	13	18
1	24	18
2	42	18
3	80	18
4	177	18
5	438	18
6	1617	18
done	5000	18
0	12	15
1	21	15
2	37	15
3	66	15
4	132	15
5	299	15
6	1016	15
7	4784	15
done	5000	15
0	12	14
1	23	12
2	40	12
3	60	12
4	108	12
5	212	12
6	652	12
7	2438	12
done	5001	12
0	12	17
1	25	17
2	42	17
3	79	17
4	169	17
5	469	17
6	1714	17
done	5001	17
0	11	14
1	22	14
2	37	14
3	65	14
4	126	14
5	298	14
6	845	14
7	2577	14
done	5001	14
0	10	13
1	22	11
2	37	9
3	52	9
4	80	9
5	151	9
6	371	9
7	1317	9
done	5001	9
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	18	11
2	32	11
3	54	11
4	99	11
5	211	11
6	584	11
7	1990	11
done	5000	11
0	13	26
1	24	26
2	42	26
3	76	26
4	163	26
5	388	26
6	1247	26
done	5001	26
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	6	6
1	14	1
2	21	1
3	35	1
4	55	1
5	86	1
6	132	1
7	196	1
8	280	1
9	379	1
10	485	1
11	606	1
12	747	1
13	899	1
14	1070	1
15	1247	1
16	1438	1
17	1653	1
18	1875	1
19	2109	1
20	2368	1
21	2654	1
22	2933	1
23	3240	1
24	3561	1
25	3894	1
26	4250	1
27	4599	1
28	4960	1
done	5000	1
0	11	14
1	22	14
2	40	14
3	74	14
4	161	14
5	381	14
6	1243	14
done	5001	14
0	12	15
1	25	15
2	50	15
3	98	15
4	227	15
5	642	15
6	2632	15
done	5001	15
0	12	15
1	23	15
2	43	15
3	82	15
4	184	15
5	465	15
6	1577	15
done	5000	15
0	13	31
1	24	31
2	42	31
3	76	31
4	163	31
5	386	31
6	1248	31
done	5000	31
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1240	15
done	5001	15
0	13	44
1	27	31
2	65	16
3	144	16
4	350	16
5	1123	16
done	5000	16
0	12	15
1	23	15
2	42	15
3	76	15
4	163	15
5	385	15
6	1254	15
done	5000	15
0	12	15
1	23	15
2	42	15
3	76	15
4	163	15
5	385	15
6	1254	15
done	5000	15
0	13	16
1	25	16
2	47	16
3	87	16
4	189	16
5	463	16
6	1642	15
done	5000	15
0	13	16
1	25	16
2	47	16
3	87	16
4	189	16
5	463	16
6	1642	15
done	5000	15
0	18	22
1	33	22
2	59	21
3	87	21
4	111	21
5	143	21
6	190	21
7	246	21
done	246	21
0	18	22
1	33	22
2	59	21
3	87	21
4	111	21
5	143	21
6	190	21
7	246	21
done	246	21
0	18	22
1	36	22
2	68	22
3	135	21
4	313	21
5	917	21
6	3785	21
done	5001	21
0	17	21
1	34	21
2	66	21
3	138	21
4	352	21
5	1049	21
6	4098	21
done	5000	21
0	16	20
1	33	20
2	69	20
3	153	20
4	410	20
5	1312	20
done	5000	20
0	16	20
1	30	20
2	58	20
3	118	20
4	301	20
5	898	20
6	3309	20
done	5000	20
0	20	59
1	48	46
2	182	25
3	871	25
done	5000	25
0	19	59
1	48	59
2	183	23
3	1064	21
done	5000	21
0	17	41
1	31	41
2	59	41
3	117	41
4	293	41
5	837	41
6	2973	41
done	5000	41
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	3018	20
done	5001	20
0	17	59
1	38	59
2	103	21
3	394	21
4	2482	21
done	5000	21
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	3018	20
done	5001	20
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	3018	20
done	5001	20
0	13	17
1	29	17
2	58	17
3	120	17
4	300	17
5	839	17
6	2931	17
done	5001	17
0	3	3
done	3	3
0	6	9
1	8	9
done	8	9
0	15	18
1	26	18
2	46	18
3	86	18
4	194	18
5	490	18
6	1659	18
done	5001	18
0	5	5
done	5	5
0	15	18
1	26	18
2	46	18
3	86	18
4	194	18
5	490	18
6	1659	18
done	5001	18
0	3	3
1	5	1
done	5	1
0	14	17
1	25	17
2	45	17
3	85	17
4	193	17
5	489	17
6	1658	17
done	5001	17
0	4	4
1	6	4
done	6	4
0	15	19
1	29	19
2	55	19
3	105	19
4	248	19
5	656	19
6	2151	19
done	5000	19
0	17	24
1	36	24
2	77	24
3	175	24
4	479	24
5	1644	24
done	5000	24
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	2990	20
done	5000	20
0	14	18
1	30	16
2	61	16
3	125	16
4	324	16
5	997	16
6	4197	16
done	5001	16
0	14	17
1	25	17
2	45	17
3	85	17
4	185	17
5	438	17
6	1402	17
done	5000	17
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	9
1	14	9
2	21	9
3	30	9
4	36	9
5	46	9
6	53	9
7	65	9
8	88	9
9	102	9
10	108	9
done	108	9
0	8	8
1	12	8
2	18	8
3	27	8
4	37	8
5	46	8
6	51	8
7	60	8
8	77	8
9	96	8
10	104	8
done	104	8
0	7	7
1	13	7
2	22	7
3	36	7
4	56	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	7	7
1	12	7
2	21	7
3	35	7
4	68	7
5	149	7
6	358	7
7	1389	7
done	5001	7
0	12	20
1	27	20
2	105	12
3	445	10
4	1709	10
done	5000	10
0	10	20
1	23	20
2	72	10
3	228	10
4	784	8
5	2443	8
done	5000	8
0	8	15
1	11	15
2	14	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	20
1	21	20
2	75	8
3	270	8
4	861	8
5	2536	8
done	5000	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	8	13
1	11	13
2	13	13
done	13	13
0	7	7
1	8	7
done	8	7
0	10	15
1	19	15
2	48	15
3	90	15
4	146	15
5	162	15
done	162	15
0	9	11
1	14	11
2	24	11
3	39	11
4	52	11
5	54	11
done	54	11
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	9	12
1	14	12
2	25	12
3	38	12
4	50	12
done	50	12
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	8	11
1	15	11
2	25	9
3	33	9
4	53	9
5	85	9
6	90	9
done	90	9
0	7	7
1	12	7
2	15	5
3	16	5
4	21	5
5	22	5
done	22	5
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
1	4	3
done	4	3
0	14	18
1	25	18
2	44	17
3	60	17
4	72	17
5	86	17
6	88	17
done	88	17
0	14	18
1	25	18
2	44	17
3	60	17
4	72	17
5	86	17
6	88	17
done	88	17
0	14	18
1	28	18
2	53	18
3	106	17
4	245	17
5	701	17
6	2833	17
done	5001	17
0	13	17
1	28	17
2	55	17
3	114	17
4	289	17
5	842	17
6	3314	17
done	5000	17
0	13	17
1	27	17
2	54	17
3	111	17
4	279	17
5	827	17
6	3290	17
done	5000	17
0	15	50
1	35	37
2	98	20
3	280	20
4	995	18
5	4539	18
done	5000	18
0	14	35
1	26	35
2	48	35
3	90	35
4	203	35
5	509	35
6	1689	35
done	5000	35
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	502	17
6	1675	17
done	5000	17
0	14	50
1	35	50
2	98	18
3	300	18
4	1061	18
5	4403	18
done	5000	18
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	502	17
6	1675	17
done	5000	17
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	502	17
6	1675	17
done	5000	17
0	14	18
1	26	18
2	48	18
3	90	18
4	205	18
5	503	18
6	1687	18
done	5001	18
0	14	18
1	26	18
2	48	18
3	90	18
4	205	18
5	503	18
6	1687	18
done	5001	18
0	14	18
1	26	18
2	45	18
3	79	18
4	166	18
5	385	18
6	1252	18
done	5000	18
0	14	18
1	26	18
2	45	18
3	79	18
4	166	18
5	385	18
6	1252	18
done	5000	18
0	15	19
1	28	19
2	54	19
3	104	19
4	231	19
5	593	19
6	2080	18
done	5001	18
0	15	19
1	28	19
2	54	19
3	104	19
4	231	19
5	593	19
6	2080	18
done	5001	18
0	14	28
1	26	28
2	48	28
3	90	28
4	205	28
5	503	28
6	1682	28
done	5000	28
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	503	17
6	1678	17
done	5000	17
0	8	8
1	17	3
2	24	1
3	38	1
4	58	1
5	89	1
6	137	1
7	202	1
8	282	1
9	376	1
10	488	1
11	614	1
12	753	1
13	905	1
14	1073	1
15	1256	1
16	1451	1
17	1663	1
18	1882	1
19	2125	1
20	2373	1
21	2636	1
22	2935	1
23	3237	1
24	3541	1
25	3857	1
26	4190	1
27	4532	1
28	4896	1
done	5001	1
0	14	33
1	28	33
2	48	33
3	82	33
4	169	33
5	386	33
6	1233	33
done	5000	33
0	13	17
1	25	17
2	44	17
3	78	17
4	165	17
5	387	17
6	1247	17
done	5000	17
0	3	3
1	6	1
done	6	1
0	14	18
1	27	18
2	53	18
3	103	18
4	228	18
5	591	18
6	2088	17
done	5000	17
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	503	17
6	1681	17
done	5001	17
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	503	17
6	1681	17
done	5001	17
0	12	16
1	24	16
2	46	16
3	88	16
4	198	16
5	496	16
6	1662	16
done	5000	16
0	3	3
1	6	1
done	6	1
0	10	13
1	21	3
2	30	1
3	32	1
4	38	1
5	44	1
done	44	1
0	23	29
1	58	27
2	150	27
3	440	27
4	1600	27
done	5000	27
0	16	31
1	36	27
2	90	23
3	276	21
4	967	13
done	5001	13
0	17	31
1	37	29
2	88	25
3	272	21
4	1011	15
done	5000	15
0	27	43
1	73	41
2	195	41
3	652	35
4	2724	35
done	5001	35
0	20	37
1	42	33
2	96	29
3	266	27
4	751	14
5	2986	14
done	5001	14
0	21	37
1	43	35
2	93	31
3	259	27
4	788	16
5	3263	16
done	5000	16
0	9	11
1	18	11
2	38	11
3	67	11
4	80	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	23	37
1	62	35
2	169	29
3	530	29
4	2075	29
done	5000	29
0	16	31
1	33	27
2	69	23
3	175	21
4	437	11
5	1422	11
done	5000	11
0	17	31
1	34	29
2	67	25
3	171	21
4	472	13
5	1702	13
done	5001	11

prune388.0ms

Filtered

118 candidates to 145 candidates (-22.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	137	8	145
Fresh	7	8	15
Picked	1	0	1
Done	0	0	0
Total	145	16	161

Merged error: 5.4b

Counts

161 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (* x 1.0) (tan B))
0.3b	(* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
0.9b	(/ (* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))) (sin B))
17.5b	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
30×	`pow-unpow`
27×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-exp-log`
24×	`times-frac`
16×	`add-cbrt-cube`
13×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
7×	`unpow-prod-down` `associate-r` `prod-exp`
6×	`div-exp` `associate-/r*`
5×	`pow1` `pow-neg`
4×	`cbrt-undiv` `associate-*r/` `div-inv` `add-log-exp`
3×	`neg-sub0` `pow-to-exp` `associate-l` `pow-exp` `cbrt-unprod` `associate-/l/` `pow-sub` `unswap-sqr` `sqr-pow`
2×	`frac-2neg` `clear-num` `un-div-inv` `associate-/l*`
1×	`tan-quot` `neg-mul-1` `pow-pow` `associate-/r/` `*-commutative`

Counts

4 → 122

Calls

4 calls:

6.0ms	(/ (* x 1.0) (tan B))
12.0ms	(* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
12.0ms	(/ (* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))) (sin B))
12.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ (* x 1.0) (tan B))
35.0ms	(* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0))))
70.0ms	(/ (* F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))) (sin B))
25.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (neg (/ 1.0 2.0)))

simplify6.8min

Counts

134 → 134

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	12	15
1	22	15
2	40	15
3	56	15
4	68	15
5	82	15
6	84	15
done	84	15
0	12	15
1	22	15
2	40	15
3	56	15
4	68	15
5	82	15
6	84	15
done	84	15
0	6	6
1	13	4
2	30	4
3	56	4
4	72	4
5	91	4
6	104	4
7	107	4
done	107	4
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	9	11
1	19	1
2	28	1
3	30	1
4	36	1
5	42	1
done	42	1
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	13	21
1	24	21
2	40	21
3	68	21
4	130	21
5	293	21
6	909	21
7	3358	21
done	5000	21
0	12	15
1	23	15
2	37	15
3	59	15
4	104	15
5	210	15
6	582	15
7	2194	15
done	5000	15
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	21	11
2	37	11
3	49	11
4	77	11
5	146	11
6	366	11
7	1304	11
done	5000	11
0	13	20
1	25	20
2	45	20
3	84	20
4	182	20
5	433	20
6	1405	20
done	5001	20
0	12	15
1	21	15
2	37	15
3	63	15
4	122	15
5	251	15
6	702	15
7	3002	15
done	5001	15
0	15	22
1	32	22
2	70	22
3	150	22
4	422	22
5	1456	22
done	5000	22
0	14	19
1	27	19
2	51	19
3	106	19
4	286	19
5	859	19
6	3187	19
done	5000	19
0	14	18
1	29	16
2	57	16
3	105	16
4	225	16
5	536	16
6	1722	16
done	5000	16
0	14	19
1	27	19
2	49	19
3	88	19
4	204	19
5	541	19
6	1930	19
done	5000	19
0	13	16
1	24	16
2	42	16
3	76	16
4	163	16
5	389	16
6	1294	16
done	5000	16
0	13	15
1	26	13
2	46	13
3	70	13
4	132	13
5	262	13
6	810	13
7	3448	13
done	5000	13
0	13	18
1	29	17
2	50	17
3	89	17
4	197	17
5	535	17
6	2090	17
done	5000	17
0	12	15
1	26	14
2	43	14
3	77	14
4	158	14
5	392	14
6	1323	14
7	4201	14
done	5001	14
0	11	14
1	25	11
2	41	11
3	53	11
4	81	11
5	148	11
6	360	11
7	1283	11
done	5000	11
0	10	12
1	23	11
2	38	11
3	50	11
4	80	11
5	150	11
6	367	11
7	1311	11
done	5000	11
0	10	12
1	19	12
2	35	12
3	61	12
4	122	12
5	260	12
6	727	12
7	3039	12
done	5000	12
0	12	19
1	21	19
2	37	19
3	65	19
4	127	19
5	288	19
6	917	19
7	3386	19
done	5000	19
0	11	14
1	20	14
2	34	14
3	56	14
4	101	14
5	211	14
6	585	14
7	2196	14
done	5000	14
0	14	21
1	29	21
2	60	21
3	129	21
4	352	21
5	1003	21
6	3526	21
done	5000	21
0	13	18
1	24	18
2	44	18
3	86	18
4	208	18
5	544	18
6	1922	18
done	5000	18
0	13	17
1	26	15
2	51	15
3	90	15
4	179	15
5	401	15
6	1364	15
done	5000	15
0	13	18
1	24	18
2	42	18
3	80	18
4	177	18
5	438	18
6	1617	18
done	5000	18
0	12	15
1	21	15
2	37	15
3	66	15
4	132	15
5	299	15
6	1016	15
7	4784	15
done	5000	15
0	12	14
1	23	12
2	40	12
3	60	12
4	108	12
5	212	12
6	652	12
7	2438	12
done	5001	12
0	12	17
1	25	17
2	42	17
3	79	17
4	169	17
5	469	17
6	1714	17
done	5001	17
0	11	14
1	22	14
2	37	14
3	65	14
4	126	14
5	298	14
6	845	14
7	2577	14
done	5001	14
0	10	13
1	22	11
2	37	9
3	52	9
4	80	9
5	151	9
6	371	9
7	1317	9
done	5001	9
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	18	11
2	32	11
3	54	11
4	99	11
5	211	11
6	584	11
7	1990	11
done	5000	11
0	13	26
1	24	26
2	42	26
3	76	26
4	163	26
5	388	26
6	1247	26
done	5001	26
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1242	15
done	5000	15
0	6	6
1	14	1
2	21	1
3	35	1
4	55	1
5	86	1
6	132	1
7	196	1
8	280	1
9	379	1
10	485	1
11	606	1
12	747	1
13	899	1
14	1070	1
15	1247	1
16	1438	1
17	1653	1
18	1875	1
19	2109	1
20	2368	1
21	2654	1
22	2933	1
23	3240	1
24	3561	1
25	3894	1
26	4250	1
27	4599	1
28	4960	1
done	5000	1
0	11	14
1	22	14
2	40	14
3	74	14
4	161	14
5	381	14
6	1243	14
done	5001	14
0	12	15
1	25	15
2	50	15
3	98	15
4	227	15
5	642	15
6	2632	15
done	5001	15
0	12	15
1	23	15
2	43	15
3	82	15
4	184	15
5	465	15
6	1577	15
done	5000	15
0	13	31
1	24	31
2	42	31
3	76	31
4	163	31
5	386	31
6	1248	31
done	5000	31
0	12	15
1	23	15
2	41	15
3	75	15
4	162	15
5	383	15
6	1240	15
done	5001	15
0	13	44
1	27	31
2	65	16
3	144	16
4	350	16
5	1123	16
done	5000	16
0	12	15
1	23	15
2	42	15
3	76	15
4	163	15
5	385	15
6	1254	15
done	5000	15
0	12	15
1	23	15
2	42	15
3	76	15
4	163	15
5	385	15
6	1254	15
done	5000	15
0	13	16
1	25	16
2	47	16
3	87	16
4	189	16
5	463	16
6	1642	15
done	5000	15
0	13	16
1	25	16
2	47	16
3	87	16
4	189	16
5	463	16
6	1642	15
done	5000	15
0	18	22
1	33	22
2	59	21
3	87	21
4	111	21
5	143	21
6	190	21
7	246	21
done	246	21
0	18	22
1	33	22
2	59	21
3	87	21
4	111	21
5	143	21
6	190	21
7	246	21
done	246	21
0	18	22
1	36	22
2	68	22
3	135	21
4	313	21
5	917	21
6	3785	21
done	5001	21
0	17	21
1	34	21
2	66	21
3	138	21
4	352	21
5	1049	21
6	4098	21
done	5000	21
0	16	20
1	33	20
2	69	20
3	153	20
4	410	20
5	1312	20
done	5000	20
0	16	20
1	30	20
2	58	20
3	118	20
4	301	20
5	898	20
6	3309	20
done	5000	20
0	20	59
1	48	46
2	182	25
3	871	25
done	5000	25
0	19	59
1	48	59
2	183	23
3	1064	21
done	5000	21
0	17	41
1	31	41
2	59	41
3	117	41
4	293	41
5	837	41
6	2973	41
done	5000	41
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	3018	20
done	5001	20
0	17	59
1	38	59
2	103	21
3	394	21
4	2482	21
done	5000	21
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	3018	20
done	5001	20
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	3018	20
done	5001	20
0	13	17
1	29	17
2	58	17
3	120	17
4	300	17
5	839	17
6	2931	17
done	5001	17
0	3	3
done	3	3
0	6	9
1	8	9
done	8	9
0	15	18
1	26	18
2	46	18
3	86	18
4	194	18
5	490	18
6	1659	18
done	5001	18
0	5	5
done	5	5
0	15	18
1	26	18
2	46	18
3	86	18
4	194	18
5	490	18
6	1659	18
done	5001	18
0	3	3
1	5	1
done	5	1
0	14	17
1	25	17
2	45	17
3	85	17
4	193	17
5	489	17
6	1658	17
done	5001	17
0	4	4
1	6	4
done	6	4
0	15	19
1	29	19
2	55	19
3	105	19
4	248	19
5	656	19
6	2151	19
done	5000	19
0	17	24
1	36	24
2	77	24
3	175	24
4	479	24
5	1644	24
done	5000	24
0	16	20
1	30	20
2	58	20
3	116	20
4	290	20
5	839	20
6	2990	20
done	5000	20
0	14	18
1	30	16
2	61	16
3	125	16
4	324	16
5	997	16
6	4197	16
done	5001	16
0	14	17
1	25	17
2	45	17
3	85	17
4	185	17
5	438	17
6	1402	17
done	5000	17
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	14	18
1	25	18
2	44	17
3	60	17
4	72	17
5	86	17
6	88	17
done	88	17
0	14	18
1	25	18
2	44	17
3	60	17
4	72	17
5	86	17
6	88	17
done	88	17
0	14	18
1	28	18
2	53	18
3	106	17
4	245	17
5	701	17
6	2833	17
done	5001	17
0	13	17
1	28	17
2	55	17
3	114	17
4	289	17
5	842	17
6	3314	17
done	5000	17
0	13	17
1	27	17
2	54	17
3	111	17
4	279	17
5	827	17
6	3290	17
done	5000	17
0	15	50
1	35	37
2	98	20
3	280	20
4	995	18
5	4539	18
done	5000	18
0	14	35
1	26	35
2	48	35
3	90	35
4	203	35
5	509	35
6	1689	35
done	5000	35
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	502	17
6	1675	17
done	5000	17
0	14	50
1	35	50
2	98	18
3	300	18
4	1061	18
5	4403	18
done	5000	18
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	502	17
6	1675	17
done	5000	17
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	502	17
6	1675	17
done	5000	17
0	14	18
1	26	18
2	48	18
3	90	18
4	205	18
5	503	18
6	1687	18
done	5001	18
0	14	18
1	26	18
2	48	18
3	90	18
4	205	18
5	503	18
6	1687	18
done	5001	18
0	14	18
1	26	18
2	45	18
3	79	18
4	166	18
5	385	18
6	1252	18
done	5000	18
0	14	18
1	26	18
2	45	18
3	79	18
4	166	18
5	385	18
6	1252	18
done	5000	18
0	15	19
1	28	19
2	54	19
3	104	19
4	231	19
5	593	19
6	2080	18
done	5001	18
0	15	19
1	28	19
2	54	19
3	104	19
4	231	19
5	593	19
6	2080	18
done	5001	18
0	14	28
1	26	28
2	48	28
3	90	28
4	205	28
5	503	28
6	1682	28
done	5000	28
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	503	17
6	1678	17
done	5000	17
0	8	8
1	17	3
2	24	1
3	38	1
4	58	1
5	89	1
6	137	1
7	202	1
8	282	1
9	376	1
10	488	1
11	614	1
12	753	1
13	905	1
14	1073	1
15	1256	1
16	1451	1
17	1663	1
18	1882	1
19	2125	1
20	2373	1
21	2636	1
22	2935	1
23	3237	1
24	3541	1
25	3857	1
26	4190	1
27	4532	1
28	4896	1
done	5001	1
0	14	33
1	28	33
2	48	33
3	82	33
4	169	33
5	386	33
6	1233	33
done	5000	33
0	13	17
1	25	17
2	44	17
3	78	17
4	165	17
5	387	17
6	1247	17
done	5000	17
0	3	3
1	6	1
done	6	1
0	14	18
1	27	18
2	53	18
3	103	18
4	228	18
5	591	18
6	2088	17
done	5000	17
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	503	17
6	1681	17
done	5001	17
0	13	17
1	25	17
2	47	17
3	89	17
4	199	17
5	503	17
6	1681	17
done	5001	17
0	12	16
1	24	16
2	46	16
3	88	16
4	198	16
5	496	16
6	1662	16
done	5000	16
0	3	3
1	6	1
done	6	1
0	10	13
1	21	3
2	30	1
3	32	1
4	38	1
5	44	1
done	44	1
0	9	9
1	14	9
2	21	9
3	27	9
4	33	9
5	42	9
6	55	9
7	73	9
8	89	9
9	96	9
10	113	9
11	115	9
done	115	9
0	8	8
1	14	8
2	20	8
3	29	8
4	32	8
5	38	8
6	47	8
7	60	8
8	78	8
9	94	8
10	101	8
11	118	8
12	120	8
done	120	8
0	7	7
1	13	7
2	25	7
3	44	7
4	60	7
5	68	7
6	80	7
7	98	7
8	114	7
9	121	7
10	138	7
11	140	7
done	140	7
0	7	7
1	10	7
2	14	7
3	19	7
4	28	7
5	41	7
6	74	7
7	157	7
8	373	7
9	1024	7
10	4079	7
done	5001	7
0	12	20
1	27	20
2	123	12
3	557	12
4	2286	10
done	5001	10
0	10	20
1	29	20
2	130	10
3	691	8
4	2614	8
5	4894	8
done	5000	8
0	8	15
1	11	15
2	15	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	20
1	18	20
2	59	8
3	238	8
4	1001	8
5	2918	8
done	5000	8
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	6	6
1	9	6
2	11	6
done	11	6
0	8	11
1	16	11
2	30	11
3	43	11
4	47	11
done	47	11
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	4	4
done	4	4
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	23	29
1	58	27
2	150	27
3	440	27
4	1600	27
done	5000	27
0	16	31
1	36	27
2	90	23
3	276	21
4	967	13
done	5001	13
0	17	31
1	37	29
2	88	25
3	272	21
4	1011	15
done	5000	15
0	27	43
1	73	41
2	195	41
3	652	35
4	2724	35
done	5001	35
0	20	37
1	42	33
2	96	29
3	266	27
4	751	14
5	2986	14
done	5001	14
0	21	37
1	43	35
2	93	31
3	259	27
4	788	16
5	3263	16
done	5000	16
0	23	37
1	62	35
2	169	29
3	530	29
4	2075	29
done	5000	29
0	16	31
1	33	27
2	69	23
3	175	21
4	437	11
5	1422	11
done	5000	11
0	17	31
1	34	29
2	67	25
3	171	21
4	472	13
5	1702	13
done	5001	11
0	9	11
1	18	11
2	38	11
3	67	11
4	80	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9

prune359.0ms

Filtered

112 candidates to 134 candidates (-19.6%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	134	16	150

Merged error: 5.4b

Counts

150 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
0.3b	(* x (/ 1.0 (tan B)))
0.9b	(/ (/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))) (sin B))
17.4b	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

199×	`times-frac`
123×	`add-sqr-sqrt`
118×	`add-cube-cbrt` `*-un-lft-identity`
51×	`unpow-prod-down`
28×	`associate-/l*`
25×	`add-exp-log`
17×	`sqr-pow`
16×	`add-cbrt-cube`
14×	`associate-r`
13×	`pow-unpow`
11×	`div-exp`
10×	`associate-/r*`
8×	`div-inv`
7×	`pow1`
5×	`cbrt-undiv`
4×	`add-log-exp`
3×	`pow-to-exp` `associate-l` `pow-exp`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`tan-quot` `pow-pow` `associate-r/` `pow-prod-down` `associate-/r/` `-commutative` `associate-/l/`

Counts

4 → 225

Calls

4 calls:

11.0ms	(/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
8.0ms	(* x (/ 1.0 (tan B)))
16.0ms	(/ (/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))) (sin B))
10.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

series249.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
27.0ms	(* x (/ 1.0 (tan B)))
113.0ms	(/ (/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))) (sin B))
24.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

simplify31.7min

Counts

237 → 237

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	19	14
2	31	14
3	39	14
4	46	14
5	52	14
done	52	14
0	11	14
1	19	14
2	31	14
3	39	14
4	46	14
5	52	14
done	52	14
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	12	19
1	21	19
2	37	19
3	65	19
4	127	19
5	288	19
6	917	19
7	3386	19
done	5000	19
0	11	14
1	20	14
2	34	14
3	56	14
4	101	14
5	211	14
6	585	14
7	2196	14
done	5000	14
0	14	21
1	29	21
2	60	21
3	129	21
4	352	21
5	1003	21
6	3526	21
done	5000	21
0	13	18
1	24	18
2	44	18
3	86	18
4	208	18
5	544	18
6	1922	18
done	5000	18
0	13	17
1	26	15
2	51	15
3	90	15
4	179	15
5	401	15
6	1364	15
done	5000	15
0	13	18
1	24	18
2	42	18
3	80	18
4	177	18
5	438	18
6	1617	18
done	5000	18
0	12	15
1	21	15
2	37	15
3	66	15
4	132	15
5	299	15
6	1016	15
7	4784	15
done	5000	15
0	12	14
1	23	12
2	40	12
3	60	12
4	108	12
5	212	12
6	652	12
7	2438	12
done	5001	12
0	12	17
1	25	17
2	42	17
3	79	17
4	169	17
5	469	17
6	1714	17
done	5001	17
0	11	14
1	22	14
2	37	14
3	65	14
4	126	14
5	298	14
6	845	14
7	2577	14
done	5001	14
0	10	13
1	22	11
2	37	9
3	52	9
4	80	9
5	151	9
6	371	9
7	1317	9
done	5001	9
0	9	11
1	21	9
2	36	9
3	49	9
4	79	9
5	145	9
6	361	9
7	1293	9
done	5000	9
0	9	11
1	18	11
2	32	11
3	54	11
4	99	11
5	211	11
6	584	11
7	1990	11
done	5000	11
0	12	25
1	21	25
2	37	25
3	66	25
4	132	25
5	298	25
6	971	25
7	4555	25
done	5000	25
0	11	14
1	20	14
2	36	14
3	65	14
4	131	14
5	297	14
6	970	14
7	4533	14
done	5000	14
0	11	14
1	20	14
2	36	14
3	65	14
4	131	14
5	297	14
6	970	14
7	4533	14
done	5000	14
0	11	14
1	20	14
2	36	14
3	65	14
4	131	14
5	297	14
6	970	14
7	4533	14
done	5000	14
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	10	13
1	19	13
2	35	13
3	64	13
4	130	13
5	306	13
6	978	13
7	4569	13
done	5000	13
0	11	14
1	22	14
2	43	14
3	80	14
4	181	14
5	501	14
6	1957	14
done	5000	14
0	11	14
1	20	14
2	38	14
3	72	14
4	155	14
5	388	14
6	1312	14
done	5000	14
0	12	29
1	21	29
2	37	29
3	66	29
4	134	29
5	310	29
6	982	29
7	4561	29
done	5000	29
0	11	14
1	20	14
2	36	14
3	65	14
4	133	14
5	306	14
6	979	14
7	4550	14
done	5000	14
0	12	41
1	24	29
2	58	15
3	123	15
4	304	15
5	981	15
6	4650	15
done	5001	15
0	11	14
1	20	14
2	37	14
3	66	14
4	134	14
5	309	14
6	986	14
7	4564	14
done	5000	14
0	11	14
1	20	14
2	37	14
3	66	14
4	134	14
5	309	14
6	986	14
7	4564	14
done	5000	14
0	12	15
1	22	15
2	44	15
3	77	15
4	165	15
5	404	15
6	1527	15
done	5000	15
0	12	15
1	22	15
2	44	15
3	77	15
4	165	15
5	404	15
6	1527	15
done	5000	15
0	17	21
1	31	21
2	62	21
3	95	21
4	123	21
5	140	21
6	155	21
7	203	21
8	254	21
done	254	21
0	17	21
1	31	21
2	62	21
3	95	21
4	123	21
5	140	21
6	155	21
7	203	21
8	254	21
done	254	21
0	17	21
1	34	21
2	70	21
3	143	21
4	319	21
5	907	21
6	3905	21
done	5001	21
0	16	20
1	30	20
2	59	20
3	129	20
4	326	20
5	944	20
6	3956	20
done	5001	20
0	15	19
1	29	19
2	59	19
3	124	19
4	319	19
5	941	19
6	3602	19
done	5001	19
0	15	19
1	26	19
2	49	19
3	93	19
4	211	19
5	547	19
6	1817	19
done	5000	19
0	19	56
1	44	44
2	155	24
3	743	22
4	4928	20
done	5000	20
0	18	56
1	42	56
2	125	22
3	593	20
4	3977	20
done	5000	20
0	16	39
1	27	39
2	50	39
3	94	39
4	210	39
5	548	39
6	1806	39
done	5001	39
0	15	19
1	26	19
2	49	19
3	93	19
4	211	19
5	547	19
6	1817	19
done	5000	19
0	16	56
1	34	56
2	88	20
3	322	20
4	2316	20
done	5000	20
0	15	19
1	26	19
2	49	19
3	93	19
4	211	19
5	547	19
6	1817	19
done	5000	19
0	15	19
1	26	19
2	49	19
3	93	19
4	211	19
5	547	19
6	1817	19
done	5000	19
0	12	16
1	23	16
2	43	16
3	82	16
4	180	16
5	437	16
6	1338	16
done	5000	16
0	3	3
done	3	3
0	18	41
1	33	41
2	60	41
3	99	41
4	180	41
5	389	41
6	1162	41
done	5001	41
0	16	20
1	25	20
2	43	20
3	76	20
4	157	20
5	370	20
6	1147	20
done	5000	20
0	17	37
1	28	37
2	48	37
3	82	37
4	163	37
5	374	37
6	1147	37
done	5000	37
0	16	20
1	25	20
2	43	20
3	76	20
4	157	20
5	370	20
6	1147	20
done	5000	20
0	15	35
1	28	33
2	51	33
3	87	33
4	168	33
5	382	33
6	1155	33
done	5000	33
0	15	19
1	24	19
2	42	19
3	75	19
4	156	19
5	360	19
6	1148	19
done	5000	19
0	17	24
1	28	24
2	46	24
3	79	24
4	160	24
5	366	24
6	1148	24
done	5001	24
0	16	20
1	25	20
2	43	20
3	76	20
4	157	20
5	370	20
6	1147	20
done	5000	20
0	16	20
1	25	20
2	43	20
3	76	20
4	157	20
5	370	20
6	1147	20
done	5000	20
0	16	20
1	25	20
2	43	20
3	76	20
4	157	20
5	370	20
6	1147	20
done	5000	20
0	14	18
1	25	16
2	44	16
3	75	16
4	156	16
5	360	16
6	1145	16
done	5001	16
0	15	19
1	24	19
2	42	19
3	75	19
4	156	19
5	360	19
6	1148	19
done	5000	19
0	20	39
1	35	39
2	76	39
3	195	39
4	585	39
5	2032	39
done	5000	39
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	19	35
1	32	35
2	66	35
3	143	35
4	376	35
5	1185	35
6	4713	35
done	5000	35
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	17	33
1	32	31
2	69	31
3	153	31
4	335	31
5	849	31
6	2762	31
done	5000	31
0	16	20
1	27	20
2	50	20
3	94	20
4	210	20
5	543	20
6	1789	20
done	5000	20
0	19	28
1	34	28
2	75	28
3	194	28
4	582	28
5	2029	28
done	5000	28
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	18	24
1	31	24
2	65	24
3	140	24
4	372	24
5	1174	24
6	4686	24
done	5000	24
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	16	22
1	31	20
2	68	20
3	152	20
4	337	20
5	851	20
6	2758	20
done	5000	20
0	16	20
1	27	20
2	50	20
3	94	20
4	210	20
5	543	20
6	1789	20
done	5000	20
0	14	19
1	26	15
2	47	13
3	107	13
4	143	13
5	166	13
6	197	13
7	241	13
8	295	13
9	362	13
10	437	13
11	520	13
12	609	13
13	709	13
14	820	13
15	935	13
16	1064	13
17	1212	13
18	1367	13
19	1521	13
20	1681	13
21	1855	13
22	2033	13
23	2220	13
24	2424	13
25	2656	13
26	2870	13
27	3094	13
28	3326	13
29	3576	13
30	3827	13
31	4088	13
32	4359	13
33	4636	13
34	4924	13
done	5000	13
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	13	15
1	23	11
2	39	9
3	70	9
4	91	9
5	114	9
6	146	9
7	190	9
8	246	9
9	308	9
10	381	9
11	462	9
12	553	9
13	652	9
14	774	9
15	909	9
16	1037	9
17	1194	9
18	1340	9
19	1498	9
20	1659	9
21	1830	9
22	2010	9
23	2210	9
24	2413	9
25	2618	9
26	2834	9
27	3058	9
28	3290	9
29	3547	9
30	3809	9
31	4069	9
32	4338	9
33	4616	9
34	4902	9
done	5000	9
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	10	13
1	20	7
2	29	5
3	45	5
4	58	5
5	81	5
6	113	5
7	157	5
8	213	5
9	279	5
10	351	5
11	431	5
12	527	5
13	628	5
14	734	5
15	852	5
16	986	5
17	1128	5
18	1270	5
19	1427	5
20	1587	5
21	1757	5
22	1941	5
23	2132	5
24	2348	5
25	2553	5
26	2769	5
27	2997	5
28	3233	5
29	3476	5
30	3727	5
31	3990	5
32	4258	5
33	4537	5
34	4833	5
done	5001	5
0	15	19
1	26	19
2	49	19
3	93	19
4	210	19
5	542	19
6	1784	19
done	5000	19
0	20	43
1	39	43
2	90	43
3	209	43
4	401	43
5	619	43
6	1291	43
7	4867	43
done	5000	43
0	17	21
1	28	21
2	47	21
3	76	21
4	142	21
5	308	21
6	979	21
7	4529	21
done	5000	21
0	19	39
1	36	39
2	75	39
3	143	39
4	250	39
5	428	39
6	1105	39
7	4746	39
done	5000	39
0	17	21
1	28	21
2	47	21
3	76	21
4	142	21
5	308	21
6	979	21
7	4529	21
done	5000	21
0	17	37
1	36	35
2	78	35
3	156	35
4	252	35
5	424	35
6	1098	35
7	4736	35
done	5000	35
0	16	20
1	27	20
2	46	20
3	75	20
4	141	20
5	307	20
6	990	20
7	4551	20
done	5001	20
0	19	28
1	34	28
2	67	28
3	134	28
4	239	28
5	420	28
6	1097	28
7	4730	28
done	5000	28
0	17	21
1	28	21
2	48	21
3	77	21
4	143	21
5	310	21
6	981	21
7	4531	21
done	5000	21
0	18	24
1	31	24
2	59	24
3	103	24
4	179	24
5	347	24
6	1022	24
7	4614	24
done	5001	24
0	17	21
1	28	21
2	48	21
3	77	21
4	143	21
5	310	21
6	981	21
7	4531	21
done	5000	21
0	16	22
1	31	20
2	62	20
3	106	20
4	182	20
5	353	20
6	1023	20
7	4616	20
done	5000	20
0	16	20
1	27	20
2	47	20
3	76	20
4	142	20
5	310	20
6	984	20
7	4549	20
done	5000	20
0	10	15
1	18	13
2	47	13
3	104	13
4	120	13
done	120	13
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	9	11
1	15	9
2	35	9
3	57	9
4	58	9
done	58	9
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	15	19
1	26	19
2	49	19
3	93	19
4	210	19
5	542	19
6	1784	19
done	5000	19
0	20	29
1	36	29
2	83	29
3	208	29
4	622	29
5	2133	29
done	5001	29
0	18	22
1	30	22
2	59	22
3	109	22
4	248	22
5	656	22
6	2363	22
done	5000	22
0	19	25
1	33	25
2	73	25
3	152	25
4	406	25
5	1288	25
done	5000	25
0	18	22
1	30	22
2	59	22
3	109	22
4	248	22
5	656	22
6	2363	22
done	5000	22
0	17	23
1	33	21
2	76	21
3	164	21
4	369	21
5	957	21
6	3324	21
done	5000	21
0	17	21
1	29	21
2	58	21
3	106	21
4	245	21
5	652	21
6	2355	21
done	5000	21
0	19	36
1	32	36
2	60	36
3	125	36
4	300	36
5	837	36
6	2849	36
done	5000	36
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	18	32
1	29	32
2	52	32
3	96	32
4	213	32
5	547	32
6	1790	32
done	5000	32
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	16	30
1	29	28
2	55	28
3	106	28
4	207	28
5	462	28
6	1335	28
done	5000	28
0	16	20
1	27	20
2	50	20
3	94	20
4	210	20
5	543	20
6	1789	20
done	5000	20
0	18	25
1	31	25
2	59	25
3	122	25
4	292	25
5	832	25
6	2827	25
done	5000	25
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	17	21
1	28	21
2	51	21
3	97	21
4	214	21
5	543	21
6	1785	21
done	5001	21
0	15	19
1	28	17
2	54	17
3	103	17
4	203	17
5	458	17
6	1326	17
done	5000	17
0	16	20
1	27	20
2	50	20
3	94	20
4	210	20
5	543	20
6	1789	20
done	5000	20
0	13	16
1	23	12
2	34	10
3	53	10
4	66	10
5	89	10
6	122	10
7	167	10
8	225	10
9	294	10
10	369	10
11	450	10
12	539	10
13	639	10
14	755	10
15	873	10
16	997	10
17	1142	10
18	1299	10
19	1453	10
20	1628	10
21	1799	10
22	1979	10
23	2167	10
24	2367	10
25	2583	10
26	2798	10
27	3027	10
28	3269	10
29	3515	10
30	3768	10
31	4031	10
32	4300	10
33	4577	10
34	4866	10
done	5000	10
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	12	12
1	20	8
2	28	6
3	39	6
4	52	6
5	75	6
6	106	6
7	149	6
8	203	6
9	267	6
10	342	6
11	427	6
12	523	6
13	625	6
14	740	6
15	864	6
16	988	6
17	1134	6
18	1276	6
19	1427	6
20	1596	6
21	1782	6
22	1980	6
23	2186	6
24	2382	6
25	2587	6
26	2822	6
27	3067	6
28	3323	6
29	3566	6
30	3827	6
31	4104	6
32	4402	6
33	4681	6
34	4970	6
done	5000	6
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	9	10
1	17	4
2	22	2
3	33	2
4	46	2
5	69	2
6	101	2
7	146	2
8	198	2
9	261	2
10	332	2
11	413	2
12	503	2
13	600	2
14	708	2
15	826	2
16	952	2
17	1093	2
18	1249	2
19	1408	2
20	1580	2
21	1755	2
22	1935	2
23	2131	2
24	2339	2
25	2553	2
26	2791	2
27	3015	2
28	3257	2
29	3528	2
30	3787	2
31	4047	2
32	4319	2
33	4605	2
34	4899	2
done	5000	2
0	15	19
1	26	19
2	49	19
3	93	19
4	210	19
5	542	19
6	1784	19
done	5000	19
0	19	40
1	34	40
2	62	40
3	118	40
4	189	40
5	359	40
6	1031	40
7	4618	40
done	5001	40
0	17	21
1	28	21
2	47	21
3	76	21
4	142	21
5	308	21
6	979	21
7	4529	21
done	5000	21
0	18	36
1	31	36
2	53	36
3	90	36
4	156	36
5	323	36
6	1004	36
7	4612	36
done	5000	36
0	17	21
1	28	21
2	47	21
3	76	21
4	142	21
5	308	21
6	979	21
7	4529	21
done	5000	21
0	16	34
1	31	32
2	56	32
3	99	32
4	165	32
5	336	32
6	1002	32
7	4594	32
done	5000	32
0	16	20
1	27	20
2	46	20
3	75	20
4	141	20
5	307	20
6	990	20
7	4551	20
done	5001	20
0	18	25
1	31	25
2	54	25
3	89	25
4	155	25
5	326	25
6	1007	25
7	4542	25
done	5000	25
0	17	21
1	28	21
2	48	21
3	77	21
4	143	21
5	310	21
6	981	21
7	4531	21
done	5000	21
0	17	21
1	28	21
2	48	21
3	77	21
4	143	21
5	310	21
6	981	21
7	4531	21
done	5000	21
0	17	21
1	28	21
2	48	21
3	77	21
4	143	21
5	310	21
6	981	21
7	4531	21
done	5000	21
0	15	19
1	28	17
2	51	17
3	80	17
4	146	17
5	314	17
6	982	17
7	4546	17
done	5001	17
0	16	20
1	27	20
2	47	20
3	76	20
4	142	20
5	310	20
6	984	20
7	4549	20
done	5000	20
0	9	12
1	15	10
2	24	10
3	32	10
done	32	10
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	8	8
1	12	6
2	18	6
done	18	6
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	543	20
6	1800	20
done	5000	20
0	5	6
1	9	2
done	9	2
0	15	19
1	26	19
2	49	19
3	93	19
4	210	19
5	542	19
6	1784	19
done	5000	19
0	19	26
1	33	26
2	67	26
3	136	26
4	331	26
5	947	26
6	3420	26
done	5000	26
0	18	22
1	30	22
2	59	22
3	109	22
4	248	22
5	656	22
6	2363	22
done	5000	22
0	18	22
1	30	22
2	59	22
3	109	22
4	248	22
5	656	22
6	2363	22
done	5000	22
0	18	22
1	30	22
2	59	22
3	109	22
4	248	22
5	656	22
6	2363	22
done	5000	22
0	16	20
1	30	18
2	62	18
3	115	18
4	237	18
5	556	18
6	1889	18
done	5000	18
0	17	21
1	29	21
2	58	21
3	106	21
4	245	21
5	652	21
6	2355	21
done	5000	21
0	19	35
1	34	35
2	61	35
3	122	35
4	297	35
5	854	35
6	2873	35
done	5000	35
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	544	20
6	1788	20
done	5001	20
0	18	31
1	31	31
2	53	31
3	95	31
4	212	31
5	542	31
6	1796	31
done	5000	31
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	544	20
6	1788	20
done	5001	20
0	15	29
1	28	27
2	54	27
3	97	27
4	199	27
5	449	27
6	1318	27
done	5001	27
0	15	19
1	26	19
2	49	19
3	93	19
4	210	19
5	542	19
6	1787	19
done	5000	19
0	18	24
1	33	24
2	60	24
3	121	24
4	293	24
5	829	24
6	2835	24
done	5001	24
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	544	20
6	1788	20
done	5001	20
0	17	20
1	30	20
2	52	20
3	94	20
4	211	20
5	542	20
6	1791	20
done	5000	20
0	16	20
1	27	20
2	50	20
3	94	20
4	211	20
5	544	20
6	1788	20
done	5001	20
0	14	18
1	27	16
2	53	16
3	96	16
4	197	16
5	450	16
6	1316	16
done	5000	16
0	15	19
1	26	19
2	49	19
3	93	19
4	210	19
5	542	19
6	1787	19
done	5000	19
0	11	15
1	21	9
2	30	9
3	47	9
4	61	9
5	84	9
6	116	9
7	159	9
8	213	9
9	279	9
10	352	9
11	431	9
12	527	9
13	632	9
14	739	9
15	854	9
16	980	9
17	1115	9
18	1260	9
19	1416	9
20	1576	9
21	1749	9
22	1927	9
23	2115	9
24	2311	9
25	2516	9
26	2738	9
27	2962	9
28	3194	9
29	3435	9
30	3685	9
31	3953	9
32	4223	9
33	4501	9
34	4805	9
done	5001	9
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	10	11
1	18	5
2	25	5
3	36	5
4	49	5
5	72	5
6	105	5
7	150	5
8	202	5
9	264	5
10	334	5
11	416	5
12	508	5
13	609	5
14	717	5
15	840	5
16	966	5
17	1117	5
18	1264	5
19	1417	5
20	1580	5
21	1751	5
22	1929	5
23	2135	5
24	2350	5
25	2555	5
26	2769	5
27	2994	5
28	3228	5
29	3472	5
30	3722	5
31	3983	5
32	4257	5
33	4550	5
34	4862	5
done	5000	5
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	7	9
1	15	1
2	20	1
3	31	1
4	44	1
5	67	1
6	98	1
7	141	1
8	193	1
9	258	1
10	332	1
11	414	1
12	502	1
13	600	1
14	710	1
15	826	1
16	955	1
17	1092	1
18	1236	1
19	1394	1
20	1555	1
21	1740	1
22	1936	1
23	2128	1
24	2332	1
25	2540	1
26	2756	1
27	2989	1
28	3232	1
29	3479	1
30	3747	1
31	4011	1
32	4279	1
33	4568	1
34	4859	1
done	5000	1
0	14	18
1	25	18
2	48	18
3	92	18
4	211	18
5	547	18
6	1786	18
done	5000	18
0	19	39
1	36	39
2	63	39
3	117	39
4	189	39
5	357	39
6	1028	39
7	4621	39
done	5000	39
0	16	20
1	27	20
2	46	20
3	75	20
4	143	20
5	317	20
6	1004	20
7	4565	20
done	5001	20
0	18	35
1	33	35
2	54	35
3	89	35
4	155	35
5	322	35
6	1002	35
7	4571	35
done	5000	35
0	16	20
1	27	20
2	46	20
3	75	20
4	143	20
5	317	20
6	1004	20
7	4565	20
done	5001	20
0	15	33
1	30	31
2	55	31
3	94	31
4	160	31
5	327	31
6	988	31
7	4553	31
done	5001	31
0	15	19
1	26	19
2	45	19
3	74	19
4	142	19
5	317	19
6	1004	19
7	4592	19
done	5000	19
0	18	24
1	33	24
2	55	24
3	88	24
4	154	24
5	325	24
6	1006	24
7	4511	24
done	5001	24
0	16	20
1	27	20
2	47	20
3	76	20
4	144	20
5	315	20
6	993	20
7	4574	20
done	5001	20
0	17	20
1	30	20
2	49	20
3	76	20
4	142	20
5	308	20
6	982	20
7	4542	20
done	5000	20
0	16	20
1	27	20
2	47	20
3	76	20
4	144	20
5	315	20
6	993	20
7	4574	20
done	5001	20
0	14	18
1	27	16
2	50	16
3	77	16
4	143	16
5	316	16
6	978	16
7	4553	16
done	5001	16
0	15	19
1	26	19
2	46	19
3	75	19
4	143	19
5	316	19
6	1001	19
7	4583	19
done	5000	19
0	7	11
1	13	9
2	17	9
3	27	9
4	28	9
done	28	9
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	6	7
1	10	5
2	12	5
3	16	5
done	16	5
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	3	5
1	7	1
done	7	1
0	14	18
1	25	18
2	48	18
3	92	18
4	211	18
5	547	18
6	1786	18
done	5000	18
0	19	25
1	35	25
2	68	25
3	135	25
4	328	25
5	943	25
6	3445	25
done	5001	25
0	17	21
1	29	21
2	58	21
3	106	21
4	245	21
5	657	21
6	2363	21
done	5001	21
0	18	21
1	32	21
2	60	21
3	106	21
4	245	21
5	649	21
6	2341	21
done	5001	21
0	17	21
1	29	21
2	58	21
3	106	21
4	245	21
5	657	21
6	2363	21
done	5001	21
0	15	19
1	29	17
2	61	17
3	108	17
4	231	17
5	555	17
6	1872	17
done	5000	17
0	16	20
1	28	20
2	57	20
3	105	20
4	244	20
5	641	20
6	2354	20
done	5000	20
0	6	9
1	10	9
done	10	9
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	5	5
1	7	5
done	7	5
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	2	3
1	4	1
done	4	1
0	14	18
1	25	18
2	48	18
3	92	18
4	211	18
5	547	18
6	1786	18
done	5000	18
0	6	9
1	8	9
done	8	9
0	16	19
1	29	19
2	51	19
3	93	19
4	210	19
5	543	19
6	1783	19
done	5000	19
0	5	5
done	5	5
0	16	19
1	29	19
2	51	19
3	93	19
4	210	19
5	543	19
6	1783	19
done	5000	19
0	3	3
1	5	1
done	5	1
0	15	18
1	28	18
2	50	18
3	92	18
4	208	18
5	540	18
6	1781	18
done	5001	18
0	4	4
1	6	4
done	6	4
0	14	18
1	25	18
2	48	18
3	95	18
4	216	18
5	591	18
6	2188	18
done	5000	18
0	16	23
1	29	23
2	57	23
3	120	23
4	295	23
5	838	23
6	2862	23
done	5000	23
0	15	19
1	26	19
2	49	19
3	93	19
4	212	19
5	552	19
6	1810	19
done	5001	19
0	13	17
1	26	15
2	52	15
3	101	15
4	205	15
5	455	15
6	1323	15
done	5001	15
0	15	19
1	24	19
2	42	19
3	75	19
4	154	19
5	360	19
6	1148	19
done	5000	19
0	15	19
1	24	19
2	42	19
3	75	19
4	154	19
5	360	19
6	1148	19
done	5000	19
0	16	20
1	27	20
2	50	20
3	97	20
4	218	20
5	596	20
6	2182	20
done	5000	20
0	16	20
1	27	20
2	50	20
3	97	20
4	218	20
5	596	20
6	2182	20
done	5000	20
0	15	19
1	26	19
2	49	19
3	96	19
4	217	19
5	599	19
6	2177	19
done	5000	19
0	16	20
1	27	20
2	46	20
3	78	20
4	146	20
5	316	20
6	996	20
7	4545	20
done	5000	20
0	16	20
1	27	20
2	47	20
3	79	20
4	147	20
5	319	20
6	995	20
7	4564	20
done	5000	20
0	15	19
1	26	19
2	49	19
3	96	19
4	217	19
5	599	19
6	2177	19
done	5000	19
0	17	21
1	29	21
2	58	21
3	109	21
4	254	21
5	702	21
6	2753	21
done	5000	21
0	16	20
1	27	20
2	50	20
3	97	20
4	218	20
5	596	20
6	2182	20
done	5000	20
0	16	20
1	27	20
2	50	20
3	97	20
4	218	20
5	596	20
6	2182	20
done	5000	20
0	15	19
1	26	19
2	49	19
3	96	19
4	217	19
5	599	19
6	2177	19
done	5000	19
0	16	20
1	27	20
2	46	20
3	78	20
4	146	20
5	316	20
6	996	20
7	4545	20
done	5000	20
0	16	20
1	27	20
2	47	20
3	79	20
4	147	20
5	319	20
6	995	20
7	4564	20
done	5000	20
0	15	19
1	26	19
2	49	19
3	96	19
4	217	19
5	599	19
6	2177	19
done	5000	19
0	17	21
1	29	21
2	58	21
3	109	21
4	254	21
5	702	21
6	2753	21
done	5000	21
0	15	19
1	26	19
2	49	19
3	94	19
4	215	19
5	593	19
6	2179	19
done	5001	19
0	15	19
1	26	19
2	49	19
3	94	19
4	215	19
5	593	19
6	2179	19
done	5001	19
0	14	18
1	25	18
2	48	18
3	95	18
4	216	18
5	591	18
6	2188	18
done	5000	18
0	15	19
1	26	19
2	45	19
3	75	19
4	143	19
5	313	19
6	986	19
7	4585	19
done	5001	19
0	15	19
1	26	19
2	46	19
3	76	19
4	144	19
5	314	19
6	993	19
7	4556	19
done	5001	19
0	14	18
1	25	18
2	48	18
3	95	18
4	216	18
5	591	18
6	2188	18
done	5000	18
0	16	20
1	28	20
2	57	20
3	108	20
4	253	20
5	702	20
6	2758	20
done	5000	20
0	14	18
1	25	18
2	48	18
3	95	18
4	216	18
5	591	18
6	2188	18
done	5000	18
0	15	18
1	28	18
2	50	16
3	102	16
4	245	16
5	764	16
6	3465	16
done	5000	16
0	13	16
1	23	16
2	43	16
3	82	16
4	171	16
5	424	16
6	1417	16
done	5000	16
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	9
1	14	9
2	21	9
3	30	9
4	36	9
5	46	9
6	53	9
7	65	9
8	88	9
9	102	9
10	108	9
done	108	9
0	8	8
1	12	8
2	18	8
3	27	8
4	37	8
5	46	8
6	51	8
7	60	8
8	77	8
9	96	8
10	104	8
done	104	8
0	7	7
1	13	7
2	22	7
3	36	7
4	56	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	7	7
1	12	7
2	21	7
3	35	7
4	68	7
5	149	7
6	358	7
7	1389	7
done	5001	7
0	12	20
1	27	20
2	105	12
3	445	10
4	1709	10
done	5000	10
0	10	20
1	23	20
2	72	10
3	228	10
4	784	8
5	2443	8
done	5000	8
0	8	15
1	11	15
2	14	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	20
1	21	20
2	75	8
3	270	8
4	861	8
5	2536	8
done	5000	8
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	8	13
1	11	13
2	13	13
done	13	13
0	7	7
1	8	7
done	8	7
0	10	15
1	19	15
2	48	15
3	90	15
4	146	15
5	162	15
done	162	15
0	9	11
1	14	11
2	24	11
3	39	11
4	52	11
5	54	11
done	54	11
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	9	12
1	14	12
2	25	12
3	38	12
4	50	12
done	50	12
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	8	11
1	15	11
2	25	9
3	33	9
4	53	9
5	85	9
6	90	9
done	90	9
0	7	7
1	12	7
2	15	5
3	16	5
4	21	5
5	22	5
done	22	5
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
1	4	3
done	4	3
0	13	17
1	23	17
2	44	17
3	61	17
4	78	17
5	87	17
done	87	17
0	13	17
1	23	17
2	44	17
3	61	17
4	78	17
5	87	17
done	87	17
0	13	17
1	26	17
2	52	17
3	101	17
4	229	17
5	682	17
6	3103	17
done	5000	17
0	12	16
1	24	16
2	48	16
3	100	16
4	251	16
5	775	16
6	3336	16
done	5000	16
0	12	16
1	21	16
2	39	16
3	72	16
4	153	16
5	366	16
6	1146	16
done	5001	16
0	14	47
1	34	35
2	102	19
3	356	17
4	1511	17
done	5000	17
0	13	33
1	22	33
2	40	33
3	73	33
4	152	33
5	365	33
6	1151	33
done	5001	33
0	12	16
1	21	16
2	39	16
3	72	16
4	153	16
5	366	16
6	1146	16
done	5001	16
0	13	47
1	29	47
2	71	17
3	248	17
4	1155	17
done	5000	17
0	12	16
1	21	16
2	39	16
3	72	16
4	153	16
5	366	16
6	1146	16
done	5001	16
0	12	16
1	21	16
2	39	16
3	72	16
4	153	16
5	366	16
6	1146	16
done	5001	16
0	2	2
done	2	2
0	11	14
1	20	14
2	39	14
3	75	14
4	163	14
5	413	14
6	1399	14
done	5000	14
0	15	31
1	26	31
2	49	31
3	98	31
4	220	31
5	599	31
6	2144	31
done	5001	31
0	13	17
1	22	17
2	40	17
3	73	17
4	152	17
5	362	17
6	1144	17
done	5000	17
0	14	20
1	25	20
2	48	20
3	95	20
4	219	20
5	593	20
6	2146	20
done	5001	20
0	13	17
1	22	17
2	40	17
3	73	17
4	152	17
5	362	17
6	1144	17
done	5000	17
0	9	11
1	17	7
2	24	5
3	39	5
4	57	5
5	80	5
6	112	5
7	156	5
8	211	5
9	277	5
10	352	5
11	431	5
12	528	5
13	631	5
14	740	5
15	856	5
16	993	5
17	1134	5
18	1278	5
19	1434	5
20	1601	5
21	1778	5
22	1956	5
23	2143	5
24	2341	5
25	2566	5
26	2785	5
27	3011	5
28	3244	5
29	3514	5
30	3789	5
31	4048	5
32	4316	5
33	4609	5
34	4910	5
done	5000	5
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1136	16
done	5001	16
0	15	35
1	30	35
2	55	35
3	90	35
4	156	35
5	322	35
6	1004	35
7	4537	35
done	5000	35
0	13	17
1	22	17
2	38	17
3	67	17
4	133	17
5	306	17
6	986	17
7	4575	17
done	5000	17
0	14	20
1	25	20
2	44	20
3	76	20
4	142	20
5	309	20
6	986	20
7	4562	20
done	5001	20
0	13	17
1	22	17
2	39	17
3	68	17
4	134	17
5	306	17
6	984	17
7	4547	17
done	5000	17
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1136	16
done	5001	16
0	15	21
1	27	21
2	56	21
3	107	21
4	251	21
5	702	21
6	2700	21
done	5001	21
0	14	18
1	24	18
2	48	18
3	85	18
4	188	18
5	464	18
6	1718	18
done	5000	18
0	14	28
1	23	28
2	41	28
3	74	28
4	153	28
5	364	28
6	1154	28
done	5000	28
0	13	17
1	22	17
2	40	17
3	73	17
4	152	17
5	362	17
6	1144	17
done	5000	17
0	13	17
1	22	17
2	40	17
3	73	17
4	152	17
5	362	17
6	1144	17
done	5000	17
0	13	17
1	22	17
2	40	17
3	73	17
4	152	17
5	362	17
6	1144	17
done	5000	17
0	8	8
1	14	4
2	19	2
3	30	2
4	43	2
5	66	2
6	97	2
7	142	2
8	198	2
9	263	2
10	334	2
11	416	2
12	504	2
13	602	2
14	710	2
15	825	2
16	956	2
17	1091	2
18	1248	2
19	1401	2
20	1567	2
21	1738	2
22	1917	2
23	2105	2
24	2301	2
25	2513	2
26	2729	2
27	2956	2
28	3197	2
29	3440	2
30	3697	2
31	3982	2
32	4303	2
33	4591	2
34	4885	2
done	5000	2
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1136	16
done	5001	16
0	14	32
1	25	32
2	41	32
3	70	32
4	136	32
5	305	32
6	978	32
7	4558	32
done	5001	32
0	13	17
1	22	17
2	38	17
3	67	17
4	133	17
5	306	17
6	986	17
7	4575	17
done	5000	17
0	13	17
1	22	17
2	39	17
3	68	17
4	134	17
5	306	17
6	984	17
7	4547	17
done	5000	17
0	13	17
1	22	17
2	39	17
3	68	17
4	134	17
5	306	17
6	984	17
7	4547	17
done	5000	17
0	4	4
1	6	2
2	8	2
done	8	2
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1136	16
done	5001	16
0	14	18
1	24	18
2	48	18
3	85	18
4	188	18
5	464	18
6	1718	18
done	5000	18
0	14	18
1	24	18
2	48	18
3	85	18
4	188	18
5	464	18
6	1718	18
done	5000	18
0	14	27
1	25	27
2	42	27
3	75	27
4	154	27
5	360	27
6	1143	27
done	5000	27
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1135	16
done	5000	16
0	13	16
1	24	16
2	41	16
3	72	16
4	151	16
5	362	16
6	1139	16
done	5000	16
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1135	16
done	5000	16
0	6	7
1	12	1
2	17	1
3	28	1
4	41	1
5	64	1
6	95	1
7	140	1
8	196	1
9	263	1
10	333	1
11	415	1
12	504	1
13	605	1
14	712	1
15	828	1
16	964	1
17	1097	1
18	1252	1
19	1409	1
20	1573	1
21	1751	1
22	1933	1
23	2126	1
24	2346	1
25	2551	1
26	2789	1
27	3013	1
28	3245	1
29	3489	1
30	3741	1
31	4028	1
32	4298	1
33	4588	1
34	4875	1
done	5001	1
0	11	15
1	20	15
2	38	15
3	71	15
4	150	15
5	365	15
6	1160	15
done	5000	15
0	14	31
1	27	31
2	42	31
3	71	31
4	137	31
5	310	31
6	985	31
7	4564	31
done	5000	31
0	12	16
1	21	16
2	37	16
3	66	16
4	134	16
5	310	16
6	982	16
7	4561	16
done	5000	16
0	13	16
1	24	16
2	40	16
3	67	16
4	133	16
5	303	16
6	979	16
7	4571	16
done	5001	16
0	12	16
1	21	16
2	38	16
3	67	16
4	135	16
5	313	16
6	988	16
7	4568	16
done	5001	16
0	2	3
1	4	1
done	4	1
0	11	15
1	20	15
2	38	15
3	71	15
4	150	15
5	365	15
6	1160	15
done	5000	15
0	14	17
1	26	17
2	49	17
3	84	17
4	185	17
5	464	17
6	1723	17
done	5000	17
0	13	17
1	23	17
2	47	17
3	84	17
4	185	17
5	462	17
6	1721	17
done	5001	17
0	12	15
1	23	15
2	40	15
3	71	15
4	150	15
5	360	15
6	1143	15
done	5000	15
0	11	15
1	20	15
2	38	15
3	73	15
4	160	15
5	408	15
6	1394	15
done	5000	15
0	13	27
1	22	27
2	40	27
3	73	27
4	152	27
5	362	27
6	1144	27
done	5000	27
0	12	16
1	21	16
2	39	16
3	72	16
4	151	16
5	361	16
6	1135	16
done	5000	16
0	7	7
1	13	3
2	18	1
3	29	1
4	42	1
5	65	1
6	98	1
7	141	1
8	194	1
9	260	1
10	336	1
11	416	1
12	505	1
13	613	1
14	732	1
15	863	1
16	1005	1
17	1139	1
18	1284	1
19	1459	1
20	1625	1
21	1798	1
22	1978	1
23	2173	1
24	2379	1
25	2587	1
26	2801	1
27	3046	1
28	3278	1
29	3519	1
30	3769	1
31	4030	1
32	4313	1
33	4590	1
34	4877	1
done	5000	1
0	13	31
1	24	31
2	40	31
3	69	31
4	137	31
5	310	31
6	995	31
7	4547	31
done	5001	31
0	12	16
1	21	16
2	38	16
3	67	16
4	135	16
5	313	16
6	988	16
7	4568	16
done	5001	16
0	3	3
1	5	1
done	5	1
0	13	17
1	23	17
2	47	17
3	84	17
4	185	17
5	462	17
6	1721	17
done	5001	17
0	12	16
1	21	16
2	39	16
3	74	16
4	163	16
5	414	16
6	1396	16
done	5000	16
0	12	16
1	21	16
2	39	16
3	74	16
4	163	16
5	414	16
6	1396	16
done	5000	16
0	11	15
1	20	15
2	38	15
3	73	15
4	160	15
5	408	15
6	1394	15
done	5000	15
0	19	27
1	47	27
2	123	25
3	322	25
4	1027	25
5	3826	25
done	5000	25
0	16	31
1	35	27
2	80	23
3	231	21
4	751	13
5	4174	13
done	5000	13
0	17	31
1	36	29
2	78	25
3	227	21
4	791	15
5	4075	15
done	5001	15
0	27	43
1	73	41
2	195	41
3	652	35
4	2724	35
done	5001	35
0	24	51
1	54	47
2	149	28
3	609	25
4	2254	23
done	5000	23
0	25	51
1	56	49
2	146	43
3	582	39
4	2274	22
done	5001	22
0	9	11
1	18	11
2	38	11
3	67	11
4	80	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	8	9
1	14	9
2	28	9
3	49	9
4	78	9
5	89	9
done	89	9
0	23	37
1	62	35
2	169	29
3	530	29
4	2075	29
done	5000	29
0	19	45
1	45	41
2	121	22
3	424	19
4	1267	17
5	3677	17
done	5000	17
0	21	45
1	47	43
2	118	37
3	393	33
4	1285	19
5	4053	19
done	5000	19

prune641.0ms

Filtered

199 candidates to 237 candidates (-19.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	228	9	237
Fresh	9	5	14
Picked	1	0	1
Done	0	1	1
Total	238	15	253

Merged error: 5.4b

Counts

253 → 15

regimes359.0ms

Accuracy

95.7% (0.2b remaining)

Error of 5.1b against oracle of 4.9b and baseline of 10.3b

bsearch81.0ms

Steps

Iters	Range		Point
9	1.8411122634403785e+125	1.1065228347393604e+132	6.276275630598317e+127

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	51
1	43	51
done	43	51

end0.0ms

sample4.1s

Algorithm

intervals

Results

1.5s	1709×	body	1280	valid
810.0ms	1417×	body	640	valid
665.0ms	4771×	body	80	valid
287.0ms	686×	body	320	valid
190.0ms	1650×	body	80	nan
89.0ms	337×	body	160	valid

Details

sample163.0ms

simplify2.3s

prune14.0ms

localize33.0ms

rewrite50.0ms

series153.0ms

simplify6.5min

prune460.0ms

localize26.0ms

rewrite50.0ms

series162.0ms

simplify6.7min

prune388.0ms

localize23.0ms

rewrite47.0ms

series162.0ms

simplify6.8min

prune359.0ms

localize23.0ms

rewrite63.0ms

series249.0ms

simplify31.7min

prune641.0ms

regimes359.0ms

bsearch81.0ms

simplify3.0ms

end0.0ms

sample4.1s

Profiling