Details

sample87.0ms

Algorithm

intervals

Results

48.0ms	90×	body	1280	valid
13.0ms	46×	body	640	valid
4.0ms	84×	body	80	valid
3.0ms	76×	body	80	overflowed
3.0ms	22×	body	320	valid
2.0ms	16×	body	160	valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 42.6b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
0.0b	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
3.8b	(- (exp (* 2.0 x)) 1.0)
3.8b	(- (exp x) 1.0)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
75×	`*-un-lft-identity`
51×	`times-frac`
31×	`sqrt-prod`
27×	`add-cube-cbrt`
24×	`distribute-lft-out--` `difference-of-squares`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-/r` `flip--` `associate-/l`
4×	`associate-/r/`
2×	`sub-neg` `rem-sqrt-square` `diff-log` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `div-sub` `div-exp` `clear-num`

Counts

4 → 123

Calls

4 calls:

17.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
10.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
4.0ms	(- (exp (* 2.0 x)) 1.0)
7.0ms	(- (exp x) 1.0)

series38.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
9.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
3.0ms	(- (exp (* 2.0 x)) 1.0)
13.0ms	(- (exp x) 1.0)

simplify6.8min

Counts

135 → 135

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	178	6
5	507	6
6	1724	6
7	4983	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	46	8
3	85	8
4	176	8
5	521	8
6	2312	8
done	5001	8
0	8	14
1	17	11
2	27	11
3	31	11
4	36	11
5	45	11
6	70	11
7	129	11
8	266	11
9	715	11
10	2419	11
done	5000	11
0	2	2
done	2	2
0	6	9
1	13	8
2	22	8
3	40	8
4	69	8
5	122	8
6	211	8
7	470	8
8	2108	8
done	5001	8
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	8	8
1	13	7
2	21	7
3	34	7
4	67	7
5	154	7
6	404	7
7	1357	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	15	7
2	24	7
3	37	7
4	73	7
5	162	7
6	447	7
7	1371	7
done	5000	7
0	8	15
1	13	15
2	20	15
3	28	15
4	51	15
5	107	15
6	248	15
7	701	15
8	2432	15
done	5001	15
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	8	20
1	14	20
2	35	8
3	95	8
4	321	8
5	1344	8
done	5000	8
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	9	10
1	27	10
2	58	10
3	127	10
4	323	10
5	1071	10
done	5000	10
0	10	20
1	22	17
2	43	15
3	73	15
4	160	15
5	430	15
6	1433	15
done	5000	15
0	2	2
done	2	2
0	8	13
1	18	12
2	38	10
3	78	10
4	185	10
5	529	10
6	1748	10
done	5000	10
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	8	8
1	12	8
2	18	8
3	27	8
4	51	8
5	107	8
6	250	8
7	717	8
8	2455	8
done	5000	8
0	8	8
1	13	8
2	20	8
3	29	8
4	53	8
5	109	8
6	250	8
7	709	8
8	2452	8
done	5000	8
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	2	2
done	2	2
0	11	13
1	19	13
2	27	13
3	35	13
4	58	13
5	114	13
6	253	13
7	717	13
8	2462	13
done	5000	13
0	10	12
1	22	12
2	33	12
3	46	12
4	80	12
5	176	12
6	463	12
7	1493	12
done	5001	12
0	10	12
1	19	12
2	31	12
3	45	12
4	82	12
5	185	12
6	487	12
7	1605	12
done	5000	12
0	13	35
1	28	35
2	94	15
3	288	13
4	965	13
5	4499	13
done	5000	13
0	11	25
1	20	25
2	29	25
3	41	25
4	75	25
5	171	25
6	463	25
7	1482	25
done	5000	25
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	11	35
1	27	35
2	64	13
3	215	13
4	789	13
5	3503	13
done	5001	13
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	7	7
1	12	7
2	22	7
3	35	7
4	69	6
5	153	6
6	396	6
7	1246	6
8	4731	6
done	5001	6
0	5	5
1	7	5
2	11	5
3	13	5
4	14	4
done	14	4
0	8	9
1	13	9
2	19	9
3	29	9
4	63	9
5	159	9
6	451	9
7	1472	9
done	5000	9
0	5	6
1	7	6
2	8	6
done	8	6
0	13	27
1	25	27
2	41	27
3	55	27
4	78	27
5	134	27
6	276	27
7	725	27
8	2461	27
done	5000	27
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	12	21
1	20	21
2	29	21
3	38	21
4	61	21
5	117	21
6	259	21
7	716	21
8	2458	21
done	5000	21
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	10	17
1	19	15
2	32	15
3	45	15
4	68	15
5	123	15
6	258	15
7	710	15
8	2460	15
done	5000	15
0	10	12
1	16	12
2	23	12
3	31	12
4	54	12
5	110	12
6	249	12
7	699	12
8	2433	12
done	5001	12
0	13	22
1	21	22
2	29	22
3	38	22
4	61	22
5	117	22
6	259	22
7	716	22
8	2458	22
done	5000	22
0	12	14
1	19	14
2	26	14
3	34	14
4	57	14
5	113	14
6	256	14
7	720	14
8	2481	14
done	5001	14
0	10	17
1	19	15
2	32	15
3	45	15
4	68	15
5	123	15
6	258	15
7	710	15
8	2460	15
done	5000	15
0	10	12
1	16	12
2	23	12
3	31	12
4	54	12
5	110	12
6	249	12
7	699	12
8	2433	12
done	5001	12
0	12	19
1	20	19
2	27	19
3	35	19
4	58	19
5	114	19
6	260	19
7	727	19
8	2463	19
done	5001	19
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	9	9
1	16	7
2	25	7
3	33	7
4	56	7
5	111	7
6	248	7
7	699	7
8	2454	7
done	5001	7
0	10	12
1	16	12
2	23	12
3	31	12
4	54	12
5	110	12
6	249	12
7	699	12
8	2433	12
done	5001	12
0	12	14
1	18	14
2	24	14
3	32	14
4	55	14
5	111	14
6	252	14
7	713	14
8	2454	14
done	5001	14
0	12	14
1	19	14
2	26	14
3	34	14
4	57	14
5	113	14
6	256	14
7	720	14
8	2481	14
done	5001	14
0	9	9
1	16	7
2	25	7
3	33	7
4	56	7
5	111	7
6	248	7
7	699	7
8	2454	7
done	5001	7
0	10	12
1	16	12
2	23	12
3	31	12
4	54	12
5	110	12
6	249	12
7	699	12
8	2433	12
done	5001	12
0	8	13
1	14	13
2	15	13
done	15	13
0	10	12
1	19	12
2	28	12
3	40	12
4	71	12
5	154	12
6	397	12
7	1237	12
8	4745	12
done	5000	12
0	7	7
1	11	7
2	12	7
done	12	7
0	10	12
1	19	12
2	28	12
3	40	12
4	71	12
5	154	12
6	397	12
7	1237	12
8	4745	12
done	5000	12
0	2	3
1	4	1
done	4	1
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	8	8
1	11	8
done	11	8
0	11	13
1	21	13
2	30	13
3	42	13
4	76	13
5	172	13
6	465	13
7	1490	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	13	20
1	21	20
2	27	20
3	36	20
4	60	20
5	116	20
6	262	20
7	730	20
8	2485	20
done	5000	20
0	12	14
1	22	14
2	31	14
3	42	14
4	66	14
5	122	14
6	266	14
7	730	14
8	2482	14
done	5001	14
0	12	14
1	18	14
2	24	14
3	33	14
4	57	14
5	113	14
6	259	14
7	722	14
8	2481	14
done	5001	14
0	12	14
1	22	14
2	31	14
3	42	14
4	66	14
5	122	14
6	266	14
7	730	14
8	2482	14
done	5001	14
0	10	10
1	16	8
2	24	8
3	33	8
4	57	8
5	112	8
6	250	8
7	706	8
8	2440	8
done	5000	8
0	11	13
1	21	13
2	30	13
3	41	13
4	65	13
5	121	13
6	262	13
7	723	13
8	2486	13
done	5001	13
0	12	15
1	17	15
2	22	15
3	31	15
4	55	15
5	111	15
6	252	15
7	713	15
8	2464	15
done	5000	15
0	12	15
1	21	15
2	30	15
3	41	15
4	65	15
5	121	15
6	262	15
7	723	15
8	2486	15
done	5000	15
0	10	10
1	16	8
2	24	8
3	33	8
4	57	8
5	112	8
6	250	8
7	706	8
8	2440	8
done	5000	8
0	11	13
1	21	13
2	30	13
3	41	13
4	65	13
5	121	13
6	262	13
7	723	13
8	2486	13
done	5001	13
0	8	13
1	14	13
2	15	13
done	15	13
0	10	12
1	19	12
2	28	12
3	40	12
4	71	12
5	154	12
6	397	12
7	1237	12
8	4745	12
done	5000	12
0	7	7
1	11	7
2	12	7
done	12	7
0	10	12
1	19	12
2	28	12
3	40	12
4	71	12
5	154	12
6	397	12
7	1237	12
8	4745	12
done	5000	12
0	2	3
1	4	1
done	4	1
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	8	8
1	11	8
done	11	8
0	11	13
1	21	13
2	30	13
3	42	13
4	76	13
5	172	13
6	465	13
7	1490	13
done	5001	13
0	2	3
1	4	1
done	4	1
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	6	6
1	10	6
2	11	6
done	11	6
0	9	11
1	18	11
2	27	11
3	37	11
4	60	11
5	116	11
6	264	11
7	733	11
8	2498	11
done	5001	11
0	11	18
1	22	18
2	36	18
3	55	18
4	105	18
5	246	18
6	733	18
7	2696	18
done	5000	18
0	10	12
1	19	12
2	28	12
3	40	12
4	71	12
5	154	12
6	397	12
7	1237	12
8	4745	12
done	5000	12
0	8	8
1	18	6
2	29	6
3	39	6
4	72	6
5	168	6
6	456	6
7	1586	6
done	5001	6
0	11	13
1	20	13
2	28	13
3	40	13
4	71	13
5	154	13
6	397	13
7	1237	13
8	4730	13
done	5000	13
0	8	8
1	18	6
2	29	6
3	39	6
4	72	6
5	168	6
6	456	6
7	1586	6
done	5001	6
0	10	12
1	19	12
2	28	12
3	38	12
4	61	12
5	117	12
6	265	12
7	736	12
8	2501	12
done	5000	12
0	10	12
1	19	12
2	28	12
3	38	12
4	61	12
5	117	12
6	265	12
7	736	12
8	2501	12
done	5000	12
0	9	11
1	18	11
2	27	11
3	37	11
4	60	11
5	116	11
6	264	11
7	733	11
8	2498	11
done	5001	11
0	11	13
1	21	13
2	30	13
3	41	13
4	65	13
5	123	13
6	267	13
7	731	13
8	2497	13
done	5001	13
0	9	11
1	18	11
2	27	11
3	37	11
4	60	11
5	116	11
6	264	11
7	733	11
8	2498	11
done	5001	11
0	12	15
1	35	15
2	65	15
3	125	15
4	295	15
5	1055	15
done	5002	15
0	11	16
1	26	15
2	47	15
3	92	15
4	191	15
5	472	15
6	1601	15
done	5000	15
0	13	25
1	34	22
2	94	20
3	274	20
4	772	20
5	2585	20
done	5001	20
0	9	11
1	22	11
2	47	11
3	99	11
4	224	11
5	511	11
6	1351	11
7	4603	11
done	5000	11
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	12	27
1	21	27
2	30	27
3	42	27
4	76	27
5	172	27
6	465	27
7	1490	27
done	5000	27
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	12	38
1	22	24
2	38	14
3	72	14
4	144	14
5	329	14
6	932	14
7	3323	14
done	5001	14
0	12	26
1	22	13
2	31	13
3	43	13
4	77	13
5	173	13
6	463	13
7	1484	13
done	5000	13
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	14	28
1	26	28
2	43	14
3	57	14
4	80	14
5	136	14
6	282	14
7	727	14
8	2459	14
done	5000	14
0	12	14
1	18	14
2	25	14
3	33	14
4	56	14
5	112	14
6	253	14
7	722	14
8	2476	14
done	5000	14
0	13	22
1	21	22
2	30	22
3	39	22
4	62	22
5	118	22
6	257	22
7	717	22
8	2480	22
done	5000	22
0	12	14
1	18	14
2	25	14
3	33	14
4	56	14
5	112	14
6	253	14
7	722	14
8	2476	14
done	5000	14
0	11	18
1	20	16
2	34	8
3	47	8
4	70	8
5	125	8
6	265	8
7	720	8
8	2478	8
done	5000	8
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	14	23
1	22	23
2	30	23
3	39	23
4	62	23
5	118	23
6	257	23
7	717	23
8	2480	23
done	5001	23
0	13	15
1	20	15
2	27	15
3	35	15
4	58	15
5	114	15
6	260	15
7	727	15
8	2463	15
done	5001	15
0	11	18
1	20	16
2	34	8
3	47	8
4	70	8
5	125	8
6	265	8
7	720	8
8	2478	8
done	5000	8
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	13	20
1	21	20
2	28	20
3	36	20
4	59	20
5	115	20
6	260	20
7	725	20
8	2484	20
done	5000	20
0	12	14
1	18	14
2	25	14
3	33	14
4	56	14
5	112	14
6	253	14
7	722	14
8	2476	14
done	5000	14
0	12	14
1	18	14
2	25	14
3	33	14
4	56	14
5	112	14
6	253	14
7	722	14
8	2476	14
done	5000	14
0	12	14
1	18	14
2	25	14
3	33	14
4	56	14
5	112	14
6	253	14
7	722	14
8	2476	14
done	5000	14
0	10	10
1	17	8
2	26	8
3	34	8
4	57	8
5	112	8
6	251	8
7	713	8
8	2451	8
done	5000	8
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	13	15
1	19	15
2	25	15
3	33	15
4	56	15
5	112	15
6	255	15
7	726	15
8	2480	15
done	5000	15
0	13	15
1	20	15
2	27	15
3	35	15
4	58	15
5	114	15
6	260	15
7	727	15
8	2463	15
done	5001	15
0	10	10
1	17	8
2	26	8
3	34	8
4	57	8
5	112	8
6	251	8
7	713	8
8	2451	8
done	5000	8
0	11	13
1	17	13
2	24	13
3	32	13
4	55	13
5	111	13
6	252	13
7	711	13
8	2450	13
done	5001	13
0	9	14
1	15	14
2	16	14
done	16	14
0	11	13
1	20	13
2	29	13
3	41	13
4	72	13
5	155	13
6	394	13
7	1220	13
8	4712	13
done	5000	13
0	8	8
1	12	8
2	13	8
done	13	8
0	11	13
1	20	13
2	29	13
3	41	13
4	72	13
5	155	13
6	394	13
7	1220	13
8	4712	13
done	5000	13
0	3	4
1	5	1
done	5	1
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	9	9
1	12	9
done	12	9
0	12	14
1	22	14
2	31	14
3	43	14
4	77	14
5	173	14
6	463	14
7	1485	14
done	5001	14
0	3	4
1	5	1
done	5	1
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	14	21
1	22	21
2	28	21
3	37	21
4	61	21
5	117	21
6	261	21
7	726	21
8	2479	21
done	5001	21
0	13	15
1	23	15
2	32	15
3	43	15
4	67	15
5	123	15
6	269	15
7	722	15
8	2481	15
done	5000	15
0	13	15
1	19	15
2	25	15
3	34	15
4	58	15
5	114	15
6	258	15
7	719	15
8	2480	15
done	5001	15
0	13	15
1	23	15
2	32	15
3	43	15
4	67	15
5	123	15
6	269	15
7	722	15
8	2481	15
done	5000	15
0	11	11
1	17	9
2	25	9
3	34	9
4	58	9
5	113	9
6	248	9
7	692	9
8	2444	9
done	5001	9
0	12	14
1	22	14
2	31	14
3	42	14
4	66	14
5	122	14
6	266	14
7	730	14
8	2482	14
done	5001	14
0	13	16
1	18	16
2	23	16
3	32	16
4	56	16
5	112	16
6	253	16
7	716	16
8	2479	16
done	5001	16
0	13	16
1	22	16
2	31	16
3	42	16
4	66	16
5	122	16
6	266	16
7	730	16
8	2482	16
done	5000	16
0	11	11
1	17	9
2	25	9
3	34	9
4	58	9
5	113	9
6	248	9
7	692	9
8	2444	9
done	5001	9
0	12	14
1	22	14
2	31	14
3	42	14
4	66	14
5	122	14
6	266	14
7	730	14
8	2482	14
done	5001	14
0	9	14
1	15	14
2	16	14
done	16	14
0	11	13
1	20	13
2	29	13
3	41	13
4	72	13
5	155	13
6	394	13
7	1220	13
8	4712	13
done	5000	13
0	8	8
1	12	8
2	13	8
done	13	8
0	11	13
1	20	13
2	29	13
3	41	13
4	72	13
5	155	13
6	394	13
7	1220	13
8	4712	13
done	5000	13
0	3	4
1	5	1
done	5	1
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	9	9
1	12	9
done	12	9
0	12	14
1	22	14
2	31	14
3	43	14
4	77	14
5	173	14
6	463	14
7	1485	14
done	5001	14
0	3	4
1	5	1
done	5	1
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	2	2
1	4	1
done	4	1
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	11	7
2	12	7
done	12	7
0	13	16
1	36	16
2	66	16
3	126	16
4	297	16
5	1055	16
done	5001	16
0	9	15
1	18	12
2	28	12
3	32	12
4	37	12
5	46	12
6	71	12
7	130	12
8	272	12
9	719	12
10	2424	12
done	5000	12
0	12	17
1	27	16
2	48	16
3	93	16
4	192	16
5	473	16
6	1606	16
done	5000	16
0	5	5
1	6	5
done	6	5
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	5	5
1	7	5
2	8	5
done	8	5
0	3	3
1	6	1
done	6	1
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	11	13
1	20	13
2	29	13
3	41	13
4	75	13
5	171	13
6	463	13
7	1482	13
done	5000	13
0	11	13
1	28	13
2	73	13
3	108	11
4	181	11
5	354	11
6	895	11
7	3250	11
done	5000	11
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	12	15
1	30	15
2	76	13
3	120	13
4	201	13
5	371	11
6	942	11
7	3348	11
done	5000	11
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	19	29
1	48	29
2	142	29
3	394	22
4	1053	22
5	3437	17
done	5001	17
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12
0	10	12
1	19	12
2	28	12
3	40	12
4	74	12
5	170	12
6	464	12
7	1490	12
done	5000	12

prune274.0ms

Filtered

93 candidates to 135 candidates (-45.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	134	2	136

Merged error: 0b

Counts

136 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ 1.0 (* x 0.5)))
11.0b	(sqrt (+ 2.0 (* x (+ 1.0 (* x 0.5)))))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `add-cbrt-cube`
3×	`associate-r` `associate-l` `sqrt-prod`
2×	`flip3-+` `sqrt-div` `associate-*r/` `flip-+` `add-log-exp`
1×	`distribute-rgt-in` `rem-sqrt-square` `distribute-lft-in` `sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 37

