Details

sample21.0ms

Algorithm

intervals

Results

5.0ms	52×	body	640	valid
4.0ms	146×	body	80	valid
3.0ms	45×	body	320	valid
1.0ms	13×	body	160	valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	12	9
done	12	9

prune2.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: 11.4b

Counts

2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1.0 (+ x 1.0))
2.1b	(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
28×	`times-frac`
27×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
8×	`distribute-lft-out--`
7×	`distribute-lft-out`
4×	`add-exp-log` `associate-/r*` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
3×	`div-inv` `associate-/l*`
2×	`pow1` `associate-/r/`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `frac-sub` `flip--` `flip-+`

Counts

2 → 58

Calls

2 calls:

6.0ms	(/ 1.0 (+ x 1.0))
19.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

series7.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(/ 1.0 (+ x 1.0))
4.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 x))

simplify46.5s

Counts

64 → 64

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	11	10
2	13	10
3	18	10
4	21	10
5	27	10
6	31	10
7	47	10
8	51	10
9	57	10
10	66	10
11	87	10
12	108	10
13	121	10
14	122	10
done	122	10
0	7	10
1	10	10
2	13	10
done	13	10
0	7	10
1	13	10
2	18	10
3	21	10
4	27	10
5	31	10
6	47	10
7	51	10
8	57	10
9	66	10
10	86	10
11	107	10
12	123	10
13	124	10
done	124	10
0	8	21
1	11	21
2	14	21
done	14	21
0	7	10
1	10	10
2	13	10
done	13	10
0	8	29
1	12	29
2	29	11
3	88	11
4	287	11
5	939	11
6	3130	11
done	5000	11
0	7	10
1	10	10
2	13	10
done	13	10
0	7	10
1	10	10
2	13	10
done	13	10
0	6	9
1	11	9
2	23	7
3	50	7
4	90	5
5	111	4
6	400	4
7	2632	4
done	5001	4
0	4	5
1	6	5
2	13	5
done	13	5
0	9	13
1	30	13
2	85	13
3	257	13
4	814	13
5	2723	13
done	5000	13
0	10	29
1	28	25
2	52	25
3	86	23
4	143	23
5	187	23
6	230	23
7	263	21
8	293	21
9	601	21
10	1928	21
done	5000	21
0	4	4
1	6	4
done	6	4
0	8	19
1	22	19
2	42	19
3	83	19
4	166	17
5	265	17
6	394	17
7	658	17
8	2245	17
done	5000	17
0	6	9
1	8	9
done	8	9
0	8	11
1	10	11
done	10	11
0	8	11
1	11	11
2	12	11
done	12	11
0	9	12
1	11	12
done	11	12
0	9	12
1	12	12
2	15	12
done	15	12
0	9	12
1	11	12
done	11	12
0	9	12
1	12	12
2	13	12
done	13	12
0	9	13
1	11	13
done	11	13
0	9	13
1	12	13
2	15	13
done	15	13
0	7	11
1	10	11
2	13	11
done	13	11
0	7	11
1	10	11
2	13	11
done	13	11
0	7	11
1	10	11
2	13	11
done	13	11
0	7	11
1	10	11
2	13	11
done	13	11
0	6	9
1	9	9
2	12	9
done	12	9
0	6	9
1	9	9
2	12	9
done	12	9
0	6	9
1	9	9
2	12	9
done	12	9
0	7	9
1	12	9
2	16	9
done	16	9
0	4	4
1	6	4
done	6	4
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	8	11
1	21	9
2	39	9
3	70	9
4	104	9
5	183	9
6	326	9
7	507	9
8	788	9
9	913	9
10	925	9
done	925	9
0	17	23
1	46	21
2	124	17
3	379	17
4	1620	17
done	5000	17
0	17	23
1	46	21
2	124	17
3	379	17
4	1620	17
done	5000	17
0	8	11
1	20	11
2	49	11
3	76	9
4	114	9
5	169	9
6	277	9
7	477	9
8	812	9
9	1959	9
done	5000	9
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11

prune91.0ms

Filtered

48 candidates to 64 candidates (-33.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	3	65

Merged error: 0.2b

Counts

65 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ x 1.0) x)
0.2b	(/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt` `times-frac` `associate-/l*`
4×	`pow1` `associate-l` `associate-*l/`
3×	`associate-r`
2×	`cbrt-undiv` `distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `flip3-+` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `add-log-exp`
1×	`neg-sub0` `frac-2neg` `div-sub` `distribute-frac-neg` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

2 → 52

Calls

2 calls:

6.0ms	(* (+ x 1.0) x)
8.0ms	(/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))

series8.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (+ x 1.0) x)
3.0ms	(/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))

simplify1.1min

Counts

