Details

sample45.0ms

Algorithm

intervals

Results

10.0ms	191×	body	80	valid
8.0ms	27×	body	1280	valid
8.0ms	37×	body	640	valid
2.0ms	16×	body	320	valid
1.0ms	8×	body	160	valid

simplify40.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	12	8
2	23	8
3	48	8
4	67	8
5	76	8
done	76	8

prune3.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: 1.8b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sin y)
0.1b	(/ (sin y) y)
0.1b	(* x (/ (sin y) y))
1.8b	(/ (* x (/ (sin y) y)) z)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
20×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`pow1` `cbrt-undiv` `div-exp` `associate-/r*`
4×	`prod-exp` `cbrt-unprod` `associate-/l*` `add-log-exp`
3×	`associate-l` `div-inv`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

4 → 90

Calls

4 calls:

2.0ms	(sin y)
5.0ms	(/ (sin y) y)
7.0ms	(* x (/ (sin y) y))
7.0ms	(/ (* x (/ (sin y) y)) z)

series38.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(sin y)
4.0ms	(/ (sin y) y)
15.0ms	(* x (/ (sin y) y))
16.0ms	(/ (* x (/ (sin y) y)) z)

simplify52.8s

Counts

102 → 102

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	41	12
3	101	12
4	184	12
5	263	12
6	351	12
7	510	12
8	546	12
9	547	12
done	547	12
0	10	11
1	18	11
2	33	11
3	73	11
4	162	11
5	256	11
6	318	11
7	460	11
8	587	11
9	592	11
done	592	11
0	9	10
1	17	10
2	31	10
3	62	10
4	133	10
5	258	10
6	344	10
7	460	10
8	588	10
9	602	10
done	602	10
0	8	9
1	16	9
2	38	9
3	95	9
4	196	9
5	333	9
6	431	9
7	566	9
8	627	9
9	637	9
done	637	9
0	8	9
1	13	9
2	24	9
3	51	9
4	80	9
5	111	9
6	164	9
7	303	9
8	670	9
9	2386	9
done	5000	9
0	15	26
1	38	26
2	189	16
3	1239	14
done	5000	14
0	13	26
1	34	26
2	158	14
3	831	14
done	5000	14
0	11	26
1	32	26
2	162	12
3	1037	10
done	5000	10
0	9	19
1	14	19
2	25	19
3	50	19
4	69	19
5	78	19
done	78	19
0	8	9
1	13	9
2	24	9
3	49	9
4	68	9
5	77	9
done	77	9
0	9	26
1	21	26
2	75	10
3	376	10
4	2964	10
done	5001	10
0	8	9
1	13	9
2	24	9
3	49	9
4	68	9
5	77	9
done	77	9
0	8	9
1	13	9
2	24	9
3	49	9
4	68	9
5	77	9
done	77	9
0	6	7
1	13	7
2	24	7
3	34	7
4	45	7
5	48	7
done	48	7
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	7
1	8	7
2	11	7
done	11	7
0	4	4
done	4	4
0	6	7
1	8	7
2	11	7
done	11	7
0	3	3
1	5	1
done	5	1
0	5	6
1	7	6
2	10	6
done	10	6
0	3	3
1	5	3
done	5	3
0	7	8
1	12	8
2	21	8
3	35	8
4	50	8
5	64	8
6	74	8
7	79	8
done	79	8
0	9	12
1	19	12
2	43	12
3	103	12
4	181	12
5	210	12
done	210	12
0	8	9
1	13	9
2	24	9
3	49	9
4	68	9
5	77	9
done	77	9
0	7	8
1	14	6
2	29	6
3	64	6
4	87	6
5	99	6
6	100	6
done	100	6
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	8	9
1	13	9
2	20	9
3	29	9
4	35	9
5	45	9
6	52	9
7	64	9
8	87	9
9	101	9
10	107	9
done	107	9
0	7	8
1	11	8
2	17	8
3	26	8
4	36	8
5	45	8
6	50	8
7	59	8
8	76	8
9	95	8
10	103	8
done	103	8
0	6	7
1	12	7
2	21	7
3	35	7
4	55	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	6	7
1	11	7
2	20	7
3	34	7
4	67	7
5	148	7
6	360	7
7	1396	7
done	5000	7
0	11	20
1	26	20
2	104	12
3	444	10
4	1697	10
done	5000	10
0	9	20
1	22	20
2	71	10
3	225	10
4	778	8
5	2424	8
done	5000	8
0	7	15
1	10	15
2	13	15
3	17	15
4	18	15
done	18	15
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	20
1	20	20
2	74	8
3	270	8
4	830	8
5	2532	8
done	5000	8
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	7	13
1	10	13
2	12	13
done	12	13
0	6	7
1	7	7
done	7	7
0	9	15
1	18	15
2	47	15
3	86	15
4	142	15
5	158	15
done	158	15
0	8	12
1	13	12
2	23	12
3	38	12
4	51	12
5	53	12
done	53	12
0	8	11
1	15	9
2	32	9
3	69	9
4	103	9
done	103	9
0	8	11
1	13	11
2	24	11
3	38	11
4	50	11
done	50	11
0	7	8
1	10	8
2	13	8
3	17	8
4	18	8
done	18	8
0	7	7
1	12	5
2	19	5
3	28	5
4	34	5
done	34	5
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	4
1	5	4
done	5	4
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	14
2	48	8
3	115	6
4	193	6
5	309	6
6	770	6
7	3350	6
done	5001	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	317	6
7	810	6
8	3527	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	3	3
done	3	3
0	2	2
done	2	2
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	10
1	8	10
2	10	10
3	11	10
done	11	10
0	5	6
done	5	6
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	4	5
done	4	5
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	5
1	7	3
2	9	3
done	9	3
0	4	5
done	4	5
0	5	7
1	9	7
done	9	7
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	3	3
1	5	3
done	5	3
0	3	4
done	3	4
0	5	8
1	7	8
done	7	8
0	4	5
done	4	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	11	13
1	24	13
2	67	13
3	153	13
4	380	13
5	720	11
6	882	11
7	968	11
8	1194	11
9	2267	11
done	5001	11
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	8	9
1	19	9
2	57	9
3	120	9
4	185	9
5	201	9
6	232	9
7	292	9
8	499	9
9	1425	9
done	5000	9
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	11	13
1	30	13
2	72	13
3	158	13
4	346	13
5	880	13
6	3259	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2

prune136.0ms

Filtered