Calls

2 calls:

6.0ms	(* x (+ 1.0 (* x 0.5)))
3.0ms	(sqrt (+ 2.0 (* x (+ 1.0 (* x 0.5)))))

series13.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* x (+ 1.0 (* x 0.5)))
6.0ms	(sqrt (+ 2.0 (* x (+ 1.0 (* x 0.5)))))

simplify46.3s

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	20
2	41	12
3	74	12
4	114	12
5	138	12
6	159	12
7	219	12
8	438	12
9	1380	12
done	5001	12
0	11	22
1	22	11
2	30	11
3	34	11
done	34	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	3	3
1	6	1
done	6	1
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	94	8
5	251	8
6	731	8
7	2588	8
done	5000	8
0	10	23
1	31	23
2	126	11
3	494	11
4	1805	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1059	9
5	2993	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	3	3
1	4	3
done	4	3
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	34	11
2	97	11
3	243	11
4	493	11
5	1443	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	19	29
1	48	29
2	142	29
3	394	22
4	1053	22
5	3437	17
done	5001	17
0	19	31
1	51	31
2	132	25
3	333	24
4	984	24
5	3520	21
done	5000	21
0	19	31
1	51	31
2	128	25
3	312	24
4	805	24
5	2330	21
done	5000	21
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7