58 → 58

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	19	13
2	32	13
3	66	13
4	132	13
5	192	13
6	307	13
7	430	13
8	457	13
9	459	13
done	459	13
0	9	12
1	19	12
2	37	12
3	61	12
4	110	12
5	162	12
6	265	12
7	420	12
8	472	12
9	474	12
done	474	12
0	8	11
1	20	11
2	65	11
3	146	11
4	243	11
5	354	11
6	484	11
7	689	11
8	741	11
9	764	11
10	775	11
11	799	11
12	849	11
13	901	11
14	907	11
done	907	11
0	8	11
1	17	11
2	53	11
3	110	11
4	158	11
5	226	11
6	374	11
7	744	11
8	1760	11
done	5000	11
0	13	32
1	51	30
2	269	16
3	2257	16
done	5000	16
0	11	32
1	41	30
2	264	14
3	2661	12
done	5000	12
0	9	23
1	18	23
2	51	23
3	96	23
4	120	23
5	136	23
6	140	23
7	148	23
8	154	23
9	166	23
10	173	23
11	179	23
12	181	23
done	181	23
0	8	11
1	17	11
2	50	11
3	95	11
4	119	11
5	135	11
6	139	11
7	147	11
8	153	11
9	165	11
10	172	11
11	178	11
12	180	11
done	180	11
0	9	32
1	25	32
2	135	12
3	1049	12
done	5000	12
0	8	11
1	17	11
2	50	11
3	95	11
4	119	11
5	135	11
6	139	11
7	147	11
8	153	11
9	165	11
10	172	11
11	178	11
12	180	11
done	180	11
0	8	11
1	17	11
2	50	11
3	95	11
4	119	11
5	135	11
6	139	11
7	147	11
8	153	11
9	165	11
10	172	11
11	178	11
12	180	11
done	180	11
0	4	5
1	7	3
2	11	3
3	16	3
done	16	3
0	5	6
1	11	6
2	23	6
3	43	6
4	45	6
done	45	6
0	6	7
1	10	1
2	17	1
done	17	1
0	6	9
1	15	9
2	35	9
3	47	9
4	57	9
5	59	9
6	63	9
7	65	9
8	72	9
9	75	9
10	77	9
done	77	9
0	8	15
1	14	15
2	16	15
3	17	15
done	17	15
0	6	7
1	9	7
done	9	7
0	7	9
1	11	9
done	11	9
0	6	7
1	9	7
done	9	7
0	5	5
1	8	5
done	8	5
0	5	6
1	10	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	5
1	6	5
done	6	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	5	6
1	8	6
done	8	6
0	3	3
done	3	3
0	4	5
1	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	6	7
1	12	7
2	21	7
done	21	7
0	7	10
1	14	10
2	41	10
3	77	10
4	120	10
5	134	10
6	157	10
7	190	10
8	214	10
9	772	10
10	3913	10
done	5000	9
0	6	9
1	15	9
2	35	9
3	47	9
4	57	9
5	59	9
6	63	9
7	65	9
8	72	9
9	75	9
10	77	9
done	77	9
0	6	8
1	12	8
2	17	8
3	22	8
4	26	8
done	26	8
0	8	11
1	15	11
2	26	11
3	29	11
4	38	11
5	40	11
6	44	11
7	46	11
8	51	11
9	53	11
done	53	11
0	8	11
1	15	11
2	26	11
3	29	11
4	38	11
5	40	11
6	44	11
7	46	11
8	51	11
9	53	11
done	53	11
0	7	10
1	14	10
2	41	10
3	77	10
4	120	10
5	134	10
6	157	10
7	190	10
8	214	10
9	772	10
10	3913	10
done	5000	9
0	6	9
1	15	9
2	36	9
3	49	9
4	69	9
5	75	9
6	88	9
7	104	9
8	117	9
9	332	9
10	1495	9
done	5000	9
0	5	7
1	9	7
2	20	7
3	23	7
4	32	7
5	34	7
6	38	7
7	40	7
8	47	7
9	49	7
done	49	7
0	6	8
1	10	8
2	23	8
3	28	8
4	37	8
5	39	8
6	43	8
7	47	8
8	54	8
9	58	8
done	58	8
0	10	14
1	31	14
2	74	14
3	157	14
4	263	14
5	521	14
6	1678	14
done	5000	14
0	8	14
1	20	14
2	68	14
3	224	14
4	499	14
5	913	14
6	1502	12
7	4640	12
done	5000	12
0	4	5
1	6	5
2	13	5
done	13	5
0	6	7
1	8	7
done	8	7
0	5	6
1	10	6
2	18	6
done	18	6
0	5	6
1	9	6
2	25	6
3	37	6
4	63	6
5	126	6
6	309	6
7	879	6
8	3024	6
done	5000	6
0	8	17
1	28	17
2	87	9
3	237	9
4	862	7
5	3172	7
done	5000	7
0	6	13
1	8	13
2	15	13
done	15	13
0	5	6
1	7	6
2	14	6
done	14	6
0	6	17
1	18	17
2	71	7
3	231	7
4	622	7
5	1853	7
done	5000	7
0	5	6
1	7	6
2	14	6
done	14	6
0	5	6
1	7	6
2	14	6
done	14	6
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	6	9
1	10	9
2	20	9
3	32	9
4	34	9
done	34	9
0	5	6
1	7	6
2	15	6
done	15	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	7	9
1	22	9
2	39	9
3	77	9
4	156	9
5	392	9
6	1343	9
done	5001	9
0	6	9
1	12	9
2	29	9
3	69	9
4	143	9
5	238	9
6	436	9
7	1135	9
done	5001	9
0	8	11
1	21	9
2	39	9
3	70	9
4	104	9
5	183	9
6	326	9
7	507	9
8	788	9
9	913	9
10	925	9
done	925	9
0	17	23
1	46	21
2	124	17
3	379	17
4	1620	17
done	5000	17
0	17	23
1	46	21
2	124	17
3	379	17
4	1620	17
done	5000	17
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5

prune94.0ms

Filtered

48 candidates to 58 candidates (-20.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	55	3	58
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	57	4	61

Merged error: 0.0b

Counts

61 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (neg (* 1.0 1.0)) (+ x 1.0))
0.1b	(/ (/ (neg (* 1.0 1.0)) (+ x 1.0)) x)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