83 candidates to 102 candidates (-22.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	96	6	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	6	103

Merged error: 0.0b

Counts

103 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (sin y) y)
0.1b	(* x (/ (sin y) y))
0.4b	(/ 1 (/ z (* x (/ (sin y) y))))
1.8b	(/ z (* x (/ (sin y) y)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

58×	`times-frac`
54×	`add-exp-log`
44×	`add-sqr-sqrt`
39×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-cbrt-cube`
26×	`div-exp`
14×	`cbrt-undiv`
13×	`associate-r`
12×	`associate-/r*`
10×	`prod-exp`
9×	`associate-/l*`
8×	`div-inv`
7×	`pow1`
6×	`associate-*r/` `associate-/r/` `cbrt-unprod`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num`
2×	`unswap-sqr`
1×	`pow-flip` `pow-prod-down` `*-commutative` `inv-pow`

Counts

4 → 147

Calls

4 calls:

5.0ms	(/ (sin y) y)
7.0ms	(* x (/ (sin y) y))
9.0ms	(/ 1 (/ z (* x (/ (sin y) y))))
7.0ms	(/ z (* x (/ (sin y) y)))

series61.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (sin y) y)
12.0ms	(* x (/ (sin y) y))
16.0ms	(/ 1 (/ z (* x (/ (sin y) y))))
29.0ms	(/ z (* x (/ (sin y) y)))

simplify1.5min

Counts

159 → 159

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	41	12
3	84	12
4	178	12
5	262	12
6	374	12
7	490	12
8	506	12
done	506	12
0	10	11
1	18	11
2	35	11
3	67	11
4	139	11
5	236	11
6	346	11
7	469	11
8	485	11
done	485	11
0	9	10
1	17	10
2	32	10
3	58	10
4	107	10
5	208	10
6	317	10
7	465	10
8	500	10
9	502	10
done	502	10
0	8	9
1	16	9
2	36	9
3	74	9
4	137	9
5	231	9
6	333	9
7	494	9
8	624	9
9	643	9
done	643	9
0	8	9
1	13	9
2	22	9
3	38	9
4	61	9
5	90	9
6	143	9
7	265	9
8	580	9
9	1562	9
done	5001	9
0	15	26
1	38	26
2	183	16
3	1233	14
done	5000	14
0	13	26
1	34	26
2	150	14
3	795	14
4	4827	12
done	5000	12
0	11	26
1	32	26
2	163	12
3	1046	10
done	5000	10
0	9	19
1	14	19
2	23	19
3	37	19
4	52	19
5	66	19
6	76	19
7	81	19
done	81	19
0	8	9
1	13	9
2	22	9
3	36	9
4	51	9
5	65	9
6	75	9
7	80	9
done	80	9
0	9	26
1	21	26
2	80	10
3	464	10
4	3404	10
done	5000	10
0	8	9
1	13	9
2	22	9
3	36	9
4	51	9
5	65	9
6	75	9
7	80	9
done	80	9
0	8	9
1	13	9
2	22	9
3	36	9
4	51	9
5	65	9
6	75	9
7	80	9
done	80	9
0	2	2
done	2	2
0	6	7
1	13	7
2	24	7
3	34	7
4	45	7
5	48	7
done	48	7
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	4	4
done	4	4
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	3	3
1	5	3
done	5	3
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	7	8
1	14	8
2	23	8
3	37	8
4	52	6
5	79	6
6	109	6
7	128	6
done	128	6
0	7	8
1	12	8
2	23	8
3	48	8
4	67	8
5	76	8
done	76	8
0	3	3
done	3	3
0	8	9
1	13	9
2	24	9
3	49	9
4	68	9
5	77	9
done	77	9
0	8	9
1	13	9
2	24	9
3	49	9
4	68	9
5	77	9
done	77	9
0	7	8
1	12	8
2	23	8
3	48	8
4	67	8
5	76	8
done	76	8
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	12	13
1	21	13
2	45	13
3	98	13
4	272	12
5	434	12
6	539	12
7	551	12
done	551	12
0	11	12
1	19	12
2	39	12
3	81	12
4	216	11
5	394	11
6	498	11
7	512	11
done	512	11
0	10	11
1	18	11
2	36	11
3	67	11
4	161	10
5	367	10
6	560	10
7	591	10
done	591	10
0	9	10
1	17	10
2	37	10
3	78	10
4	153	10
5	322	10
6	487	10
7	689	10
8	707	10
done	707	10
0	13	14
1	26	13
2	67	13
3	185	12
4	582	12
5	1146	12
6	1325	12
7	1334	12
done	1334	12
0	12	13
1	24	12
2	59	12
3	151	11
4	460	11
5	1106	11
6	1300	11
7	1323	11
done	1323	11
0	11	12
1	23	11
2	52	11
3	119	10
4	334	10
5	983	10
6	1299	10
7	1337	10
done	1337	10
0	10	11
1	20	10
2	46	10
3	104	10
4	260	10
5	727	10
6	1190	10
7	1536	10
8	1549	10
done	1549	10
0	14	15
1	29	14
2	65	13
3	189	12
4	588	12
5	1161	12
6	1339	12
7	1348	12
done	1348	12
0	13	14
1	27	13
2	57	12
3	156	11
4	466	11
5	1115	11
6	1305	11
7	1328	11
done	1328	11
0	12	13
1	26	12
2	50	11
3	123	10
4	337	10
5	985	10
6	1305	10
7	1343	10
done	1343	10
0	11	12
1	23	11
2	46	10
3	108	10
4	264	10
5	729	10
6	1180	10
7	1534	10
8	1547	10
done	1547	10
0	10	11
1	23	10
2	52	10
3	134	9
4	379	9
5	967	9
6	1727	9
7	2095	9
8	2100	9
done	2100	9
0	10	11
1	19	11
2	41	11
3	95	9
4	271	9
5	643	9
6	1267	9
7	3052	9
done	5001	9
0	19	32
1	49	28
2	222	18
3	1657	14
done	5001	14
0	17	32
1	45	28
2	189	16
3	1142	14
done	5001	14
0	15	32
1	43	28
2	200	14
3	1423	12
done	5000	12
0	13	32
1	34	28
2	117	12
3	801	12
done	5000	12
0	11	23
1	20	23
2	40	23
3	84	19
4	211	19
5	427	19
6	547	19
7	561	19
done	561	19
0	10	11
1	19	11
2	39	11
3	83	9
4	210	9
5	424	9
6	550	9
7	562	9
done	562	9
0	11	32
1	27	32
2	86	12
3	554	10
done	5000	10
0	10	11
1	19	11
2	39	11
3	83	9
4	210	9
5	424	9
6	550	9
7	562	9
done	562	9
0	10	11
1	19	11
2	39	11
3	83	9
4	210	9
5	424	9
6	550	9
7	562	9
done	562	9
0	2	2
1	5	1
done	5	1
0	8	9
1	15	9
2	32	9
3	62	9
4	109	9
5	158	9
6	198	9
7	214	9
8	220	9
done	220	9
0	13	25
1	26	23
2	44	21
3	64	21
4	79	21
5	93	21
6	103	21
7	108	21
done	108	21
0	11	12
1	18	11
2	27	11
3	41	11
4	56	11
5	70	11
6	80	11
7	85	11
done	85	11
0	12	15
1	21	13
2	32	11
3	47	11
4	62	11
5	76	11
6	86	11
7	91	11
done	91	11
0	11	12
1	18	11
2	27	11
3	41	11
4	56	11
5	70	11
6	80	11
7	85	11
done	85	11
0	9	13
1	17	11
2	35	9
3	68	7
4	95	7
5	96	7
done	96	7
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	8	10
1	14	8
2	23	6
3	31	4
4	32	4
done	32	4
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	125	6
6	153	6
7	154	6
done	154	6
0	4	7
1	8	3
2	12	1
done	12	1
0	10	11
1	19	10
2	39	10
3	83	8
4	210	8
5	424	8
6	551	8
7	566	8
done	566	8
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	9	11
1	18	10
2	38	8
3	78	6
4	189	6
5	337	6
6	390	6
done	390	6
0	10	12
1	19	10
2	38	8
3	69	6
4	101	6
done	101	6
0	4	4
1	6	3
done	6	3
0	12	22
1	21	21
2	30	21
3	44	21
4	59	21
5	73	21
6	83	21
7	88	21
done	88	21
0	11	12
1	18	11
2	27	11
3	41	11
4	56	11
5	70	11
6	80	11
7	85	11
done	85	11
0	11	12
1	18	11
2	27	11
3	41	11
4	56	11
5	70	11
6	80	11
7	85	11
done	85	11
0	11	12
1	18	11
2	27	11
3	41	11
4	56	11
5	70	11
6	80	11
7	85	11
done	85	11
0	8	10
1	14	9
2	22	9
3	35	7
4	39	7
5	64	7
6	103	7
7	107	7
done	107	7
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	125	6
6	153	6
7	154	6
done	154	6
0	3	4
1	5	1
done	5	1
0	10	11
1	19	10
2	39	10
3	83	8
4	210	8
5	424	8
6	551	8
7	566	8
done	566	8
0	4	4
1	6	3
done	6	3
0	9	11
1	18	10
2	38	8
3	78	6
4	189	6
5	337	6
6	390	6
done	390	6
0	9	9
1	16	8
2	27	8
3	42	6
4	79	6
5	103	6
done	103	6
0	4	4
1	6	3
done	6	3
0	11	21
1	20	21
2	29	21
3	43	21
4	58	21
5	72	21
6	82	21
7	87	21
done	87	21
0	10	11
1	17	11
2	26	11
3	40	11
4	55	11
5	69	11
6	79	11
7	84	11
done	84	11
0	10	11
1	17	11
2	26	11
3	40	11
4	55	11
5	69	11
6	79	11
7	84	11
done	84	11
0	10	11
1	17	11
2	26	11
3	40	11
4	55	11
5	69	11
6	79	11
7	84	11
done	84	11
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	4	5
1	8	1
done	8	1
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	124	6
6	155	6
done	155	6
0	2	3
1	4	1
done	4	1
0	9	10
1	18	10
2	38	10
3	82	8
4	209	8
5	425	8
6	544	8
7	556	8
done	556	8
0	3	3
1	5	3
done	5	3
0	8	10
1	17	6
2	39	6
3	96	6
4	208	6
5	335	6
6	425	6
done	425	6
0	8	8
1	15	8
2	26	8
3	41	6
4	78	6
5	102	6
done	102	6
0	3	3
1	5	3
done	5	3
0	9	10
1	18	10
2	38	10
3	82	8
4	209	8
5	425	8
6	544	8
7	556	8
done	556	8
0	9	10
1	18	8
2	41	8
3	105	8
4	166	8
5	262	8
6	314	8
7	330	8
done	330	8
0	11	21
1	20	21
2	29	21
3	43	21
4	58	21
5	72	21
6	82	21
7	87	21
done	87	21
0	10	11
1	17	11
2	26	11
3	40	11
4	55	11
5	69	11
6	79	11
7	84	11
done	84	11
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	4	5
1	8	1
done	8	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	8	8
1	15	8
2	26	8
3	41	6
4	78	6
5	102	6
done	102	6
0	10	11
1	19	10
2	38	10
3	83	8
4	153	8
5	249	8
6	301	8
7	320	8
done	320	8
0	10	11
1	19	10
2	38	10
3	83	8
4	153	8
5	249	8
6	301	8
7	320	8
done	320	8
0	9	10
1	18	8
2	41	8
3	105	8
4	166	8
5	262	8
6	314	8
7	330	8
done	330	8
0	3	3
1	5	3
done	5	3
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	8	9
1	13	9
2	20	9
3	29	9
4	35	9
5	45	9
6	52	9
7	64	9
8	87	9
9	101	9
10	107	9
done	107	9
0	7	8
1	11	8
2	17	8
3	26	8
4	36	8
5	45	8
6	50	8
7	59	8
8	76	8
9	95	8
10	103	8
done	103	8
0	6	7
1	12	7
2	21	7
3	35	7
4	55	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	6	7
1	11	7
2	20	7
3	34	7
4	67	7
5	148	7
6	360	7
7	1396	7
done	5000	7
0	11	20
1	26	20
2	104	12
3	444	10
4	1697	10
done	5000	10
0	9	20
1	22	20
2	71	10
3	225	10
4	778	8
5	2424	8
done	5000	8
0	7	15
1	10	15
2	13	15
3	17	15
4	18	15
done	18	15
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	20
1	20	20
2	74	8
3	270	8
4	830	8
5	2532	8
done	5000	8
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	7	13
1	10	13
2	12	13
done	12	13
0	6	7
1	7	7
done	7	7
0	9	15
1	18	15
2	47	15
3	86	15
4	142	15
5	158	15
done	158	15
0	8	12
1	13	12
2	23	12
3	38	12
4	51	12
5	53	12
done	53	12
0	8	11
1	15	9
2	32	9
3	69	9
4	103	9
done	103	9
0	8	11
1	13	11
2	24	11
3	38	11
4	50	11
done	50	11
0	7	8
1	10	8
2	13	8
3	17	8
4	18	8
done	18	8
0	7	7
1	12	5
2	19	5
3	28	5
4	34	5
done	34	5
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	4
1	5	4
done	5	4
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	14
2	48	8
3	115	6
4	193	6
5	309	6
6	770	6
7	3350	6
done	5001	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	317	6
7	810	6
8	3527	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	3	3
done	3	3
0	2	2
done	2	2
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	10
1	8	10
2	10	10
3	11	10
done	11	10
0	5	6
done	5	6
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	4	5
done	4	5
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	5
1	7	3
2	9	3
done	9	3
0	4	5
done	4	5
0	5	7
1	9	7
done	9	7
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	3	3
1	5	3
done	5	3
0	3	4
done	3	4
0	5	8
1	7	8
done	7	8
0	4	5
done	4	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	11	13
1	23	13
2	56	13
3	106	13
4	192	13
5	260	11
6	303	11
7	375	11
8	603	11
9	1617	11
done	5001	11
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	3	3
done	3	3
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	8	9
1	19	9
2	57	9
3	120	9
4	185	9
5	201	9
6	232	9
7	292	9
8	499	9
9	1425	9
done	5000	9
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4

prune153.0ms

Filtered

109 candidates to 159 candidates (-45.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	159	6	165

Merged error: 0b

Counts

165 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ y (sin y)) x)
0.1b	(/ y (sin y))
0.4b	(/ 1 (* z (/ (/ y (sin y)) x)))
2.1b	(* z (/ (/ y (sin y)) x))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

