Details

sample21.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify12.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	15	11
2	22	11
3	25	11
4	26	11
done	26	11

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
8.8b	(/ y (+ 1.0 (/ (* x y) 2.0)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 48

Calls

2 calls:

12.0ms	(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
7.0ms	(/ y (+ 1.0 (/ (* x y) 2.0)))

series26.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
18.0ms	(/ y (+ 1.0 (/ (* x y) 2.0)))

simplify36.3s

Counts

54 → 54

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	9	10
1	16	10
2	22	10
3	26	10
4	27	10
done	27	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	12	29
1	37	29
2	119	13
3	391	11
4	1289	11
5	4210	11
done	5000	11
0	10	21
1	14	21
2	18	21
3	21	21
4	22	21
done	22	21
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	10	29
1	21	29
2	41	11
3	82	11
4	166	11
5	367	11
6	1043	11
7	3609	11
done	5000	11
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	2	2
done	2	2
0	8	8
1	15	8
2	25	8
3	40	8
4	53	8
5	56	8
done	56	8
0	12	23
1	22	23
2	35	23
3	44	23
4	45	23
done	45	23
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	11	14
1	17	14
2	23	14
3	27	14
4	28	14
done	28	14
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	11	20
1	17	20
2	21	20
3	24	20
4	25	20
done	25	20
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	11	19
1	19	19
2	23	19
3	26	19
4	27	19
done	27	19
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	10	10
1	16	10
2	20	10
3	23	10
4	24	10
done	24	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	2	3
1	4	1
done	4	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	2	3
1	4	1
done	4	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	15	9
2	19	9
3	22	9
4	23	9
done	23	9
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	19
1	16	19
2	20	19
3	23	19
4	24	19
done	24	19
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	11	13
1	31	13
2	76	13
3	262	13
4	1218	13
done	5000	13
0	10	17
1	22	17
2	57	17
3	194	17
4	627	17
5	1453	17
6	2015	17
7	2474	17
8	4269	17
done	5001	17
0	11	13
1	17	12
2	23	12
3	31	12
4	35	12
5	41	12
6	45	12
7	61	12
8	65	12
9	70	12
10	77	12
11	95	12
12	116	12
13	130	12
14	135	12
15	137	12
done	137	12
0	10	12
1	16	12
2	23	12
3	26	12
4	27	12
done	27	12
0	10	12
1	19	12
2	28	12
3	34	12
4	41	12
5	45	12
6	61	12
7	67	12
8	72	12
9	79	12
10	97	12
11	118	12
12	135	12
13	140	12
14	142	12
done	142	12
0	11	25
1	17	25
2	24	25
3	27	25
4	28	25
done	28	25
0	10	12
1	16	12
2	23	12
3	26	12
4	27	12
done	27	12
0	11	35
1	18	35
2	39	13
3	93	13
4	258	13
5	800	13
6	2659	13
done	5001	13
0	10	12
1	16	12
2	23	12
3	26	12
4	27	12
done	27	12
0	10	12
1	16	12
2	23	12
3	26	12
4	27	12
done	27	12
0	12	15
1	34	15
2	80	15
3	209	15
4	667	15
5	2402	15
done	5000	15
0	13	35
1	29	25
2	52	25
3	70	25
4	99	25
5	165	25
6	344	25
7	650	25
8	1072	25
9	3555	25
done	5001	25
0	9	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	11	23
1	24	23
2	43	23
3	80	23
4	151	23
5	286	23
6	550	23
7	1057	23
8	2886	21
done	5000	21
0	9	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	11	13
1	16	13
2	20	13
3	23	13
4	24	13
done	24	13
0	11	13
1	17	13
2	22	13
3	25	13
4	26	13
done	26	13
0	12	14
1	17	14
2	21	14
3	24	14
4	25	14
done	25	14
0	12	14
1	18	14
2	25	14
3	28	14
4	29	14
done	29	14
0	9	11
1	15	11
2	22	11
3	25	11
4	26	11
done	26	11
0	9	10
1	15	10
2	19	10
3	22	10
4	23	10
done	23	10
0	17	21
1	45	21
2	147	21
3	341	19
4	751	19
5	1699	15
done	5000	15
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	11	13
1	26	13
2	65	13
3	90	13
4	116	11
5	177	11
6	349	11
7	633	11
8	869	11
9	1803	11
done	5001	11
0	6	7
1	13	7
2	25	5
3	34	5
4	47	5
5	67	5
6	73	5
7	77	5
8	79	5
done	79	5
0	6	7
1	13	7
2	25	5
3	34	5
4	47	5
5	67	5
6	73	5
7	77	5
8	79	5
done	79	5

prune89.0ms

Filtered

41 candidates to 54 candidates (-31.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	51	3	54
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	4	55

Merged error: 0b

Counts

55 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
0.1b	(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
8.7b	(/ (+ 1.0 (/ (* x y) 2.0)) y)

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
98×	`*-un-lft-identity`
75×	`add-sqr-sqrt`
61×	`add-cube-cbrt`
19×	`associate-/r*`
16×	`add-exp-log` `distribute-lft-out`
10×	`add-cbrt-cube`
8×	`div-exp`
7×	`div-inv` `associate-/l*`
5×	`add-log-exp` `difference-of-squares`
4×	`pow1` `cbrt-undiv`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `pow-flip` `flip3-+` `diff-log` `associate-/r/` `flip--` `flip-+` `inv-pow`

Counts

3 → 140

Calls

3 calls:

20.0ms	(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
11.0ms	(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
12.0ms	(/ (+ 1.0 (/ (* x y) 2.0)) y)

series29.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
12.0ms	(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
8.0ms	(/ (+ 1.0 (/ (* x y) 2.0)) y)

simplify1.1min

Counts

149 → 149

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	9	10
1	16	10
2	22	10
3	26	10
4	27	10
done	27	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	12	29
1	37	29
2	119	13
3	407	11
4	1455	11
done	5000	11
0	10	21
1	14	21
2	18	21
3	21	21
4	22	21
done	22	21
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	10	29
1	21	29
2	57	11
3	162	11
4	509	11
5	1776	11
done	5000	11
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	8	8
1	15	8
2	25	8
3	40	8
4	53	8
5	56	8
done	56	8
0	2	2
done	2	2
0	12	23
1	22	23
2	35	23
3	44	23
4	45	23
done	45	23
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	11	20
1	17	20
2	23	20
3	27	20
4	28	20
done	28	20
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	11	19
1	19	17
2	29	17
3	37	17
4	38	17
done	38	17
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	11	14
1	17	14
2	21	14
3	24	14
4	25	14
done	25	14
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	10
1	16	8
2	22	8
3	25	8
4	26	8
done	26	8
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	5	7
1	9	7
done	9	7
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	4	4
1	6	4
done	6	4
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	2	3
1	4	1
done	4	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	5	7
1	9	7
done	9	7
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	4	4
1	6	4
done	6	4
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	2	3
1	4	1
done	4	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	3	3
1	5	3
done	5	3
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	13
1	16	13
2	20	13
3	23	13
4	24	13
done	24	13
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	9
1	15	7
2	21	7
3	24	7
4	25	7
done	25	7
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	12	25
1	36	19
2	103	19
3	319	19
4	884	19
5	1680	19
6	2016	19
7	2228	19
8	3415	19
done	5000	19
0	8	9
1	14	9
2	29	9
3	54	9
4	107	9
5	158	9
6	171	9
done	171	9
0	2	2
1	5	1
done	5	1
0	11	12
1	17	12
2	25	12
3	30	12
4	32	11
done	32	11
0	10	11
1	17	11
2	23	11
3	30	11
4	33	11
5	34	11
done	34	11
0	12	13
1	22	12
2	39	12
3	61	11
4	91	11
5	117	11
6	126	11
7	140	11
done	140	11
0	11	12
1	20	11
2	32	11
3	48	11
4	75	11
5	105	11
6	111	11
7	117	11
8	132	11
done	132	11
0	13	14
1	25	13
2	37	12
3	65	11
4	95	11
5	121	11
6	130	11
7	145	11
done	145	11
0	12	13
1	23	12
2	32	11
3	52	11
4	79	11
5	109	11
6	117	11
7	123	11
8	140	11
done	140	11
0	11	12
1	23	11
2	36	11
3	53	10
4	70	10
5	106	10
6	136	10
7	138	10
8	144	10
9	161	10
done	161	10
0	11	12
1	19	12
2	28	12
3	38	10
4	47	10
5	72	10
6	143	10
7	304	10
8	851	10
9	2886	10
done	5000	10
0	16	35
1	48	31
2	154	15
3	576	13
4	1972	13
done	5001	13
0	14	35
1	34	31
2	90	13
3	285	13
4	839	11
5	3030	11
done	5000	11
0	12	25
1	20	25
2	27	25
3	31	21
4	32	21
done	32	21
0	11	12
1	19	12
2	26	12
3	30	10
4	31	10
done	31	10
0	12	35
1	27	35
2	69	13
3	255	11
4	566	11
5	950	11
6	2395	11
done	5001	11
0	11	12
1	19	12
2	26	12
3	30	10
4	31	10
done	31	10
0	11	12
1	19	12
2	26	12
3	30	10
4	31	10
done	31	10
0	2	2
1	5	1
done	5	1
0	9	10
1	15	10
2	23	10
3	37	10
4	58	10
5	96	10
6	157	10
7	222	8
8	735	8
9	4726	8
done	5000	8
0	14	27
1	26	25
2	39	23
3	48	23
4	49	23
done	49	23
0	12	13
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	13	16
1	21	14
2	27	12
3	31	12
4	32	12
done	32	12
0	12	13
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	16	29
1	32	27
2	72	25
3	147	23
4	206	23
done	206	23
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	15	26
1	27	24
2	49	22
3	85	20
4	109	20
done	109	20
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	14	25
1	26	19
2	44	19
3	56	19
4	57	19
done	57	19
0	12	13
1	20	12
2	27	12
3	31	10
4	32	10
done	32	10
0	15	20
1	27	18
2	46	16
3	69	14
4	74	14
done	74	14
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	14	17
1	24	15
2	37	13
3	48	11
4	50	11
done	50	11
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	13	16
1	23	10
2	32	10
3	35	10
4	36	10
done	36	10
0	12	13
1	20	12
2	27	12
3	31	10
4	32	10
done	32	10
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	5	9
1	11	1
done	11	1
0	11	12
1	19	11
2	26	11
3	30	9
4	31	9
done	31	9
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	5	9
1	11	1
done	11	1
0	11	12
1	19	11
2	26	11
3	30	9
4	31	9
done	31	9
0	4	7
1	8	3
2	12	1
done	12	1
0	11	12
1	19	11
2	26	11
3	30	9
4	31	9
done	31	9
0	11	13
1	19	11
2	25	9
3	29	9
4	30	9
done	30	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	13	24
1	21	23
2	25	23
3	28	23
4	29	23
done	29	23
0	12	13
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	13
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	13
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	15	26
1	29	25
2	54	25
3	88	23
4	149	23
5	209	23
done	209	23
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	14	23
1	24	22
2	36	22
3	52	20
4	80	20
5	115	20
done	115	20
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	13	22
1	23	19
2	38	19
3	50	19
4	51	19
done	51	19
0	12	13
1	20	12
2	27	12
3	31	10
4	32	10
done	32	10
0	14	17
1	24	16
2	35	16
3	46	14
4	71	14
5	88	14
done	88	14
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	13	14
1	21	13
2	28	13
3	32	11
4	46	11
5	53	11
done	53	11
0	12	13
1	20	10
2	29	10
3	32	10
4	33	10
done	33	10
0	12	13
1	20	12
2	27	12
3	31	10
4	32	10
done	32	10
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	4	6
1	8	1
done	8	1
0	11	12
1	19	11
2	26	11
3	30	9
4	31	9
done	31	9
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	12	13
1	20	12
2	27	12
3	31	10
4	45	10
5	50	10
done	50	10
0	4	6
1	8	1
done	8	1
0	11	12
1	19	11
2	26	11
3	30	9
4	31	9
done	31	9
0	3	4
1	5	1
done	5	1
0	11	12
1	19	11
2	26	11
3	30	9
4	31	9
done	31	9
0	10	10
1	16	9
2	20	9
3	23	9
4	24	9
done	24	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	12	23
1	20	23
2	24	23
3	27	23
4	28	23
done	28	23
0	11	12
1	17	12
2	21	12
3	24	12
4	25	12
done	25	12
0	11	12
1	17	12
2	21	12
3	24	12
4	25	12
done	25	12
0	11	12
1	17	12
2	21	12
3	24	12
4	25	12
done	25	12
0	14	25
1	28	25
2	53	25
3	85	23
4	146	23
5	212	23
done	212	23
0	12	13
1	20	13
2	27	13
3	31	11
4	45	11
5	50	11
done	50	11
0	13	22
1	23	22
2	35	22
3	51	20
4	79	20
5	115	20
done	115	20
0	12	13
1	20	13
2	27	13
3	31	11
4	45	11
5	50	11
done	50	11
0	12	21
1	22	19
2	37	19
3	49	19
4	50	19
done	50	19
0	11	12
1	19	12
2	26	12
3	30	10
4	31	10
done	31	10
0	13	16
1	23	16
2	34	16
3	45	14
4	70	14
5	85	14
done	85	14
0	12	13
1	20	13
2	27	13
3	31	11
4	45	11
5	50	11
done	50	11
0	12	13
1	20	13
2	27	13
3	31	11
4	45	11
5	50	11
done	50	11
0	12	13
1	20	13
2	27	13
3	31	11
4	45	11
5	50	11
done	50	11
0	11	12
1	19	10
2	28	10
3	31	10
4	32	10
done	32	10
0	11	12
1	19	12
2	26	12
3	30	10
4	31	10
done	31	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	19	12
2	26	12
3	30	10
4	44	10
5	49	10
done	49	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	19	12
2	26	12
3	30	10
4	44	10
5	49	10
done	49	10
0	3	5
1	6	1
done	6	1
0	10	11
1	18	11
2	25	11
3	29	9
4	30	9
done	30	9
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	12
1	19	12
2	26	12
3	30	10
4	44	10
5	49	10
done	49	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	12
1	19	12
2	26	12
3	30	10
4	44	10
5	49	10
done	49	10
0	3	5
1	6	1
done	6	1
0	10	11
1	18	11
2	25	11
3	29	9
4	30	9
done	30	9
0	2	3
1	4	1
done	4	1
0	10	11
1	18	11
2	25	11
3	29	9
4	30	9
done	30	9
0	9	9
1	15	9
2	19	9
3	22	9
4	23	9
done	23	9
0	4	5
1	8	1
done	8	1
0	10	11
1	18	11
2	25	11
3	29	9
4	30	9
done	30	9
0	10	11
1	18	9
2	29	9
3	32	9
4	33	9
done	33	9
0	12	23
1	20	23
2	24	23
3	27	23
4	28	23
done	28	23
0	11	12
1	17	12
2	21	12
3	24	12
4	25	12
done	25	12
0	14	25
1	28	25
2	53	25
3	85	23
4	146	23
5	212	23
done	212	23
0	13	22
1	23	22
2	35	22
3	51	20
4	79	20
5	115	20
done	115	20
0	12	21
1	22	19
2	37	19
3	49	19
4	50	19
done	50	19
0	13	16
1	23	16
2	34	16
3	45	14
4	70	14
5	85	14
done	85	14
0	12	13
1	20	13
2	27	13
3	31	11
4	45	11
5	50	11
done	50	11
0	11	12
1	19	10
2	28	10
3	31	10
4	32	10
done	32	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	9	9
1	15	9
2	19	9
3	22	9
4	23	9
done	23	9
0	11	12
1	19	11
2	26	11
3	29	9
4	33	9
done	33	9
0	11	12
1	19	11
2	26	11
3	29	9
4	33	9
done	33	9
0	10	11
1	18	9
2	29	9
3	32	9
4	33	9
done	33	9
0	9	9
1	15	9
2	19	9
3	22	9
4	23	9
done	23	9
0	13	15
1	23	14
2	34	14
3	58	12
4	83	12
5	142	12
6	333	12
7	923	12
8	4019	12
done	5000	12
0	12	14
1	22	14
2	37	14
3	49	12
4	57	12
5	72	12
6	107	12
7	112	12
8	113	12
done	113	12
0	12	14
1	25	14
2	44	14
3	67	12
4	100	12
5	198	12
6	520	12
7	1650	12
done	5001	12
0	13	29
1	23	29
2	38	29
3	50	25
4	58	25
5	73	25
6	110	25
7	115	25
8	116	25
done	116	25
0	12	14
1	22	14
2	37	14
3	49	12
4	57	12
5	72	12
6	107	12
7	112	12
8	113	12
done	113	12
0	13	41
1	24	41
2	53	15
3	132	13
4	496	13
5	2191	13
done	5000	13
0	12	14
1	22	14
2	37	14
3	49	12
4	57	12
5	72	12
6	107	12
7	112	12
8	113	12
done	113	12
0	12	14
1	22	14
2	37	14
3	49	12
4	57	12
5	72	12
6	107	12
7	112	12
8	113	12
done	113	12
0	14	17
1	40	17
2	101	17
3	334	15
4	1052	15
5	3022	15
done	5001	15
0	15	41
1	36	29
2	81	29
3	218	25
4	321	25
5	443	25
6	888	25
7	2666	25
done	5000	25
0	11	12
1	22	11
2	35	11
3	48	10
4	53	10
5	80	10
6	105	10
7	106	10
done	106	10
0	13	27
1	30	27
2	65	25
3	221	23
4	513	23
5	1119	23
6	1895	23
7	3738	23
done	5000	23
0	11	13
1	20	13
2	27	13
3	31	11
4	32	11
done	32	11
0	13	15
1	22	15
2	29	15
3	33	13
4	34	13
done	34	13
0	13	15
1	23	15
2	31	15
3	35	13
4	36	13
done	36	13
0	14	16
1	21	15
2	25	15
3	28	15
4	29	15
done	29	15
0	14	16
1	22	15
2	30	15
3	33	15
4	34	15
done	34	15
0	15	17
1	24	16
2	31	16
3	35	14
4	49	14
5	56	14
done	56	14
0	15	17
1	25	16
2	40	16
3	52	14
4	79	14
5	117	14
6	122	14
7	123	14
done	123	14
0	13	15
1	20	15
2	24	15
3	27	15
4	28	15
done	28	15
0	13	15
1	21	15
2	29	15
3	32	15
4	33	15
done	33	15
0	14	16
1	23	16
2	30	16
3	34	14
4	48	14
5	53	14
done	53	14
0	14	16
1	24	16
2	39	16
3	51	14
4	78	14
5	116	14
6	123	14
7	124	14
done	124	14
0	11	13
1	21	13
2	36	13
3	48	11
4	56	11
5	71	11
6	106	11
7	109	11
8	110	11
done	110	11
0	11	13
1	21	13
2	36	13
3	48	11
4	56	11
5	71	11
6	106	11
7	109	11
8	110	11
done	110	11
0	11	12
1	22	11
2	35	11
3	48	10
4	53	10
5	80	10
6	105	10
7	106	10
done	106	10
0	9	9
1	16	9
2	19	7
3	20	7
4	25	7
5	27	7
done	27	7
0	9	9
1	16	9
2	19	7
3	20	7
4	25	7
5	27	7
done	27	7
0	9	9
1	16	9
2	19	7
3	20	7
4	25	7
5	27	7
done	27	7
0	17	21
1	45	21
2	147	21
3	341	19
4	751	19
5	1699	15
done	5000	15
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	11	13
1	26	13
2	65	13
3	90	13
4	116	11
5	177	11
6	349	11
7	633	11
8	869	11
9	1803	11
done	5001	11
0	6	7
1	13	7
2	25	5
3	34	5
4	47	5
5	67	5
6	73	5
7	77	5
8	79	5
done	79	5
0	6	7
1	13	7
2	25	5
3	34	5
4	47	5
5	67	5
6	73	5
7	77	5
8	79	5
done	79	5

prune156.0ms

Filtered

87 candidates to 149 candidates (-71.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	149	4	153

Merged error: 0b

Counts

153 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ (* x y) 2.0))
0.2b	(* (/ (* x y) 2.0) (/ (* x y) 2.0))
3.6b	(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
16.2b	(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-exp-log` `add-cbrt-cube`
41×	`add-sqr-sqrt`
37×	`times-frac`
34×	`*-un-lft-identity`
30×	`add-cube-cbrt`
25×	`associate-l`
17×	`prod-exp` `cbrt-unprod`
14×	`cbrt-undiv` `div-exp`
13×	`pow1`
12×	`associate-r`
9×	`difference-of-squares`
7×	`swap-sqr`
6×	`div-inv` `add-log-exp`
5×	`flip3--` `flip--`
4×	`associate-/r*` `associate-/r/`
3×	`frac-times` `sub-neg` `associate-r/` `associate-/l` `unswap-sqr`
2×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `associate-l/` `-commutative` `distribute-lft-out--`
1×	`pow2` `frac-2neg` `pow-plus` `diff-log` `clear-num` `pow-sqr` `pow-prod-up`

Counts

4 → 150

Calls

4 calls:

6.0ms	(- 1.0 (/ (* x y) 2.0))
12.0ms	(* (/ (* x y) 2.0) (/ (* x y) 2.0))
7.0ms	(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
16.0ms	(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- 1.0 (/ (* x y) 2.0))
9.0ms	(* (/ (* x y) 2.0) (/ (* x y) 2.0))
17.0ms	(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
35.0ms	(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

simplify8.7min

Counts

162 → 162

Iterations

Useful iterations: 4 (34.0ms)

Iter	Nodes	Cost
0	12	25
1	28	25
2	91	25
3	308	11
4	1073	9
5	4036	9
done	5001	9
0	15	28
1	33	28
2	87	28
3	268	28
4	849	13
5	1808	11
6	2880	11
done	5000	11
0	14	27
1	31	27
2	83	27
3	266	27
4	850	12
5	1842	10
6	2930	10
done	5000	10
0	13	26
1	32	26
2	101	26
3	338	12
4	1156	10
5	4401	10
done	5000	10
0	13	26
1	31	26
2	100	26
3	341	12
4	1177	10
5	4503	10
done	5000	10
0	18	77
1	46	77
2	209	31
3	1455	29
done	5000	29
0	16	77
1	42	77
2	164	29
3	890	29
done	5000	29
0	14	53
1	30	53
2	93	53
3	312	25
4	1084	21
5	4042	21
done	5000	21
0	13	26
1	29	26
2	92	26
3	309	12
4	1071	10
5	4062	10
done	5000	10
0	14	77
1	40	77
2	172	27
3	972	13
done	5000	13
0	13	26
1	29	26
2	92	26
3	309	12
4	1071	10
5	4062	10
done	5000	10
0	13	26
1	29	26
2	92	26
3	309	12
4	1071	10
5	4062	10
done	5000	10
0	11	13
1	33	13
2	99	13
3	406	13
4	2295	13
done	5000	13
0	13	39
1	41	33
2	143	33
3	653	33
4	3763	33
done	5000	33
0	10	17
1	23	17
2	66	17
3	230	17
4	834	17
5	2490	17
6	4244	17
done	5001	17
0	11	23
1	30	23
2	99	23
3	404	23
4	1840	23
done	5000	23
0	14	27
1	28	27
2	72	27
3	237	27
4	777	27
5	1723	27
6	2393	27
7	4089	27
done	5000	27
0	14	27
1	28	27
2	72	27
3	237	27
4	777	27
5	1723	27
6	2393	27
7	4089	27
done	5000	27
0	15	28
1	31	28
2	76	28
3	241	28
4	781	28
5	1710	28
6	2380	28
7	4067	28
done	5000	28
0	15	28
1	31	28
2	76	28
3	241	28
4	781	28
5	1710	28
6	2380	28
7	4067	28
done	5000	28
0	11	19
1	26	19
2	68	19
3	226	19
4	725	19
5	2022	19
6	4682	17
done	5000	17
0	12	24
1	31	24
2	94	24
3	352	24
4	1451	24
done	5000	24
0	11	19
1	26	19
2	68	19
3	226	19
4	725	19
5	2022	19
6	4682	17
done	5000	17
0	12	24
1	31	24
2	94	24
3	352	24
4	1451	24
done	5000	24
0	11	19
1	26	19
2	69	19
3	230	19
4	729	19
5	2007	19
6	4733	17
done	5000	17
0	12	24
1	31	24
2	95	24
3	355	24
4	1401	24
5	4611	24
done	5000	24
0	11	19
1	26	19
2	69	19
3	230	19
4	729	19
5	2007	19
6	4733	17
done	5000	17
0	12	24
1	31	24
2	95	24
3	355	24
4	1401	24
5	4611	24
done	5000	24
0	14	35
1	32	35
2	88	35
3	302	35
4	1004	35
5	2686	35
done	5000	35
0	13	26
1	29	26
2	80	26
3	266	26
4	876	26
5	2274	26
done	5000	26
0	12	19
1	29	17
2	78	17
3	229	17
4	730	17
5	1993	17
6	4033	17
done	5001	17
0	14	27
1	36	27
2	91	27
3	283	27
4	846	27
5	2332	27
done	5000	27
0	12	19
1	29	17
2	78	17
3	229	17
4	730	17
5	1993	17
6	4033	17
done	5001	17
0	13	26
1	27	26
2	77	26
3	251	26
4	845	26
5	1846	26
6	2564	26
7	4263	26
done	5000	26
0	13	26
1	27	26
2	77	26
3	251	26
4	845	26
5	1846	26
6	2564	26
7	4263	26
done	5000	26
0	14	27
1	30	27
2	87	27
3	280	27
4	952	27
5	2214	27
6	3341	27
done	5001	27
0	14	27
1	30	27
2	87	27
3	280	27
4	952	27
5	2214	27
6	3341	27
done	5001	27
0	13	26
1	29	26
2	92	26
3	318	12
4	1149	10
5	4528	10
done	5000	10
0	10	18
1	18	18
2	42	18
3	90	4
4	250	2
5	1093	2
done	5001	2
0	14	27
1	30	27
2	87	27
3	280	27
4	952	27
5	2214	27
6	3341	27
done	5001	27
0	14	27
1	30	27
2	87	27
3	280	27
4	952	27
5	2214	27
6	3341	27
done	5001	27
0	13	26
1	29	26
2	92	26
3	318	12
4	1149	10
5	4528	10
done	5000	10
0	10	18
1	18	18
2	42	18
3	90	4
4	250	2
5	1093	2
done	5001	2
0	13	26
1	29	26
2	86	26
3	270	26
4	880	26
5	1980	26
6	2889	26
7	4654	26
done	5000	26
0	13	26
1	29	26
2	86	26
3	270	26
4	880	26
5	1980	26
6	2889	26
7	4654	26
done	5000	26
0	12	25
1	28	25
2	91	25
3	308	11
4	1073	9
5	4036	9
done	5001	9
0	9	17
1	17	17
2	41	17
3	87	3
4	227	1
5	542	1
6	1041	1
7	2306	1
done	5000	1
0	12	25
1	28	25
2	91	25
3	308	11
4	1073	9
5	4036	9
done	5001	9
0	13	25
1	31	25
2	94	23
3	376	9
4	1671	9
done	5000	9
0	15	55
1	46	43
2	171	37
3	801	35
4	4388	35
done	5000	35
0	11	23
1	22	23
2	65	23
3	210	23
4	829	23
5	3448	23
done	5001	23
0	15	29
1	46	29
2	149	29
3	642	29
4	4152	29
done	5000	29
0	11	33
1	26	33
2	86	33
3	350	3
4	1618	1
done	5000	1
0	8	9
1	14	9
2	29	9
3	54	9
4	107	9
5	158	9
6	171	9
done	171	9
0	12	19
1	26	19
2	63	19
3	202	19
4	643	19
5	1495	19
6	2063	19
7	2543	19
8	4354	19
done	5000	19
0	11	18
1	26	18
2	66	18
3	212	18
4	654	18
5	1489	18
6	2044	18
7	2523	18
8	4347	18
done	5000	18
0	11	18
1	23	18
2	58	18
3	193	18
4	624	18
5	1449	18
6	2016	18
7	2475	18
8	4299	18
done	5000	18
0	14	53
1	35	53
2	127	21
3	659	19
4	3941	19
done	5001	19
0	12	37
1	24	37
2	59	37
3	196	37
4	627	37
5	1463	37
6	2011	37
7	2471	37
8	4259	37
done	5000	37
0	11	18
1	23	18
2	58	18
3	193	18
4	624	18
5	1449	18
6	2016	18
7	2475	18
8	4299	18
done	5000	18
0	12	53
1	31	53
2	93	19
3	389	19
4	1698	19
done	5001	19
0	11	18
1	23	18
2	58	18
3	193	18
4	624	18
5	1449	18
6	2016	18
7	2475	18
8	4299	18
done	5000	18
0	11	18
1	23	18
2	58	18
3	193	18
4	624	18
5	1449	18
6	2016	18
7	2475	18
8	4299	18
done	5000	18
0	2	2
done	2	2
0	10	16
1	22	16
2	62	16
3	217	16
4	807	15
5	2604	15
6	4411	15
done	5000	15
0	14	39
1	32	39
2	74	39
3	217	39
4	650	39
5	1477	39
6	2043	39
7	2503	39
8	4327	39
done	5001	39
0	12	19
1	24	19
2	57	19
3	190	19
4	620	19
5	1456	19
6	2034	19
7	2493	19
8	4324	19
done	5000	19
0	13	22
1	27	22
2	62	22
3	196	22
4	627	22
5	1463	22
6	2011	22
7	2472	22
8	4274	22
done	5000	22
0	12	19
1	24	19
2	57	19
3	190	19
4	620	19
5	1456	19
6	2034	19
7	2493	19
8	4324	19
done	5000	19
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	18
1	23	18
2	58	18
3	193	18
4	629	18
5	1466	18
6	2011	18
7	2470	18
8	4274	18
done	5000	18
0	10	13
1	16	13
2	22	13
3	26	13
4	27	13
done	27	13
0	9	10
1	14	10
2	23	10
3	37	10
4	50	10
5	53	10
done	53	10
0	13	36
1	27	36
2	60	36
3	195	36
4	631	36
5	1463	36
6	2033	36
7	2492	36
8	4272	36
done	5000	36
0	12	19
1	24	19
2	57	19
3	190	19
4	620	19
5	1456	19
6	2034	19
7	2493	19
8	4324	19
done	5000	19
0	12	19
1	24	19
2	57	19
3	190	19
4	620	19
5	1456	19
6	2034	19
7	2493	19
8	4324	19
done	5000	19
0	12	19
1	24	19
2	57	19
3	190	19
4	620	19
5	1456	19
6	2034	19
7	2493	19
8	4324	19
done	5000	19
0	4	4
1	6	2
2	8	2
done	8	2
0	11	18
1	23	18
2	58	18
3	193	18
4	629	18
5	1466	18
6	2011	18
7	2470	18
8	4274	18
done	5000	18
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	14	10
2	23	10
3	37	10
4	50	10
5	53	10
done	53	10
0	13	35
1	29	35
2	62	35
3	195	35
4	624	35
5	1462	35
6	2006	35
7	2466	35
8	4252	35
done	5000	35
0	11	18
1	23	18
2	56	18
3	189	18
4	621	18
5	1461	18
6	2014	18
7	2476	18
8	4306	18
done	5000	18
0	12	18
1	26	18
2	59	18
3	194	18
4	623	18
5	1463	18
6	2030	18
7	2489	18
8	4320	18
done	5000	18
0	11	18
1	23	18
2	56	18
3	189	18
4	621	18
5	1461	18
6	2014	18
7	2476	18
8	4306	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	10	17
1	22	17
2	57	17
3	194	17
4	627	17
5	1453	17
6	2015	17
7	2474	17
8	4269	17
done	5001	17
0	9	9
1	15	9
2	19	9
3	22	9
4	23	9
done	23	9
0	8	9
1	13	9
2	22	9
3	36	9
4	49	9
5	52	9
done	52	9
0	11	17
1	25	17
2	60	17
3	197	17
4	628	17
5	1445	17
6	2008	17
7	2468	17
8	4243	17
done	5001	17
0	10	17
1	25	17
2	68	17
3	266	17
4	1134	17
5	3660	15
done	5001	15
0	12	35
1	26	35
2	59	35
3	192	35
4	626	35
5	1445	35
6	2007	35
7	2470	35
8	4254	35
done	5000	35
0	11	18
1	23	18
2	56	18
3	189	18
4	621	18
5	1461	18
6	2014	18
7	2476	18
8	4306	18
done	5000	18
0	3	3
1	5	1
done	5	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	11	18
1	26	18
2	69	18
3	268	18
4	1146	18
5	3687	18
done	5000	18
0	11	18
1	26	18
2	69	18
3	268	18
4	1146	18
5	3687	18
done	5000	18
0	10	17
1	25	17
2	68	17
3	266	17
4	1134	17
5	3660	15
done	5001	15
0	13	21
1	39	21
2	141	13
3	619	13
4	4786	13
done	5000	13
0	12	33
1	32	33
2	105	21
3	461	13
4	2740	13
done	5000	13
0	2	3
1	6	1
done	6	1
0	6	11
1	13	11
2	37	11
3	112	11
4	277	11
5	403	11
6	426	11
7	430	11
done	430	11
0	2	3
1	6	1
done	6	1
0	9	17
1	20	10
2	67	10
3	198	10
4	504	10
5	1215	10
6	1643	10
7	1886	10
8	1888	10
done	1888	10
0	12	16
1	24	15
2	58	15
3	173	9
4	486	9
5	1164	9
6	1567	9
7	1815	9
8	1817	9
done	1817	9
0	12	15
1	25	15
2	62	13
3	179	8
4	601	8
5	1405	8
6	1789	8
7	2013	8
8	2014	8
done	2014	8
0	12	16
1	24	15
2	58	15
3	173	9
4	487	9
5	1171	9
6	1575	9
7	1823	9
8	1825	9
done	1825	9
0	8	15
1	20	9
2	49	9
3	144	9
4	396	9
5	927	9
6	1500	9
7	1869	9
8	1935	9
done	1935	9
0	10	14
1	21	13
2	47	13
3	133	8
4	490	8
5	1271	8
6	1803	8
7	2209	8
8	2274	8
done	2274	8
0	12	15
1	25	15
2	58	13
3	171	8
4	540	8
5	1216	8
6	2138	8
7	2428	8
8	2435	8
done	2435	8
0	10	14
1	21	13
2	43	13
3	130	8
4	456	8
5	1148	8
6	2040	8
7	2428	8
8	2482	8
done	2482	8
0	7	13
1	15	8
2	32	8
3	84	8
4	289	8
5	866	8
6	1777	8
7	2202	8
8	2345	8
done	2345	8
0	7	12
1	16	12
2	50	8
3	163	8
4	531	8
5	1276	8
6	2360	8
7	3044	8
8	3299	8
9	3312	8
done	3312	8
0	7	12
1	16	12
2	44	12
3	134	12
4	369	12
5	732	12
6	1397	12
done	5000	12
0	12	35
1	31	35
2	184	23
3	1807	23
done	5001	23
0	16	35
1	52	35
2	299	19
3	2963	13
done	5000	13
0	16	35
1	46	35
2	239	19
3	1712	19
done	5001	15
0	16	35
1	52	35
2	299	19
3	2960	13
done	5000	13
0	10	35
1	33	35
2	186	19
3	1857	13
done	5001	13
0	13	35
1	45	35
2	223	15
3	1914	7
done	5000	7
0	16	35
1	46	35
2	240	19
3	1708	19
done	5000	15
0	13	35
1	45	35
2	224	15
3	1879	7
done	5000	7
0	8	35
1	24	35
2	100	15
3	530	7
4	3918	7
done	5001	7
0	8	25
1	15	25
2	39	25
3	118	25
4	283	25
5	417	25
6	441	25
7	443	25
done	443	25
0	7	12
1	14	12
2	38	12
3	113	12
4	279	12
5	410	12
6	433	12
7	436	12
done	436	12
0	8	35
1	23	35
2	91	13
3	504	7
4	3310	7
done	5000	7
0	7	12
1	15	6
2	39	6
3	116	6
4	282	6
5	420	6
6	443	6
7	446	6
done	446	6
0	7	12
1	15	6
2	39	6
3	116	6
4	282	6
5	420	6
6	443	6
7	446	6
done	446	6
0	4	7
1	12	7
2	23	7
done	23	7
0	2	3
done	2	3
0	8	27
1	15	27
2	21	15
3	33	8
4	70	8
5	126	8
6	212	8
7	425	8
8	1382	8
done	5000	8
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	7	13
1	10	5
2	15	5
3	18	5
4	19	5
done	19	5
0	7	13
1	10	5
2	15	5
3	18	5
4	19	5
done	19	5
0	6	15
1	12	15
2	31	15
3	66	15
4	106	11
5	116	8
6	125	8
7	142	8
8	195	8
9	390	8
10	956	8
11	3168	8
done	5001	8
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	9	9
2	15	9
3	22	9
4	27	5
done	27	5
0	5	9
1	9	9
2	15	9
3	22	9
4	27	5
done	27	5
0	4	7
1	10	3
2	14	3
3	16	3
4	19	3
done	19	3
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	4	1
done	4	1
0	6	11
1	13	11
2	37	11
3	112	11
4	277	11
5	403	11
6	426	11
7	430	11
done	430	11
0	4	7
1	12	7
2	23	7
done	23	7
0	4	7
1	10	7
2	16	5
3	27	5
done	27	5
0	7	13
1	10	5
2	15	5
3	18	5
4	19	5
done	19	5
0	7	13
1	10	5
2	15	5
3	18	5
4	19	5
done	19	5
0	3	3
1	6	1
done	6	1
0	8	19
1	16	19
2	37	19
3	88	19
4	156	19
5	193	19
6	211	19
7	213	19
done	213	19
0	7	12
1	13	12
2	27	12
3	53	12
4	76	12
5	85	12
6	87	12
done	87	12
0	9	13
1	19	13
2	51	13
3	155	13
4	400	13
5	660	13
6	712	13
done	712	13
0	8	10
1	16	10
2	38	10
3	95	10
4	190	10
5	245	10
6	257	10
done	257	10
0	8	9
1	18	7
2	35	7
3	93	7
4	206	7
5	262	7
6	277	7
done	277	7
0	7	7
1	15	5
2	36	5
3	79	5
4	90	5
5	106	5
6	111	5
done	111	5
0	6	9
1	14	9
2	42	9
3	86	9
4	123	9
5	133	9
done	133	9
0	7	12
1	13	12
2	27	12
3	48	12
4	77	12
5	88	12
done	88	12
0	7	12
1	13	12
2	27	12
3	48	12
4	77	12
5	88	12
done	88	12
0	8	10
1	16	10
2	37	10
3	87	10
4	178	10
5	240	10
6	249	10
done	249	10
0	8	10
1	16	10
2	37	10
3	87	10
4	178	10
5	240	10
6	249	10
done	249	10
0	7	9
1	15	9
2	35	9
3	74	9
4	132	9
5	149	9
6	152	9
done	152	9
0	6	11
1	13	11
2	37	11
3	112	11
4	277	11
5	403	11
6	426	11
7	430	11
done	430	11
0	8	9
1	18	9
2	39	7
3	147	7
4	349	7
5	372	7
done	372	7
0	6	9
1	14	9
2	42	9
3	86	9
4	123	9
5	133	9
done	133	9
0	6	9
1	14	9
2	42	9
3	85	9
4	119	9
5	132	9
done	132	9
0	9	9
1	14	8
2	20	8
3	37	8
4	66	8
5	108	8
6	209	8
7	555	8
8	1970	8
done	5000	8
0	8	8
1	13	8
2	22	8
3	36	8
4	49	8
5	52	8
done	52	8
0	8	8
1	16	8
2	27	8
3	46	8
4	76	8
5	116	8
6	247	8
7	716	8
8	2279	8
done	5000	8
0	9	17
1	14	17
2	23	17
3	37	17
4	50	17
5	53	17
done	53	17
0	8	8
1	13	8
2	22	8
3	36	8
4	49	8
5	52	8
done	52	8
0	9	23
1	15	23
2	38	9
3	111	9
4	475	9
5	2437	9
done	5000	9
0	8	8
1	13	8
2	22	8
3	36	8
4	49	8
5	52	8
done	52	8
0	8	8
1	13	8
2	22	8
3	36	8
4	49	8
5	52	8
done	52	8
0	10	11
1	31	11
2	91	11
3	355	11
4	1931	11
done	5000	11
0	11	23
1	27	17
2	72	17
3	185	17
4	412	17
5	568	17
6	602	17
7	606	17
done	606	17
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	9	15
1	21	15
2	54	15
3	191	15
4	627	15
5	1466	15
6	2011	15
7	2473	15
8	4304	15
done	5001	15
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	9
1	14	9
2	19	9
3	22	9
4	23	9
done	23	9
0	7	7
1	12	7
2	21	7
3	35	7
4	48	7
5	51	7
done	51	7
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	17	21
1	45	21
2	147	21
3	341	19
4	751	19
5	1699	15
done	5000	15
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	3	3
1	4	3
done	4	3
0	7	7
1	15	7
2	37	7
3	49	7
4	56	7
5	66	7
6	90	7
7	158	7
8	368	7
9	1300	7
done	5000	7
0	7	7
1	15	7
2	37	7
3	49	7
4	56	7
5	66	7
6	90	7
7	158	7
8	368	7
9	1300	7
done	5000	7
0	8	9
1	20	9
2	77	9
3	126	9
4	163	9
5	180	9
6	222	9
7	340	9
8	751	9
9	2606	9
done	5001	9
0	8	9
1	20	9
2	77	9
3	126	9
4	163	9
5	180	9
6	222	9
7	340	9
8	751	9
9	2606	9
done	5001	9
0	8	9
1	20	9
2	77	9
3	126	9
4	163	9
5	180	9
6	222	9
7	340	9
8	751	9
9	2606	9
done	5001	9
0	7	7
1	13	7
2	30	7
3	57	7
4	61	7
done	61	7
0	7	7
1	13	7
2	30	7
3	57	7
4	61	7
done	61	7
0	7	7
1	13	7
2	30	7
3	57	7
4	61	7
done	61	7

prune268.0ms

Filtered

119 candidates to 162 candidates (-36.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	162	4	166

Merged error: 0b

Counts

166 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)))
0.1b	(pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)
8.8b	(/ y (+ 1.0 (/ (* x y) 2.0)))
43.7b	(cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

81×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `times-frac`
48×	`cbrt-prod`
47×	`add-cube-cbrt`
38×	`unpow-prod-down` `cube-prod`
16×	`distribute-lft-out`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
7×	`difference-of-squares`
6×	`add-log-exp`
5×	`pow1` `flip3-+` `flip-+` `div-inv`
4×	`associate-/r*`
3×	`pow-unpow` `associate-/l*` `sqr-pow`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt`
1×	`pow-to-exp` `sub-neg` `cbrt-div` `flip3--` `pow-pow` `frac-2neg` `pow1/3` `diff-log` `clear-num` `flip--` `rem-cbrt-cube` `distribute-lft-out--`

Counts

4 → 161

Calls

4 calls:

22.0ms	(- x (cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)))
15.0ms	(pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)
7.0ms	(/ y (+ 1.0 (/ (* x y) 2.0)))
10.0ms	(cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3))

series74.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- x (cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)))
31.0ms	(pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3)
14.0ms	(/ y (+ 1.0 (/ (* x y) 2.0)))
18.0ms	(cbrt (pow (/ y (+ 1.0 (/ (* x y) 2.0))) 3))

simplify8.5min

Counts

173 → 173

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	12	13
1	27	10
2	58	10
3	137	10
4	380	10
5	1242	10
done	5001	10
0	12	13
1	27	10
2	55	10
3	132	10
4	374	10
5	1235	10
done	5000	10
0	13	24
1	27	21
2	52	13
3	96	13
4	199	13
5	479	12
6	1534	12
done	5000	12
0	12	13
1	24	10
2	34	10
3	47	10
4	69	10
5	129	10
6	339	10
7	1265	10
done	5000	10
0	12	13
1	24	10
2	34	10
3	52	10
4	78	10
5	140	10
6	349	10
7	1278	10
done	5000	10
0	12	13
1	24	10
2	34	10
3	52	10
4	78	10
5	140	10
6	349	10
7	1278	10
done	5000	10
0	15	26
1	36	23
2	109	23
3	399	14
4	1738	14
done	5001	14
0	13	14
1	28	11
2	56	10
3	95	10
4	158	10
5	305	10
6	655	10
7	2181	10
done	5000	10
0	14	17
1	31	14
2	73	14
3	212	14
4	644	14
5	1800	14
done	5000	14
0	13	14
1	28	11
2	56	11
3	95	11
4	167	11
5	338	11
6	734	11
7	2343	11
done	5001	11
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	13
1	27	10
2	55	10
3	110	10
4	247	10
5	741	10
6	2369	10
done	5000	10
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	13
1	27	10
2	55	10
3	110	10
4	247	10
5	741	10
6	2369	10
done	5000	10
0	14	23
1	31	20
2	71	20
3	200	16
4	650	16
5	2336	16
done	5000	16
0	13	14
1	28	11
2	56	11
3	117	11
4	273	11
5	763	11
6	3316	11
done	5000	11
0	13	14
1	28	11
2	56	11
3	117	11
4	282	11
5	796	11
6	3387	11
done	5000	11
0	13	14
1	28	11
2	56	11
3	117	11
4	282	11
5	796	11
6	3387	11
done	5000	11
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	13
1	27	10
2	55	10
3	132	10
4	362	10
5	1191	10
done	5000	10
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	13
1	27	10
2	55	10
3	132	10
4	362	10
5	1191	10
done	5000	10
0	14	22
1	33	19
2	68	19
3	163	13
4	427	13
5	1001	13
6	3525	12
done	5000	12
0	12	13
1	27	10
2	55	10
3	116	10
4	281	10
5	793	10
6	3444	10
done	5001	10
0	13	13
1	30	10
2	53	10
3	90	10
4	161	10
5	303	10
6	889	10
7	3182	10
done	5001	10
0	12	13
1	27	10
2	55	10
3	116	10
4	290	10
5	826	10
6	3544	10
done	5000	10
0	5	6
1	16	1
done	16	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	5	6
1	16	1
done	16	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	4	4
1	14	1
2	18	1
done	18	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	12	12
1	29	9
2	52	9
3	105	9
4	241	9
5	708	9
6	2612	9
done	5000	9
0	13	16
1	41	13
2	106	13
3	370	13
4	1927	13
done	5000	13
0	14	26
1	39	17
2	115	17
3	414	17
4	2272	17
done	5000	17
0	13	20
1	36	17
2	98	17
3	382	17
4	1896	17
done	5001	17
0	10	10
1	23	7
2	50	7
3	128	7
4	509	7
5	2532	7
done	5000	7
0	10	20
1	18	20
2	28	20
3	38	20
4	60	20
5	122	20
6	297	20
7	593	20
8	1003	18
9	3393	18
done	5000	18
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	13	26
1	27	20
2	55	20
3	132	20
4	374	20
5	1226	20
done	5000	20
0	12	13
1	27	10
2	55	10
3	132	10
4	374	10
5	1235	10
done	5000	10
0	13	24
1	27	21
2	52	13
3	96	13
4	199	13
5	479	12
6	1534	12
done	5000	12
0	12	13
1	24	10
2	34	10
3	47	10
4	69	10
5	129	10
6	339	10
7	1265	10
done	5000	10
0	12	13
1	24	10
2	34	10
3	52	10
4	78	10
5	140	10
6	349	10
7	1278	10
done	5000	10
0	12	13
1	24	10
2	34	10
3	52	10
4	78	10
5	140	10
6	349	10
7	1278	10
done	5000	10
0	15	26
1	36	23
2	109	23
3	399	14
4	1738	14
done	5001	14
0	13	14
1	28	11
2	56	10
3	95	10
4	158	10
5	305	10
6	655	10
7	2181	10
done	5000	10
0	14	17
1	31	14
2	73	14
3	212	14
4	644	14
5	1800	14
done	5000	14
0	13	14
1	28	11
2	56	11
3	95	11
4	167	11
5	338	11
6	734	11
7	2343	11
done	5001	11
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	13
1	27	10
2	55	10
3	110	10
4	247	10
5	741	10
6	2369	10
done	5000	10
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	12	13
1	27	10
2	55	10
3	110	10
4	247	10
5	741	10
6	2369	10
done	5000	10
0	14	23
1	31	20
2	71	20
3	200	16
4	650	16
5	2336	16
done	5000	16
0	13	14
1	28	11
2	56	11
3	117	11
4	273	11
5	763	11
6	3316	11
done	5000	11
0	13	14
1	28	11
2	56	11
3	117	11
4	282	11
5	796	11
6	3387	11
done	5000	11
0	13	14
1	28	11
2	56	11
3	117	11
4	282	11
5	796	11
6	3387	11
done	5000	11
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	13
1	27	10
2	55	10
3	132	10
4	362	10
5	1191	10
done	5000	10
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	12	13
1	27	10
2	55	10
3	132	10
4	362	10
5	1191	10
done	5000	10
0	14	22
1	33	19
2	68	19
3	163	13
4	427	13
5	1001	13
6	3525	12
done	5000	12
0	12	13
1	27	10
2	55	10
3	116	10
4	281	10
5	793	10
6	3444	10
done	5001	10
0	13	13
1	30	10
2	53	10
3	90	10
4	161	10
5	303	10
6	889	10
7	3182	10
done	5001	10
0	12	13
1	27	10
2	55	10
3	116	10
4	290	10
5	826	10
6	3544	10
done	5000	10
0	5	6
1	16	1
done	16	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	5	6
1	16	1
done	16	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	4	4
1	14	1
2	18	1
done	18	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	12	12
1	29	9
2	52	9
3	105	9
4	241	9
5	708	9
6	2612	9
done	5000	9
0	13	16
1	41	13
2	106	13
3	370	13
4	1927	13
done	5000	13
0	14	26
1	39	17
2	115	17
3	414	17
4	2272	17
done	5000	17
0	13	20
1	36	17
2	98	17
3	382	17
4	1896	17
done	5001	17
0	10	10
1	23	7
2	50	7
3	128	7
4	509	7
5	2532	7
done	5000	7
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	10	20
1	18	20
2	28	20
3	38	20
4	60	20
5	122	20
6	297	20
7	593	20
8	1003	18
9	3393	18
done	5000	18
0	12	13
1	27	13
2	56	13
3	133	13
4	376	13
5	1235	13
done	5001	13
0	12	13
1	27	13
2	56	13
3	133	13
4	376	13
5	1235	13
done	5001	13
0	2	2
1	4	1
done	4	1
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	13	14
1	22	12
2	32	12
3	45	12
4	67	12
5	127	12
6	336	12
7	1251	12
done	5000	12
0	13	14
1	22	12
2	32	12
3	45	12
4	67	12
5	127	12
6	336	12
7	1251	12
done	5000	12
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	10	10
1	22	7
2	48	7
3	123	7
4	426	7
5	1516	7
6	4856	7
done	5000	7
0	13	27
1	28	21
2	56	21
3	133	21
4	375	21
5	1239	21
done	5000	21
0	12	13
1	27	10
2	55	10
3	132	10
4	374	10
5	1235	10
done	5000	10
0	13	38
1	26	11
2	54	11
3	131	11
4	373	11
5	1233	11
done	5000	11
0	12	13
1	27	10
2	55	10
3	132	10
4	374	10
5	1235	10
done	5000	10
0	12	13
1	27	10
2	55	10
3	132	10
4	374	10
5	1235	10
done	5000	10
0	10	11
1	16	11
2	21	11
3	24	11
4	25	11
done	25	11
0	9	10
1	16	10
2	22	10
3	26	10
4	27	10
done	27	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	12	29
1	37	29
2	119	13
3	391	11
4	1289	11
5	4210	11
done	5000	11
0	10	21
1	14	21
2	18	21
3	21	21
4	22	21
done	22	21
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	10	29
1	21	29
2	41	11
3	82	11
4	166	11
5	367	11
6	1043	11
7	3609	11
done	5000	11
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	2	2
done	2	2
0	8	8
1	15	8
2	25	8
3	40	8
4	53	8
5	56	8
done	56	8
0	12	23
1	22	23
2	35	23
3	44	23
4	45	23
done	45	23
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	11	14
1	17	14
2	23	14
3	27	14
4	28	14
done	28	14
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	11	20
1	17	20
2	21	20
3	24	20
4	25	20
done	25	20
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	11	19
1	19	19
2	23	19
3	26	19
4	27	19
done	27	19
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	10	10
1	16	10
2	20	10
3	23	10
4	24	10
done	24	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	2	3
1	4	1
done	4	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	2	3
1	4	1
done	4	1
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	15	9
2	19	9
3	22	9
4	23	9
done	23	9
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	19
1	16	19
2	20	19
3	23	19
4	24	19
done	24	19
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	17	10
3	20	10
4	21	10
done	21	10
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	11	13
1	31	13
2	76	13
3	262	13
4	1218	13
done	5000	13
0	10	17
1	22	17
2	57	17
3	194	17
4	627	17
5	1453	17
6	2015	17
7	2474	17
8	4269	17
done	5001	17
0	12	13
1	19	13
2	30	13
3	38	13
4	44	13
done	44	13
0	11	12
1	19	12
2	25	12
3	35	12
4	41	12
5	46	12
done	46	12
0	11	12
1	19	12
2	25	12
3	35	12
4	41	12
5	46	12
done	46	12
0	3	3
1	6	1
done	6	1
0	12	15
1	20	15
2	31	15
3	58	15
4	115	15
5	270	15
6	896	15
7	3357	15
done	5000	15
0	11	12
1	19	12
2	28	12
3	49	12
4	89	12
5	193	12
6	570	12
7	2194	12
done	5000	12
0	10	11
1	21	9
2	32	9
3	46	9
4	71	9
5	137	9
6	357	9
7	1292	9
done	5000	9
0	12	23
1	26	23
2	51	12
3	93	12
4	196	12
5	474	12
6	1534	12
done	5001	12
0	11	12
1	23	9
2	33	9
3	46	9
4	68	9
5	128	9
6	333	9
7	1257	9
done	5000	9
0	11	12
1	23	12
2	33	12
3	51	12
4	77	12
5	141	12
6	356	12
7	1282	12
done	5000	12
0	11	12
1	23	12
2	33	12
3	51	12
4	77	12
5	141	12
6	356	12
7	1282	12
done	5000	12
0	14	25
1	35	25
2	108	25
3	398	13
4	1726	13
done	5001	13
0	12	13
1	27	13
2	55	9
3	94	9
4	157	9
5	299	9
6	660	9
7	2184	9
done	5001	9
0	13	16
1	30	16
2	72	16
3	211	14
4	645	14
5	1788	14
done	5000	14
0	12	13
1	27	13
2	55	12
3	94	12
4	166	12
5	332	12
6	735	12
7	2336	12
done	5001	12
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	12
1	26	12
2	54	11
3	109	11
4	246	11
5	736	11
6	2380	11
done	5000	11
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	12
1	26	12
2	54	11
3	109	11
4	246	11
5	736	11
6	2380	11
done	5000	11
0	13	22
1	30	22
2	70	22
3	199	15
4	647	15
5	2320	15
done	5000	15
0	12	13
1	27	13
2	55	12
3	116	12
4	272	12
5	761	12
6	3294	12
done	5000	12
0	12	13
1	27	13
2	55	13
3	116	13
4	281	13
5	794	13
6	3368	13
done	5000	13
0	12	13
1	27	13
2	55	13
3	116	13
4	281	13
5	794	13
6	3368	13
done	5000	13
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	12
1	26	12
2	54	12
3	131	12
4	361	12
5	1194	12
done	5000	12
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	12
1	26	12
2	54	12
3	131	12
4	361	12
5	1194	12
done	5000	12
0	13	21
1	32	21
2	67	21
3	162	12
4	418	12
5	1005	12
6	3522	12
done	5001	12
0	11	12
1	26	12
2	54	11
3	115	11
4	280	11
5	795	11
6	3442	11
done	5000	11
0	12	12
1	29	12
2	52	12
3	89	12
4	160	12
5	306	12
6	889	12
7	3165	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	115	12
4	289	12
5	828	12
6	3537	12
done	5000	12
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	11
1	25	11
2	53	11
3	130	11
4	372	11
5	1234	11
done	5000	11
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	11
1	25	11
2	53	11
3	130	11
4	372	11
5	1234	11
done	5000	11
0	3	3
1	13	1
done	13	1
0	10	11
1	25	11
2	53	11
3	130	11
4	372	11
5	1234	11
done	5000	11
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	11	11
1	28	11
2	51	11
3	104	11
4	240	11
5	707	11
6	2647	11
done	5000	11
0	12	15
1	40	15
2	105	15
3	369	15
4	1918	15
done	5000	15
0	13	25
1	38	19
2	114	19
3	415	19
4	2278	19
done	5001	19
0	12	19
1	35	19
2	97	19
3	381	19
4	1896	19
done	5001	19
0	9	9
1	22	9
2	49	9
3	127	9
4	506	9
5	2527	9
done	5000	9
0	9	19
1	17	19
2	27	19
3	37	19
4	59	19
5	121	19
6	298	19
7	587	19
8	1000	17
9	3443	17
done	5000	17
0	11	12
1	28	12
2	68	12
3	174	12
4	542	12
5	1823	12
done	5000	12
0	11	12
1	26	12
2	60	12
3	149	12
4	441	12
5	1485	12
done	5001	12
0	12	25
1	26	19
2	54	19
3	131	19
4	373	19
5	1235	19
done	5000	19
0	11	12
1	26	9
2	54	9
3	131	9
4	373	9
5	1237	9
done	5000	9
0	12	35
1	31	23
2	100	13
3	457	13
4	4443	13
done	5000	13
0	12	23
1	26	23
2	51	12
3	93	12
4	196	12
5	474	12
6	1534	12
done	5001	12
0	11	12
1	23	9
2	33	9
3	46	9
4	68	9
5	128	9
6	333	9
7	1257	9
done	5000	9
0	11	12
1	23	12
2	33	12
3	51	12
4	77	12
5	141	12
6	356	12
7	1282	12
done	5000	12
0	11	12
1	23	12
2	33	12
3	51	12
4	77	12
5	141	12
6	356	12
7	1282	12
done	5000	12
0	14	25
1	35	25
2	108	25
3	398	13
4	1726	13
done	5001	13
0	12	13
1	27	13
2	55	9
3	94	9
4	157	9
5	299	9
6	660	9
7	2184	9
done	5001	9
0	13	16
1	30	16
2	72	16
3	211	14
4	645	14
5	1788	14
done	5000	14
0	12	13
1	27	13
2	55	12
3	94	12
4	166	12
5	332	12
6	735	12
7	2336	12
done	5001	12
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	12
1	26	12
2	54	11
3	109	11
4	246	11
5	736	11
6	2380	11
done	5000	11
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	11	12
1	26	12
2	54	11
3	109	11
4	246	11
5	736	11
6	2380	11
done	5000	11
0	13	22
1	30	22
2	70	22
3	199	15
4	647	15
5	2320	15
done	5000	15
0	12	13
1	27	13
2	55	12
3	116	12
4	272	12
5	761	12
6	3294	12
done	5000	12
0	12	13
1	27	13
2	55	13
3	116	13
4	281	13
5	794	13
6	3368	13
done	5000	13
0	12	13
1	27	13
2	55	13
3	116	13
4	281	13
5	794	13
6	3368	13
done	5000	13
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	12
1	26	12
2	54	12
3	131	12
4	361	12
5	1194	12
done	5000	12
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	11	12
1	26	12
2	54	12
3	131	12
4	361	12
5	1194	12
done	5000	12
0	13	21
1	32	21
2	67	21
3	162	12
4	418	12
5	1005	12
6	3522	12
done	5001	12
0	11	12
1	26	12
2	54	11
3	115	11
4	280	11
5	795	11
6	3442	11
done	5000	11
0	12	12
1	29	12
2	52	12
3	89	12
4	160	12
5	306	12
6	889	12
7	3165	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	115	12
4	289	12
5	828	12
6	3537	12
done	5000	12
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	11
1	25	11
2	53	11
3	130	11
4	372	11
5	1234	11
done	5000	11
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	10	11
1	25	11
2	53	11
3	130	11
4	372	11
5	1234	11
done	5000	11
0	3	3
1	13	1
done	13	1
0	10	11
1	25	11
2	53	11
3	130	11
4	372	11
5	1234	11
done	5000	11
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	11	11
1	28	11
2	51	11
3	104	11
4	240	11
5	707	11
6	2647	11
done	5000	11
0	12	15
1	40	15
2	105	15
3	369	15
4	1918	15
done	5000	15
0	13	25
1	38	19
2	114	19
3	415	19
4	2278	19
done	5001	19
0	12	19
1	35	19
2	97	19
3	381	19
4	1896	19
done	5001	19
0	9	9
1	22	9
2	49	9
3	127	9
4	506	9
5	2527	9
done	5000	9
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	9	9
1	21	9
2	47	9
3	122	9
4	425	9
5	1520	9
6	4865	9
done	5000	9
0	9	19
1	17	19
2	27	19
3	37	19
4	59	19
5	121	19
6	298	19
7	587	19
8	1000	17
9	3443	17
done	5000	17
0	11	12
1	26	12
2	55	12
3	132	12
4	375	12
5	1238	12
done	5000	12
0	11	12
1	26	12
2	55	12
3	132	12
4	375	12
5	1238	12
done	5000	12
0	12	13
1	21	11
2	31	11
3	44	11
4	66	11
5	126	11
6	326	11
7	1240	11
done	5000	11
0	12	13
1	21	11
2	31	11
3	44	11
4	66	11
5	126	11
6	326	11
7	1240	11
done	5000	11
0	14	16
1	31	12
2	61	12
3	143	12
4	385	12
5	1251	12
done	5000	12
0	13	15
1	30	12
2	61	12
3	138	12
4	378	12
5	1237	12
done	5000	12
0	13	15
1	33	12
2	66	12
3	146	12
4	394	12
5	1253	12
done	5000	12
0	14	31
1	31	25
2	62	25
3	139	25
4	381	25
5	1246	25
done	5001	25
0	13	15
1	30	12
2	61	12
3	138	12
4	378	12
5	1237	12
done	5000	12
0	14	44
1	32	35
2	76	13
3	201	13
4	602	13
5	2054	13
done	5001	13
0	13	15
1	30	12
2	61	12
3	138	12
4	378	12
5	1237	12
done	5000	12
0	13	15
1	30	12
2	61	12
3	138	12
4	378	12
5	1237	12
done	5000	12
0	14	18
1	38	15
2	84	15
3	213	15
4	672	15
5	2401	15
done	5000	15
0	16	44
1	37	25
2	76	25
3	162	25
4	405	25
5	1267	25
done	5000	25
0	12	13
1	27	10
2	57	10
3	134	10
4	376	10
5	1236	10
done	5000	10
0	14	29
1	33	23
2	68	23
3	168	23
4	454	23
5	1392	23
done	5000	23
0	12	14
1	28	11
2	56	11
3	133	11
4	375	11
5	1233	11
done	5000	11
0	14	16
1	27	13
2	37	13
3	55	13
4	81	13
5	143	13
6	353	13
7	1273	13
done	5001	13
0	14	16
1	28	13
2	39	13
3	57	13
4	83	13
5	147	13
6	356	13
7	1276	13
done	5000	13
0	15	17
1	31	14
2	59	14
3	120	14
4	286	14
5	798	14
6	3405	14
done	5001	14
0	15	17
1	32	14
2	63	14
3	124	14
4	290	14
5	793	14
6	3398	14
done	5000	14
0	14	16
1	27	13
2	37	13
3	55	13
4	81	13
5	143	13
6	353	13
7	1273	13
done	5001	13
0	14	16
1	28	13
2	39	13
3	57	13
4	83	13
5	147	13
6	356	13
7	1276	13
done	5000	13
0	15	17
1	31	14
2	59	14
3	120	14
4	286	14
5	798	14
6	3405	14
done	5001	14
0	15	17
1	32	14
2	63	14
3	124	14
4	290	14
5	793	14
6	3398	14
done	5000	14
0	14	16
1	30	16
2	59	16
3	136	16
4	376	16
5	1229	16
done	5000	16
0	14	16
1	31	16
2	61	16
3	138	16
4	378	16
5	1236	16
done	5001	16
0	15	17
1	24	15
2	34	15
3	48	15
4	76	15
5	137	15
6	351	15
7	1273	15
done	5000	15
0	15	17
1	26	15
2	37	15
3	50	15
4	74	15
5	136	15
6	346	15
7	1277	15
done	5000	15
0	14	16
1	30	13
2	58	13
3	135	13
4	374	13
5	1227	13
done	5000	13
0	14	16
1	31	13
2	60	13
3	137	13
4	376	13
5	1228	13
done	5001	13
0	12	14
1	29	11
2	60	11
3	137	11
4	379	11
5	1242	11
done	5000	11
0	12	13
1	27	10
2	57	10
3	134	10
4	376	10
5	1236	10
done	5000	10
0	17	21
1	45	21
2	147	21
3	341	19
4	751	19
5	1699	15
done	5000	15
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	22	30
1	56	30
2	172	30
3	481	30
4	1601	25
done	5000	25
0	17	21
1	45	21
2	147	21
3	341	19
4	751	19
5	1699	15
done	5000	15
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	21	27
1	56	27
2	172	21
3	587	21
4	2861	21
done	5000	21
0	19	23
1	52	23
2	148	23
3	361	21
4	871	19
5	2499	19
done	5000	19
0	24	29
1	64	29
2	181	23
3	522	23
4	1804	23
done	5000	23
0	24	29
1	64	29
2	181	23
3	522	23
4	1804	23
done	5000	23
0	11	13
1	26	13
2	65	13
3	90	13
4	116	11
5	177	11
6	349	11
7	633	11
8	869	11
9	1803	11
done	5001	11
0	6	7
1	13	7
2	25	5
3	34	5
4	47	5
5	67	5
6	73	5
7	77	5
8	79	5
done	79	5
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8

prune222.0ms

Filtered

105 candidates to 173 candidates (-64.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	173	4	177

Merged error: 0b

Counts

177 → 4

regimes124.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	11	11
done	11	11

end0.0ms

sample578.0ms

Algorithm

intervals

Results

304.0ms	7997×	body	80	valid
0.0ms	2×	body	2560	valid
0.0ms	1×	body	640	valid

Details

sample21.0ms

simplify12.0ms

prune3.0ms

localize7.0ms

rewrite20.0ms

series26.0ms

simplify36.3s

prune89.0ms

localize10.0ms

rewrite50.0ms

series29.0ms

simplify1.1min

prune156.0ms

localize13.0ms

rewrite46.0ms

series67.0ms

simplify8.7min

prune268.0ms

localize11.0ms

rewrite62.0ms

series74.0ms

simplify8.5min

prune222.0ms

regimes124.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample578.0ms

Profiling