210×	`times-frac`
151×	`*-un-lft-identity`
89×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`associate-/l*`
31×	`distribute-lft-out`
21×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*`
6×	`div-inv`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
3×	`div-sub` `distribute-frac-neg`
2×	`pow1` `neg-sub0` `frac-2neg` `clear-num` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 190

Calls

2 calls:

7.0ms	(/ (neg (* 1.0 1.0)) (+ x 1.0))
12.0ms	(/ (/ (neg (* 1.0 1.0)) (+ x 1.0)) x)

series6.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(/ (neg (* 1.0 1.0)) (+ x 1.0))
3.0ms	(/ (/ (neg (* 1.0 1.0)) (+ x 1.0)) x)

simplify2.8min

Counts

196 → 196

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	10	13
1	20	13
2	35	13
3	79	13
4	134	13
5	182	13
6	261	13
7	389	13
8	572	13
9	574	13
done	574	13
0	9	12
1	20	12
2	36	12
3	76	12
4	150	12
5	208	12
6	288	12
7	422	12
8	515	12
9	533	12
done	533	12
0	8	11
1	19	11
2	55	11
3	123	11
4	233	11
5	364	11
6	471	11
7	634	11
8	707	11
9	744	11
10	755	11
11	779	11
12	829	11
13	881	11
14	887	11
done	887	11
0	8	11
1	16	11
2	45	11
3	90	11
4	141	11
5	195	11
6	296	11
7	548	11
8	1207	11
9	3700	11
done	5001	11
0	13	32
1	50	30
2	235	16
3	1815	14
done	5000	14
0	11	32
1	32	32
2	127	14
3	775	12
done	5000	12
0	9	23
1	17	23
2	46	23
3	84	23
4	115	23
5	132	23
6	136	23
7	144	23
8	150	23
9	162	23
10	169	23
11	175	23
12	177	23
done	177	23
0	8	11
1	16	11
2	45	11
3	83	11
4	114	11
5	131	11
6	135	11
7	143	11
8	149	11
9	161	11
10	168	11
11	174	11
12	176	11
done	176	11
0	9	32
1	24	32
2	90	12
3	524	12
4	4850	12
done	5000	12
0	8	11
1	16	11
2	45	11
3	83	11
4	114	11
5	131	11
6	135	11
7	143	11
8	149	11
9	161	11
10	168	11
11	174	11
12	176	11
done	176	11
0	8	11
1	16	11
2	45	11
3	83	11
4	114	11
5	131	11
6	135	11
7	143	11
8	149	11
9	161	11
10	168	11
11	174	11
12	176	11
done	176	11
0	7	9
1	15	9
2	24	7
3	38	7
4	45	7
5	47	7
done	47	7
0	2	2
done	2	2
0	6	7
1	9	3
2	18	1
done	18	1
0	6	9
1	11	9
2	29	9
3	42	9
4	52	9
5	60	9
6	62	9
7	66	9
8	68	9
9	75	9
10	78	9
11	80	9
done	80	9
0	11	25
1	23	25
2	37	25
3	48	25
4	52	25
done	52	25
0	9	12
1	15	12
2	20	12
3	25	12
4	29	12
done	29	12
0	10	22
1	18	22
2	25	22
3	31	22
4	35	22
done	35	22
0	9	12
1	15	12
2	20	12
3	25	12
4	29	12
done	29	12
0	10	21
1	20	19
2	31	19
3	41	19
4	45	19
done	45	19
0	8	11
1	14	11
2	19	11
3	24	11
4	28	11
done	28	11
0	10	15
1	18	15
2	23	15
3	28	15
4	32	15
done	32	15
0	9	12
1	15	12
2	20	12
3	25	12
4	29	12
done	29	12
0	9	12
1	15	12
2	20	12
3	25	12
4	29	12
done	29	12
0	9	12
1	15	12
2	20	12
3	25	12
4	29	12
done	29	12
0	9	11
1	17	9
2	24	9
3	29	9
4	33	9
done	33	9
0	8	11
1	14	11
2	19	11
3	24	11
4	28	11
done	28	11
0	13	27
1	27	27
2	62	27
3	150	27
4	275	27
5	312	27
done	312	27
0	10	13
1	16	13
2	19	13
done	19	13
0	12	24
1	24	24
2	47	24
3	84	24
4	125	24
5	129	24
done	129	24
0	10	13
1	16	13
2	19	13
done	19	13
0	12	23
1	26	21
2	53	21
3	102	21
4	132	21
5	133	21
done	133	21
0	9	12
1	15	12
2	18	12
done	18	12
0	12	22
1	22	22
2	38	22
3	74	22
4	113	22
5	123	22
done	123	22
0	10	13
1	16	13
2	19	13
done	19	13
0	11	19
1	19	19
2	30	19
3	43	19
4	53	19
done	53	19
0	10	13
1	16	13
2	19	13
done	19	13
0	11	18
1	21	16
2	36	16
3	53	16
4	63	16
done	63	16
0	9	12
1	15	12
2	18	12
done	18	12
0	11	19
1	22	17
2	51	17
3	108	17
4	125	17
done	125	17
0	9	12
1	15	12
2	26	12
done	26	12
0	10	16
1	19	14
2	39	14
3	61	14
4	62	14
done	62	14
0	9	12
1	15	12
2	26	12
done	26	12
0	8	15
1	17	11
2	21	11
3	26	11
done	26	11
0	8	11
1	14	11
2	24	11
done	24	11
0	11	19
1	22	17
2	51	17
3	108	17
4	125	17
done	125	17
0	9	12
1	15	12
2	26	12
done	26	12
0	10	16
1	19	14
2	39	14
3	61	14
4	62	14
done	62	14
0	9	12
1	15	12
2	26	12
done	26	12
0	8	15
1	17	11
2	21	11
3	26	11
done	26	11
0	8	11
1	14	11
2	24	11
done	24	11
0	12	21
1	22	21
2	34	21
3	61	21
4	66	21
done	66	21
0	10	13
1	16	13
2	19	13
done	19	13
0	11	18
1	19	18
2	25	18
3	33	18
done	33	18
0	10	13
1	16	13
2	19	13
done	19	13
0	11	17
1	21	15
2	31	15
3	47	15
done	47	15
0	9	12
1	15	12
2	18	12
done	18	12
0	11	16
1	19	16
2	25	16
3	31	16
done	31	16
0	10	13
1	16	13
2	19	13
done	19	13
0	10	13
1	16	13
2	19	13
done	19	13
0	10	13
1	16	13
2	19	13
done	19	13
0	10	12
1	18	10
2	25	10
3	27	10
done	27	10
0	9	12
1	15	12
2	18	12
done	18	12
0	10	13
1	19	11
2	28	11
3	36	11
done	36	11
0	9	12
1	15	12
2	26	12
done	26	12
0	9	10
1	16	8
2	22	8
done	22	8
0	9	12
1	15	12
2	26	12
done	26	12
0	7	9
1	14	5
done	14	5
0	8	11
1	14	11
2	24	11
done	24	11
0	10	13
1	19	11
2	28	11
3	36	11
done	36	11
0	9	12
1	15	12
2	26	12
done	26	12
0	9	10
1	16	8
2	22	8
done	22	8
0	9	12
1	15	12
2	26	12
done	26	12
0	7	9
1	14	5
done	14	5
0	8	11
1	14	11
2	24	11
done	24	11
0	10	17
1	19	17
2	31	17
3	58	17
4	63	17
done	63	17
0	9	12
1	17	12
2	39	12
3	77	12
4	108	12
5	109	12
done	109	12
0	9	14
1	16	14
2	22	14
3	30	14
done	30	14
0	9	12
1	17	12
2	39	12
3	77	12
4	108	12
5	109	12
done	109	12
0	8	13
1	15	11
2	25	11
3	35	11
done	35	11
0	8	11
1	16	11
2	38	11
3	76	11
4	107	11
5	108	11
done	108	11
0	9	12
1	16	12
2	22	12
3	28	12
done	28	12
0	9	12
1	17	12
2	39	12
3	77	12
4	108	12
5	109	12
done	109	12
0	8	9
1	13	9
2	16	9
done	16	9
0	9	12
1	17	12
2	39	12
3	77	12
4	108	12
5	109	12
done	109	12
0	7	8
1	12	6
2	19	6
done	19	6
0	8	11
1	16	11
2	38	11
3	76	11
4	107	11
5	108	11
done	108	11
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	3	5
1	7	1
done	7	1
0	7	10
1	15	10
2	44	10
3	82	10
4	113	10
5	130	10
6	134	10
7	142	10
8	148	10
9	160	10
10	167	10
11	173	10
12	175	10
done	175	10
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	3	5
1	7	1
done	7	1
0	7	10
1	15	10
2	44	10
3	82	10
4	113	10
5	130	10
6	134	10
7	142	10
8	148	10
9	160	10
10	167	10
11	173	10
12	175	10
done	175	10
0	10	17
1	17	17
2	29	17
3	56	17
4	60	17
done	60	17
0	8	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	9	14
1	14	14
2	20	14
3	28	14
done	28	14
0	8	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	9	13
1	16	11
2	26	11
3	36	11
done	36	11
0	7	10
1	12	10
2	23	10
3	36	10
4	46	10
done	46	10
0	9	12
1	14	12
2	20	12
3	26	12
done	26	12
0	8	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	8	9
1	11	9
2	14	9
done	14	9
0	8	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	8	8
1	13	6
2	20	6
done	20	6
0	7	10
1	12	10
2	23	10
3	36	10
4	46	10
done	46	10
0	7	9
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	7	10
1	12	10
2	31	10
3	44	10
4	54	10
5	62	10
6	64	10
7	70	10
8	74	10
9	82	10
10	289	10
11	1817	10
done	5001	10
0	6	6
1	10	4
2	12	4
3	16	4
done	16	4
0	7	10
1	12	10
2	31	10
3	44	10
4	54	10
5	62	10
6	64	10
7	70	10
8	74	10
9	82	10
10	289	10
11	1817	10
done	5001	10
0	4	5
1	8	1
done	8	1
0	6	9
1	11	9
2	29	9
3	42	9
4	52	9
5	60	9
6	62	9
7	66	9
8	68	9
9	75	9
10	78	9
11	80	9
done	80	9
0	7	9
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	7	10
1	12	10
2	31	10
3	44	10
4	54	10
5	62	10
6	64	10
7	70	10
8	74	10
9	82	10
10	289	10
11	1817	10
done	5001	10
0	6	6
1	10	4
2	12	4
3	16	4
done	16	4
0	7	10
1	12	10
2	31	10
3	44	10
4	54	10
5	62	10
6	64	10
7	70	10
8	74	10
9	82	10
10	289	10
11	1817	10
done	5001	10
0	4	5
1	8	1
done	8	1
0	6	9
1	11	9
2	29	9
3	42	9
4	52	9
5	60	9
6	62	9
7	66	9
8	68	9
9	75	9
10	78	9
11	80	9
done	80	9
0	10	18
1	19	18
2	40	18
3	80	18
4	107	18
done	107	18
0	7	9
1	10	9
2	13	9
done	13	9
0	9	15
1	16	15
2	29	15
3	43	15
4	49	15
done	49	15
0	7	9
1	10	9
2	13	9
done	13	9
0	9	14
1	18	12
2	35	12
3	57	12
4	62	12
done	62	12
0	6	8
1	9	8
2	12	8
done	12	8
0	9	13
1	16	13
2	28	13
3	41	13
4	47	13
done	47	13
0	7	9
1	10	9
2	13	9
done	13	9
0	8	10
1	13	10
2	20	10
3	23	10
done	23	10
0	7	9
1	10	9
2	13	9
done	13	9
0	8	9
1	15	7
2	26	7
3	31	7
4	34	7
done	34	7
0	6	8
1	9	8
2	12	8
done	12	8
0	8	10
1	16	8
2	39	8
3	52	8
4	53	8
done	53	8
0	6	8
1	9	8
2	20	8
done	20	8
0	7	7
1	13	5
2	29	5
3	30	5
done	30	5
0	6	8
1	9	8
2	20	8
done	20	8
0	5	6
1	11	2
2	13	2
done	13	2
0	5	7
1	8	7
2	18	7
done	18	7
0	8	10
1	16	8
2	39	8
3	52	8
4	53	8
done	53	8
0	6	8
1	9	8
2	20	8
done	20	8
0	7	7
1	13	5
2	29	5
3	30	5
done	30	5
0	6	8
1	9	8
2	20	8
done	20	8
0	5	6
1	11	2
2	13	2
done	13	2
0	5	7
1	8	7
2	18	7
done	18	7
0	9	17
1	16	17
2	28	17
3	55	17
4	61	17
done	61	17
0	8	10
1	13	10
2	20	10
3	23	10
done	23	10
0	8	14
1	13	14
2	19	14
3	27	14
done	27	14
0	8	10
1	13	10
2	20	10
3	23	10
done	23	10
0	8	13
1	15	11
2	25	11
3	41	11
done	41	11
0	7	9
1	12	9
2	19	9
3	22	9
done	22	9
0	8	12
1	13	12
2	19	12
3	25	12
done	25	12
0	8	10
1	13	10
2	20	10
3	23	10
done	23	10
0	7	9
1	10	9
2	13	9
done	13	9
0	8	10
1	13	10
2	20	10
3	23	10
done	23	10
0	7	8
1	12	6
2	19	6
3	21	6
done	21	6
0	7	9
1	12	9
2	19	9
3	22	9
done	22	9
0	7	9
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	7	9
1	12	9
2	27	9
3	30	9
done	30	9
0	6	6
1	10	4
2	12	4
3	16	4
done	16	4
0	7	9
1	12	9
2	27	9
3	30	9
done	30	9
0	4	5
1	8	1
done	8	1
0	6	8
1	11	8
2	25	8
3	28	8
done	28	8
0	7	9
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	7	9
1	12	9
2	27	9
3	30	9
done	30	9
0	6	6
1	10	4
2	12	4
3	16	4
done	16	4
0	7	9
1	12	9
2	27	9
3	30	9
done	30	9
0	4	5
1	8	1
done	8	1
0	6	8
1	11	8
2	25	8
3	28	8
done	28	8
0	5	7
1	9	7
done	9	7
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	4	4
1	6	4
done	6	4
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	2	3
1	4	1
done	4	1
0	7	10
1	15	10
2	44	10
3	82	10
4	113	10
5	130	10
6	134	10
7	142	10
8	148	10
9	160	10
10	167	10
11	173	10
12	175	10
done	175	10
0	7	10
1	14	10
2	31	10
3	54	10
4	66	10
done	66	10
0	7	8
1	12	8
2	23	8
done	23	8
0	6	7
1	11	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	8
1	12	8
2	23	8
done	23	8
0	5	6
1	12	4
2	21	4
3	31	4
4	45	4
done	45	4
0	6	7
1	11	7
2	21	7
done	21	7
0	12	18
1	34	18
2	78	18
3	211	18
4	466	18
5	942	18
6	3115	18
done	5001	18
0	9	14
1	17	12
2	35	12
3	57	12
4	92	12
5	143	12
6	208	12
7	268	12
8	352	12
9	513	12
10	573	12
11	594	12
done	594	12
0	11	15
1	31	15
2	70	15
3	149	15
4	263	15
5	524	15
6	1593	15
done	5000	15
0	9	14
1	17	12
2	35	12
3	57	12
4	92	12
5	143	12
6	208	12
7	268	12
8	352	12
9	513	12
10	573	12
11	594	12
done	594	12
0	11	14
1	33	12
2	76	12
3	165	12
4	308	12
5	571	12
6	1639	12
done	5000	12
0	8	13
1	16	11
2	34	11
3	56	11
4	91	11
5	143	11
6	266	9
7	828	9
8	3307	9
done	5000	9
0	10	18
1	23	18
2	73	18
3	292	18
4	874	18
5	1805	18
6	3245	16
done	5001	16
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	9	15
1	20	15
2	65	15
3	215	15
4	511	15
5	904	15
6	1517	13
7	4242	13
done	5001	13
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	9	14
1	22	12
2	71	12
3	233	12
4	590	12
5	1396	10
6	2727	10
done	5000	10
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	7	10
1	15	10
2	35	10
3	81	10
4	138	10
5	190	10
6	222	10
7	792	10
8	3905	10
done	5001	9
0	6	9
1	11	9
2	29	9
3	42	9
4	52	9
5	60	9
6	62	9
7	66	9
8	68	9
9	75	9
10	78	9
11	80	9
done	80	9
0	9	14
1	19	14
2	54	14
3	138	14
4	263	14
5	325	14
6	363	14
7	399	14
8	432	14
9	450	14
10	1472	14
done	5000	14
0	8	11
1	16	11
2	46	11
3	84	11
4	115	11
5	132	11
6	136	11
7	148	11
8	159	11
9	173	11
10	559	11
11	3758	11
done	5001	11
0	8	10
1	18	8
2	52	8
3	100	8
4	129	8
5	154	8
6	166	8
done	166	8
0	8	11
1	14	11
2	19	11
3	24	11
4	28	11
done	28	11
0	8	11
1	14	11
2	19	11
3	24	11
4	28	11
done	28	11
0	9	12
1	15	12
2	18	12
3	19	12
4	21	12
5	23	12
6	24	12
done	24	12
0	9	12
1	15	12
2	18	12
3	19	12
4	21	12
5	23	12
6	24	12
done	24	12
0	8	11
1	14	11
2	25	11
3	36	11
4	42	11
5	46	11
6	52	11
7	54	11
done	54	11
0	8	11
1	14	11
2	25	11
3	36	11
4	42	11
5	46	11
6	52	11
7	54	11
done	54	11
0	9	12
1	15	12
2	18	12
3	19	12
4	21	12
5	23	12
6	24	12
done	24	12
0	9	12
1	15	12
2	18	12
3	19	12
4	21	12
5	23	12
6	24	12
done	24	12
0	8	11
1	14	11
2	25	11
3	36	11
4	42	11
5	46	11
6	52	11
7	54	11
done	54	11
0	8	11
1	14	11
2	25	11
3	36	11
4	42	11
5	46	11
6	52	11
7	54	11
done	54	11
0	8	11
1	16	11
2	28	11
3	48	11
4	72	11
5	87	11
6	95	11
done	95	11
0	8	11
1	16	11
2	28	11
3	48	11
4	72	11
5	87	11
6	95	11
done	95	11
0	7	10
1	15	10
2	35	10
3	81	10
4	138	10
5	190	10
6	222	10
7	792	10
8	3905	10
done	5001	9
0	7	10
1	15	10
2	35	10
3	81	10
4	138	10
5	190	10
6	222	10
7	792	10
8	3905	10
done	5001	9
0	7	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	7	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	6	9
1	11	9
2	27	9
3	58	9
4	84	9
5	108	9
6	125	9
7	342	9
8	1553	9
done	5001	9
0	6	9
1	11	9
2	27	9
3	58	9
4	84	9
5	108	9
6	125	9
7	342	9
8	1553	9
done	5001	9
0	6	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	5	7
1	8	7
2	19	7
3	30	7
4	36	7
5	40	7
6	48	7
7	50	7
done	50	7
0	5	7
1	8	7
2	19	7
3	30	7
4	36	7
5	40	7
6	48	7
7	50	7
done	50	7
0	7	9
1	12	9
2	15	9
3	16	9
4	18	9
5	22	9
6	23	9
done	23	9
0	7	9
1	12	9
2	15	9
3	16	9
4	18	9
5	22	9
6	23	9
done	23	9
0	6	8
1	11	8
2	22	8
3	33	8
4	39	8
5	47	8
6	55	8
7	59	8
done	59	8
0	6	8
1	11	8
2	22	8
3	33	8
4	39	8
5	47	8
6	55	8
7	59	8
done	59	8
0	7	10
1	15	10
2	35	10
3	81	10
4	138	10
5	190	10
6	222	10
7	792	10
8	3905	10
done	5001	9
0	6	7
1	11	7
2	22	5
3	28	5
4	35	5
5	40	5
done	40	5
0	8	13
1	16	11
2	31	11
3	44	11
4	64	11
5	85	11
6	102	11
7	125	11
8	168	11
9	230	11
10	231	11
done	231	11
0	4	5
1	6	5
2	7	5
done	7	5
0	4	5
1	11	5
2	12	5
done	12	5
0	8	10
1	14	10
2	19	10
3	31	10
4	33	10
5	37	10
6	45	10
7	55	10
8	71	10
9	91	10
10	101	10
11	110	10
12	129	10
13	130	10
done	130	10
0	7	9
1	16	9
2	27	9
3	45	9
4	65	9
5	73	9
6	81	9
7	97	9
8	117	9
9	127	9
10	136	9
11	155	9
12	156	9
done	156	9
0	7	9
1	13	9
2	21	9
3	28	9
4	37	9
5	52	9
6	77	9
7	145	9
8	324	9
9	785	9
10	2444	9
done	5000	9
0	10	26
1	42	24
2	177	12
3	905	10
4	3289	10
done	5001	10
0	8	19
1	14	19
2	19	19
3	24	19
4	28	19
done	28	19
0	7	9
1	13	9
2	18	9
3	23	9
4	27	9
done	27	9
0	8	26
1	21	26
2	73	10
3	310	10
4	1430	10
5	4260	10
done	5001	10
0	7	9
1	13	9
2	18	9
3	23	9
4	27	9
done	27	9
0	7	9
1	13	9
2	18	9
3	23	9
4	27	9
done	27	9
0	4	5
1	7	3
2	11	3
3	16	3
done	16	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	5	5
1	6	1
done	6	1
0	5	7
1	8	7
2	10	7
3	11	7
done	11	7
0	10	21
1	20	21
2	29	21
3	35	21
done	35	21
0	8	10
1	12	10
done	12	10
0	9	16
1	15	16
2	17	16
3	18	16
done	18	16
0	8	10
1	12	10
done	12	10
0	7	13
1	14	11
2	20	11
3	25	11
done	25	11
0	7	9
1	11	9
done	11	9
0	7	13
1	14	11
2	20	11
3	25	11
done	25	11
0	7	9
1	11	9
done	11	9
0	9	15
1	15	15
done	15	15
0	8	10
1	12	10
done	12	10
0	8	10
1	12	10
done	12	10
0	8	10
1	12	10
done	12	10
0	6	7
1	11	5
2	13	5
done	13	5
0	7	9
1	11	9
done	11	9
0	6	7
1	11	5
2	13	5
done	13	5
0	7	9
1	11	9
done	11	9
0	7	11
1	12	11
done	12	11
0	7	9
1	13	9
2	18	9
3	23	9
4	27	9
done	27	9
0	6	6
1	9	6
done	9	6
0	7	9
1	13	9
2	18	9
3	23	9
4	27	9
done	27	9
0	2	3
1	4	1
done	4	1
0	6	8
1	12	8
2	17	8
3	22	8
4	26	8
done	26	8
0	2	3
1	4	1
done	4	1
0	6	8
1	12	8
2	17	8
3	22	8
4	26	8
done	26	8
0	7	11
1	10	11
done	10	11
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	10	7
3	11	7
done	11	7
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	10	7
3	11	7
done	11	7
0	7	12
1	12	12
2	15	12
done	15	12
0	5	6
1	6	6
done	6	6
0	6	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	8	2
2	12	2
done	12	2
0	4	5
1	5	5
done	5	5
0	4	4
1	8	2
2	12	2
done	12	2
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	6	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	6	7
1	9	7
done	9	7
0	3	3
1	5	1
done	5	1
0	5	6
1	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	5	6
1	8	6
done	8	6
0	5	5
1	8	5
done	8	5
0	6	8
1	10	8
2	14	8
done	14	8
0	5	7
1	8	7
2	10	7
3	11	7
done	11	7
0	8	14
1	16	14
2	33	14
3	56	14
4	68	14
done	68	14
0	7	9
1	13	9
2	18	9
3	23	9
4	27	9
done	27	9
0	5	6
1	12	4
2	21	4
3	31	4
4	45	4
done	45	4
0	5	6
1	12	4
2	21	4
3	31	4
4	45	4
done	45	4
0	7	9
1	11	9
done	11	9
0	7	9
1	11	9
done	11	9
0	6	8
1	10	8
2	14	8
done	14	8
0	5	7
1	8	7
done	8	7
0	4	5
1	5	5
done	5	5
0	5	6
1	6	6
done	6	6
0	9	12
1	27	12
2	41	12
3	63	12
4	106	12
5	227	12
6	642	12
7	2485	12
done	5000	12
0	7	12
1	16	12
2	36	12
3	94	12
4	170	12
5	275	12
6	412	10
7	1208	10
done	5000	10
0	8	11
1	21	9
2	39	9
3	70	9
4	104	9
5	183	9
6	326	9
7	507	9
8	788	9
9	913	9
10	925	9
done	925	9
0	17	23
1	46	21
2	124	17
3	379	17
4	1620	17
done	5000	17
0	17	23
1	46	21
2	124	17
3	379	17
4	1620	17
done	5000	17
0	8	11
1	20	11
2	47	9
3	84	9
4	137	9
5	201	9
6	312	9
7	573	9
8	1354	9
9	2586	9
done	5000	9
0	15	21
1	41	19
2	104	15
3	287	15
4	1026	15
5	3888	11
done	5000	11
0	15	21
1	41	19
2	104	15
3	287	15
4	1026	15
5	3888	11
done	5000	11

prune313.0ms

Filtered

151 candidates to 196 candidates (-29.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	193	3	196
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	194	6	200

Merged error: 0.0b

Counts

200 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))) (cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))))
15.5b	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))
15.5b	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))
15.5b	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

88×	`cbrt-prod`
42×	`times-frac`
30×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
15×	`swap-sqr` `associate-r` `associate-l` `associate-*l/`
14×	`associate-/r/`
11×	`pow1`
9×	`pow1/3`
7×	`distribute-lft-neg-in` `neg-mul-1` `cbrt-div` `distribute-rgt-neg-in` `flip3-+` `flip-+` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `prod-exp` `-commutative` `cbrt-unprod`

Counts

4 → 133

Calls

4 calls:

18.0ms	(* (cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))) (cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))))
7.0ms	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))
6.0ms	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))
7.0ms	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))

series63.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))) (cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x))))
14.0ms	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))
15.0ms	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))
15.0ms	(cbrt (/ (neg (* 1.0 1.0)) (* (+ x 1.0) x)))

simplify1.9min

Counts

145 → 145

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	10	24
1	19	24
2	52	24
3	97	24
4	121	24
5	137	24
6	141	24
7	149	24
8	155	24
9	167	24
10	174	24
11	180	24
12	182	24
done	182	24
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	16
1	15	16
2	17	16
3	18	16
done	18	16
0	7	8
1	10	8
done	10	8
0	8	10
1	12	10
done	12	10
0	7	8
1	10	8
done	10	8
0	6	6
1	9	6
done	9	6
0	6	7
1	11	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	7	6
done	7	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	6	7
1	9	7
done	9	7
0	4	4
done	4	4
0	5	6
1	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	2	2
1	4	1
done	4	1
0	8	11
1	17	11
2	50	11
3	95	11
4	119	11
5	135	11
6	139	11
7	147	11
8	153	11
9	165	11
10	172	11
11	178	11
12	180	11
done	180	11
0	4	5
1	7	5
done	7	5
0	7	8
1	13	8
2	22	8
done	22	8
0	11	15
1	32	15
2	75	15
3	158	15
4	269	15
5	529	15
6	1666	15
done	5000	15
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	9	15
1	21	15
2	69	15
3	225	15
4	499	15
5	911	15
6	1497	13
7	4633	13
done	5000	13
0	4	4
1	6	4
2	7	4
done	7	4
0	4	5
1	7	5
done	7	5
0	5	6
1	7	6
2	14	6
done	14	6
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	10	35
1	20	35
2	55	13
3	105	10
4	135	10
5	161	10
6	188	10
7	261	10
8	472	10
9	1416	10
done	5000	10
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	10	24
1	19	24
2	52	24
3	97	24
4	121	24
5	137	24
6	141	24
7	149	24
8	155	24
9	167	24
10	174	24
11	180	24
12	182	24
done	182	24
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	16
1	15	16
2	17	16
3	18	16
done	18	16
0	7	8
1	10	8
done	10	8
0	8	10
1	12	10
done	12	10
0	7	8
1	10	8
done	10	8
0	6	6
1	9	6
done	9	6
0	6	7
1	11	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	7	6
done	7	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	6	7
1	9	7
done	9	7
0	4	4
done	4	4
0	5	6
1	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	2	2
1	4	1
done	4	1
0	8	11
1	17	11
2	50	11
3	95	11
4	119	11
5	135	11
6	139	11
7	147	11
8	153	11
9	165	11
10	172	11
11	178	11
12	180	11
done	180	11
0	4	5
1	7	5
done	7	5
0	7	8
1	13	8
2	22	8
done	22	8
0	11	15
1	32	15
2	75	15
3	158	15
4	269	15
5	529	15
6	1666	15
done	5000	15
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	9	15
1	21	15
2	69	15
3	225	15
4	499	15
5	911	15
6	1497	13
7	4633	13
done	5000	13
0	4	4
1	6	4
2	7	4
done	7	4
0	4	5
1	7	5
done	7	5
0	5	6
1	7	6
2	14	6
done	14	6
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	10	35
1	20	35
2	55	13
3	105	10
4	135	10
5	161	10
6	188	10
7	261	10
8	472	10
9	1416	10
done	5000	10
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	10	24
1	19	24
2	52	24
3	97	24
4	121	24
5	137	24
6	141	24
7	149	24
8	155	24
9	167	24
10	174	24
11	180	24
12	182	24
done	182	24
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	16
1	15	16
2	17	16
3	18	16
done	18	16
0	7	8
1	10	8
done	10	8
0	8	10
1	12	10
done	12	10
0	7	8
1	10	8
done	10	8
0	6	6
1	9	6
done	9	6
0	6	7
1	11	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	7	6
done	7	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	6	7
1	9	7
done	9	7
0	4	4
done	4	4
0	5	6
1	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	2	2
1	4	1
done	4	1
0	8	11
1	17	11
2	50	11
3	95	11
4	119	11
5	135	11
6	139	11
7	147	11
8	153	11
9	165	11
10	172	11
11	178	11
12	180	11
done	180	11
0	4	5
1	7	5
done	7	5
0	7	8
1	13	8
2	22	8
done	22	8
0	11	15
1	32	15
2	75	15
3	158	15
4	269	15
5	529	15
6	1666	15
done	5000	15
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	9	15
1	21	15
2	69	15
3	225	15
4	499	15
5	911	15
6	1497	13
7	4633	13
done	5000	13
0	4	4
1	6	4
2	7	4
done	7	4
0	4	5
1	7	5
done	7	5
0	5	6
1	7	6
2	14	6
done	14	6
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	10	35
1	20	35
2	55	13
3	105	10
4	135	10
5	161	10
6	188	10
7	261	10
8	472	10
9	1416	10
done	5000	10
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	9	12
1	18	12
2	51	12
3	96	12
4	120	12
5	136	12
6	140	12
7	148	12
8	154	12
9	166	12
10	173	12
11	179	12
12	181	12
done	181	12
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	21
1	21	21
2	99	19
3	601	19
4	2819	17
done	5000	17
0	9	23
1	18	23
2	51	23
3	96	23
4	120	23
5	136	23
6	140	23
7	148	23
8	154	23
9	166	23
10	173	23
11	179	23
12	181	23
done	181	23
0	2	3
1	6	1
done	6	1
0	10	25
1	21	14
2	55	14
3	100	14
4	124	14
5	140	14
6	144	14
7	152	14
8	158	14
9	170	14
10	177	14
11	183	14
12	185	14
done	185	14
0	10	24
1	21	24
2	56	14
3	102	14
4	126	14
5	142	14
6	146	14
7	154	14
8	160	14
9	172	14
10	179	14
11	185	14
12	187	14
done	187	14
0	10	24
1	21	24
2	58	24
3	108	24
4	150	24
5	208	24
6	319	24
7	705	24
8	2387	24
done	5001	24
0	8	21
1	21	21
2	99	19
3	601	19
4	2819	17
done	5000	17
0	11	49
1	20	49
2	53	49
3	98	49
4	122	49
5	138	49
6	142	49
7	150	49
8	156	49
9	168	49
10	175	49
11	181	49
12	183	49
done	183	49
0	10	24
1	19	24
2	52	24
3	97	24
4	121	24
5	137	24
6	141	24
7	149	24
8	155	24
9	167	24
10	174	24
11	180	24
12	182	24
done	182	24
0	11	71
1	28	71
2	70	25
3	129	13
4	339	13
5	1553	13
done	5000	13
0	10	24
1	20	12
2	53	12
3	98	12
4	122	12
5	138	12
6	142	12
7	150	12
8	156	12
9	168	12
10	175	12
11	181	12
12	183	12
done	183	12
0	10	24
1	20	12
2	53	12
3	98	12
4	122	12
5	138	12
6	142	12
7	150	12
8	156	12
9	168	12
10	175	12
11	181	12
12	183	12
done	183	12
0	5	11
1	8	11
done	8	11
0	6	13
1	8	13
2	15	13
done	15	13
0	11	49
1	20	49
2	53	49
3	98	49
4	122	49
5	138	49
6	142	49
7	150	49
8	156	49
9	168	49
10	175	49
11	181	49
12	183	49
done	183	49
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	10	33
1	16	33
2	18	33
3	19	33
done	19	33
0	8	17
1	11	17
done	11	17
0	9	21
1	13	21
done	13	21
0	8	17
1	11	17
done	11	17
0	7	13
1	10	13
done	10	13
0	7	15
1	12	15
2	17	15
3	22	15
4	26	15
done	26	15
0	7	13
1	8	13
done	8	13
0	6	13
1	8	13
2	10	13
3	11	13
done	11	13
0	7	15
1	10	15
done	10	15
0	5	9
done	5	9
0	6	13
1	7	13
done	7	13
0	6	11
1	8	11
done	8	11
0	3	5
1	5	3
done	5	1
0	9	23
1	18	23
2	51	23
3	96	23
4	120	23
5	136	23
6	140	23
7	148	23
8	154	23
9	166	23
10	173	23
11	179	23
12	181	23
done	181	23
0	5	11
1	8	11
done	8	11
0	8	17
1	14	17
2	23	17
done	23	17
0	12	31
1	33	31
2	76	31
3	159	31
4	266	31
5	524	31
6	1721	31
done	5000	31
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	10	31
1	22	31
2	70	31
3	226	31
4	500	31
5	913	31
6	1501	27
7	4620	27
done	5000	27
0	5	9
1	7	9
2	8	9
done	8	9
0	11	51
1	24	51
2	59	27
3	113	14
4	152	14
5	194	14
6	267	14
7	488	14
8	1394	14
done	5000	14
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	10	25
1	19	11
2	53	11
3	98	11
4	122	11
5	138	11
6	142	11
7	150	11
8	156	11
9	168	11
10	175	11
11	181	11
12	183	11
done	183	11
0	10	25
1	19	11
2	53	11
3	98	11
4	122	11
5	138	11
6	142	11
7	150	11
8	156	11
9	168	11
10	175	11
11	181	11
12	183	11
done	183	11
0	2	3
1	4	1
done	4	1
0	9	23
1	18	23
2	51	23
3	96	23
4	120	23
5	136	23
6	140	23
7	148	23
8	154	23
9	166	23
10	173	23
11	179	23
12	181	23
done	181	23
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	10	25
1	19	25
2	52	25
3	97	25
4	121	25
5	137	25
6	141	25
7	149	25
8	155	25
9	167	25
10	174	25
11	180	25
12	182	25
done	182	25
0	12	25
1	22	25
2	55	25
3	100	25
4	124	25
5	140	25
6	144	25
7	152	25
8	158	25
9	170	25
10	177	25
11	183	25
12	185	25
done	185	25
0	12	25
1	22	25
2	55	25
3	100	25
4	124	25
5	140	25
6	144	25
7	152	25
8	158	25
9	170	25
10	177	25
11	183	25
12	185	25
done	185	25
0	12	25
1	22	25
2	55	25
3	100	25
4	124	25
5	140	25
6	144	25
7	152	25
8	158	25
9	170	25
10	177	25
11	183	25
12	185	25
done	185	25
0	12	25
1	22	25
2	55	25
3	100	25
4	124	25
5	140	25
6	144	25
7	152	25
8	158	25
9	170	25
10	177	25
11	183	25
12	185	25
done	185	25
0	10	25
1	19	11
2	53	11
3	98	11
4	122	11
5	138	11
6	142	11
7	150	11
8	156	11
9	168	11
10	175	11
11	181	11
12	183	11
done	183	11
0	10	25
1	19	11
2	53	11
3	98	11
4	122	11
5	138	11
6	142	11
7	150	11
8	156	11
9	168	11
10	175	11
11	181	11
12	183	11
done	183	11
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	36
1	21	36
2	54	36
3	99	36
4	123	36
5	139	36
6	143	36
7	151	36
8	157	36
9	169	36
10	176	36
11	182	36
12	184	36
done	184	36
0	11	24
1	21	24
2	54	24
3	99	24
4	123	24
5	139	24
6	143	24
7	151	24
8	157	24
9	169	24
10	176	24
11	182	24
12	184	24
done	184	24
0	13	28
1	25	28
2	60	28
3	106	28
4	130	28
5	146	28
6	150	28
7	158	28
8	164	28
9	176	28
10	183	28
11	189	28
12	191	28
done	191	28
0	12	22
1	22	22
2	55	22
3	100	22
4	124	22
5	140	22
6	144	22
7	152	22
8	158	22
9	170	22
10	177	22
11	183	22
12	185	22
done	185	22
0	12	18
1	24	18
2	57	18
3	102	18
4	126	18
5	142	18
6	146	18
7	154	18
8	158	18
9	169	18
10	176	18
11	182	18
12	184	18
done	184	18
0	12	18
1	22	18
2	55	18
3	100	18
4	124	18
5	140	18
6	144	18
7	152	18
8	157	18
9	169	18
10	176	18
11	182	18
12	184	18
done	184	18
0	12	19
1	23	19
2	54	19
3	98	19
4	122	19
5	138	19
6	142	19
7	150	19
8	156	19
9	168	19
10	175	19
11	181	19
12	183	19
done	183	19
0	11	18
1	21	18
2	53	18
3	98	18
4	122	18
5	138	18
6	142	18
7	150	18
8	156	18
9	168	18
10	175	18
11	181	18
12	183	18
done	183	18
0	11	14
1	23	13
2	56	13
3	101	11
4	128	11
5	144	11
6	148	11
7	156	11
8	160	11
9	171	11
10	178	11
11	184	11
12	186	11
done	186	11
0	10	17
1	20	17
2	53	17
3	98	17
4	122	17
5	138	17
6	142	17
7	150	17
8	156	17
9	168	17
10	175	17
11	181	17
12	183	17
done	183	17
0	16	27
1	44	27
2	115	27
3	228	27
4	361	27
5	637	27
6	1801	27
done	5000	27
0	14	27
1	32	27
2	103	27
3	269	27
4	540	27
5	922	27
6	1542	25
7	4705	25
done	5000	25
0	11	37
1	23	37
2	58	37
3	103	37
4	127	37
5	143	37
6	147	37
7	155	37
8	161	37
9	173	37
10	180	37
11	186	37
12	188	37
done	188	37
0	10	24
1	20	24
2	53	24
3	98	24
4	122	24
5	138	24
6	142	24
7	150	24
8	156	24
9	168	24
10	175	24
11	181	24
12	183	24
done	183	24
0	10	13
1	22	11
2	58	11
3	103	11
4	127	11
5	143	11
6	147	11
7	155	11
8	159	11
9	170	11
10	177	11
11	183	11
12	185	11
done	185	11
0	10	24
1	20	24
2	53	24
3	98	24
4	122	24
5	138	24
6	142	24
7	150	24
8	156	24
9	168	24
10	175	24
11	181	24
12	183	24
done	183	24
0	11	24
1	21	24
2	54	24
3	99	24
4	123	24
5	139	24
6	143	24
7	151	24
8	157	24
9	169	24
10	176	24
11	182	24
12	184	24
done	184	24
0	12	20
1	22	20
2	55	20
3	100	20
4	124	20
5	140	20
6	144	20
7	152	20
8	158	20
9	170	20
10	177	20
11	183	20
12	185	20
done	185	20
0	12	20
1	22	20
2	55	20
3	100	20
4	124	20
5	140	20
6	144	20
7	152	20
8	158	20
9	170	20
10	177	20
11	183	20
12	185	20
done	185	20
0	11	19
1	23	19
2	59	19
3	99	19
4	118	19
5	134	19
6	138	19
7	146	19
8	152	19
9	164	19
10	171	19
11	177	19
12	179	19
done	179	19
0	11	18
1	23	18
2	56	18
3	99	18
4	121	18
5	137	18
6	141	18
7	149	18
8	155	18
9	167	18
10	174	18
11	180	18
12	182	18
done	182	18
0	11	16
1	21	16
2	53	16
3	98	16
4	122	16
5	138	16
6	142	16
7	150	16
8	156	16
9	168	16
10	175	16
11	181	16
12	183	16
done	183	16
0	12	17
1	23	17
2	54	17
3	98	17
4	122	17
5	138	17
6	142	17
7	150	17
8	156	17
9	168	17
10	175	17
11	181	17
12	183	17
done	183	17
0	9	23
1	18	23
2	51	23
3	96	23
4	120	23
5	136	23
6	140	23
7	148	23
8	154	23
9	166	23
10	173	23
11	179	23
12	181	23
done	181	23
0	12	20
1	26	20
2	61	20
3	106	20
4	130	20
5	146	20
6	150	20
7	158	20
8	162	20
9	173	20
10	180	20
11	186	20
12	188	20
done	188	20
0	14	24
1	32	22
2	74	22
3	132	22
4	176	22
5	213	22
6	238	22
7	273	22
8	335	22
9	443	22
10	501	22
11	574	22
12	1195	22
done	5001	22
0	11	16
1	22	16
2	56	16
3	101	16
4	125	16
5	141	16
6	145	16
7	153	16
8	159	16
9	171	16
10	178	16
11	184	16
12	186	16
done	186	16
0	10	24
1	20	24
2	53	24
3	98	24
4	122	24
5	138	24
6	142	24
7	150	24
8	156	24
9	168	24
10	175	24
11	181	24
12	183	24
done	183	24
0	10	24
1	20	24
2	53	24
3	98	24
4	122	24
5	138	24
6	142	24
7	150	24
8	156	24
9	168	24
10	175	24
11	181	24
12	183	24
done	183	24
0	9	23
1	18	23
2	51	23
3	96	23
4	120	23
5	136	23
6	140	23
7	148	23
8	154	23
9	166	23
10	173	23
11	179	23
12	181	23
done	181	23
0	10	17
1	20	17
2	53	17
3	98	17
4	122	17
5	138	17
6	142	17
7	150	17
8	156	17
9	168	17
10	175	17
11	181	17
12	183	17
done	183	17
0	10	17
1	20	17
2	53	17
3	98	17
4	122	17
5	138	17
6	142	17
7	150	17
8	156	17
9	168	17
10	175	17
11	181	17
12	183	17
done	183	17
0	26	67
1	65	67
2	226	57
3	696	43
4	3163	34
done	5000	33
0	23	57
1	59	51
2	149	39
3	495	25
4	2327	23
done	5000	23
0	23	57
1	57	57
2	148	57
3	383	33
4	1349	31
done	5001	31
0	26	67
1	65	67
2	226	57
3	696	43
4	3163	34
done	5000	33
0	23	57
1	59	51
2	149	39
3	495	25
4	2327	23
done	5000	23
0	23	57
1	57	57
2	148	57
3	383	33
4	1349	31
done	5001	31
0	26	67
1	65	67
2	226	57
3	696	43
4	3163	34
done	5000	33
0	23	57
1	59	51
2	149	39
3	495	25
4	2327	23
done	5000	23
0	23	57
1	57	57
2	148	57
3	383	33
4	1349	31
done	5001	31
0	27	83
1	72	81
2	264	67
3	908	49
done	5000	48
0	25	63
1	64	57
2	173	45
3	722	29
4	4798	27
done	5000	27
0	26	63
1	65	60
2	171	48
3	711	29
4	4869	29
done	5000	29

prune499.0ms

Filtered

124 candidates to 145 candidates (-16.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	145	6	151

Merged error: 0.0b

Counts

151 → 6

regimes42.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	15	10
done	15	10

end0.0ms

sample618.0ms

Algorithm

intervals

Results

206.0ms	1911×	body	640	valid
126.0ms	4204×	body	80	valid
104.0ms	1282×	body	320	valid
32.0ms	603×	body	160	valid

Details

sample21.0ms

simplify4.0ms

prune2.0ms

localize12.0ms

rewrite28.0ms

series7.0ms

simplify46.5s

prune91.0ms

localize7.0ms

rewrite16.0ms

series8.0ms

simplify1.1min

prune94.0ms

localize7.0ms

rewrite29.0ms

series6.0ms

simplify2.8min

prune313.0ms

localize11.0ms

rewrite45.0ms

series63.0ms

simplify1.9min

prune499.0ms

regimes42.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample618.0ms

Profiling