156×	`times-frac`
101×	`add-sqr-sqrt`
92×	`add-cube-cbrt` `*-un-lft-identity`
54×	`add-exp-log`
43×	`associate-r`
34×	`add-cbrt-cube`
24×	`div-exp`
19×	`associate-/l*`
14×	`cbrt-undiv`
12×	`prod-exp`
11×	`div-inv`
9×	`pow1`
7×	`associate-/r*`
6×	`cbrt-unprod`
4×	`rec-exp` `1-exp` `add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num` `unswap-sqr`
2×	`pow-flip` `associate-*r/` `pow-prod-down`
1×	`associate-/r/` `*-commutative` `associate-/l/` `inv-pow`

Counts

4 → 199

Calls

4 calls:

7.0ms	(/ (/ y (sin y)) x)
4.0ms	(/ y (sin y))
11.0ms	(/ 1 (* z (/ (/ y (sin y)) x)))
17.0ms	(* z (/ (/ y (sin y)) x))

series62.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ (/ y (sin y)) x)
7.0ms	(/ y (sin y))
20.0ms	(/ 1 (* z (/ (/ y (sin y)) x)))
26.0ms	(* z (/ (/ y (sin y)) x))

simplify1.7min

Counts

211 → 211

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	7	8
1	12	8
2	23	8
3	45	8
4	67	8
5	78	8
done	78	8
0	11	12
1	20	12
2	43	12
3	103	12
4	178	12
5	260	12
6	359	12
7	498	12
8	529	12
9	531	12
done	531	12
0	10	11
1	18	11
2	33	11
3	77	11
4	167	11
5	240	11
6	304	11
7	434	11
8	533	11
9	544	11
done	544	11
0	9	10
1	15	10
2	29	10
3	56	10
4	117	10
5	221	10
6	277	10
7	367	10
8	455	10
9	545	10
10	552	10
done	552	10
0	8	9
1	16	9
2	36	9
3	83	9
4	170	9
5	300	9
6	450	9
7	579	9
8	694	9
9	714	9
done	714	9
0	8	9
1	15	9
2	32	9
3	68	9
4	147	9
5	311	9
6	719	9
7	2944	9
done	5000	9
0	15	26
1	35	26
2	154	16
3	939	14
done	5000	14
0	13	26
1	34	26
2	139	14
3	726	12
4	4398	12
done	5000	12
0	11	26
1	26	26
2	95	12
3	428	12
4	2690	10
done	5000	10
0	9	19
1	14	19
2	25	19
3	47	19
4	69	19
5	80	19
done	80	19
0	8	9
1	13	9
2	24	9
3	46	9
4	68	9
5	79	9
done	79	9
0	9	26
1	24	26
2	96	10
3	502	10
4	3040	10
done	5000	10
0	8	9
1	13	9
2	24	9
3	46	9
4	68	9
5	79	9
done	79	9
0	8	9
1	13	9
2	24	9
3	46	9
4	68	9
5	79	9
done	79	9
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	10	11
1	13	11
2	16	11
3	20	11
4	21	11
done	21	11
0	10	11
1	13	11
2	16	11
3	20	11
4	21	11
done	21	11
0	11	12
1	16	12
2	27	12
3	49	12
4	71	12
5	82	12
done	82	12
0	11	12
1	16	12
2	27	12
3	49	12
4	71	12
5	82	12
done	82	12
0	9	17
1	14	17
2	19	17
done	19	17
0	8	9
1	11	9
2	14	9
done	14	9
0	11	19
1	20	19
2	49	19
3	88	19
4	144	19
5	156	19
done	156	19
0	10	16
1	15	16
2	25	16
3	40	16
4	53	16
5	55	16
done	55	16
0	9	15
1	16	13
2	33	13
3	70	13
4	108	13
done	108	13
0	10	13
1	15	13
2	26	13
3	40	13
4	52	13
done	52	13
0	9	10
1	12	10
2	15	10
3	19	10
4	20	10
done	20	10
0	8	9
1	13	7
2	20	7
3	29	7
4	35	7
done	35	7
0	13	21
1	26	21
2	83	21
3	276	21
4	901	21
5	1671	21
6	1868	21
done	1868	21
0	12	18
1	23	18
2	60	18
3	163	18
4	412	18
5	679	18
6	726	18
done	726	18
0	11	17
1	24	15
2	74	15
3	217	15
4	507	15
5	589	15
done	589	15
0	12	17
1	21	17
2	55	17
3	152	17
4	433	17
5	697	17
6	744	17
done	744	17
0	11	14
1	18	14
2	39	14
3	92	14
4	189	14
5	253	14
6	260	14
done	260	14
0	10	13
1	19	11
2	49	11
3	124	11
4	264	11
5	296	11
done	296	11
0	11	15
1	22	13
2	67	13
3	186	13
4	378	13
5	562	13
6	566	13
done	566	13
0	10	12
1	19	10
2	47	10
3	107	10
4	198	10
5	280	10
6	288	10
done	288	10
0	8	11
1	17	7
2	31	7
3	68	7
4	102	7
done	102	7
0	12	18
1	21	18
2	51	18
3	139	18
4	339	18
5	544	18
6	597	18
done	597	18
0	11	15
1	18	15
2	34	15
3	79	15
4	151	15
5	209	15
6	221	15
done	221	15
0	10	14
1	19	12
2	44	12
3	109	12
4	198	12
5	210	12
done	210	12
0	11	14
1	18	14
2	40	14
3	84	14
4	167	14
5	223	14
6	229	14
done	229	14
0	10	11
1	15	11
2	26	11
3	48	11
4	71	11
5	82	11
done	82	11
0	9	10
1	16	8
2	34	8
3	66	8
4	105	8
done	105	8
0	10	12
1	19	10
2	41	10
3	77	10
4	141	10
5	190	10
done	190	10
0	9	9
1	16	7
2	27	7
3	42	7
4	72	7
5	88	7
done	88	7
0	7	8
1	14	4
2	18	4
3	27	4
4	33	4
done	33	4
0	12	17
1	23	17
2	53	17
3	136	15
4	332	15
5	722	15
6	959	15
7	1009	15
done	1009	15
0	11	14
1	20	14
2	36	14
3	78	12
4	155	12
5	273	12
6	338	12
7	351	12
done	351	12
0	9	13
1	18	11
2	43	11
3	91	9
4	175	9
5	215	9
6	228	9
done	228	9
0	11	13
1	20	13
2	42	13
3	84	11
4	169	11
5	308	11
6	358	11
7	361	11
done	361	11
0	10	10
1	17	10
2	28	10
3	49	8
4	75	8
5	108	8
6	123	8
7	126	8
done	126	8
0	8	9
1	15	7
2	33	7
3	52	5
4	88	5
5	93	5
6	94	5
done	94	5
0	8	11
1	17	9
2	32	7
3	57	7
4	96	7
5	156	7
6	193	7
7	201	7
done	201	7
0	7	8
1	14	6
2	20	4
3	29	4
4	41	4
5	53	4
6	76	4
7	78	4
done	78	4
0	5	7
1	12	3
2	15	1
done	15	1
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	7	9
1	12	9
2	23	9
3	36	9
4	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	16	3
3	22	3
4	30	3
done	30	3
0	3	3
1	6	1
done	6	1
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	8	9
1	13	9
2	24	9
3	46	9
4	68	9
5	79	9
done	79	9
0	8	9
1	13	9
2	24	9
3	46	9
4	68	9
5	79	9
done	79	9
0	7	8
1	12	8
2	23	8
3	45	8
4	67	8
5	78	8
done	78	8
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	12	13
1	24	13
2	52	13
3	137	13
4	281	12
5	420	12
6	495	12
7	581	12
done	581	12
0	11	12
1	22	12
2	42	12
3	106	12
4	235	11
5	383	11
6	454	11
7	546	11
8	592	11
done	592	11
0	10	11
1	19	11
2	35	11
3	70	11
4	162	11
5	316	11
6	399	11
7	483	11
8	577	11
done	577	11
0	9	10
1	17	10
2	40	10
3	89	10
4	193	10
5	380	10
6	642	10
7	768	10
8	779	10
done	779	10
0	13	14
1	26	13
2	70	13
3	200	13
4	622	12
5	1167	12
6	1339	12
7	1356	12
done	1356	12
0	12	13
1	24	12
2	58	12
3	156	12
4	518	11
5	1023	11
6	1285	11
7	1312	11
done	1312	11
0	11	12
1	21	11
2	51	11
3	115	11
4	340	11
5	805	11
6	1162	11
7	1190	11
done	1190	11
0	10	11
1	20	10
2	49	10
3	116	10
4	294	10
5	877	10
6	1426	10
7	1611	10
8	1616	10
done	1616	10
0	14	15
1	29	14
2	68	13
3	204	13
4	627	12
5	1173	12
6	1346	12
7	1363	12
done	1363	12
0	13	14
1	27	13
2	56	12
3	160	12
4	522	11
5	1020	11
6	1273	11
7	1299	11
done	1299	11
0	12	13
1	24	12
2	49	11
3	119	11
4	344	11
5	809	11
6	1168	11
7	1192	11
done	1192	11
0	11	12
1	23	11
2	49	10
3	120	10
4	297	10
5	878	10
6	1428	10
7	1621	10
8	1626	10
done	1626	10
0	10	11
1	23	10
2	52	10
3	137	10
4	335	9
5	841	9
6	1594	9
7	1792	9
8	1820	9
done	1820	9
0	10	11
1	19	11
2	38	11
3	87	11
4	180	9
5	355	9
6	671	9
7	1291	9
8	2713	9
done	5000	9
0	19	32
1	48	28
2	199	18
3	1366	14
done	5000	14
0	17	32
1	47	28
2	188	16
3	1164	14
done	5000	14
0	15	32
1	39	28
2	139	14
3	707	14
done	5001	14
0	13	32
1	37	28
2	139	12
3	843	12
done	5001	12
0	11	23
1	20	23
2	39	23
3	84	23
4	162	19
5	292	19
6	428	19
7	474	19
done	474	19
0	10	11
1	19	11
2	38	11
3	83	11
4	160	9
5	289	9
6	425	9
7	471	9
done	471	9
0	11	32
1	27	32
2	92	12
3	592	12
done	5001	12
0	10	11
1	19	11
2	38	11
3	83	11
4	160	9
5	289	9
6	425	9
7	471	9
done	471	9
0	10	11
1	19	11
2	38	11
3	83	11
4	160	9
5	289	9
6	425	9
7	471	9
done	471	9
0	2	2
1	5	1
done	5	1
0	8	9
1	17	9
2	40	9
3	95	9
4	161	9
5	211	9
6	218	9
done	218	9
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	8	9
1	14	8
2	23	8
3	38	6
4	49	6
5	78	6
6	91	6
done	91	6
0	4	4
1	6	3
done	6	3
0	8	9
1	14	8
2	23	8
3	38	6
4	49	6
5	78	6
6	91	6
done	91	6
0	3	3
1	5	3
done	5	3
0	7	8
1	13	8
2	22	8
3	37	6
4	48	6
5	77	6
6	90	6
done	90	6
0	9	10
1	18	10
2	37	10
3	82	10
4	160	8
5	290	8
6	427	8
7	471	8
done	471	8
0	9	10
1	18	8
2	43	8
3	119	8
4	235	8
5	356	8
6	360	8
done	360	8
0	3	3
1	5	3
done	5	3
0	10	11
1	19	10
2	40	10
3	104	8
4	209	8
5	350	8
6	354	8
done	354	8
0	10	11
1	19	10
2	40	10
3	104	8
4	209	8
5	350	8
6	354	8
done	354	8
0	9	10
1	18	8
2	43	8
3	119	8
4	235	8
5	356	8
6	360	8
done	360	8
0	7	8
1	14	8
2	23	8
3	37	8
4	52	6
5	107	6
6	172	6
done	172	6
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	14
2	48	8
3	115	6
4	193	6
5	309	6
6	768	6
7	3341	6
done	5000	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	192	6
6	318	6
7	809	6
8	3513	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	5	6
done	5	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	4	5
done	4	5
0	6	10
1	8	10
done	8	10
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	6	9
1	10	9
done	10	9
0	4	5
done	4	5
0	5	5
1	7	5
done	7	5
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	4	4
1	6	4
done	6	4
0	3	4
done	3	4
0	5	9
1	7	9
done	7	9
0	4	5
done	4	5
0	3	3
1	5	1
done	5	1
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	8	9
1	14	9
2	25	9
3	41	9
4	50	9
5	58	9
6	73	9
7	99	9
8	108	9
done	108	9
0	7	8
1	12	8
2	19	8
3	34	8
4	48	8
5	52	8
6	60	8
7	75	8
8	101	8
9	110	8
done	110	8
0	6	7
1	11	7
2	21	7
3	33	7
4	50	7
5	62	7
6	70	7
7	83	7
8	97	7
9	113	7
10	117	7
done	117	7
0	6	7
1	8	7
2	11	7
done	11	7
0	11	20
1	25	20
2	100	12
3	448	10
4	1791	8
done	5000	8
0	9	20
1	24	20
2	81	10
3	313	8
4	1242	8
5	3323	8
done	5000	8
0	7	15
1	9	15
2	12	15
done	12	15
0	6	7
1	8	7
2	11	7
done	11	7
0	7	20
1	16	20
2	50	8
3	195	8
4	886	8
5	2479	8
6	4453	8
done	5001	8
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	4	5
1	6	5
done	6	5
0	2	2
done	2	2
0	9	17
1	15	17
2	24	17
3	30	17
done	30	17
0	7	8
done	7	8
0	8	14
1	10	14
2	12	14
3	13	14
done	13	14
0	7	8
done	7	8
0	7	13
1	11	11
2	17	11
3	22	11
done	22	11
0	6	7
done	6	7
0	8	11
1	10	11
done	10	11
0	7	8
done	7	8
0	7	8
done	7	8
0	7	8
done	7	8
0	6	7
1	8	5
2	10	5
done	10	5
0	6	7
done	6	7
0	11	19
1	21	19
2	56	19
3	144	19
4	270	19
5	304	19
done	304	19
0	8	9
1	10	9
2	13	9
done	13	9
0	10	16
1	18	16
2	41	16
3	78	16
4	119	16
5	125	16
done	125	16
0	8	9
1	10	9
2	13	9
done	13	9
0	9	15
1	19	13
2	46	13
3	95	13
4	125	13
done	125	13
0	7	8
1	9	8
2	12	8
done	12	8
0	10	15
1	16	15
2	32	15
3	68	15
4	110	15
5	120	15
done	120	15
0	8	9
1	10	9
2	13	9
done	13	9
0	9	12
1	13	12
2	24	12
3	37	12
4	47	12
done	47	12
0	8	9
1	10	9
2	13	9
done	13	9
0	8	11
1	14	9
2	29	9
3	46	9
4	56	9
done	56	9
0	7	8
1	9	8
2	12	8
done	12	8
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	7	8
1	9	8
2	12	8
done	12	8
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	7	8
1	9	8
2	12	8
done	12	8
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	6	7
1	8	7
2	11	7
done	11	7
0	10	16
1	16	16
2	28	16
3	55	16
4	60	16
done	60	16
0	8	9
1	10	9
2	13	9
done	13	9
0	9	13
1	13	13
2	19	13
3	27	13
done	27	13
0	8	9
1	10	9
2	13	9
done	13	9
0	8	12
1	14	10
2	24	10
3	40	10
done	40	10
0	7	8
1	9	8
2	12	8
done	12	8
0	9	12
1	13	12
2	19	12
3	25	12
done	25	12
0	8	9
1	10	9
2	13	9
done	13	9
0	8	9
1	10	9
2	13	9
done	13	9
0	8	9
1	10	9
2	13	9
done	13	9
0	7	8
1	11	6
2	18	6
3	20	6
done	20	6
0	7	8
1	9	8
2	12	8
done	12	8
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	7	8
1	9	8
2	12	8
done	12	8
0	7	7
1	11	5
2	17	5
done	17	5
0	7	8
1	9	8
2	12	8
done	12	8
0	5	6
1	9	2
done	9	2
0	6	7
1	8	7
2	11	7
done	11	7
0	10	15
1	18	15
2	30	15
3	57	15
4	63	15
done	63	15
0	7	8
1	9	8
2	12	8
done	12	8
0	9	12
1	15	12
2	21	12
3	29	12
done	29	12
0	7	8
1	9	8
2	12	8
done	12	8
0	7	11
1	13	9
2	23	9
3	33	9
done	33	9
0	6	7
1	8	7
2	11	7
done	11	7
0	9	11
1	15	11
2	21	11
3	27	11
done	27	11
0	7	8
1	9	8
2	12	8
done	12	8
0	8	8
1	12	8
2	15	8
done	15	8
0	7	8
1	9	8
2	12	8
done	12	8
0	6	7
1	10	5
2	17	5
done	17	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	6	7
1	8	7
2	11	7
done	11	7
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	6	7
1	8	7
2	11	7
done	11	7
0	3	5
1	7	1
done	7	1
0	5	6
1	7	6
2	10	6
done	10	6
0	5	7
1	9	7
done	9	7
0	6	7
1	8	7
2	11	7
done	11	7
0	4	4
1	6	4
done	6	4
0	6	7
1	8	7
2	11	7
done	11	7
0	2	3
1	4	1
done	4	1
0	5	6
1	7	6
2	10	6
done	10	6
0	5	7
1	7	7
done	7	7
0	7	7
1	11	7
2	14	7
done	14	7
0	4	4
done	4	4
0	7	7
1	11	7
2	14	7
done	14	7
0	3	3
1	5	1
done	5	1
0	6	6
1	10	6
2	13	6
done	13	6
0	3	3
1	5	3
done	5	3
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	7	10
1	11	10
2	17	10
3	23	10
done	23	10
0	6	7
1	8	7
2	11	7
done	11	7
0	5	6
1	9	4
2	16	4
3	18	4
done	18	4
0	6	7
done	6	7
0	6	7
done	6	7
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	4
1	5	4
done	5	4
0	11	13
1	23	13
2	56	13
3	106	13
4	192	13
5	260	11
6	303	11
7	375	11
8	603	11
9	1617	11
done	5001	11
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	11	13
1	24	13
2	67	13
3	153	13
4	380	13
5	720	11
6	882	11
7	968	11
8	1194	11
9	2267	11
done	5001	11
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	12	13
1	27	13
2	65	13
3	151	13
4	409	13
5	907	13
6	3175	13
done	5000	13
0	3	4
done	3	4
0	3	4
done	3	4
0	16	19
1	35	19
2	78	19
3	202	19
4	678	19
5	1827	17
done	5000	17
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6