prune71.0ms

Filtered

35 candidates to 43 candidates (-22.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

45 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (exp (* 2.0 x)) 1.0) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0)))
0.0b	(/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0))
3.8b	(- (exp (* 2.0 x)) 1.0)
3.8b	(- (exp (+ x x)) (* 1.0 1.0))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

270×	`times-frac`
230×	`*-un-lft-identity`
188×	`add-sqr-sqrt`
102×	`add-cube-cbrt`
88×	`difference-of-squares`
36×	`distribute-lft-out`
30×	`exp-sum` `associate-/r*`
28×	`distribute-lft-out--`
15×	`associate-/r/`
11×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/l*`
8×	`div-inv` `add-log-exp`
7×	`flip3-+` `flip-+`
4×	`pow1` `cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
2×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `clear-num`

Counts

4 → 253

Calls

4 calls:

21.0ms	(/ (- (exp (* 2.0 x)) 1.0) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0)))
14.0ms	(/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0))
5.0ms	(- (exp (* 2.0 x)) 1.0)
8.0ms	(- (exp (+ x x)) (* 1.0 1.0))

series35.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (- (exp (* 2.0 x)) 1.0) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0)))
9.0ms	(/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0))
3.0ms	(- (exp (* 2.0 x)) 1.0)
3.0ms	(- (exp (+ x x)) (* 1.0 1.0))

simplify15.5min

Counts

265 → 265

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	16	9
2	29	9
3	54	9
4	132	9
5	362	9
6	1401	9
done	5001	9
0	7	9
1	13	9
2	23	9
3	33	9
4	61	9
5	120	9
6	242	9
7	522	9
8	1532	9
done	5000	9
0	7	9
1	16	9
2	32	9
3	53	9
4	122	9
5	334	9
6	1231	9
done	5000	9
0	8	19
1	14	19
2	24	19
3	31	19
4	58	19
5	114	19
6	237	19
7	523	19
8	1520	19
done	5000	19
0	7	9
1	13	9
2	23	9
3	30	9
4	57	9
5	113	9
6	236	9
7	522	9
8	1522	9
done	5000	9
0	8	26
1	15	26
2	39	10
3	136	10
4	679	10
5	3857	10
done	5000	10
0	7	9
1	13	9
2	23	9
3	30	9
4	57	9
5	113	9
6	236	9
7	522	9
8	1522	9
done	5000	9
0	7	9
1	13	9
2	23	9
3	30	9
4	57	9
5	113	9
6	236	9
7	522	9
8	1522	9
done	5000	9
0	9	12
1	29	12
2	89	10
3	230	8
4	552	8
5	1792	8
done	5001	8
0	10	26
1	29	21
2	71	17
3	113	17
4	176	17
5	332	17
6	801	17
7	2546	17
done	5000	17
0	3	4
1	6	4
done	6	4
0	8	17
1	23	16
2	56	10
3	113	8
4	271	8
5	814	8
6	2512	8
done	5000	8
0	6	8
1	11	8
2	14	8
3	18	8
4	27	8
5	52	8
6	103	8
7	223	8
8	605	8
9	2138	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	6	7
1	11	7
2	15	5
3	19	5
4	29	5
5	55	5
6	106	5
7	232	5
8	611	5
9	2153	5
done	5000	5
0	6	7
1	12	7
2	17	5
3	21	5
4	31	5
5	57	5
6	108	5
7	232	5
8	619	5
9	2146	5
done	5001	5
0	3	4
1	6	4
done	6	4
0	8	8
1	13	7
2	21	7
3	34	7
4	67	7
5	154	7
6	404	7
7	1357	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	15	7
2	24	7
3	37	7
4	73	7
5	162	7
6	447	7
7	1371	7
done	5000	7
0	8	15
1	13	15
2	20	15
3	28	15
4	51	15
5	107	15
6	248	15
7	701	15
8	2432	15
done	5001	15
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	8	20
1	14	20
2	35	8
3	95	8
4	321	8
5	1344	8
done	5000	8
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	9	10
1	27	10
2	58	10
3	127	10
4	323	10
5	1071	10
done	5000	10
0	10	20
1	22	17
2	43	15
3	73	15
4	160	15
5	430	15
6	1433	15
done	5000	15
0	2	2
done	2	2
0	8	13
1	18	12
2	38	10
3	78	10
4	185	10
5	529	10
6	1748	10
done	5000	10
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	8	8
1	12	8
2	18	8
3	27	8
4	51	8
5	107	8
6	250	8
7	717	8
8	2455	8
done	5000	8
0	8	8
1	13	8
2	20	8
3	29	8
4	53	8
5	109	8
6	250	8
7	709	8
8	2452	8
done	5000	8
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	2	2
done	2	2
0	11	15
1	19	15
2	29	15
3	37	15
4	71	15
5	137	15
6	269	7
7	561	5
8	1683	5
done	5000	5
0	10	14
1	22	14
2	39	14
3	57	14
4	107	14
5	206	7
6	402	5
7	1420	5
done	5000	5
0	10	14
1	19	14
2	37	14
3	54	14
4	101	14
5	203	7
6	445	5
7	1598	5
done	5000	5
0	13	41
1	40	41
2	124	17
3	399	15
4	1948	8
done	5000	8
0	11	29
1	20	29
2	35	29
3	50	29
4	91	29
5	174	15
6	351	11
7	1177	11
done	5001	11
0	10	14
1	19	14
2	34	14
3	49	14
4	90	14
5	173	7
6	350	5
7	1177	5
done	5000	5
0	11	41
1	27	41
2	70	15
3	254	15
4	1299	8
done	5000	8
0	10	14
1	19	14
2	34	14
3	49	14
4	90	14
5	173	7
6	350	5
7	1177	5
done	5000	5
0	10	14
1	19	14
2	34	14
3	49	14
4	90	14
5	173	7
6	350	5
7	1177	5
done	5000	5
0	7	9
1	13	9
2	26	9
3	46	9
4	98	8
5	232	8
6	471	8
7	1134	8
8	3625	8
done	5001	8
0	5	5
1	9	5
2	11	5
3	12	5
done	12	5
0	7	9
1	11	9
2	16	9
3	22	9
4	34	9
5	67	9
6	148	9
7	361	9
8	1145	9
9	4477	9
done	5000	9
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	13	31
1	25	31
2	43	31
3	55	31
4	82	31
5	138	31
6	259	31
7	539	31
8	1558	31
done	5001	31
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	12	25
1	20	25
2	31	25
3	38	25
4	65	25
5	121	25
6	244	25
7	528	25
8	1521	25
done	5001	25
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	10	21
1	20	19
2	36	19
3	48	19
4	74	19
5	128	19
6	236	19
7	476	19
8	1342	19
done	5000	19
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	10	21
1	20	19
2	36	19
3	48	19
4	74	19
5	128	19
6	236	19
7	476	19
8	1342	19
done	5000	19
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	12	21
1	20	21
2	29	21
3	35	21
4	62	21
5	118	21
6	239	21
7	521	21
8	1514	21
done	5000	21
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	9	11
1	17	9
2	29	9
3	36	9
4	62	9
5	116	9
6	226	9
7	463	9
8	1329	9
done	5001	9
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	9	11
1	17	9
2	29	9
3	36	9
4	62	9
5	116	9
6	226	9
7	463	9
8	1329	9
done	5001	9
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	8	13
1	13	13
done	13	13
0	10	14
1	19	14
2	34	14
3	49	14
4	91	14
5	174	14
6	355	14
7	802	14
8	2430	14
done	5000	14
0	7	7
1	10	7
done	10	7
0	10	14
1	19	14
2	34	14
3	49	14
4	91	14
5	174	14
6	355	14
7	802	14
8	2430	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	9	13
1	18	13
2	33	13
3	48	13
4	89	13
5	172	6
6	349	4
7	1184	4
done	5000	4
0	2	3
1	4	1
done	4	1
0	9	13
1	18	13
2	33	13
3	48	13
4	89	13
5	172	6
6	349	4
7	1184	4
done	5000	4
0	7	16
1	10	16
done	10	16
0	7	10
1	13	10
2	16	10
3	18	10
done	18	10
0	6	10
1	7	10
done	7	10
0	7	10
1	13	10
2	16	10
3	18	10
done	18	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	9
1	12	9
2	15	9
3	17	9
done	17	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	9
1	12	9
2	15	9
3	17	9
done	17	9
0	11	19
1	18	19
2	22	17
3	26	17
4	36	17
5	62	17
6	113	17
7	239	17
8	621	17
9	2137	17
done	5000	17
0	10	13
1	19	13
2	26	11
3	32	11
4	42	11
5	68	11
6	119	11
7	237	11
8	617	11
9	2152	11
done	5000	11
0	10	13
1	15	13
2	19	11
3	23	11
4	33	11
5	59	11
6	110	11
7	232	11
8	614	11
9	2154	11
done	5000	11
0	10	13
1	19	13
2	26	11
3	32	11
4	42	11
5	68	11
6	119	11
7	237	11
8	617	11
9	2152	11
done	5000	11
0	8	9
1	15	7
2	21	5
3	25	5
4	34	5
5	58	5
6	109	5
7	226	5
8	602	5
9	2126	5
done	5000	5
0	9	12
1	18	12
2	25	10
3	31	10
4	41	10
5	67	10
6	118	10
7	240	10
8	615	10
9	2136	10
done	5000	10
0	8	9
1	15	7
2	21	5
3	25	5
4	34	5
5	58	5
6	109	5
7	226	5
8	602	5
9	2126	5
done	5000	5
0	9	12
1	18	12
2	25	10
3	31	10
4	41	10
5	67	10
6	118	10
7	240	10
8	615	10
9	2136	10
done	5000	10
0	6	6
1	9	6
done	9	6
0	9	13
1	15	13
2	24	13
3	32	13
4	61	6
5	119	6
6	233	6
7	480	6
8	1359	6
done	5000	6
0	11	20
1	22	20
2	46	20
3	89	20
4	167	20
5	334	20
6	697	20
7	1649	20
done	5000	20
0	10	14
1	19	14
2	34	14
3	49	14
4	91	14
5	174	14
6	355	14
7	802	14
8	2430	14
done	5000	14
0	8	10
1	19	8
2	37	8
3	58	8
4	112	8
5	206	8
6	390	8
7	814	8
8	2597	8
done	5000	8
0	8	10
1	19	8
2	37	8
3	58	8
4	112	8
5	206	8
6	390	8
7	814	8
8	2597	8
done	5000	8
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	235	14
7	528	14
8	1527	14
done	5001	14
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	235	14
7	528	14
8	1527	14
done	5001	14
0	9	13
1	15	13
2	24	13
3	32	13
4	61	6
5	119	6
6	233	6
7	480	6
8	1359	6
done	5000	6
0	6	9
1	9	9
2	10	9
done	10	9
0	9	12
1	15	12
2	20	10
3	24	10
4	34	10
5	60	10
6	111	10
7	229	10
8	617	10
9	2158	10
done	5000	10
0	12	17
1	31	17
2	60	17
3	96	17
4	187	17
5	404	17
6	1016	17
7	3401	17
done	5000	17
0	10	18
1	21	17
2	54	17
3	135	1
4	276	1
5	894	1
done	5000	1
0	13	31
1	39	26
2	128	22
3	351	22
4	825	22
5	2174	22
done	5001	22
0	9	13
1	21	13
2	57	13
3	102	13
4	172	13
5	266	13
6	475	13
7	1187	13
8	4186	13
done	5000	13
0	17	23
1	34	23
2	55	23
3	83	23
4	148	23
5	299	23
6	627	15
7	1453	13
done	5000	13
0	16	22
1	35	22
2	59	22
3	90	22
4	177	22
5	356	15
6	736	13
7	2723	13
done	5001	13
0	15	21
1	37	21
2	81	21
3	170	21
4	502	21
5	1660	14
done	5000	14
0	15	21
1	34	21
2	76	21
3	171	21
4	517	21
5	1802	14
done	5000	14
0	20	62
1	57	62
2	211	26
3	1015	24
done	5000	24
0	18	62
1	47	62
2	151	24
3	678	22
4	4249	15
done	5001	15
0	16	43
1	35	43
2	72	43
3	151	43
4	457	43
5	1543	29
done	5000	29
0	15	21
1	34	21
2	71	21
3	150	21
4	456	21
5	1550	14
done	5001	14
0	16	62
1	42	62
2	126	22
3	638	22
4	4876	22
done	5000	22
0	15	21
1	34	21
2	71	21
3	150	21
4	456	21
5	1550	14
done	5001	14
0	15	21
1	34	21
2	71	21
3	150	21
4	456	21
5	1550	14
done	5001	14
0	7	7
1	12	7
2	22	7
3	35	7
4	69	6
5	153	6
6	396	6
7	1246	6
8	4731	6
done	5001	6
0	10	14
1	21	14
2	39	14
3	70	14
4	150	13
5	335	6
6	755	4
7	3433	4
done	5001	4
0	13	18
1	27	18
2	57	18
3	106	18
4	322	18
5	1308	11
done	5000	11
0	10	15
1	21	15
2	47	15
3	76	15
4	156	15
5	314	8
6	687	6
7	3706	6
done	5001	6
0	18	45
1	38	45
2	66	45
3	94	45
4	155	45
5	282	31
6	567	27
7	1761	27
done	5000	27
0	16	22
1	30	22
2	49	22
3	71	22
4	132	22
5	261	15
6	545	13
7	1736	13
done	5001	13
0	17	30
1	33	30
2	54	30
3	77	30
4	138	30
5	265	23
6	549	21
7	1752	21
done	5000	21
0	16	22
1	30	22
2	49	22
3	71	22
4	132	22
5	261	15
6	545	13
7	1736	13
done	5001	13
0	20	47
1	41	47
2	90	47
3	192	47
4	366	47
5	562	47
6	831	47
7	1498	47
8	4035	47
done	5000	47
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	19	41
1	36	41
2	67	41
3	124	41
4	217	41
5	336	41
6	574	41
7	1230	41
8	3782	41
done	5000	41
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	17	37
1	36	35
2	73	35
3	162	35
4	239	35
5	359	35
6	576	35
7	1168	35
8	3539	35
done	5000	35
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	17	37
1	36	35
2	73	35
3	162	35
4	239	35
5	359	35
6	576	35
7	1168	35
8	3539	35
done	5000	35
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	19	37
1	36	37
2	64	37
3	105	37
4	189	37
5	310	37
6	553	37
7	1202	37
8	3745	37
done	5000	37
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	18	31
1	33	31
2	55	31
3	78	31
4	135	31
5	239	31
6	470	31
7	1117	31
8	3671	31
done	5000	31
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	16	27
1	33	25
2	58	25
3	94	25
4	146	25
5	248	25
6	474	25
7	1071	25
8	3517	25
done	5000	25
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	16	27
1	33	25
2	58	25
3	94	25
4	146	25
5	248	25
6	474	25
7	1071	25
8	3517	25
done	5000	25
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	15	29
1	29	29
2	50	27
3	105	27
4	240	27
5	355	27
6	543	27
7	1004	27
8	2740	27
done	5000	27
0	16	22
1	32	22
2	54	22
3	82	22
4	162	22
5	319	22
6	656	22
7	1573	22
done	5000	22
0	14	23
1	26	23
2	41	21
3	75	21
4	145	21
5	209	21
6	351	21
7	806	21
8	2563	21
done	5000	21
0	16	22
1	32	22
2	54	22
3	82	22
4	162	22
5	319	22
6	656	22
7	1573	22
done	5000	22
0	11	19
1	22	17
2	38	15
3	67	15
4	103	15
5	158	15
6	295	15
7	741	15
8	2475	15
done	5000	15
0	15	21
1	31	21
2	61	21
3	101	21
4	212	21
5	444	14
6	965	12
done	5000	12
0	11	19
1	22	17
2	38	15
3	67	15
4	103	15
5	158	15
6	295	15
7	741	15
8	2475	15
done	5000	15
0	15	21
1	31	21
2	61	21
3	101	21
4	212	21
5	444	14
6	965	12
done	5000	12
0	14	32
1	26	32
2	47	32
3	83	32
4	142	32
5	219	32
6	368	32
7	833	32
8	2597	32
done	5000	32
0	13	18
1	25	18
2	37	18
3	48	18
4	73	18
5	134	18
6	281	18
7	735	18
8	2489	18
done	5000	18
0	13	26
1	23	26
2	38	26
3	56	26
4	89	26
5	149	26
6	291	26
7	756	26
8	2515	26
done	5000	26
0	13	18
1	25	18
2	37	18
3	48	18
4	73	18
5	134	18
6	281	18
7	735	18
8	2489	18
done	5000	18
0	13	22
1	25	20
2	42	20
3	72	20
4	100	20
5	159	20
6	304	20
7	770	20
8	2519	20
done	5000	20
0	12	17
1	24	17
2	44	17
3	67	17
4	98	17
5	169	17
6	326	17
7	799	17
8	2541	17
done	5001	17
0	13	22
1	25	20
2	42	20
3	72	20
4	100	20
5	159	20
6	304	20
7	770	20
8	2519	20
done	5000	20
0	12	17
1	24	17
2	44	17
3	67	17
4	98	17
5	169	17
6	326	17
7	799	17
8	2541	17
done	5001	17
0	18	35
1	34	35
2	58	33
3	97	33
4	164	33
5	257	33
6	425	33
7	915	33
8	2814	33
done	5000	33
0	16	21
1	31	21
2	46	19
3	60	19
4	92	19
5	167	19
6	329	19
7	810	19
8	2692	19
done	5001	19
0	17	29
1	31	29
2	49	27
3	70	27
4	110	27
5	184	27
6	342	27
7	831	27
8	2706	27
done	5001	27
0	16	21
1	31	21
2	46	19
3	60	19
4	92	19
5	167	19
6	329	19
7	810	19
8	2692	19
done	5001	19
0	15	25
1	31	23
2	51	21
3	84	21
4	119	21
5	191	21
6	356	21
7	833	21
8	2762	21
done	5001	21
0	15	20
1	30	20
2	53	18
3	79	18
4	117	18
5	202	18
6	391	18
7	929	18
8	2983	18
done	5000	18
0	15	25
1	31	23
2	51	21
3	84	21
4	119	21
5	191	21
6	356	21
7	833	21
8	2762	21
done	5001	21
0	15	20
1	30	20
2	53	18
3	79	18
4	117	18
5	202	18
6	391	18
7	929	18
8	2983	18
done	5000	18
0	10	17
1	19	15
2	32	15
3	45	15
4	68	15
5	123	15
6	258	15
7	710	15
8	2460	15
done	5000	15
0	15	21
1	31	21
2	61	21
3	101	21
4	212	21
5	444	14
6	965	12
done	5000	12
0	13	24
1	26	24
2	45	24
3	73	24
4	143	24
5	284	24
6	582	24
7	1390	24
8	4551	24
done	5000	24
0	12	14
1	22	14
2	39	12
3	58	12
4	96	12
5	167	12
6	331	12
7	785	12
8	2517	12
done	5001	12
0	19	33
1	47	33
2	100	33
3	226	33
4	730	33
5	3355	33
done	5001	33
0	14	22
1	29	19
2	50	19
3	74	19
4	119	19
5	204	19
6	389	19
7	924	19
8	2960	19
done	5000	19
0	17	34
1	37	33
2	99	33
3	349	17
4	1391	15
done	5000	15
0	10	12
1	16	12
2	23	12
3	31	12
4	54	12
5	110	12
6	249	12
7	699	12
8	2433	12
done	5001	12
0	17	37
1	33	37
2	52	37
3	74	37
4	135	37
5	262	23
6	547	19
7	1734	19
done	5001	19
0	16	22
1	30	22
2	49	22
3	71	22
4	132	22
5	261	15
6	545	13
7	1736	13
done	5001	13
0	16	22
1	30	22
2	49	22
3	71	22
4	132	22
5	261	15
6	545	13
7	1736	13
done	5001	13
0	16	22
1	30	22
2	49	22
3	71	22
4	132	22
5	261	15
6	545	13
7	1736	13
done	5001	13
0	19	39
1	38	39
2	72	39
3	114	39
4	187	39
5	318	39
6	576	39
7	1221	39
8	3775	39
done	5001	39
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	18	33
1	33	33
2	54	33
3	80	33
4	135	33
5	241	33
6	470	33
7	1105	33
8	3635	33
done	5001	33
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	16	29
1	33	27
2	60	27
3	101	27
4	159	27
5	269	27
6	493	27
7	1097	27
8	3499	27
done	5000	27
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	16	29
1	33	27
2	60	27
3	101	27
4	159	27
5	269	27
6	493	27
7	1097	27
8	3499	27
done	5000	27
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	18	29
1	33	29
2	53	29
3	74	29
4	125	29
5	234	29
6	470	29
7	1115	29
8	3660	29
done	5001	29
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	17	23
1	30	23
2	46	23
3	60	23
4	109	23
5	211	23
6	442	23
7	1076	23
8	3599	23
done	5001	23
0	15	19
1	30	17
2	50	17
3	69	17
4	117	17
5	218	17
6	443	17
7	1028	17
8	3434	17
done	5001	17
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	15	19
1	30	17
2	50	17
3	69	17
4	117	17
5	218	17
6	443	17
7	1028	17
8	3434	17
done	5001	17
0	16	22
1	29	22
2	53	22
3	79	22
4	134	22
5	240	22
6	493	22
7	1177	22
8	3824	22
done	5000	22
0	14	21
1	26	21
2	39	19
3	63	19
4	113	19
5	193	19
6	356	19
7	812	19
8	2569	19
done	5000	19
0	16	22
1	32	22
2	54	22
3	82	22
4	162	22
5	319	22
6	656	22
7	1573	22
done	5000	22
0	13	15
1	23	15
2	32	13
3	49	13
4	81	13
5	138	13
6	276	13
7	722	13
8	2457	13
done	5001	13
0	16	22
1	32	22
2	54	22
3	82	22
4	162	22
5	319	22
6	656	22
7	1573	22
done	5000	22
0	10	11
1	19	9
2	31	7
3	41	7
4	68	7
5	123	7
6	260	7
7	717	7
8	2453	7
done	5001	7
0	15	21
1	31	21
2	61	21
3	101	21
4	212	21
5	444	14
6	965	12
done	5000	12
0	10	11
1	19	9
2	31	7
3	41	7
4	68	7
5	123	7
6	260	7
7	717	7
8	2453	7
done	5001	7
0	15	21
1	31	21
2	61	21
3	101	21
4	212	21
5	444	14
6	965	12
done	5000	12
0	13	24
1	23	24
2	36	24
3	52	24
4	79	24
5	144	24
6	287	24
7	749	24
8	2495	24
done	5001	24
0	13	18
1	25	18
2	37	18
3	48	18
4	73	18
5	134	18
6	281	18
7	735	18
8	2489	18
done	5000	18
0	12	18
1	20	18
2	29	18
3	38	18
4	63	18
5	121	18
6	264	18
7	722	18
8	2476	18
done	5001	18
0	13	18
1	25	18
2	37	18
3	48	18
4	73	18
5	134	18
6	281	18
7	735	18
8	2489	18
done	5000	18
0	12	14
1	22	12
2	34	12
3	47	12
4	72	12
5	130	12
6	275	12
7	723	12
8	2478	12
done	5001	12
0	12	17
1	24	17
2	44	17
3	67	17
4	98	17
5	169	17
6	326	17
7	799	17
8	2541	17
done	5001	17
0	12	14
1	22	12
2	34	12
3	47	12
4	72	12
5	130	12
6	275	12
7	723	12
8	2478	12
done	5001	12
0	12	17
1	24	17
2	44	17
3	67	17
4	98	17
5	169	17
6	326	17
7	799	17
8	2541	17
done	5001	17
0	17	27
1	31	27
2	47	25
3	66	25
4	100	25
5	179	25
6	342	25
7	836	25
8	2723	25
done	5000	25
0	16	21
1	31	21
2	46	19
3	60	19
4	92	19
5	167	19
6	329	19
7	810	19
8	2692	19
done	5001	19
0	16	21
1	28	21
2	40	19
3	52	19
4	84	19
5	156	19
6	319	19
7	808	19
8	2735	19
done	5001	19
0	16	21
1	31	21
2	46	19
3	60	19
4	92	19
5	167	19
6	329	19
7	810	19
8	2692	19
done	5001	19
0	14	17
1	28	15
2	43	13
3	59	13
4	90	13
5	161	13
6	324	13
7	811	13
8	2737	13
done	5001	13
0	15	20
1	30	20
2	53	18
3	79	18
4	117	18
5	202	18
6	391	18
7	929	18
8	2983	18
done	5000	18
0	14	17
1	28	15
2	43	13
3	59	13
4	90	13
5	161	13
6	324	13
7	811	13
8	2737	13
done	5001	13
0	15	20
1	30	20
2	53	18
3	79	18
4	117	18
5	202	18
6	391	18
7	929	18
8	2983	18
done	5000	18
0	9	9
1	16	7
2	25	7
3	33	7
4	56	7
5	111	7
6	248	7
7	699	7
8	2454	7
done	5001	7
0	15	21
1	31	21
2	61	21
3	101	21
4	212	21
5	444	14
6	965	12
done	5000	12
0	12	16
1	23	16
2	37	16
3	53	16
4	102	16
5	204	16
6	437	16
7	1073	16
8	3598	16
done	5001	16
0	12	14
1	22	14
2	39	12
3	58	12
4	96	12
5	167	12
6	331	12
7	785	12
8	2517	12
done	5001	12
0	18	25
1	44	25
2	88	25
3	173	25
4	451	25
5	1801	25
done	5000	25
0	14	22
1	29	19
2	50	19
3	74	19
4	119	19
5	204	19
6	389	19
7	924	19
8	2960	19
done	5000	19
0	16	26
1	34	25
2	84	25
3	249	9
4	742	7
5	4082	7
done	5000	7
0	10	12
1	16	12
2	23	12
3	31	12
4	54	12
5	110	12
6	249	12
7	699	12
8	2433	12
done	5001	12
0	13	31
1	26	31
2	41	31
3	56	31
4	96	31
5	177	17
6	336	13
7	959	13
8	4735	13
done	5000	13
0	15	21
1	32	21
2	53	21
3	79	21
4	148	21
5	304	14
6	673	12
7	2238	12
done	5000	12
0	12	16
1	23	16
2	38	16
3	53	16
4	93	16
5	174	9
6	333	7
7	961	7
8	4723	7
done	5000	7
0	15	21
1	32	21
2	53	21
3	79	21
4	148	21
5	304	14
6	673	12
7	2238	12
done	5000	12
0	15	33
1	31	33
2	61	33
3	96	31
4	182	31
5	296	31
6	404	31
7	655	31
8	1515	31
done	5000	31
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	14	27
1	26	27
2	43	27
3	62	25
4	115	25
5	204	25
6	312	25
7	548	25
8	1427	25
done	5001	25
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	11	23
1	23	21
2	44	21
3	60	21
4	86	21
5	140	21
6	248	21
7	491	21
8	1376	21
done	5000	21
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	11	23
1	23	21
2	44	21
3	60	21
4	86	21
5	140	21
6	248	21
7	491	21
8	1376	21
done	5000	21
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	14	23
1	26	23
2	42	23
3	56	21
4	106	21
5	177	21
6	285	21
7	532	21
8	1401	21
done	5000	21
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	13	17
1	23	17
2	35	17
3	42	15
4	81	15
5	140	15
6	248	15
7	491	15
8	1361	15
done	5000	15
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	10	13
1	20	11
2	35	11
3	42	11
4	68	11
5	122	11
6	230	11
7	474	11
8	1334	11
done	5000	11
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	10	13
1	20	11
2	35	11
3	42	11
4	68	11
5	122	11
6	230	11
7	474	11
8	1334	11
done	5000	11
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	9	15
1	16	11
2	25	11
3	38	11
4	47	11
5	48	11
done	48	11
0	15	21
1	34	21
2	63	21
3	115	21
4	300	21
5	963	21
6	3972	21
done	5000	21
0	8	9
1	13	5
2	18	5
3	20	5
4	21	5
done	21	5
0	15	21
1	34	21
2	63	21
3	115	21
4	300	21
5	963	21
6	3972	21
done	5000	21
0	3	5
1	6	1
done	6	1
0	14	20
1	33	20
2	70	20
3	149	20
4	455	20
5	1545	13
done	5000	13
0	3	5
1	6	1
done	6	1
0	14	20
1	33	20
2	70	20
3	149	20
4	455	20
5	1545	13
done	5000	13
0	9	18
1	16	18
2	23	18
3	31	16
4	55	16
5	72	16
done	72	16
0	12	17
1	27	17
2	46	17
3	74	17
4	146	17
5	334	17
6	975	17
7	3365	17
done	5000	17
0	8	12
1	13	12
2	16	12
3	17	10
4	30	10
5	35	10
done	35	10
0	12	17
1	27	17
2	46	17
3	74	17
4	146	17
5	334	17
6	975	17
7	3365	17
done	5000	17
0	7	8
1	12	6
2	17	6
done	17	6
0	11	16
1	26	16
2	53	16
3	109	16
4	264	16
5	657	16
6	1819	16
done	5000	16
0	7	8
1	12	6
2	17	6
done	17	6
0	11	16
1	26	16
2	53	16
3	109	16
4	264	16
5	657	16
6	1819	16
done	5000	16
0	13	21
1	24	21
2	35	19
3	47	17
4	80	17
5	117	17
6	166	17
7	279	17
8	661	17
9	2175	17
done	5000	17
0	15	20
1	33	20
2	55	18
3	86	18
4	165	18
5	367	18
6	986	18
7	3382	18
done	5000	18
0	12	15
1	21	15
2	28	13
3	33	11
4	55	11
5	84	11
6	133	11
7	243	11
8	613	11
9	2115	11
done	5000	11
0	15	20
1	33	20
2	55	18
3	86	18
4	165	18
5	367	18
6	986	18
7	3382	18
done	5000	18
0	9	11
1	18	9
2	27	7
3	31	7
4	40	7
5	64	7
6	113	7
7	223	7
8	596	7
9	2121	7
done	5000	7
0	14	19
1	32	19
2	62	17
3	121	17
4	283	17
5	696	17
6	1928	17
done	5000	17
0	9	11
1	18	9
2	27	7
3	31	7
4	40	7
5	64	7
6	113	7
7	223	7
8	596	7
9	2121	7
done	5000	7
0	14	19
1	32	19
2	62	17
3	121	17
4	283	17
5	696	17
6	1928	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	14	20
1	33	20
2	70	20
3	149	20
4	455	20
5	1545	13
done	5000	13
0	8	10
1	16	10
2	26	10
3	35	10
4	63	10
5	119	10
6	233	10
7	475	10
8	1344	10
done	5001	10
0	11	13
1	24	13
2	48	11
3	123	11
4	272	11
5	713	11
6	2149	11
done	5000	11
0	14	19
1	37	19
2	77	19
3	154	17
4	479	17
5	2182	17
done	5000	17
0	13	21
1	31	18
2	54	18
3	82	18
4	141	18
5	308	18
6	986	18
7	4897	18
done	5000	18
0	12	20
1	27	19
2	73	19
3	230	1
4	711	1
5	3746	1
done	5000	1
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	18	38
1	33	38
2	52	38
3	75	38
4	137	38
5	264	24
6	548	20
7	1742	20
done	5000	20
0	17	23
1	34	23
2	56	23
3	81	23
4	143	23
5	270	16
6	550	14
7	1739	14
done	5000	14
0	17	23
1	30	23
2	49	23
3	72	23
4	134	23
5	263	16
6	545	14
7	1742	14
done	5001	14
0	17	23
1	34	23
2	56	23
3	81	23
4	143	23
5	270	16
6	550	14
7	1739	14
done	5000	14
0	20	40
1	38	40
2	72	40
3	115	40
4	197	40
5	351	40
6	642	40
7	1354	40
8	3957	40
done	5001	40
0	18	24
1	34	24
2	58	24
3	86	24
4	153	24
5	265	24
6	503	24
7	1156	24
8	3684	24
done	5000	24
0	19	34
1	33	34
2	54	34
3	81	34
4	145	34
5	259	34
6	501	34
7	1173	34
8	3724	34
done	5000	34
0	18	24
1	34	24
2	58	24
3	86	24
4	153	24
5	265	24
6	503	24
7	1156	24
8	3684	24
done	5000	24
0	17	30
1	33	28
2	60	28
3	102	28
4	169	28
5	303	28
6	547	28
7	1157	28
8	3580	28
done	5000	28
0	17	23
1	33	23
2	65	23
3	121	23
4	265	23
5	511	23
6	928	23
7	1868	23
done	5001	23
0	17	30
1	33	28
2	60	28
3	102	28
4	169	28
5	303	28
6	547	28
7	1157	28
8	3580	28
done	5000	28
0	17	23
1	33	23
2	65	23
3	121	23
4	265	23
5	511	23
6	928	23
7	1868	23
done	5001	23
0	19	30
1	33	30
2	53	30
3	75	30
4	135	30
5	256	30
6	498	30
7	1175	30
8	3730	30
done	5000	30
0	18	24
1	34	24
2	58	24
3	86	24
4	153	24
5	265	24
6	503	24
7	1156	24
8	3684	24
done	5000	24
0	18	24
1	30	24
2	46	24
3	61	24
4	119	24
5	223	24
6	458	24
7	1103	24
8	3663	24
done	5000	24
0	18	24
1	34	24
2	58	24
3	86	24
4	153	24
5	265	24
6	503	24
7	1156	24
8	3684	24
done	5000	24
0	16	20
1	30	18
2	50	18
3	70	18
4	127	18
5	236	18
6	468	18
7	1066	18
8	3475	18
done	5001	18
0	17	23
1	33	23
2	65	23
3	121	23
4	265	23
5	511	23
6	928	23
7	1868	23
done	5001	23
0	16	20
1	30	18
2	50	18
3	70	18
4	127	18
5	236	18
6	468	18
7	1066	18
8	3475	18
done	5001	18
0	17	23
1	33	23
2	65	23
3	121	23
4	265	23
5	511	23
6	928	23
7	1868	23
done	5001	23
0	15	22
1	26	22
2	38	20
3	71	20
4	134	20
5	222	20
6	401	20
7	897	20
8	2702	20
done	5000	20
0	17	23
1	36	23
2	66	23
3	112	23
4	241	23
5	522	23
6	1057	23
7	2221	23
done	5000	23
0	14	16
1	23	16
2	31	14
3	57	14
4	90	14
5	155	14
6	294	14
7	740	14
8	2506	14
done	5000	14
0	17	23
1	36	23
2	66	23
3	112	23
4	241	23
5	522	23
6	1057	23
7	2221	23
done	5000	23
0	11	12
1	19	10
2	30	8
3	49	8
4	85	8
5	140	8
6	280	8
7	728	8
8	2459	8
done	5000	8
0	16	22
1	35	22
2	73	22
3	147	22
4	394	22
5	980	15
6	2196	13
done	5000	13
0	11	12
1	19	10
2	30	8
3	49	8
4	85	8
5	140	8
6	280	8
7	728	8
8	2459	8
done	5000	8
0	16	22
1	35	22
2	73	22
3	147	22
4	394	22
5	980	15
6	2196	13
done	5000	13
0	14	25
1	23	25
2	35	25
3	52	25
4	88	25
5	165	25
6	325	25
7	808	25
8	2574	25
done	5000	25
0	14	19
1	30	19
2	49	19
3	74	19
4	117	19
5	186	19
6	355	19
7	830	19
8	2587	19
done	5000	19
0	13	19
1	20	19
2	28	19
3	38	19
4	72	19
5	130	19
6	283	19
7	742	19
8	2512	19
done	5001	19
0	14	19
1	30	19
2	49	19
3	74	19
4	117	19
5	186	19
6	355	19
7	830	19
8	2587	19
done	5000	19
0	13	15
1	22	13
2	33	13
3	47	13
4	81	13
5	147	13
6	294	13
7	755	13
8	2513	13
done	5001	13
0	13	18
1	29	18
2	56	18
3	109	18
4	229	18
5	434	18
6	742	18
7	1382	18
8	3570	18
done	5000	18
0	13	15
1	22	13
2	33	13
3	47	13
4	81	13
5	147	13
6	294	13
7	755	13
8	2513	13
done	5001	13
0	13	18
1	29	18
2	56	18
3	109	18
4	229	18
5	434	18
6	742	18
7	1382	18
8	3570	18
done	5000	18
0	18	28
1	31	28
2	46	26
3	66	26
4	109	26
5	200	26
6	377	26
7	873	26
8	2794	26
done	5000	26
0	17	22
1	36	22
2	58	20
3	86	20
4	136	20
5	219	20
6	401	20
7	887	20
8	2795	20
done	5000	20
0	17	22
1	28	22
2	39	20
3	52	20
4	93	20
5	165	20
6	335	20
7	839	20
8	2754	20
done	5001	20
0	17	22
1	36	22
2	58	20
3	86	20
4	136	20
5	219	20
6	401	20
7	887	20
8	2795	20
done	5000	20
0	15	18
1	28	16
2	42	14
3	59	14
4	99	14
5	178	14
6	352	14
7	836	14
8	2761	14
done	5000	14
0	16	21
1	35	21
2	65	19
3	121	19
4	248	19
5	473	19
6	844	19
7	1674	19
8	4717	19
done	5000	19
0	15	18
1	28	16
2	42	14
3	59	14
4	99	14
5	178	14
6	352	14
7	836	14
8	2761	14
done	5000	14
0	16	21
1	35	21
2	65	19
3	121	19
4	248	19
5	473	19
6	844	19
7	1674	19
8	4717	19
done	5000	19
0	10	10
1	16	8
2	24	8
3	33	8
4	57	8
5	112	8
6	250	8
7	706	8
8	2440	8
done	5000	8
0	16	22
1	35	22
2	73	22
3	147	22
4	394	22
5	980	15
6	2196	13
done	5000	13
0	13	17
1	23	17
2	37	17
3	54	17
4	104	17
5	206	17
6	435	17
7	1076	17
8	3635	17
done	5000	17
0	13	15
1	26	15
2	50	13
3	122	13
4	217	13
5	370	13
6	618	13
7	1212	13
8	3252	13
done	5000	13
0	19	26
1	44	26
2	88	26
3	174	26
4	482	26
5	2025	26
done	5001	26
0	15	23
1	33	20
2	57	20
3	84	20
4	130	20
5	215	20
6	397	20
7	927	20
8	2965	20
done	5000	20
0	17	27
1	34	26
2	84	26
3	250	10
4	766	8
5	4981	8
done	5000	8
0	11	13
1	21	13
2	30	13
3	41	13
4	65	13
5	121	13
6	262	13
7	723	13
8	2486	13
done	5001	13
0	13	31
1	26	31
2	41	31
3	56	31
4	96	31
5	177	17
6	336	13
7	959	13
8	4735	13
done	5000	13
0	15	21
1	32	21
2	53	21
3	79	21
4	148	21
5	304	14
6	673	12
7	2238	12
done	5000	12
0	12	16
1	23	16
2	38	16
3	53	16
4	93	16
5	174	9
6	333	7
7	961	7
8	4723	7
done	5000	7
0	15	21
1	32	21
2	53	21
3	79	21
4	148	21
5	304	14
6	673	12
7	2238	12
done	5000	12
0	15	33
1	31	33
2	61	33
3	96	31
4	182	31
5	296	31
6	404	31
7	655	31
8	1515	31
done	5000	31
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	14	27
1	26	27
2	43	27
3	62	25
4	115	25
5	204	25
6	312	25
7	548	25
8	1427	25
done	5001	25
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	11	23
1	23	21
2	44	21
3	60	21
4	86	21
5	140	21
6	248	21
7	491	21
8	1376	21
done	5000	21
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	11	23
1	23	21
2	44	21
3	60	21
4	86	21
5	140	21
6	248	21
7	491	21
8	1376	21
done	5000	21
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	14	23
1	26	23
2	42	23
3	56	21
4	106	21
5	177	21
6	285	21
7	532	21
8	1401	21
done	5000	21
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	13	17
1	23	17
2	35	17
3	42	15
4	81	15
5	140	15
6	248	15
7	491	15
8	1361	15
done	5000	15
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	10	13
1	20	11
2	35	11
3	42	11
4	68	11
5	122	11
6	230	11
7	474	11
8	1334	11
done	5000	11
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	10	13
1	20	11
2	35	11
3	42	11
4	68	11
5	122	11
6	230	11
7	474	11
8	1334	11
done	5000	11
0	15	21
1	31	21
2	62	21
3	121	21
4	289	21
5	676	21
6	1843	21
done	5000	21
0	9	15
1	16	11
2	25	11
3	38	11
4	47	11
5	48	11
done	48	11
0	15	21
1	34	21
2	63	21
3	115	21
4	300	21
5	963	21
6	3972	21
done	5000	21
0	8	9
1	13	5
2	18	5
3	20	5
4	21	5
done	21	5
0	15	21
1	34	21
2	63	21
3	115	21
4	300	21
5	963	21
6	3972	21
done	5000	21
0	3	5
1	6	1
done	6	1
0	14	20
1	33	20
2	70	20
3	149	20
4	455	20
5	1545	13
done	5000	13
0	3	5
1	6	1
done	6	1
0	14	20
1	33	20
2	70	20
3	149	20
4	455	20
5	1545	13
done	5000	13
0	9	18
1	16	18
2	23	18
3	31	16
4	55	16
5	72	16
done	72	16
0	12	17
1	27	17
2	46	17
3	74	17
4	146	17
5	334	17
6	975	17
7	3365	17
done	5000	17
0	8	12
1	13	12
2	16	12
3	17	10
4	30	10
5	35	10
done	35	10
0	12	17
1	27	17
2	46	17
3	74	17
4	146	17
5	334	17
6	975	17
7	3365	17
done	5000	17
0	7	8
1	12	6
2	17	6
done	17	6
0	11	16
1	26	16
2	53	16
3	109	16
4	264	16
5	657	16
6	1819	16
done	5000	16
0	7	8
1	12	6
2	17	6
done	17	6
0	11	16
1	26	16
2	53	16
3	109	16
4	264	16
5	657	16
6	1819	16
done	5000	16
0	13	21
1	24	21
2	35	19
3	47	17
4	80	17
5	117	17
6	166	17
7	279	17
8	661	17
9	2175	17
done	5000	17
0	15	20
1	33	20
2	55	18
3	86	18
4	165	18
5	367	18
6	986	18
7	3382	18
done	5000	18
0	12	15
1	21	15
2	28	13
3	33	11
4	55	11
5	84	11
6	133	11
7	243	11
8	613	11
9	2115	11
done	5000	11
0	15	20
1	33	20
2	55	18
3	86	18
4	165	18
5	367	18
6	986	18
7	3382	18
done	5000	18
0	9	11
1	18	9
2	27	7
3	31	7
4	40	7
5	64	7
6	113	7
7	223	7
8	596	7
9	2121	7
done	5000	7
0	14	19
1	32	19
2	62	17
3	121	17
4	283	17
5	696	17
6	1928	17
done	5000	17
0	9	11
1	18	9
2	27	7
3	31	7
4	40	7
5	64	7
6	113	7
7	223	7
8	596	7
9	2121	7
done	5000	7
0	14	19
1	32	19
2	62	17
3	121	17
4	283	17
5	696	17
6	1928	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	14	20
1	33	20
2	70	20
3	149	20
4	455	20
5	1545	13
done	5000	13
0	8	10
1	16	10
2	26	10
3	35	10
4	63	10
5	119	10
6	233	10
7	475	10
8	1344	10
done	5001	10
0	11	13
1	24	13
2	48	11
3	123	11
4	272	11
5	713	11
6	2149	11
done	5000	11
0	14	19
1	37	19
2	77	19
3	154	17
4	479	17
5	2182	17
done	5000	17
0	13	21
1	31	18
2	54	18
3	82	18
4	141	18
5	308	18
6	986	18
7	4897	18
done	5000	18
0	12	20
1	27	19
2	73	19
3	230	1
4	711	1
5	3746	1
done	5000	1
0	9	11
1	18	11
2	27	11
3	39	11
4	73	11
5	169	11
6	465	11
7	1480	11
done	5000	11
0	11	15
1	24	15
2	50	15
3	83	13
4	262	13
5	794	6
6	2500	6
done	5001	6
0	14	20
1	30	20
2	66	20
3	143	20
4	330	13
5	758	11
6	2753	11
done	5000	11
0	16	36
1	35	36
2	61	36
3	94	36
4	182	36
5	396	22
6	1001	18
7	3692	18
done	5001	18
0	15	21
1	32	21
2	53	21
3	79	21
4	148	21
5	304	14
6	673	12
7	2238	12
done	5000	12
0	18	38
1	40	38
2	93	38
3	217	38
4	540	38
5	1434	38
6	4367	38
done	5001	38
0	17	32
1	35	32
2	67	32
3	138	32
4	310	32
5	749	32
6	2167	32
done	5001	32
0	15	28
1	35	26
2	72	26
3	157	26
4	333	26
5	745	26
6	1852	26
done	5000	26
0	15	28
1	35	26
2	72	26
3	157	26
4	333	26
5	745	26
6	1852	26
done	5000	26
0	17	28
1	35	28
2	66	28
3	120	28
4	262	28
5	598	28
6	1566	28
done	5000	28
0	16	22
1	32	22
2	55	22
3	86	22
4	176	22
5	377	22
6	963	22
7	3004	22
done	5001	22
0	14	18
1	32	16
2	56	16
3	92	16
4	185	16
5	382	16
6	859	16
7	2321	16
done	5001	16
0	14	18
1	32	16
2	56	16
3	92	16
4	185	16
5	382	16
6	859	16
7	2321	16
done	5001	16
0	13	20
1	28	20
2	52	18
3	116	18
4	273	18
5	796	18
6	2705	18
done	5001	18
0	12	14
1	25	14
2	41	12
3	82	12
4	157	12
5	414	12
6	1275	12
7	4900	12
done	5000	12
0	9	10
1	21	8
2	35	6
3	55	6
4	115	6
5	279	6
6	771	6
7	2428	6
done	5000	6
0	9	10
1	21	8
2	35	6
3	55	6
4	115	6
5	279	6
6	771	6
7	2428	6
done	5000	6
0	12	23
1	25	23
2	49	23
3	98	23
4	216	23
5	509	23
6	1407	23
7	4799	23
done	5000	23
0	11	17
1	22	17
2	38	17
3	64	17
4	130	17
5	287	17
6	791	17
7	2725	17
done	5001	17
0	11	13
1	24	11
2	40	11
3	70	11
4	140	11
5	292	11
6	678	11
7	1925	11
done	5001	11
0	11	13
1	24	11
2	40	11
3	70	11
4	140	11
5	292	11
6	678	11
7	1925	11
done	5001	11
0	16	26
1	33	26
2	60	24
3	112	24
4	237	24
5	544	24
6	1445	24
7	4943	24
done	5000	24
0	15	20
1	30	20
2	49	18
3	78	18
4	151	18
5	324	18
6	835	18
7	2715	18
done	5001	18
0	13	16
1	30	14
2	49	12
3	82	12
4	158	12
5	323	12
6	725	12
7	1996	12
done	5000	12
0	13	16
1	30	14
2	49	12
3	82	12
4	158	12
5	323	12
6	725	12
7	1996	12
done	5000	12
0	8	8
1	18	6
2	29	6
3	39	6
4	72	6
5	168	6
6	456	6
7	1586	6
done	5001	6
0	11	15
1	25	15
2	41	15
3	68	15
4	160	15
5	458	15
6	1700	15
done	5000	15
0	17	24
1	46	24
2	97	24
3	222	24
4	814	24
5	4506	24
done	5000	24
0	15	25
1	36	24
2	93	24
3	321	8
4	1342	6
done	5000	6
0	15	21
1	31	21
2	67	21
3	122	21
4	249	14
5	502	12
6	1494	12
done	5000	12
0	15	21
1	31	21
2	67	21
3	122	21
4	249	14
5	502	12
6	1494	12
done	5000	12
0	14	20
1	30	20
2	66	20
3	143	20
4	330	13
5	758	11
6	2753	11
done	5000	11
0	16	22
1	32	22
2	69	22
3	149	22
4	312	15
5	659	13
6	1855	13
done	5000	13
0	14	20
1	30	20
2	66	20
3	143	20
4	330	13
5	758	11
6	2753	11
done	5000	11
0	11	15
1	25	15
2	41	15
3	68	15
4	160	15
5	458	15
6	1700	15
done	5000	15
0	17	34
1	47	31
2	121	29
3	359	29
4	1446	29
done	5000	29
0	14	20
1	36	20
2	71	20
3	167	20
4	557	20
5	2121	13
done	5000	13
0	11	15
1	29	15
2	75	13
3	122	13
4	203	13
5	374	11
6	932	11
7	3318	11
done	5001	11
0	6	6
1	11	6
2	18	6
3	29	6
4	54	6
5	103	6
6	222	6
7	600	6
8	2125	6
done	5000	6
0	6	6
1	11	6
2	18	6
3	29	6
4	54	6
5	103	6
6	222	6
7	600	6
8	2125	6
done	5000	6
0	12	15
1	30	15
2	76	13
3	120	13
4	201	13
5	371	11
6	942	11
7	3348	11
done	5000	11
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	13	15
1	31	15
2	77	15
3	110	13
4	180	13
5	348	11
6	883	11
7	3249	11
done	5000	11
0	9	11
1	18	11
2	26	11
3	43	11
4	78	11
5	156	11
6	373	11
7	1136	11
8	4461	11
done	5000	11
0	9	11
1	18	11
2	26	11
3	43	11
4	78	11
5	156	11
6	373	11
7	1136	11
8	4461	11
done	5000	11
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	14	18
1	27	18
2	58	18
3	131	18
4	316	18
5	799	18
6	2591	18
done	5001	18
0	14	18
1	27	18
2	58	18
3	131	18
4	316	18
5	799	18
6	2591	18
done	5001	18

prune598.0ms

Filtered

181 candidates to 265 candidates (-46.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

267 → 2

regimes39.0ms

Accuracy

98.7% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.0b

bsearch19.0ms

Steps

Iters	Range		Point
9	-0.00029558442529086166	-1.7469337222305917e-09	-1.3416088984200906e-05

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	35
1	30	35
done	30	35

end0.0ms

sample1.8s

Algorithm

intervals

Results

785.0ms	2318×	body	1280	valid
382.0ms	1673×	body	640	valid
134.0ms	2880×	body	80	valid
120.0ms	807×	body	320	valid
107.0ms	2512×	body	80	overflowed
37.0ms	365×	body	160	valid

Details

sample87.0ms

simplify1.6s

prune5.0ms

localize12.0ms

rewrite46.0ms

series38.0ms

simplify6.8min

prune274.0ms

localize8.0ms

rewrite10.0ms

series13.0ms

simplify46.3s

prune71.0ms

localize18.0ms

rewrite65.0ms

series35.0ms

simplify15.5min

prune598.0ms

regimes39.0ms

bsearch19.0ms

simplify3.0ms

end0.0ms

sample1.8s

Profiling