Details

sample49.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
9.0ms	272×	pre	80	false
8.0ms	256×	pre	80	true

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	12	7
done	12	7

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: 8.5b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
7.7b	(- (/ x0 (- 1.0 x1)) x0)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
16×	`times-frac`
12×	`add-cube-cbrt`
6×	`difference-of-squares`
5×	`associate-/r*` `distribute-lft-out--`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/l*`
2×	`pow1` `flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

2 → 52

Calls

2 calls:

7.0ms	(/ x0 (- 1.0 x1))
12.0ms	(- (/ x0 (- 1.0 x1)) x0)

series15.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ x0 (- 1.0 x1))
8.0ms	(- (/ x0 (- 1.0 x1)) x0)

simplify44.8s

Counts

58 → 58

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	8
2	15	8
3	18	8
4	21	8
5	27	8
6	31	8
7	47	8
8	51	8
9	57	8
10	66	8
11	87	8
12	108	8
13	115	8
done	115	8
0	7	8
1	11	8
2	13	8
done	13	8
0	7	8
1	14	8
2	18	8
3	21	8
4	27	8
5	31	8
6	47	8
7	51	8
8	57	8
9	66	8
10	86	8
11	107	8
12	114	8
done	114	8
0	8	17
1	12	17
2	14	17
done	14	17
0	7	8
1	11	8
2	13	8
done	13	8
0	8	23
1	13	23
2	29	9
3	76	9
4	206	9
5	592	9
6	2039	9
done	5001	9
0	7	8
1	11	8
2	13	8
done	13	8
0	7	8
1	11	8
2	13	8
done	13	8
0	9	11
1	28	11
2	70	11
3	192	11
4	605	11
5	2294	11
done	5000	11
0	10	23
1	21	21
2	37	21
3	62	17
4	108	17
5	196	17
6	305	17
7	477	15
8	704	15
9	1110	15
10	1610	15
11	1931	15
12	2008	15
13	2024	15
done	2024	15
0	2	2
done	2	2
0	8	15
1	19	15
2	32	15
3	60	15
4	115	13
5	229	13
6	421	13
7	825	13
8	2631	13
done	5000	13
0	6	7
1	9	7
2	10	7
done	10	7
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	12	9
2	14	9
done	14	9
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	12	10
2	14	10
done	14	10
0	6	7
1	10	7
2	12	7
done	12	7
0	2	2
done	2	2
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	15	21
1	42	19
2	120	15
3	259	13
4	514	13
5	1007	13
6	2513	13
done	5000	13
0	11	14
1	26	14
2	70	14
3	134	14
4	194	12
5	252	12
6	370	12
7	646	11
8	1050	11
9	2715	11
done	5001	11
0	11	14
1	26	14
2	70	14
3	134	14
4	194	12
5	252	12
6	370	12
7	646	11
8	1050	11
9	2715	11
done	5001	11
0	12	17
1	30	15
2	75	13
3	128	11
4	204	11
5	300	11
6	364	11
7	460	11
8	791	11
9	1716	11
done	5000	11
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15

prune80.0ms

Filtered

45 candidates to 58 candidates (-28.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Merged error: 6.9b

Counts

59 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ (* x0 (- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)) (+ (/ x0 (- 1.0 x1)) x0))
1.0b	(/ x0 (- 1.0 x1))
1.0b	(/ x0 (- 1.0 x1))
6.2b	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
48×	`*-un-lft-identity`
37×	`times-frac`
26×	`add-cube-cbrt`
14×	`associate-/r*`
13×	`add-exp-log` `add-cbrt-cube`
11×	`difference-of-squares`
9×	`distribute-lft-out--`
7×	`associate-/l*`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `cbrt-undiv` `flip3--` `div-exp` `flip--`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`associate-*r/` `associate-/l/` `distribute-lft-out`
1×	`sub-neg` `flip3-+` `diff-log` `prod-exp` `cbrt-unprod` `flip-+`

Counts

4 → 117

Calls

4 calls:

59.0ms	(/ (* x0 (- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)) (+ (/ x0 (- 1.0 x1)) x0))
6.0ms	(/ x0 (- 1.0 x1))
6.0ms	(/ x0 (- 1.0 x1))
45.0ms	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

series61.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ (* x0 (- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)) (+ (/ x0 (- 1.0 x1)) x0))
7.0ms	(/ x0 (- 1.0 x1))
6.0ms	(/ x0 (- 1.0 x1))
16.0ms	(- (/ (/ x0 (- 1.0 x1)) (- 1.0 x1)) x0)

simplify2.7min

Counts

129 → 129

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	9	13
1	15	12
2	24	12
3	44	12
4	80	12
5	129	12
6	213	12
7	339	12
8	502	12
9	684	12
10	746	12
11	778	12
12	801	12
13	814	12
done	814	12
0	8	12
1	14	12
2	22	12
3	39	12
4	72	12
5	115	12
6	195	12
7	305	12
8	464	12
9	639	12
10	682	12
11	683	12
done	683	12
0	8	12
1	17	12
2	27	12
3	47	12
4	86	12
5	133	12
6	229	12
7	343	12
8	508	12
9	697	12
10	773	12
11	795	12
12	803	12
done	803	12
0	9	25
1	15	25
2	23	25
3	40	25
4	73	25
5	118	25
6	198	25
7	308	25
8	467	25
9	642	25
10	687	25
11	688	25
done	688	25
0	8	12
1	14	12
2	22	12
3	39	12
4	72	12
5	115	12
6	195	12
7	305	12
8	464	12
9	639	12
10	682	12
11	683	12
done	683	12
0	9	35
1	16	35
2	38	13
3	110	13
4	326	13
5	979	13
6	3214	13
done	5000	13
0	8	12
1	14	12
2	22	12
3	39	12
4	72	12
5	115	12
6	195	12
7	305	12
8	464	12
9	639	12
10	682	12
11	683	12
done	683	12
0	8	12
1	14	12
2	22	12
3	39	12
4	72	12
5	115	12
6	195	12
7	305	12
8	464	12
9	639	12
10	682	12
11	683	12
done	683	12
0	10	15
1	32	15
2	89	15
3	277	15
4	1119	13
done	5000	13
0	11	35
1	28	33
2	57	33
3	121	25
4	279	23
5	956	21
6	3302	21
done	5000	21
0	2	2
done	2	2
0	9	23
1	22	23
2	52	23
3	119	23
4	283	17
5	875	11
6	2859	11
done	5000	11
0	7	11
1	12	11
2	19	11
3	36	11
4	69	11
5	112	11
6	192	11
7	302	11
8	459	11
9	633	11
10	678	11
11	679	11
done	679	11
0	9	13
1	14	13
2	21	13
3	38	13
4	71	13
5	114	13
6	194	13
7	304	13
8	463	13
9	638	13
10	683	13
11	684	13
done	684	13
0	9	13
1	15	13
2	23	13
3	40	13
4	73	13
5	118	13
6	198	13
7	308	13
8	467	13
9	642	13
10	687	13
11	688	13
done	688	13
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	16	14
done	16	14
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	9	15
1	15	15
2	17	9
3	18	9
done	18	9
0	7	11
1	13	11
2	21	11
3	38	11
4	71	11
5	114	11
6	194	11
7	304	11
8	463	11
9	638	11
10	683	11
11	684	11
done	684	11
0	2	2
done	2	2
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	13	24
1	25	24
2	40	24
3	63	24
4	102	24
5	154	24
6	247	24
7	375	24
8	548	24
9	729	24
10	791	24
11	794	24
done	794	24
0	12	23
1	25	23
2	45	23
3	79	23
4	125	23
5	192	23
6	314	23
7	545	23
8	915	23
9	1431	10
10	1987	8
11	2850	8
done	5001	8
0	11	22
1	24	22
2	50	22
3	105	22
4	184	22
5	336	22
6	664	22
7	1381	22
8	3250	10
done	5000	10
0	11	22
1	21	22
2	39	22
3	80	22
4	159	22
5	335	22
6	719	22
7	1694	22
8	4747	10
done	5000	10
0	16	65
1	50	65
2	203	27
3	887	27
4	3864	25
done	5001	25
0	14	65
1	52	65
2	216	25
3	1041	23
4	4399	23
done	5000	23
0	12	45
1	22	45
2	40	45
3	79	45
4	143	45
5	288	45
6	602	45
7	1296	45
8	3137	21
done	5000	21
0	11	22
1	21	22
2	39	22
3	78	22
4	142	22
5	287	22
6	601	22
7	1287	22
8	3122	10
done	5000	10
0	12	65
1	29	65
2	84	23
3	358	23
4	1848	23
done	5000	23
0	11	22
1	21	22
2	39	22
3	78	22
4	142	22
5	287	22
6	601	22
7	1287	22
8	3122	10
done	5000	10
0	11	22
1	21	22
2	39	22
3	78	22
4	142	22
5	287	22
6	601	22
7	1287	22
8	3122	10
done	5000	10
0	9	14
1	19	14
2	43	14
3	88	14
4	154	13
5	243	13
6	421	13
7	793	13
8	1374	13
9	2256	13
10	3509	13
11	4977	13
done	5000	13
0	7	8
1	13	8
2	17	8
3	18	8
done	18	8
0	9	19
1	14	19
2	15	19
done	15	19
0	10	20
1	20	20
2	34	20
3	74	20
4	142	20
5	262	20
6	448	20
7	723	20
8	1194	20
9	1804	20
10	2074	20
11	2096	20
done	2096	20
0	8	10
1	11	10
2	12	10
done	12	10
0	10	20
1	20	20
2	34	20
3	74	20
4	142	20
5	262	20
6	448	20
7	723	20
8	1194	20
9	1804	20
10	2074	20
11	2096	20
done	2096	20
0	3	3
1	5	1
done	5	1
0	9	19
1	19	19
2	33	19
3	73	19
4	189	19
5	483	19
6	1409	19
done	5001	19
0	3	3
1	5	1
done	5	1
0	9	19
1	19	19
2	33	19
3	73	19
4	189	19
5	483	19
6	1409	19
done	5001	19
0	8	9
1	13	9
2	14	9
done	14	9
0	10	21
1	20	21
2	36	21
3	61	21
4	104	21
5	167	21
6	280	21
7	494	9
8	842	9
9	1343	9
10	1887	9
11	2449	9
12	4122	9
done	5000	9
0	12	31
1	27	31
2	57	31
3	123	31
4	250	31
5	561	31
6	1220	31
7	2437	31
done	5000	31
0	11	22
1	21	22
2	39	22
3	78	22
4	142	22
5	287	22
6	601	22
7	1178	22
8	2281	22
9	4104	22
done	5000	22
0	10	15
1	21	13
2	43	13
3	88	13
4	148	13
5	276	13
6	620	13
7	1411	13
8	2608	13
9	4025	13
done	5000	13
0	10	15
1	21	13
2	43	13
3	88	13
4	148	13
5	276	13
6	620	13
7	1411	13
8	2608	13
9	4025	13
done	5000	13
0	9	19
1	16	19
2	24	19
3	41	19
4	74	19
5	119	19
6	199	19
7	309	19
8	466	19
9	640	19
10	685	19
11	686	19
done	686	19
0	13	25
1	38	25
2	83	25
3	216	25
4	637	25
5	2531	25
done	5001	25
0	12	29
1	30	29
2	69	29
3	168	27
4	436	1
5	1256	1
6	3933	1
done	5000	1
0	13	43
1	38	41
2	116	41
3	353	33
4	997	31
5	3103	29
done	5000	29
0	9	19
1	22	19
2	58	19
3	118	19
4	225	19
5	405	19
6	868	19
7	2110	19
done	5000	19
0	17	21
1	44	21
2	112	21
3	212	19
4	396	15
5	807	13
6	2121	13
done	5000	13
0	12	15
1	31	15
2	81	15
3	162	13
4	323	13
5	787	13
6	2818	13
done	5000	13
0	12	15
1	31	15
2	81	15
3	162	13
4	323	13
5	787	13
6	2818	13
done	5000	13
0	12	17
1	30	15
2	75	13
3	128	11
4	204	11
5	300	11
6	364	11
7	460	11
8	791	11
9	1716	11
done	5000	11
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15
0	12	17
1	30	15
2	75	13
3	128	11
4	204	11
5	300	11
6	364	11
7	460	11
8	791	11
9	1716	11
done	5000	11
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15
0	15	21
1	42	19
2	120	15
3	259	13
4	514	13
5	1007	13
6	2513	13
done	5000	13
0	11	14
1	26	14
2	70	14
3	134	14
4	194	12
5	252	12
6	370	12
7	646	11
8	1050	11
9	2715	11
done	5001	11
0	11	14
1	26	14
2	70	14
3	134	14
4	194	12
5	252	12
6	370	12
7	646	11
8	1050	11
9	2715	11
done	5001	11

prune198.0ms

Filtered

102 candidates to 129 candidates (-26.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	129	2	131

Merged error: 5.4b

Counts

131 → 2

localize28.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
1.3b	(pow (- 1.0 x1) 4)
1.3b	(pow (- 1.0 x1) 6)
4.5b	(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

141×	`add-sqr-sqrt`
63×	`times-frac`
58×	`difference-of-squares`
51×	`unpow-prod-down`
43×	`sqr-pow`
32×	`*-un-lft-identity`
25×	`cube-prod`
18×	`add-cube-cbrt`
8×	`add-exp-log`
7×	`distribute-lft-out--`
6×	`pow1` `pow-unpow` `add-cbrt-cube` `add-log-exp`
5×	`associate-/r*`
3×	`associate-/l*`
2×	`pow-to-exp` `flip3--` `pow-pow` `pow-exp` `associate-/r/` `flip--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

4 → 140

Calls

4 calls:

6.0ms	(/ x0 (- 1.0 x1))
6.0ms	(pow (- 1.0 x1) 4)
6.0ms	(pow (- 1.0 x1) 6)
80.0ms	(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))

series32.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ x0 (- 1.0 x1))
3.0ms	(pow (- 1.0 x1) 4)
3.0ms	(pow (- 1.0 x1) 6)
20.0ms	(- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))

simplify6.4min

Counts

152 → 152

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	27	14
2	63	14
3	225	14
4	1233	14
done	5000	14
0	11	14
1	26	14
2	64	14
3	207	14
4	1143	14
done	5001	14
0	11	14
1	29	14
2	75	14
3	248	14
4	1276	14
done	5000	14
0	12	29
1	27	29
2	65	29
3	208	29
4	1141	29
done	5000	29
0	11	14
1	26	14
2	64	14
3	207	14
4	1140	14
done	5000	14
0	12	41
1	28	41
2	79	15
3	360	15
4	2757	15
done	5001	15
0	11	14
1	26	14
2	64	14
3	207	14
4	1140	14
done	5000	14
0	11	14
1	26	14
2	64	14
3	207	14
4	1140	14
done	5000	14
0	12	17
1	39	17
2	142	17
3	909	17
done	5001	17
0	14	41
1	38	29
2	120	29
3	703	23
done	5001	23
0	4	4
1	12	4
2	27	4
3	48	4
4	92	4
5	228	4
6	752	4
7	3059	4
done	5000	4
0	12	27
1	36	23
2	106	19
3	626	19
done	5001	19
0	10	13
1	24	13
2	52	13
3	181	13
4	1079	13
done	5000	13
0	13	15
1	32	15
2	63	15
3	200	15
4	1106	15
done	5002	15
0	13	15
1	33	15
2	74	15
3	218	15
4	1143	15
done	5000	15
0	13	15
1	32	15
2	63	15
3	200	15
4	1106	15
done	5002	15
0	13	15
1	33	15
2	74	15
3	218	15
4	1143	15
done	5000	15
0	12	15
1	26	15
2	55	15
3	185	15
4	1072	15
done	5001	15
0	12	15
1	27	15
2	57	15
3	187	15
4	1074	15
done	5001	15
0	14	16
1	29	14
2	63	14
3	225	14
4	1560	14
done	5000	14
0	14	16
1	29	14
2	67	14
3	242	14
4	1599	14
done	5000	14
0	12	16
1	26	16
2	54	16
3	160	16
4	914	12
done	5000	12
0	12	16
1	27	16
2	65	16
3	181	16
4	963	12
done	5000	12
0	12	16
1	26	16
2	54	16
3	160	16
4	914	12
done	5000	12
0	12	16
1	27	16
2	65	16
3	181	16
4	963	12
done	5000	12
0	14	16
1	33	16
2	65	16
3	178	16
4	935	15
done	5000	15
0	14	16
1	34	16
2	67	16
3	180	16
4	934	15
done	5000	15
0	15	17
1	30	15
2	63	15
3	175	15
4	926	14
done	5000	14
0	15	17
1	31	15
2	68	15
3	190	15
4	971	14
done	5000	14
0	12	16
1	26	16
2	47	16
3	100	16
4	308	13
5	1069	13
done	5001	13
0	12	16
1	27	16
2	58	16
3	118	16
4	358	13
5	1205	13
done	5002	13
0	12	16
1	26	16
2	47	16
3	100	16
4	308	13
5	1069	13
done	5001	13
0	12	16
1	27	16
2	58	16
3	118	16
4	358	13
5	1205	13
done	5002	13
0	14	16
1	33	16
2	58	16
3	118	16
4	338	16
5	1140	16
done	5000	16
0	14	16
1	34	16
2	60	16
3	120	16
4	342	16
5	1143	16
done	5000	16
0	15	17
1	30	15
2	56	15
3	115	15
4	332	15
5	1127	15
done	5000	15
0	15	17
1	31	15
2	61	15
3	127	15
4	367	15
5	1244	15
done	5000	15
0	13	17
1	26	15
2	53	15
3	161	15
4	610	12
5	3149	12
done	5001	12
0	13	17
1	27	15
2	64	15
3	182	15
4	666	12
5	3326	12
done	5001	12
0	13	17
1	26	15
2	53	15
3	161	15
4	610	12
5	3149	12
done	5001	12
0	13	17
1	27	15
2	64	15
3	182	15
4	666	12
5	3326	12
done	5001	12
0	15	17
1	33	15
2	64	15
3	179	15
4	636	15
5	3219	15
done	5000	15
0	15	17
1	34	15
2	66	15
3	181	15
4	638	15
5	3223	15
done	5001	15
0	15	18
1	30	14
2	61	14
3	174	14
4	635	14
5	3223	14
done	5001	14
0	15	18
1	31	14
2	67	14
3	190	14
4	670	14
5	3331	14
done	5000	14
0	12	16
1	26	16
2	54	16
3	160	16
4	914	12
done	5000	12
0	12	16
1	27	16
2	65	16
3	181	16
4	963	12
done	5000	12
0	12	16
1	26	16
2	54	16
3	160	16
4	914	12
done	5000	12
0	12	16
1	27	16
2	65	16
3	181	16
4	963	12
done	5000	12
0	14	16
1	33	16
2	65	16
3	178	16
4	935	15
done	5000	15
0	14	16
1	34	16
2	67	16
3	180	16
4	934	15
done	5000	15
0	15	17
1	30	15
2	63	15
3	175	15
4	926	14
done	5000	14
0	15	17
1	31	15
2	68	15
3	190	15
4	971	14
done	5000	14
0	12	16
1	26	16
2	47	16
3	100	16
4	308	13
5	1069	13
done	5001	13
0	12	16
1	27	16
2	58	16
3	118	16
4	358	13
5	1205	13
done	5002	13
0	12	16
1	26	16
2	47	16
3	100	16
4	308	13
5	1069	13
done	5001	13
0	12	16
1	27	16
2	58	16
3	118	16
4	358	13
5	1205	13
done	5002	13
0	14	16
1	33	16
2	58	16
3	118	16
4	338	16
5	1140	16
done	5000	16
0	14	16
1	34	16
2	60	16
3	120	16
4	342	16
5	1143	16
done	5000	16
0	15	17
1	30	15
2	56	15
3	115	15
4	332	15
5	1127	15
done	5000	15
0	15	17
1	31	15
2	61	15
3	127	15
4	367	15
5	1244	15
done	5000	15
0	13	17
1	26	15
2	53	15
3	161	15
4	610	12
5	3149	12
done	5001	12
0	13	17
1	27	15
2	64	15
3	182	15
4	666	12
5	3326	12
done	5001	12
0	13	17
1	26	15
2	53	15
3	161	15
4	610	12
5	3149	12
done	5001	12
0	13	17
1	27	15
2	64	15
3	182	15
4	666	12
5	3326	12
done	5001	12
0	15	17
1	33	15
2	64	15
3	179	15
4	636	15
5	3219	15
done	5000	15
0	15	17
1	34	15
2	66	15
3	181	15
4	638	15
5	3223	15
done	5001	15
0	15	18
1	30	14
2	61	14
3	174	14
4	635	14
5	3223	14
done	5001	14
0	15	18
1	31	14
2	67	14
3	190	14
4	670	14
5	3331	14
done	5000	14
0	14	16
1	33	16
2	53	16
3	99	16
4	248	15
5	709	15
6	2389	15
done	5000	15
0	14	16
1	34	16
2	64	16
3	117	16
4	282	15
5	818	15
6	2772	15
done	5000	15
0	14	16
1	33	16
2	53	16
3	99	16
4	248	15
5	709	15
6	2389	15
done	5000	15
0	14	16
1	34	16
2	64	16
3	117	16
4	282	15
5	818	15
6	2772	15
done	5000	15
0	12	16
1	26	16
2	43	16
3	82	16
4	214	15
5	617	15
6	2051	15
done	5000	15
0	12	16
1	27	16
2	45	16
3	84	16
4	216	15
5	613	15
6	2075	15
done	5000	15
0	15	17
1	29	15
2	53	15
3	105	15
4	277	14
5	814	14
6	2971	14
done	5000	14
0	15	17
1	31	15
2	58	15
3	117	15
4	296	14
5	927	14
6	3421	14
done	5001	14
0	14	16
1	33	16
2	52	16
3	102	16
4	301	16
5	1031	16
done	5002	16
0	14	16
1	34	16
2	63	16
3	120	16
4	337	16
5	1135	16
done	5000	16
0	14	16
1	33	16
2	52	16
3	102	16
4	301	16
5	1031	16
done	5002	16
0	14	16
1	34	16
2	63	16
3	120	16
4	337	16
5	1135	16
done	5000	16
0	12	16
1	26	16
2	42	16
3	85	16
4	268	16
5	941	16
6	4903	16
done	5000	16
0	12	16
1	27	16
2	44	16
3	87	16
4	264	16
5	940	16
6	4866	16
done	5000	16
0	15	17
1	29	15
2	52	15
3	108	15
4	326	15
5	1129	15
done	5000	15
0	15	17
1	31	15
2	57	15
3	120	15
4	354	15
5	1246	15
done	5000	15
0	15	17
1	33	15
2	52	15
3	100	15
4	212	15
5	516	15
6	1573	15
done	5000	15
0	15	17
1	34	15
2	63	15
3	118	15
4	248	15
5	643	15
6	2031	15
done	5001	15
0	15	17
1	33	15
2	52	15
3	100	15
4	212	15
5	516	15
6	1573	15
done	5000	15
0	15	17
1	34	15
2	63	15
3	118	15
4	248	15
5	643	15
6	2031	15
done	5001	15
0	13	17
1	26	15
2	42	15
3	83	15
4	176	15
5	428	15
6	1277	15
7	4920	15
done	5000	15
0	13	17
1	27	15
2	44	15
3	85	15
4	179	15
5	436	15
6	1297	15
7	4986	15
done	5000	15
0	15	18
1	29	14
2	52	14
3	105	14
4	240	14
5	634	14
6	2213	14
done	5000	14
0	15	18
1	31	14
2	57	14
3	117	14
4	263	14
5	740	14
6	2636	14
done	5001	14
0	15	17
1	30	15
2	54	15
3	131	15
4	614	14
5	4576	14
done	5001	14
0	15	17
1	32	15
2	66	15
3	152	15
4	663	14
5	4739	14
done	5000	14
0	15	17
1	30	15
2	54	15
3	131	15
4	614	14
5	4576	14
done	5001	14
0	15	17
1	32	15
2	66	15
3	152	15
4	663	14
5	4739	14
done	5000	14
0	15	17
1	30	15
2	57	15
3	138	15
4	641	14
5	4693	14
done	5000	14
0	15	17
1	30	15
2	58	15
3	140	15
4	644	14
5	4712	14
done	5000	14
0	13	18
1	23	14
2	44	14
3	116	14
4	586	13
5	4528	13
done	5001	13
0	13	18
1	25	14
2	49	14
3	131	14
4	630	13
5	4681	13
done	5001	13
0	15	17
1	30	15
2	52	15
3	107	15
4	322	15
5	1118	15
done	5000	15
0	15	17
1	32	15
2	63	15
3	125	15
4	365	15
5	1247	15
done	5002	15
0	15	17
1	30	15
2	52	15
3	107	15
4	322	15
5	1118	15
done	5000	15
0	15	17
1	32	15
2	63	15
3	125	15
4	365	15
5	1247	15
done	5002	15
0	15	17
1	30	15
2	54	15
3	114	15
4	349	15
5	1246	15
done	5000	15
0	15	17
1	30	15
2	56	15
3	116	15
4	348	15
5	1239	15
done	5000	15
0	13	18
1	23	14
2	41	14
3	92	14
4	294	14
5	1056	14
done	5000	14
0	13	18
1	25	14
2	46	14
3	104	14
4	334	14
5	1168	14
done	5000	14
0	15	18
1	30	14
2	53	14
3	131	14
4	462	14
5	2631	14
done	5000	14
0	15	18
1	32	14
2	65	14
3	152	14
4	510	14
5	2785	14
done	5000	14
0	15	18
1	30	14
2	53	14
3	131	14
4	462	14
5	2631	14
done	5000	14
0	15	18
1	32	14
2	65	14
3	152	14
4	510	14
5	2785	14
done	5000	14
0	15	18
1	30	14
2	56	14
3	138	14
4	487	14
5	2755	14
done	5000	14
0	15	18
1	30	14
2	58	14
3	140	14
4	491	14
5	2754	14
done	5000	14
0	13	19
1	23	13
2	44	13
3	115	13
4	431	13
5	2565	13
done	5000	13
0	13	19
1	25	13
2	49	13
3	130	13
4	476	13
5	2719	13
done	5000	13
0	10	13
1	25	13
2	63	13
3	206	13
4	1134	13
done	5001	13
0	4	4
1	12	4
2	27	4
3	48	4
4	92	4
5	228	4
6	752	4
7	3059	4
done	5000	4
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	9
1	13	9
2	21	9
3	45	9
4	102	9
5	260	9
6	874	9
7	3323	9
done	5000	9
0	6	6
1	12	6
2	18	6
3	36	6
4	78	6
5	182	6
6	561	6
7	2174	6
done	5000	6
0	5	5
1	14	3
2	22	3
3	33	3
4	55	3
5	119	3
6	333	3
7	1275	3
done	5001	3
0	7	11
1	14	11
2	26	11
3	68	11
4	263	6
5	1245	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	52	6
4	156	6
5	384	6
6	1096	6
7	4147	6
done	5000	6
0	6	6
1	13	6
2	23	6
3	44	6
4	129	5
5	397	5
6	1398	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	44	6
4	129	5
5	397	5
6	1398	5
done	5000	5
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	22	5
3	59	5
4	213	5
5	840	5
6	4485	5
done	5000	5
0	7	7
1	13	7
2	22	7
3	59	7
4	205	7
5	749	7
6	3639	7
done	5000	7
0	7	7
1	14	7
2	24	7
3	61	7
4	216	7
5	844	7
6	4535	7
done	5000	7
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	22	5
3	59	5
4	213	5
5	840	5
6	4485	5
done	5000	5
0	6	6
1	15	6
2	28	6
3	72	6
4	267	6
5	971	6
6	4968	6
done	5000	6
0	6	6
1	13	6
2	25	6
3	71	6
4	271	6
5	1056	6
done	5000	6
0	7	13
1	14	13
2	24	13
3	61	13
4	216	13
5	840	5
6	4576	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	60	6
4	216	6
5	839	6
6	4499	5
done	5000	5
0	7	17
1	18	11
2	42	7
3	139	7
4	793	7
done	5000	7
0	6	6
1	13	6
2	24	6
3	61	6
4	216	6
5	843	6
6	4539	6
done	5000	6
0	6	6
1	13	6
2	24	6
3	61	6
4	216	6
5	843	6
6	4539	6
done	5000	6
0	7	7
1	14	5
2	24	5
3	50	5
4	111	5
5	284	5
6	846	5
7	3157	5
done	5000	5
0	7	7
1	14	5
2	24	5
3	50	5
4	111	5
5	284	5
6	846	5
7	3157	5
done	5000	5
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	9
1	13	9
2	21	9
3	44	9
4	101	9
5	261	9
6	875	9
7	3284	9
done	5000	9
0	6	6
1	13	5
2	22	5
3	41	5
4	94	5
5	244	5
6	738	5
7	2874	5
done	5001	5
0	5	5
1	14	3
2	22	3
3	33	3
4	55	3
5	119	3
6	333	3
7	1275	3
done	5001	3
0	7	11
1	13	11
2	21	11
3	45	11
4	96	11
5	248	11
6	935	6
7	4932	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	40	6
4	65	6
5	133	6
6	369	6
7	1336	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	40	6
4	82	6
5	206	6
6	621	6
7	2327	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	40	6
4	82	6
5	206	6
6	621	6
7	2327	6
done	5000	6
0	3	3
1	9	1
done	9	1
0	5	5
1	11	5
2	19	5
3	47	5
4	128	5
5	430	5
6	2069	5
done	5001	5
0	7	7
1	12	7
2	19	7
3	47	7
4	124	7
5	385	7
6	1689	7
done	5001	7
0	7	7
1	13	7
2	21	7
3	49	7
4	130	7
5	427	7
6	2070	7
done	5000	7
0	3	3
1	9	1
done	9	1
0	5	5
1	11	5
2	19	5
3	47	5
4	128	5
5	430	5
6	2069	5
done	5001	5
0	6	6
1	14	6
2	25	6
3	56	6
4	153	6
5	510	6
6	2356	6
done	5001	6
0	6	6
1	12	6
2	22	6
3	57	6
4	165	6
5	554	6
6	2651	6
done	5000	6
0	7	13
1	13	13
2	21	13
3	49	13
4	130	13
5	429	13
6	2105	13
done	5000	13
0	6	6
1	12	6
2	20	6
3	48	6
4	129	6
5	431	6
6	2082	6
done	5000	6
0	7	17
1	17	11
2	40	7
3	118	7
4	398	7
5	1919	7
done	5000	7
0	6	6
1	12	6
2	21	6
3	49	6
4	130	6
5	429	6
6	2112	6
done	5000	6
0	6	6
1	12	6
2	21	6
3	49	6
4	130	6
5	429	6
6	2112	6
done	5000	6
0	7	7
1	13	5
2	22	5
3	41	5
4	94	5
5	242	5
6	733	5
7	2855	5
done	5000	5
0	7	7
1	13	5
2	22	5
3	41	5
4	94	5
5	242	5
6	733	5
7	2855	5
done	5000	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	18	27
1	50	27
2	185	27
3	562	23
4	1887	17
done	5000	17
0	5	5
1	15	4
2	42	4
3	76	4
4	134	4
5	306	4
6	888	4
7	3352	4
done	5000	4
0	5	5
1	15	4
2	42	4
3	76	4
4	134	4
5	306	4
6	888	4
7	3352	4
done	5000	4
0	10	11
1	22	11
2	51	11
3	64	11
4	82	9
5	106	9
6	157	9
7	267	9
8	532	9
9	1484	9
done	5000	9
0	13	15
1	32	15
2	74	15
3	164	15
4	333	15
5	891	15
6	3897	15
done	5000	15
0	13	15
1	32	15
2	74	15
3	164	15
4	333	15
5	891	15
6	3897	15
done	5000	15
0	10	11
1	22	11
2	51	11
3	64	11
4	82	9
5	106	9
6	157	9
7	267	9
8	532	9
9	1484	9
done	5000	9
0	13	15
1	34	15
2	97	15
3	190	13
4	459	11
5	1057	11
6	3609	11
done	5000	11
0	13	15
1	34	15
2	97	15
3	190	13
4	459	11
5	1057	11
6	3609	11
done	5000	11
0	12	17
1	30	15
2	75	13
3	128	11
4	204	11
5	300	11
6	364	11
7	460	11
8	791	11
9	1716	11
done	5000	11
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15
0	15	20
1	38	20
2	111	18
3	254	16
4	604	16
5	1610	16
done	5000	15

prune422.0ms

Filtered

99 candidates to 152 candidates (-53.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	150	2	152
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	152	2	154

Merged error: 4.1b

Counts

154 → 2

localize39.0ms

Local error

Found 4 expressions with local error:

1.3b	(pow (- 1.0 x1) 6)
1.3b	(pow (- 1.0 x1) 6)
1.9b	(pow (- 1.0 x1) 12)
4.4b	(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))

rewrite361.0ms

Algorithm

rewrite-expression-head

Rules

582×	`add-sqr-sqrt`
457×	`unpow-prod-down`
362×	`cube-prod`
283×	`difference-of-squares`
240×	`times-frac`
237×	`sqr-pow`
26×	`*-un-lft-identity`
10×	`add-cube-cbrt`
9×	`pow-unpow`
8×	`distribute-lft-out--`
7×	`pow1` `add-exp-log`
6×	`add-log-exp`
4×	`add-cbrt-cube`
3×	`pow-to-exp` `pow-pow` `pow-exp`
1×	`difference-cubes` `sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 355

Calls

4 calls:

6.0ms	(pow (- 1.0 x1) 6)
5.0ms	(pow (- 1.0 x1) 6)
5.0ms	(pow (- 1.0 x1) 12)
301.0ms	(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))

series35.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(pow (- 1.0 x1) 6)
3.0ms	(pow (- 1.0 x1) 6)
3.0ms	(pow (- 1.0 x1) 12)
26.0ms	(- (pow (/ (pow x0 3) (pow (- 1.0 x1) 6)) 3) (pow (pow x0 3) 3))

simplify15.1min

Counts

367 → 367

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	19
1	41	18
2	148	18
3	913	18
done	5000	18
0	13	18
1	40	18
2	143	18
3	910	18
done	5000	18
0	13	18
1	43	18
2	160	18
3	993	18
done	5000	18
0	14	37
1	41	37
2	144	37
3	907	37
done	5001	37
0	13	18
1	40	18
2	143	18
3	907	18
done	5000	18
0	14	53
1	42	53
2	158	19
3	1082	19
done	5000	19
0	13	18
1	40	18
2	143	18
3	907	18
done	5000	18
0	13	18
1	40	18
2	143	18
3	907	18
done	5000	18
0	14	41
1	38	29
2	120	29
3	703	23
done	5001	23
0	10	13
1	25	13
2	63	13
3	206	13
4	1134	13
done	5001	13
0	14	21
1	51	21
2	240	21
3	2204	21
done	5000	21
0	16	53
1	51	35
2	213	31
3	1998	31
done	5000	31
0	5	6
1	18	6
2	73	6
3	290	6
4	1313	6
done	5000	6
0	14	35
1	47	17
2	179	17
3	1506	17
done	5000	17
0	12	17
1	38	17
2	128	17
3	787	17
done	5001	17
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	14	19
1	38	19
2	73	19
3	275	19
4	1649	19
done	5001	19
0	14	19
1	39	19
2	87	19
3	327	19
4	1811	19
done	5001	19
0	16	20
1	40	18
2	96	18
3	345	18
4	2321	18
done	5000	18
0	16	20
1	40	18
2	109	18
3	435	18
4	2722	18
done	5000	18
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	14	19
1	38	19
2	73	19
3	275	19
4	1649	19
done	5001	19
0	14	19
1	39	19
2	87	19
3	327	19
4	1811	19
done	5001	19
0	16	20
1	40	18
2	96	18
3	345	18
4	2321	18
done	5000	18
0	16	20
1	40	18
2	109	18
3	435	18
4	2722	18
done	5000	18
0	14	19
1	38	19
2	108	19
3	396	19
4	2050	19
done	5000	19
0	14	19
1	39	19
2	110	19
3	393	19
4	2066	19
done	5000	19
0	15	20
1	36	18
2	71	18
3	246	18
4	1462	18
done	5000	18
0	15	20
1	36	18
2	79	18
3	267	18
4	1534	18
done	5000	18
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	16	20
1	48	20
2	145	20
3	645	20
done	5000	20
0	16	20
1	49	20
2	147	20
3	656	20
done	5001	20
0	17	21
1	46	19
2	108	19
3	504	19
done	5001	19
0	17	21
1	47	19
2	116	19
3	525	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	16	20
1	48	20
2	136	20
3	475	20
4	3155	20
done	5001	20
0	16	20
1	49	20
2	138	20
3	484	20
4	3111	20
done	5000	20
0	17	21
1	46	19
2	99	19
3	337	19
4	2384	19
done	5000	19
0	17	21
1	47	19
2	107	19
3	358	19
4	2471	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	17	21
1	48	19
2	145	19
3	696	19
done	5000	19
0	17	21
1	49	19
2	147	19
3	694	19
done	5000	19
0	17	22
1	46	18
2	107	18
3	542	18
done	5001	18
0	17	22
1	47	18
2	115	18
3	563	18
done	5000	18
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	16	20
1	48	20
2	145	20
3	645	20
done	5000	20
0	16	20
1	49	20
2	147	20
3	656	20
done	5001	20
0	17	21
1	46	19
2	108	19
3	504	19
done	5001	19
0	17	21
1	47	19
2	116	19
3	525	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	16	20
1	48	20
2	136	20
3	475	20
4	3155	20
done	5001	20
0	16	20
1	49	20
2	138	20
3	484	20
4	3111	20
done	5000	20
0	17	21
1	46	19
2	99	19
3	337	19
4	2384	19
done	5000	19
0	17	21
1	47	19
2	107	19
3	358	19
4	2471	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	17	21
1	48	19
2	145	19
3	696	19
done	5000	19
0	17	21
1	49	19
2	147	19
3	694	19
done	5000	19
0	17	22
1	46	18
2	107	18
3	542	18
done	5001	18
0	17	22
1	47	18
2	115	18
3	563	18
done	5000	18
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	14	20
1	40	20
2	84	20
3	318	20
4	2670	19
done	5001	19
0	14	20
1	41	20
2	98	20
3	370	20
4	2841	19
done	5000	19
0	17	21
1	43	19
2	108	19
3	315	19
4	2163	18
done	5000	18
0	17	21
1	44	19
2	123	19
3	399	19
4	2572	18
done	5000	18
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	14	20
1	40	20
2	84	20
3	318	20
4	2670	19
done	5001	19
0	14	20
1	41	20
2	98	20
3	370	20
4	2841	19
done	5000	19
0	17	21
1	43	19
2	108	19
3	315	19
4	2163	18
done	5000	18
0	17	21
1	44	19
2	123	19
3	399	19
4	2572	18
done	5000	18
0	15	20
1	42	20
2	121	20
3	381	20
4	2377	19
done	5000	19
0	15	20
1	43	20
2	123	20
3	384	20
4	2378	19
done	5001	19
0	16	21
1	39	19
2	84	19
3	236	19
4	1743	18
done	5001	18
0	16	21
1	40	19
2	92	19
3	257	19
4	1809	18
done	5000	18
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	14	20
1	40	20
2	81	20
3	253	20
4	1512	20
done	5001	20
0	14	20
1	41	20
2	95	20
3	305	20
4	1685	20
done	5000	20
0	17	21
1	43	19
2	105	19
3	275	19
4	1272	19
done	5000	19
0	17	21
1	44	19
2	120	19
3	348	19
4	1673	19
done	5000	19
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	14	20
1	40	20
2	81	20
3	253	20
4	1512	20
done	5001	20
0	14	20
1	41	20
2	95	20
3	305	20
4	1685	20
done	5000	20
0	17	21
1	43	19
2	105	19
3	275	19
4	1272	19
done	5000	19
0	17	21
1	44	19
2	120	19
3	348	19
4	1673	19
done	5000	19
0	15	20
1	42	20
2	118	20
3	333	20
4	1527	20
done	5000	20
0	15	20
1	43	20
2	120	20
3	337	20
4	1536	20
done	5001	20
0	16	21
1	39	19
2	80	19
3	189	19
4	884	19
done	5001	19
0	16	21
1	40	19
2	88	19
3	205	19
4	956	19
done	5001	19
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	15	21
1	40	19
2	83	19
3	357	19
4	3136	19
done	5001	19
0	15	21
1	41	19
2	97	19
3	409	19
4	3298	19
done	5000	19
0	17	22
1	43	18
2	106	18
3	354	18
4	2469	18
done	5000	18
0	17	22
1	44	18
2	120	18
3	441	18
4	2892	18
done	5000	18
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	15	21
1	40	19
2	83	19
3	357	19
4	3136	19
done	5001	19
0	15	21
1	41	19
2	97	19
3	409	19
4	3298	19
done	5000	19
0	17	22
1	43	18
2	106	18
3	354	18
4	2469	18
done	5000	18
0	17	22
1	44	18
2	120	18
3	441	18
4	2892	18
done	5000	18
0	16	21
1	42	19
2	121	19
3	420	19
4	2653	19
done	5000	19
0	16	21
1	43	19
2	123	19
3	421	19
4	2662	19
done	5000	19
0	16	22
1	39	18
2	81	18
3	275	18
4	2012	18
done	5000	18
0	16	22
1	40	18
2	89	18
3	296	18
4	2097	18
done	5001	18
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	45	19
2	99	19
3	384	19
4	4166	18
done	5000	18
0	17	21
1	46	19
2	113	19
3	450	19
4	4485	18
done	5000	18
0	15	22
1	38	18
2	99	18
3	445	18
done	5000	18
0	15	22
1	39	18
2	113	18
3	514	18
done	5000	18
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	45	19
2	99	19
3	384	19
4	4166	18
done	5000	18
0	17	21
1	46	19
2	113	19
3	450	19
4	4485	18
done	5000	18
0	15	22
1	38	18
2	99	18
3	445	18
done	5000	18
0	15	22
1	39	18
2	113	18
3	514	18
done	5000	18
0	17	21
1	45	19
2	130	19
3	545	19
done	5000	18
0	17	21
1	46	19
2	132	19
3	546	19
done	5000	19
0	16	22
1	41	18
2	94	18
3	357	18
4	3869	17
done	5001	17
0	16	22
1	42	18
2	102	18
3	376	18
4	3952	17
done	5000	17
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	45	19
2	94	19
3	285	19
4	1976	19
done	5000	19
0	17	21
1	46	19
2	108	19
3	351	19
4	2288	19
done	5000	19
0	15	22
1	38	18
2	94	18
3	328	18
4	2656	18
done	5001	18
0	15	22
1	39	18
2	108	18
3	395	18
4	2989	18
done	5000	18
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	45	19
2	94	19
3	285	19
4	1976	19
done	5000	19
0	17	21
1	46	19
2	108	19
3	351	19
4	2288	19
done	5000	19
0	15	22
1	38	18
2	94	18
3	328	18
4	2656	18
done	5001	18
0	15	22
1	39	18
2	108	18
3	395	18
4	2989	18
done	5000	18
0	17	21
1	45	19
2	125	19
3	453	19
4	2954	19
done	5000	19
0	17	21
1	46	19
2	127	19
3	448	19
4	2941	19
done	5000	19
0	16	22
1	40	18
2	88	18
3	256	18
4	1753	18
done	5000	18
0	16	22
1	42	18
2	97	18
3	279	18
4	1830	18
done	5001	18
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	45	18
2	98	18
3	422	18
4	4531	18
done	5001	18
0	17	22
1	46	18
2	112	18
3	488	18
4	4863	18
done	5000	18
0	15	23
1	38	17
2	98	17
3	483	17
done	5000	17
0	15	23
1	39	17
2	112	17
3	552	17
done	5000	17
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	45	18
2	98	18
3	422	18
4	4531	18
done	5001	18
0	17	22
1	46	18
2	112	18
3	488	18
4	4863	18
done	5000	18
0	15	23
1	38	17
2	98	17
3	483	17
done	5000	17
0	15	23
1	39	17
2	112	17
3	552	17
done	5000	17
0	17	22
1	45	18
2	130	18
3	583	18
done	5000	18
0	17	22
1	46	18
2	132	18
3	584	18
done	5000	18
0	16	23
1	41	17
2	93	17
3	395	17
4	4204	17
done	5001	17
0	16	23
1	42	17
2	101	17
3	414	17
4	4290	17
done	5000	17
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	14	19
1	38	19
2	73	19
3	275	19
4	1649	19
done	5001	19
0	14	19
1	39	19
2	87	19
3	327	19
4	1811	19
done	5001	19
0	16	20
1	40	18
2	96	18
3	345	18
4	2321	18
done	5000	18
0	16	20
1	40	18
2	109	18
3	435	18
4	2722	18
done	5000	18
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	15	19
1	44	19
2	113	19
3	477	19
4	3756	19
done	5000	19
0	15	19
1	45	19
2	127	19
3	596	19
4	4482	19
done	5000	19
0	14	19
1	38	19
2	73	19
3	275	19
4	1649	19
done	5001	19
0	14	19
1	39	19
2	87	19
3	327	19
4	1811	19
done	5001	19
0	16	20
1	40	18
2	96	18
3	345	18
4	2321	18
done	5000	18
0	16	20
1	40	18
2	109	18
3	435	18
4	2722	18
done	5000	18
0	14	19
1	38	19
2	108	19
3	396	19
4	2050	19
done	5000	19
0	14	19
1	39	19
2	110	19
3	393	19
4	2066	19
done	5000	19
0	15	20
1	36	18
2	71	18
3	246	18
4	1462	18
done	5000	18
0	15	20
1	36	18
2	79	18
3	267	18
4	1534	18
done	5000	18
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	16	20
1	48	20
2	145	20
3	645	20
done	5000	20
0	16	20
1	49	20
2	147	20
3	656	20
done	5001	20
0	17	21
1	46	19
2	108	19
3	504	19
done	5001	19
0	17	21
1	47	19
2	116	19
3	525	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	16	20
1	48	20
2	136	20
3	475	20
4	3155	20
done	5001	20
0	16	20
1	49	20
2	138	20
3	484	20
4	3111	20
done	5000	20
0	17	21
1	46	19
2	99	19
3	337	19
4	2384	19
done	5000	19
0	17	21
1	47	19
2	107	19
3	358	19
4	2471	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	17	21
1	48	19
2	145	19
3	696	19
done	5000	19
0	17	21
1	49	19
2	147	19
3	694	19
done	5000	19
0	17	22
1	46	18
2	107	18
3	542	18
done	5001	18
0	17	22
1	47	18
2	115	18
3	563	18
done	5000	18
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	14	20
1	40	20
2	130	20
3	760	20
done	5000	20
0	14	20
1	41	20
2	144	20
3	890	20
done	5000	20
0	16	20
1	48	20
2	110	20
3	530	20
done	5000	20
0	16	20
1	49	20
2	124	20
3	582	20
done	5001	20
0	17	21
1	45	19
2	122	19
3	562	19
done	5000	19
0	17	21
1	46	19
2	136	19
3	638	19
done	5000	19
0	16	20
1	48	20
2	145	20
3	645	20
done	5000	20
0	16	20
1	49	20
2	147	20
3	656	20
done	5001	20
0	17	21
1	46	19
2	108	19
3	504	19
done	5001	19
0	17	21
1	47	19
2	116	19
3	525	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	14	20
1	40	20
2	121	20
3	558	20
done	5000	20
0	14	20
1	41	20
2	135	20
3	679	20
done	5000	20
0	16	20
1	48	20
2	101	20
3	363	20
4	2602	20
done	5000	20
0	16	20
1	49	20
2	115	20
3	415	20
4	2814	20
done	5000	20
0	17	21
1	45	19
2	113	19
3	392	19
4	2905	19
done	5001	19
0	17	21
1	46	19
2	127	19
3	459	19
4	3251	19
done	5001	19
0	16	20
1	48	20
2	136	20
3	475	20
4	3155	20
done	5001	20
0	16	20
1	49	20
2	138	20
3	484	20
4	3111	20
done	5000	20
0	17	21
1	46	19
2	99	19
3	337	19
4	2384	19
done	5000	19
0	17	21
1	47	19
2	107	19
3	358	19
4	2471	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	15	21
1	40	19
2	130	19
3	806	19
done	5001	19
0	15	21
1	41	19
2	144	19
3	929	19
done	5001	19
0	17	21
1	48	19
2	109	19
3	569	19
done	5002	19
0	17	21
1	49	19
2	123	19
3	621	19
done	5001	19
0	17	22
1	45	18
2	119	18
3	603	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	670	18
done	5001	18
0	17	21
1	48	19
2	145	19
3	696	19
done	5000	19
0	17	21
1	49	19
2	147	19
3	694	19
done	5000	19
0	17	22
1	46	18
2	107	18
3	542	18
done	5001	18
0	17	22
1	47	18
2	115	18
3	563	18
done	5000	18
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	14	20
1	40	20
2	84	20
3	318	20
4	2670	19
done	5001	19
0	14	20
1	41	20
2	98	20
3	370	20
4	2841	19
done	5000	19
0	17	21
1	43	19
2	108	19
3	315	19
4	2163	18
done	5000	18
0	17	21
1	44	19
2	123	19
3	399	19
4	2572	18
done	5000	18
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	16	20
1	48	20
2	126	20
3	405	20
4	2834	19
done	5000	19
0	16	20
1	49	20
2	140	20
3	535	20
4	3654	19
done	5000	19
0	14	20
1	40	20
2	84	20
3	318	20
4	2670	19
done	5001	19
0	14	20
1	41	20
2	98	20
3	370	20
4	2841	19
done	5000	19
0	17	21
1	43	19
2	108	19
3	315	19
4	2163	18
done	5000	18
0	17	21
1	44	19
2	123	19
3	399	19
4	2572	18
done	5000	18
0	15	20
1	42	20
2	121	20
3	381	20
4	2377	19
done	5000	19
0	15	20
1	43	20
2	123	20
3	384	20
4	2378	19
done	5001	19
0	16	21
1	39	19
2	84	19
3	236	19
4	1743	18
done	5001	18
0	16	21
1	40	19
2	92	19
3	257	19
4	1809	18
done	5000	18
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	14	20
1	40	20
2	81	20
3	253	20
4	1512	20
done	5001	20
0	14	20
1	41	20
2	95	20
3	305	20
4	1685	20
done	5000	20
0	17	21
1	43	19
2	105	19
3	275	19
4	1272	19
done	5000	19
0	17	21
1	44	19
2	120	19
3	348	19
4	1673	19
done	5000	19
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	16	20
1	48	20
2	123	20
3	357	20
4	1842	20
done	5000	20
0	16	20
1	49	20
2	137	20
3	472	20
4	2641	20
done	5001	20
0	14	20
1	40	20
2	81	20
3	253	20
4	1512	20
done	5001	20
0	14	20
1	41	20
2	95	20
3	305	20
4	1685	20
done	5000	20
0	17	21
1	43	19
2	105	19
3	275	19
4	1272	19
done	5000	19
0	17	21
1	44	19
2	120	19
3	348	19
4	1673	19
done	5000	19
0	15	20
1	42	20
2	118	20
3	333	20
4	1527	20
done	5000	20
0	15	20
1	43	20
2	120	20
3	337	20
4	1536	20
done	5001	20
0	16	21
1	39	19
2	80	19
3	189	19
4	884	19
done	5001	19
0	16	21
1	40	19
2	88	19
3	205	19
4	956	19
done	5001	19
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	15	21
1	40	19
2	83	19
3	357	19
4	3136	19
done	5001	19
0	15	21
1	41	19
2	97	19
3	409	19
4	3298	19
done	5000	19
0	17	22
1	43	18
2	106	18
3	354	18
4	2469	18
done	5000	18
0	17	22
1	44	18
2	120	18
3	441	18
4	2892	18
done	5000	18
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	17	21
1	48	19
2	126	19
3	444	19
4	3202	19
done	5000	19
0	17	21
1	49	19
2	140	19
3	571	19
4	4008	19
done	5001	19
0	15	21
1	40	19
2	83	19
3	357	19
4	3136	19
done	5001	19
0	15	21
1	41	19
2	97	19
3	409	19
4	3298	19
done	5000	19
0	17	22
1	43	18
2	106	18
3	354	18
4	2469	18
done	5000	18
0	17	22
1	44	18
2	120	18
3	441	18
4	2892	18
done	5000	18
0	16	21
1	42	19
2	121	19
3	420	19
4	2653	19
done	5000	19
0	16	21
1	43	19
2	123	19
3	421	19
4	2662	19
done	5000	19
0	16	22
1	39	18
2	81	18
3	275	18
4	2012	18
done	5000	18
0	16	22
1	40	18
2	89	18
3	296	18
4	2097	18
done	5001	18
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	45	19
2	99	19
3	384	19
4	4166	18
done	5000	18
0	17	21
1	46	19
2	113	19
3	450	19
4	4485	18
done	5000	18
0	15	22
1	38	18
2	99	18
3	445	18
done	5000	18
0	15	22
1	39	18
2	113	18
3	514	18
done	5000	18
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	46	19
2	133	19
3	491	19
4	4414	18
done	5000	18
0	17	21
1	47	19
2	147	19
3	611	19
done	5000	19
0	17	21
1	45	19
2	99	19
3	384	19
4	4166	18
done	5000	18
0	17	21
1	46	19
2	113	19
3	450	19
4	4485	18
done	5000	18
0	15	22
1	38	18
2	99	18
3	445	18
done	5000	18
0	15	22
1	39	18
2	113	18
3	514	18
done	5000	18
0	17	21
1	45	19
2	130	19
3	545	19
done	5000	18
0	17	21
1	46	19
2	132	19
3	546	19
done	5000	19
0	16	22
1	41	18
2	94	18
3	357	18
4	3869	17
done	5001	17
0	16	22
1	42	18
2	102	18
3	376	18
4	3952	17
done	5000	17
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	45	19
2	94	19
3	285	19
4	1976	19
done	5000	19
0	17	21
1	46	19
2	108	19
3	351	19
4	2288	19
done	5000	19
0	15	22
1	38	18
2	94	18
3	328	18
4	2656	18
done	5001	18
0	15	22
1	39	18
2	108	18
3	395	18
4	2989	18
done	5000	18
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	46	19
2	128	19
3	387	19
4	2300	19
done	5000	19
0	17	21
1	47	19
2	142	19
3	519	19
4	3023	19
done	5001	19
0	17	21
1	45	19
2	94	19
3	285	19
4	1976	19
done	5000	19
0	17	21
1	46	19
2	108	19
3	351	19
4	2288	19
done	5000	19
0	15	22
1	38	18
2	94	18
3	328	18
4	2656	18
done	5001	18
0	15	22
1	39	18
2	108	18
3	395	18
4	2989	18
done	5000	18
0	17	21
1	45	19
2	125	19
3	453	19
4	2954	19
done	5000	19
0	17	21
1	46	19
2	127	19
3	448	19
4	2941	19
done	5000	19
0	16	22
1	40	18
2	88	18
3	256	18
4	1753	18
done	5000	18
0	16	22
1	42	18
2	97	18
3	279	18
4	1830	18
done	5001	18
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	45	18
2	98	18
3	422	18
4	4531	18
done	5001	18
0	17	22
1	46	18
2	112	18
3	488	18
4	4863	18
done	5000	18
0	15	23
1	38	17
2	98	17
3	483	17
done	5000	17
0	15	23
1	39	17
2	112	17
3	552	17
done	5000	17
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	46	18
2	133	18
3	529	18
4	4771	18
done	5000	18
0	17	22
1	47	18
2	147	18
3	649	18
done	5000	18
0	17	22
1	45	18
2	98	18
3	422	18
4	4531	18
done	5001	18
0	17	22
1	46	18
2	112	18
3	488	18
4	4863	18
done	5000	18
0	15	23
1	38	17
2	98	17
3	483	17
done	5000	17
0	15	23
1	39	17
2	112	17
3	552	17
done	5000	17
0	17	22
1	45	18
2	130	18
3	583	18
done	5000	18
0	17	22
1	46	18
2	132	18
3	584	18
done	5000	18
0	16	23
1	41	17
2	93	17
3	395	17
4	4204	17
done	5001	17
0	16	23
1	42	17
2	101	17
3	414	17
4	4290	17
done	5000	17
0	15	19
1	47	19
2	142	19
3	857	19
done	5000	19
0	15	19
1	48	19
2	153	19
3	977	19
done	5000	19
0	15	19
1	47	19
2	142	19
3	857	19
done	5000	19
0	15	19
1	48	19
2	153	19
3	977	19
done	5000	19
0	14	19
1	41	19
2	102	19
3	572	19
done	5000	19
0	14	19
1	42	19
2	113	19
3	615	19
done	5000	19
0	16	20
1	43	18
2	124	18
3	708	18
done	5000	18
0	16	20
1	43	18
2	134	18
3	789	18
done	5000	18
0	15	19
1	47	19
2	142	19
3	857	19
done	5000	19
0	15	19
1	48	19
2	153	19
3	977	19
done	5000	19
0	15	19
1	47	19
2	142	19
3	857	19
done	5000	19
0	15	19
1	48	19
2	153	19
3	977	19
done	5000	19
0	14	19
1	41	19
2	102	19
3	572	19
done	5000	19
0	14	19
1	42	19
2	113	19
3	615	19
done	5000	19
0	16	20
1	43	18
2	124	18
3	708	18
done	5000	18
0	16	20
1	43	18
2	134	18
3	789	18
done	5000	18
0	14	19
1	40	19
2	132	19
3	800	19
done	5000	19
0	14	19
1	41	19
2	134	19
3	796	19
done	5000	19
0	15	20
1	39	18
2	99	18
3	517	18
done	5000	18
0	15	20
1	39	18
2	103	18
3	528	18
done	5001	18
0	16	20
1	41	18
2	111	18
3	452	18
4	3298	18
done	5000	18
0	16	20
1	43	18
2	126	18
3	570	18
4	4031	18
done	5001	18
0	16	20
1	41	18
2	111	18
3	452	18
4	3298	18
done	5000	18
0	16	20
1	43	18
2	126	18
3	570	18
4	4031	18
done	5001	18
0	15	20
1	36	18
2	72	18
3	238	18
4	1275	18
done	5000	18
0	15	20
1	36	18
2	85	18
3	290	18
4	1456	18
done	5000	18
0	15	21
1	36	17
2	92	17
3	304	17
4	1931	17
done	5001	17
0	15	21
1	37	17
2	106	17
3	395	17
4	2348	17
done	5000	17
0	16	20
1	41	18
2	111	18
3	452	18
4	3298	18
done	5000	18
0	16	20
1	43	18
2	126	18
3	570	18
4	4031	18
done	5001	18
0	16	20
1	41	18
2	111	18
3	452	18
4	3298	18
done	5000	18
0	16	20
1	43	18
2	126	18
3	570	18
4	4031	18
done	5001	18
0	15	20
1	36	18
2	72	18
3	238	18
4	1275	18
done	5000	18
0	15	20
1	36	18
2	85	18
3	290	18
4	1456	18
done	5000	18
0	15	21
1	36	17
2	92	17
3	304	17
4	1931	17
done	5001	17
0	15	21
1	37	17
2	106	17
3	395	17
4	2348	17
done	5000	17
0	15	20
1	36	18
2	107	18
3	362	18
4	1724	18
done	5000	18
0	15	20
1	37	18
2	109	18
3	357	18
4	1699	18
done	5000	18
0	14	21
1	31	17
2	67	17
3	209	17
4	1136	17
done	5000	17
0	14	21
1	33	17
2	75	17
3	230	17
4	1200	17
done	5001	17
0	12	17
1	39	17
2	142	17
3	909	17
done	5001	17
0	12	17
1	39	17
2	142	17
3	909	17
done	5001	17
0	12	17
1	39	17
2	142	17
3	909	17
done	5001	17
0	12	17
1	39	17
2	142	17
3	909	17
done	5001	17
0	12	17
1	39	17
2	142	17
3	909	17
done	5001	17
0	5	6
1	18	6
2	73	6
3	290	6
4	1313	6
done	5000	6
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	9
1	13	9
2	21	9
3	45	9
4	102	9
5	260	9
6	875	9
7	3324	9
done	5000	9
0	6	6
1	12	6
2	18	6
3	36	6
4	78	6
5	182	6
6	562	6
7	2175	6
done	5000	6
0	5	5
1	14	3
2	22	3
3	33	3
4	55	3
5	119	3
6	333	3
7	1275	3
done	5001	3
0	7	11
1	14	11
2	21	11
3	36	11
4	115	11
5	690	8
done	5001	8
0	6	6
1	13	6
2	20	6
3	33	6
4	107	6
5	509	5
6	2527	5
done	5001	5
0	6	6
1	13	6
2	20	6
3	33	6
4	83	6
5	322	6
6	1678	5
done	5000	5
0	6	6
1	13	6
2	20	6
3	33	6
4	83	6
5	322	6
6	1678	5
done	5000	5
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	19	5
3	32	5
4	96	5
5	473	5
6	2590	5
done	5000	5
0	7	7
1	13	7
2	19	7
3	32	7
4	96	7
5	457	7
6	2449	7
done	5000	7
0	7	7
1	14	7
2	21	7
3	34	7
4	98	7
5	468	7
6	2610	7
done	5000	7
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	19	5
3	32	5
4	96	5
5	473	5
6	2590	5
done	5000	5
0	6	6
1	15	6
2	25	6
3	42	6
4	128	6
5	622	6
6	3225	6
done	5000	6
0	6	6
1	13	6
2	22	6
3	40	6
4	123	6
5	632	6
6	3340	6
done	5000	6
0	7	13
1	14	13
2	21	13
3	34	13
4	98	13
5	466	13
6	2561	13
done	5000	13
0	6	6
1	13	6
2	20	6
3	33	6
4	97	6
5	460	6
6	2561	6
done	5001	6
0	7	17
1	18	11
2	39	7
3	80	7
4	302	7
5	2196	7
done	5000	7
0	6	6
1	13	6
2	21	6
3	34	6
4	98	6
5	466	6
6	2560	6
done	5000	6
0	6	6
1	13	6
2	21	6
3	34	6
4	98	6
5	466	6
6	2560	6
done	5000	6
0	7	7
1	14	5
2	24	5
3	61	5
4	216	5
5	846	5
6	4559	5
done	5000	5
0	7	7
1	14	5
2	24	5
3	61	5
4	216	5
5	846	5
6	4559	5
done	5000	5
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	9
1	13	9
2	21	9
3	45	9
4	102	9
5	260	9
6	874	9
7	3323	9
done	5000	9
0	6	6
1	12	6
2	18	6
3	36	6
4	78	6
5	182	6
6	561	6
7	2174	6
done	5000	6
0	5	5
1	14	3
2	22	3
3	33	3
4	55	3
5	119	3
6	333	3
7	1275	3
done	5001	3
0	7	11
1	14	11
2	26	11
3	68	11
4	263	6
5	1245	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	52	6
4	156	6
5	384	6
6	1096	6
7	4147	6
done	5000	6
0	6	6
1	13	6
2	23	6
3	44	6
4	129	5
5	397	5
6	1398	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	44	6
4	129	5
5	397	5
6	1398	5
done	5000	5
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	22	5
3	59	5
4	213	5
5	840	5
6	4485	5
done	5000	5
0	7	7
1	13	7
2	22	7
3	59	7
4	205	7
5	749	7
6	3639	7
done	5000	7
0	7	7
1	14	7
2	24	7
3	61	7
4	216	7
5	844	7
6	4535	7
done	5000	7
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	22	5
3	59	5
4	213	5
5	840	5
6	4485	5
done	5000	5
0	6	6
1	15	6
2	28	6
3	72	6
4	267	6
5	971	6
6	4968	6
done	5000	6
0	6	6
1	13	6
2	25	6
3	71	6
4	271	6
5	1056	6
done	5000	6
0	7	13
1	14	13
2	24	13
3	61	13
4	216	13
5	840	5
6	4576	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	60	6
4	216	6
5	839	6
6	4499	5
done	5000	5
0	7	17
1	18	11
2	42	7
3	139	7
4	793	7
done	5000	7
0	6	6
1	13	6
2	24	6
3	61	6
4	216	6
5	843	6
6	4539	6
done	5000	6
0	6	6
1	13	6
2	24	6
3	61	6
4	216	6
5	843	6
6	4539	6
done	5000	6
0	7	7
1	14	5
2	24	5
3	50	5
4	111	5
5	284	5
6	846	5
7	3157	5
done	5000	5
0	7	7
1	14	5
2	24	5
3	50	5
4	111	5
5	284	5
6	846	5
7	3157	5
done	5000	5
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	9
1	13	9
2	21	9
3	45	9
4	102	9
5	260	9
6	874	9
7	3323	9
done	5000	9
0	6	6
1	12	6
2	18	6
3	36	6
4	78	6
5	182	6
6	561	6
7	2174	6
done	5000	6
0	5	5
1	14	3
2	22	3
3	33	3
4	55	3
5	119	3
6	333	3
7	1275	3
done	5001	3
0	7	11
1	14	11
2	26	11
3	68	11
4	263	6
5	1245	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	52	6
4	156	6
5	384	6
6	1096	6
7	4147	6
done	5000	6
0	6	6
1	13	6
2	23	6
3	44	6
4	129	5
5	397	5
6	1398	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	44	6
4	129	5
5	397	5
6	1398	5
done	5000	5
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	22	5
3	59	5
4	213	5
5	840	5
6	4485	5
done	5000	5
0	7	7
1	13	7
2	22	7
3	59	7
4	205	7
5	749	7
6	3639	7
done	5000	7
0	7	7
1	14	7
2	24	7
3	61	7
4	216	7
5	844	7
6	4535	7
done	5000	7
0	3	3
1	10	1
done	10	1
0	5	5
1	12	5
2	22	5
3	59	5
4	213	5
5	840	5
6	4485	5
done	5000	5
0	6	6
1	15	6
2	28	6
3	72	6
4	267	6
5	971	6
6	4968	6
done	5000	6
0	6	6
1	13	6
2	25	6
3	71	6
4	271	6
5	1056	6
done	5000	6
0	7	13
1	14	13
2	24	13
3	61	13
4	216	13
5	840	5
6	4576	5
done	5000	5
0	6	6
1	13	6
2	23	6
3	60	6
4	216	6
5	839	6
6	4499	5
done	5000	5
0	7	17
1	18	11
2	42	7
3	139	7
4	793	7
done	5000	7
0	6	6
1	13	6
2	24	6
3	61	6
4	216	6
5	843	6
6	4539	6
done	5000	6
0	6	6
1	13	6
2	24	6
3	61	6
4	216	6
5	843	6
6	4539	6
done	5000	6
0	7	7
1	14	5
2	24	5
3	50	5
4	111	5
5	284	5
6	846	5
7	3157	5
done	5000	5
0	7	7
1	14	5
2	24	5
3	50	5
4	111	5
5	284	5
6	846	5
7	3157	5
done	5000	5
0	19	27
1	50	27
2	152	27
3	395	23
4	1312	17
done	5000	17
0	5	5
1	12	4
2	25	4
3	50	4
4	107	4
5	277	4
6	862	4
7	3335	4
done	5000	4
0	5	5
1	12	4
2	25	4
3	50	4
4	107	4
5	277	4
6	862	4
7	3335	4
done	5000	4
0	10	11
1	22	11
2	51	11
3	64	11
4	82	9
5	106	9
6	157	9
7	267	9
8	532	9
9	1484	9
done	5000	9
0	13	15
1	33	15
2	72	15
3	139	15
4	344	15
5	1048	15
6	4056	15
done	5000	15
0	13	15
1	33	15
2	72	15
3	139	15
4	344	15
5	1048	15
6	4056	15
done	5000	15
0	10	11
1	22	11
2	51	11
3	64	11
4	82	9
5	106	9
6	157	9
7	267	9
8	532	9
9	1484	9
done	5000	9
0	13	15
1	32	15
2	74	15
3	164	15
4	333	15
5	891	15
6	3897	15
done	5000	15
0	13	15
1	32	15
2	74	15
3	164	15
4	333	15
5	891	15
6	3897	15
done	5000	15
0	10	11
1	22	11
2	51	11
3	64	11
4	82	9
5	106	9
6	157	9
7	267	9
8	532	9
9	1484	9
done	5000	9
0	13	15
1	32	15
2	74	15
3	164	15
4	333	15
5	891	15
6	3897	15
done	5000	15
0	13	15
1	32	15
2	74	15
3	164	15
4	333	15
5	891	15
6	3897	15
done	5000	15

prune816.0ms

Filtered

113 candidates to 367 candidates (-224.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	366	1	367
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	367	2	369

Merged error: 4.1b

Counts

369 → 2

regimes70.0ms

Accuracy

100% (0.0b remaining)

Error of 4.0b against oracle of 4.0b and baseline of 5.3b

bsearch16.0ms

Steps

Iters	Range		Point
7	0.000209	0.0186	0.00021208908081054686

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	142
1	60	142
done	60	142

end0.0ms

sample1.1s

Algorithm

intervals

Results

221.0ms	8059×	pre	80	false
216.0ms	8000×	pre	80	true
165.0ms	8000×	body	80	valid

Details

sample49.0ms

simplify4.0ms

prune3.0ms

localize5.0ms

rewrite21.0ms

series15.0ms

simplify44.8s

prune80.0ms

localize13.0ms

rewrite121.0ms

series61.0ms

simplify2.7min

prune198.0ms

localize28.0ms

rewrite106.0ms

series32.0ms

simplify6.4min

prune422.0ms

localize39.0ms

rewrite361.0ms

series35.0ms

simplify15.1min

prune816.0ms

regimes70.0ms

bsearch16.0ms

simplify4.0ms

end0.0ms

sample1.1s

Profiling