prune210.0ms

Filtered

174 candidates to 211 candidates (-21.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	211	6	217

Merged error: 0b

Counts

217 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sin y)
0.1b	(/ z (/ (sin y) y))
0.1b	(/ (sin y) y)
5.0b	(/ x (/ z (/ (sin y) y)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

480×	`times-frac`
239×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
60×	`associate-/r*`
23×	`div-inv`
20×	`add-exp-log` `add-cbrt-cube`
10×	`cbrt-undiv` `div-exp`
9×	`associate-/l*`
6×	`associate-/r/`
4×	`pow1` `add-log-exp`
3×	`frac-2neg` `clear-num`

Counts

4 → 300

Calls

4 calls:

2.0ms	(sin y)
7.0ms	(/ z (/ (sin y) y))
4.0ms	(/ (sin y) y)
13.0ms	(/ x (/ z (/ (sin y) y)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(sin y)
15.0ms	(/ z (/ (sin y) y))
4.0ms	(/ (sin y) y)
18.0ms	(/ x (/ z (/ (sin y) y)))

simplify3.0min

Counts

312 → 312

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	11	12
1	21	12
2	43	12
3	93	12
4	173	12
5	237	12
6	373	12
7	493	12
8	496	12
done	496	12
0	10	11
1	19	11
2	33	11
3	65	11
4	136	11
5	221	11
6	328	11
7	441	11
8	451	11
done	451	11
0	9	10
1	16	10
2	29	10
3	50	10
4	93	10
5	177	10
6	277	10
7	403	10
8	511	10
9	515	10
done	515	10
0	8	9
1	15	9
2	35	9
3	68	9
4	125	9
5	234	9
6	391	9
7	515	9
8	632	9
9	660	9
done	660	9
0	8	9
1	12	9
2	24	9
3	42	9
4	70	9
5	122	9
6	230	9
7	487	9
8	1759	9
done	5001	9
0	15	26
1	34	26
2	162	16
3	1052	14
done	5001	14
0	13	26
1	33	26
2	141	14
3	769	12
done	5000	12
0	11	26
1	28	26
2	112	12
3	697	10
done	5000	10
0	9	19
1	13	19
2	23	19
3	35	19
4	51	19
5	67	19
6	75	19
7	77	19
done	77	19
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	74	9
7	76	9
done	76	9
0	9	26
1	20	26
2	76	10
3	461	10
4	3665	10
done	5001	10
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	74	9
7	76	9
done	76	9
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	74	9
7	76	9
done	76	9
0	2	2
done	2	2
0	6	7
1	10	7
2	19	7
3	29	7
4	35	7
5	40	7
6	46	7
7	49	7
done	49	7
0	11	21
1	19	21
2	31	21
3	38	21
4	40	21
5	42	21
6	43	21
done	43	21
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	10	13
1	14	13
2	19	13
3	21	13
4	23	13
5	25	13
6	26	13
done	26	13
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	13	23
1	23	23
2	59	23
3	152	23
4	279	23
5	373	23
6	409	23
7	419	23
done	419	23
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	12	17
1	18	17
2	36	17
3	80	17
4	124	17
5	143	17
6	148	17
7	149	17
done	149	17
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	15	25
1	29	25
2	95	25
3	372	25
4	1365	25
5	3323	25
6	4789	25
7	4972	25
done	4972	25
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	14	22
1	24	22
2	68	22
3	239	22
4	774	22
5	1543	22
6	1937	22
7	1985	22
done	1985	22
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	14	21
1	26	19
2	72	19
3	294	19
4	665	19
5	1127	19
6	1280	19
done	1280	19
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	14	21
1	24	21
2	65	21
3	203	21
4	636	21
5	1394	21
6	1819	21
7	1866	21
done	1866	21
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	13	18
1	21	18
2	54	18
3	147	18
4	369	18
5	631	18
6	724	18
7	729	18
done	729	18
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	13	17
1	23	15
2	54	15
3	166	15
4	313	15
5	454	15
6	457	15
done	457	15
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	13	19
1	25	19
2	66	17
3	233	17
4	914	17
5	1478	17
6	1691	17
7	1696	17
done	1696	17
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	12	16
1	22	16
2	55	14
3	173	14
4	556	14
5	719	14
6	777	14
done	777	14
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	15
1	20	13
2	49	11
3	179	11
4	302	11
5	354	11
done	354	11
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	10	14
1	16	14
2	34	14
3	78	14
4	124	14
5	144	14
6	149	14
7	150	14
done	150	14
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	12	20
1	18	20
2	33	20
3	61	20
4	97	20
5	119	20
6	129	20
7	138	20
done	138	20
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	11	14
1	15	14
2	24	14
3	34	14
4	44	14
5	48	14
6	50	14
7	51	14
done	51	14
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	14	22
1	26	22
2	70	22
3	209	22
4	636	22
5	1340	22
6	1846	22
7	1914	22
done	1914	22
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	13	19
1	21	19
2	48	19
3	131	19
4	342	19
5	568	19
6	678	19
7	700	19
done	700	19
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	13	18
1	23	16
2	52	16
3	161	16
4	342	16
5	539	16
6	581	16
done	581	16
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	13	18
1	21	18
2	47	18
3	116	18
4	292	18
5	524	18
6	651	18
7	666	18
done	666	18
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	12	15
1	18	15
2	38	15
3	79	15
4	156	15
5	220	15
6	236	15
7	240	15
done	240	15
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	12	14
1	20	12
2	39	12
3	87	12
4	151	12
5	210	12
6	213	12
done	213	12
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	12	16
1	22	16
2	48	14
3	122	14
4	369	14
5	584	14
6	678	14
7	680	14
done	680	14
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	13
1	19	13
2	39	11
3	86	11
4	195	11
5	246	11
6	267	11
done	267	11
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	9	12
1	17	10
2	35	8
3	85	8
4	129	8
5	144	8
done	144	8
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	11
1	13	11
2	22	11
3	32	11
4	42	11
5	46	11
6	48	11
7	49	11
done	49	11
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	11	19
1	19	19
2	34	17
3	81	17
4	193	17
5	253	17
6	298	17
done	298	17
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	10	13
1	16	13
2	25	11
3	51	11
4	98	11
5	107	11
done	107	11
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	13	21
1	27	21
2	71	19
3	234	19
4	868	19
5	1725	19
6	1775	19
done	1775	19
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	12	18
1	22	18
2	49	16
3	154	16
4	486	16
5	857	16
6	892	16
done	892	16
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	17
1	21	15
2	48	13
3	119	13
4	187	13
5	232	13
done	232	13
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	12	17
1	22	17
2	48	15
3	140	15
4	448	15
5	673	15
6	676	15
done	676	15
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	14
1	19	14
2	39	12
3	103	12
4	255	12
5	323	12
done	323	12
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	13
1	18	11
2	36	9
3	67	9
4	88	9
done	88	9
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	10	15
1	20	11
2	51	11
3	132	11
4	292	11
5	384	11
6	385	11
done	385	11
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	12
1	17	8
2	37	8
3	76	8
4	145	8
5	168	8
done	168	8
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	7	11
1	14	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	8	8
1	14	8
2	24	6
3	40	6
4	74	6
5	100	6
6	119	6
done	119	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	9
1	14	9
2	24	7
3	46	7
4	71	7
5	83	7
6	89	7
done	89	7
0	8	10
1	12	10
2	21	10
3	31	10
4	41	10
5	45	10
6	47	10
7	48	10
done	48	10
0	4	4
done	4	4
0	10	18
1	14	18
2	17	18
3	18	18
4	20	18
5	22	18
6	23	18
done	23	18
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	12	20
1	20	20
2	41	20
3	70	20
4	96	20
5	127	20
6	149	20
7	159	20
done	159	20
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	11	14
1	15	14
2	23	14
3	36	14
4	44	14
5	50	14
6	53	14
done	53	14
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	14	22
1	26	22
2	78	22
3	247	22
4	618	22
5	1123	22
6	1696	22
7	1807	22
8	1808	22
done	1808	22
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	13	19
1	21	19
2	51	19
3	143	19
4	316	19
5	494	19
6	644	19
7	673	19
done	673	19
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	13	18
1	23	16
2	56	16
3	184	16
4	328	16
5	453	16
6	515	16
done	515	16
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	13	18
1	21	18
2	48	18
3	117	18
4	253	18
5	412	18
6	539	18
7	554	18
done	554	18
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	12	15
1	18	15
2	37	15
3	73	15
4	132	15
5	183	15
6	213	15
7	216	15
done	216	15
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	12	14
1	20	12
2	38	12
3	87	12
4	139	12
5	184	12
done	184	12
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	12	16
1	22	16
2	49	14
3	137	14
4	415	14
5	654	14
6	803	14
7	807	14
done	807	14
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	13
1	19	13
2	38	11
3	91	11
4	233	11
5	302	11
6	344	11
done	344	11
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	9	12
1	17	10
2	33	8
3	90	8
4	161	8
5	191	8
done	191	8
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	11
1	13	11
2	21	11
3	34	11
4	42	11
5	48	11
6	51	11
done	51	11
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	11	17
1	15	17
2	22	17
3	30	17
4	34	17
5	43	17
6	49	17
7	54	17
done	54	17
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	13	19
1	23	19
2	57	19
3	140	19
4	279	19
5	470	19
6	678	19
7	712	19
done	712	19
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	12	16
1	18	16
2	35	16
3	76	16
4	138	16
5	197	16
6	247	16
7	260	16
done	260	16
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	12	15
1	20	13
2	40	13
3	98	13
4	167	13
5	233	13
6	262	13
done	262	13
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	12	15
1	18	15
2	34	15
3	65	15
4	106	15
5	164	15
6	207	15
7	213	15
done	213	15
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	11	12
1	15	12
2	25	12
3	37	12
4	53	12
5	69	12
6	77	12
7	79	12
done	79	12
0	11	11
1	17	9
2	27	9
3	43	9
4	68	9
5	89	9
6	90	9
done	90	9
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	13
1	19	13
2	35	11
3	72	11
4	155	11
5	243	11
6	303	11
7	305	11
done	305	11
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	10
1	16	10
2	26	8
3	45	8
4	81	8
5	103	8
6	120	8
done	120	8
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	8	9
1	14	7
2	23	5
3	37	5
4	64	5
5	72	5
done	72	5
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	10	16
1	16	16
2	23	14
3	39	14
4	66	14
5	89	14
6	109	14
done	109	14
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	13	10
2	16	8
3	25	8
4	34	8
5	36	8
done	36	8
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	12	18
1	24	18
2	58	16
3	144	16
4	359	16
5	647	16
6	655	16
done	655	16
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	15
1	19	15
2	36	13
3	84	13
4	177	13
5	296	13
6	302	13
done	302	13
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	14
1	18	12
2	36	10
3	58	10
4	72	10
5	89	10
done	89	10
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	11	14
1	19	14
2	35	12
3	75	12
4	152	12
5	207	12
done	207	12
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	11
1	16	11
2	26	9
3	48	9
4	78	9
5	97	9
done	97	9
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	9	10
1	15	8
2	24	6
3	26	6
4	30	6
done	30	6
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	12
1	17	8
2	36	8
3	71	8
4	108	8
5	144	8
done	144	8
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	9
1	14	5
2	25	5
3	37	5
4	56	5
5	65	5
done	65	5
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	6	8
1	11	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	8	8
1	14	8
2	24	6
3	40	6
4	74	6
5	100	6
6	119	6
done	119	6
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	4	4
done	4	4
0	8	9
1	14	9
2	24	7
3	46	7
4	71	7
5	83	7
6	89	7
done	89	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	4	4
done	4	4
0	9	17
1	15	17
2	18	17
3	19	17
4	21	17
5	23	17
6	24	17
done	24	17
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	8	9
1	12	9
2	15	9
3	16	9
4	18	9
5	20	9
6	21	9
done	21	9
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	11	19
1	21	19
2	42	19
3	71	17
4	131	17
5	197	17
done	197	17
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	10	13
1	16	13
2	24	13
3	37	11
4	64	11
5	101	11
done	101	11
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	13	21
1	27	21
2	79	21
3	248	19
4	732	19
5	1587	19
6	2361	19
7	2375	19
done	2375	19
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	12	18
1	22	18
2	52	18
3	144	16
4	387	16
5	697	16
6	854	16
7	860	16
done	860	16
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	17
1	21	15
2	54	15
3	182	13
4	339	13
5	461	13
6	467	13
done	467	13
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	12	17
1	22	17
2	49	17
3	118	15
4	309	15
5	687	15
6	1141	15
7	1156	15
done	1156	15
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	14
1	19	14
2	38	14
3	74	12
4	170	12
5	341	12
6	440	12
7	445	12
done	445	12
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	13
1	18	11
2	36	11
3	85	9
4	142	9
5	211	9
6	213	9
done	213	9
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	10	15
1	20	15
2	46	13
3	126	13
4	301	13
5	381	13
done	381	13
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	12
1	17	12
2	35	10
3	80	10
4	138	10
5	143	10
done	143	10
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	7	11
1	15	9
2	29	7
3	61	7
4	71	7
done	71	7
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	8	8
1	14	8
2	24	6
3	43	6
4	79	6
5	99	6
6	123	6
7	128	6
8	129	6
done	129	6
0	10	16
1	16	16
2	23	16
3	31	14
4	55	14
5	74	14
done	74	14
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	9	10
1	13	10
2	16	10
3	17	8
4	30	8
5	35	8
done	35	8
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	12	18
1	24	18
2	58	18
3	139	16
4	341	16
5	620	16
6	864	16
7	869	16
done	869	16
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	11	15
1	19	15
2	36	15
3	77	13
4	180	13
5	287	13
6	336	13
7	337	13
done	337	13
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	14
1	18	12
2	38	12
3	95	10
4	182	10
5	216	10
done	216	10
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	11	14
1	19	14
2	35	14
3	66	12
4	139	12
5	276	12
6	429	12
7	431	12
done	431	12
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	11
1	16	11
2	26	11
3	38	9
4	76	9
5	134	9
6	165	9
done	165	9
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	9	10
1	15	8
2	25	8
3	41	6
4	67	6
5	76	6
done	76	6
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	12
1	17	12
2	33	10
3	64	10
4	106	10
5	130	10
done	130	10
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	9
1	14	9
2	24	7
3	37	7
4	44	7
done	44	7
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	6	8
1	12	6
2	20	4
3	22	4
done	22	4
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	8	8
1	14	8
2	24	6
3	43	6
4	79	6
5	99	6
6	123	6
7	128	6
8	129	6
done	129	6
0	8	15
1	14	11
2	23	11
3	36	11
4	45	11
5	46	11
done	46	11
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	7	9
1	11	5
2	16	5
3	18	5
4	19	5
done	19	5
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	10	17
1	22	13
2	58	13
3	162	13
4	360	13
5	508	13
6	516	13
done	516	13
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	9	14
1	17	10
2	36	10
3	89	10
4	168	10
5	209	10
done	209	10
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	13
1	16	7
2	33	7
3	63	7
4	68	7
done	68	7
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	9	13
1	17	9
2	35	9
3	82	9
4	163	9
5	238	9
6	243	9
done	243	9
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	8	10
1	14	6
2	26	6
3	47	6
4	74	6
5	91	6
done	91	6
0	9	10
1	13	10
2	23	10
3	35	10
4	51	10
5	67	10
6	76	10
7	78	10
done	78	10
0	7	9
1	13	3
2	21	3
3	22	3
done	22	3
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	7	11
1	14	7
2	27	7
3	45	7
4	53	7
done	53	7
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	6	8
1	11	4
2	18	4
3	20	4
done	20	4
0	8	9
1	12	9
2	22	9
3	34	9
4	50	9
5	66	9
6	75	9
7	77	9
done	77	9
0	4	7
1	8	1
done	8	1
0	7	8
1	11	8
2	21	8
3	33	8
4	49	8
5	65	8
6	73	8
7	75	8
done	75	8
0	3	5
1	6	1
done	6	1
0	7	8
1	11	8
2	21	8
3	33	8
4	49	8
5	65	8
6	73	8
7	75	8
done	75	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	7
1	13	7
2	23	5
3	39	5
4	73	5
5	95	5
6	120	5
7	125	5
8	126	5
done	126	5
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	21	8
3	33	8
4	49	8
5	65	8
6	73	8
7	75	8
done	75	8
0	3	3
1	5	3
done	5	3
0	7	8
1	13	8
2	23	6
3	39	6
4	56	6
5	78	6
6	90	6
7	100	6
done	100	6
0	6	6
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	3	3
done	3	3
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	124	6
6	155	6
done	155	6
0	7	8
1	11	8
2	21	8
3	36	8
4	58	8
5	73	8
6	79	8
done	79	8
0	9	17
1	13	17
2	16	17
3	17	17
4	19	17
5	21	17
6	22	17
done	22	17
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	11	19
1	19	19
2	40	19
3	69	19
4	95	19
5	127	19
6	148	19
7	158	19
done	158	19
0	10	13
1	14	13
2	22	13
3	35	13
4	43	13
5	49	13
6	52	13
done	52	13
0	13	21
1	25	21
2	77	21
3	248	21
4	619	21
5	1133	21
6	1682	21
7	1777	21
8	1778	21
done	1778	21
0	12	18
1	20	18
2	50	18
3	142	18
4	310	18
5	484	18
6	630	18
7	661	18
8	662	18
done	662	18
0	12	17
1	22	15
2	55	15
3	182	15
4	320	15
5	446	15
6	540	15
done	540	15
0	12	17
1	20	17
2	47	17
3	116	17
4	253	17
5	412	17
6	538	17
7	553	17
done	553	17
0	11	14
1	17	14
2	36	14
3	72	14
4	131	14
5	183	14
6	213	14
7	216	14
done	216	14
0	11	13
1	19	11
2	37	11
3	86	11
4	139	11
5	183	11
6	193	11
done	193	11
0	11	15
1	21	15
2	48	13
3	136	13
4	414	13
5	634	13
6	793	13
7	841	13
done	841	13
0	10	12
1	18	12
2	37	10
3	90	10
4	232	10
5	302	10
6	360	10
7	377	10
8	379	10
done	379	10
0	8	11
1	16	9
2	32	7
3	89	7
4	152	7
5	189	7
6	214	7
done	214	7
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	8	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	10	16
1	14	16
2	21	16
3	29	16
4	33	16
5	42	16
6	48	16
7	53	16
8	54	16
done	54	16
0	9	10
1	11	10
2	14	10
3	15	10
4	17	10
5	19	10
6	20	10
done	20	10
0	12	18
1	22	18
2	56	18
3	137	18
4	276	18
5	464	18
6	661	18
7	697	18
done	697	18
0	11	15
1	17	15
2	34	15
3	75	15
4	137	15
5	196	15
6	246	15
7	258	15
done	258	15
0	11	14
1	19	12
2	39	12
3	97	12
4	172	12
5	232	12
6	261	12
done	261	12
0	11	14
1	17	14
2	33	14
3	64	14
4	105	14
5	163	14
6	206	14
7	212	14
done	212	14
0	10	11
1	14	11
2	24	11
3	36	11
4	52	11
5	68	11
6	77	11
7	79	11
done	79	11
0	10	10
1	16	8
2	26	8
3	42	8
4	67	8
5	87	8
6	93	8
done	93	8
0	10	12
1	18	12
2	34	10
3	71	10
4	159	10
5	240	10
6	325	10
7	345	10
done	345	10
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	98	7
6	122	7
7	128	7
8	129	7
done	129	7
0	7	8
1	13	6
2	22	4
3	36	4
4	60	4
5	75	4
6	85	4
done	85	4
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	9	15
1	15	15
2	22	13
3	32	13
4	52	13
5	85	13
6	97	13
done	97	13
0	8	9
1	12	9
2	15	7
3	21	7
4	28	7
5	33	7
done	33	7
0	11	17
1	23	17
2	57	15
3	136	15
4	333	15
5	628	15
6	656	15
done	656	15
0	10	14
1	18	14
2	35	12
3	76	12
4	167	12
5	322	12
6	334	12
done	334	12
0	9	13
1	17	11
2	35	9
3	57	9
4	73	9
5	95	9
done	95	9
0	10	13
1	18	13
2	34	11
3	67	11
4	137	11
5	212	11
done	212	11
0	9	10
1	15	10
2	25	8
3	41	8
4	68	8
5	102	8
done	102	8
0	8	9
1	14	7
2	23	5
3	25	5
4	29	5
5	33	5
done	33	5
0	8	11
1	16	7
2	35	7
3	71	7
4	108	7
5	176	7
6	181	7
done	181	7
0	7	8
1	13	4
2	24	4
3	37	4
4	49	4
5	72	4
done	72	4
0	5	7
1	10	3
2	13	1
done	13	1
0	4	5
1	8	3
2	13	1
done	13	1
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	8	9
1	12	9
2	22	9
3	37	9
4	59	9
5	74	9
6	80	9
done	80	9
0	8	9
1	12	9
2	22	9
3	37	9
4	59	9
5	74	9
6	80	9
done	80	9
0	7	8
1	11	8
2	21	8
3	36	8
4	58	8
5	73	8
6	79	8
done	79	8
0	3	3
done	3	3
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	14
2	48	8
3	115	6
4	193	6
5	309	6
6	770	6
7	3350	6
done	5001	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	317	6
7	810	6
8	3527	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	3	3
done	3	3
0	2	2
done	2	2
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	10
1	8	10
2	10	10
3	11	10
done	11	10
0	5	6
done	5	6
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	4	5
done	4	5
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	5
1	7	3
2	9	3
done	9	3
0	4	5
done	4	5
0	5	7
1	9	7
done	9	7
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	3	3
1	5	3
done	5	3
0	3	4
done	3	4
0	5	8
1	7	8
done	7	8
0	4	5
done	4	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	8	9
1	14	9
2	22	9
3	35	9
4	39	9
5	47	9
6	62	9
7	88	9
8	97	9
done	97	9
0	7	8
1	12	8
2	17	8
3	24	8
4	37	8
5	41	8
6	49	8
7	64	8
8	90	8
9	99	8
done	99	8
0	6	7
1	11	7
2	21	7
3	30	7
4	42	7
5	61	7
6	70	7
7	81	7
8	99	7
9	119	7
10	125	7
done	125	7
0	6	7
1	8	7
2	13	7
3	20	7
4	30	7
5	57	7
6	123	7
7	292	7
8	829	7
9	3097	7
done	5000	7
0	11	20
1	25	20
2	105	12
3	481	10
4	1834	8
done	5000	8
0	9	20
1	24	20
2	82	10
3	318	8
4	1287	8
5	3391	8
done	5001	8
0	7	15
1	9	15
2	12	15
3	13	15
4	15	15
5	17	15
6	18	15
done	18	15
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	20
1	16	20
2	54	8
3	227	8
4	924	8
5	2645	8
done	5001	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	2	2
done	2	2
0	4	5
1	6	5
done	6	5
0	9	17
1	15	17
2	24	17
3	30	17
done	30	17
0	7	8
done	7	8
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	8
done	7	8
0	11	19
1	21	19
2	57	19
3	146	19
4	272	19
5	365	19
6	401	19
7	411	19
done	411	19
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	10	16
1	16	16
2	34	16
3	78	16
4	124	16
5	144	16
6	149	16
7	150	16
done	150	16
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	10	15
1	18	13
2	41	13
3	116	13
4	147	13
5	171	13
6	173	13
done	173	13
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	10	15
1	16	15
2	31	15
3	59	15
4	95	15
5	117	15
6	127	15
7	136	15
8	137	15
done	137	15
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	9	12
1	13	12
2	22	12
3	32	12
4	42	12
5	46	12
6	48	12
7	49	12
done	49	12
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	9	11
1	15	9
2	26	9
3	48	9
4	53	9
5	57	9
6	63	9
7	65	9
done	65	9
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	8	14
1	10	14
done	10	14
0	7	8
done	7	8
0	7	8
done	7	8
0	7	8
done	7	8
0	10	16
1	18	16
2	39	16
3	70	16
4	96	16
5	129	16
6	155	16
7	165	16
8	166	16
done	166	16
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	9	13
1	13	13
2	21	13
3	34	13
4	42	13
5	48	13
6	51	13
done	51	13
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	9	12
1	15	10
2	28	10
3	55	10
4	67	10
5	79	10
6	84	10
done	84	10
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	9	12
1	13	12
2	20	12
3	28	12
4	32	12
5	41	12
6	47	12
7	52	12
done	52	12
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	8	9
1	10	9
2	13	9
3	14	9
4	16	9
5	18	9
6	19	9
done	19	9
0	8	8
1	12	6
2	18	6
3	23	6
4	25	6
5	28	6
6	32	6
done	32	6
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	5
done	5	5
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	7	13
1	11	13
done	11	13
0	6	7
done	6	7
0	6	7
1	8	7
done	8	7
0	6	7
done	6	7
0	9	15
1	19	15
2	40	15
3	69	13
4	129	13
5	201	13
done	201	13
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	8	12
1	14	12
2	22	12
3	35	10
4	62	10
5	96	10
done	96	10
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	11
1	13	9
2	24	9
3	33	9
done	33	9
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	8	11
1	14	11
2	21	11
3	29	9
4	53	9
5	68	9
done	68	9
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	7
1	10	5
2	15	5
done	15	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	3	5
1	6	1
done	6	1
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	5	6
1	9	6
2	12	6
3	13	4
done	13	4
0	5	6
1	7	6
2	10	6
done	10	6
0	7	13
1	9	13
done	9	13
0	6	7
done	6	7
0	9	15
1	17	15
2	38	15
3	67	15
4	93	15
5	126	15
6	150	15
7	160	15
8	161	15
done	161	15
0	8	12
1	12	12
2	20	12
3	33	12
4	41	12
5	47	12
6	50	12
done	50	12
0	8	11
1	14	9
2	27	9
3	54	9
4	60	9
5	69	9
6	84	9
7	87	9
done	87	9
0	8	11
1	12	11
2	19	11
3	27	11
4	31	11
5	40	11
6	46	11
7	51	11
done	51	11
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	7
1	11	5
2	17	5
3	22	5
done	22	5
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	4	4
done	4	4
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	5	6
1	7	6
2	10	6
done	10	6
0	4	4
done	4	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	11	13
1	24	13
2	67	13
3	153	13
4	380	13
5	720	11
6	882	11
7	968	11
8	1194	11
9	2267	11
done	5001	11
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	7	8
1	16	8
2	37	8
3	64	8
4	75	8
done	75	8
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	8	9
1	18	9
2	44	9
3	63	9
4	72	9
5	88	9
6	110	9
7	173	9
8	387	9
9	1323	9
done	5001	9
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	11	13
1	30	13
2	72	13
3	158	13
4	346	13
5	880	13
6	3259	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2

prune277.0ms

Filtered

273 candidates to 312 candidates (-14.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	312	0	312
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	312	6	318

Merged error: 0b

Counts

318 → 6

regimes318.0ms

Accuracy

95.4% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 3.1b

bsearch57.0ms

Steps

Iters	Range		Point
8	2.1005123009093263e-17	4.6483899746145734e-14	1.020232698225087e-16
8	-1.1404267900702911e-05	-1.7469337222305917e-09	-3.673618468333417e-07

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	32
1	20	25
done	20	25

end0.0ms

sample1.4s

Algorithm

intervals

Results

331.0ms	5877×	body	80	valid
297.0ms	963×	body	1280	valid
227.0ms	1009×	body	640	valid
84.0ms	544×	body	320	valid
34.0ms	309×	body	160	valid

Details

sample45.0ms

simplify40.0ms

prune3.0ms

localize8.0ms

rewrite24.0ms

series38.0ms

simplify52.8s

prune136.0ms

localize9.0ms

rewrite33.0ms

series61.0ms

simplify1.5min

prune153.0ms

localize10.0ms

rewrite48.0ms

series62.0ms

simplify1.7min

prune210.0ms

localize8.0ms

rewrite52.0ms

series40.0ms

simplify3.0min

prune277.0ms

regimes318.0ms

bsearch57.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling