Details

sample18.0ms

Algorithm

intervals

Results

6.0ms	234×	body	80	valid
1.0ms	7×	body	2560	valid
1.0ms	7×	body	1280	valid
0.0ms	4×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	160	valid

simplify114.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	29	7
4	39	7
5	48	7
6	53	7
7	62	7
8	78	7
9	99	7
10	110	7
11	112	7
12	116	7
13	119	7
done	119	7

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

9.0ms

(+ x (/ (- x y) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ x (/ (- x y) 2.0))

simplify9.3s

Counts

16 → 16

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	16	8
2	25	8
3	41	8
4	65	8
5	93	8
6	124	8
7	206	8
8	301	8
9	431	8
10	469	8
11	475	8
12	478	8
done	478	8
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	7	8
1	16	8
2	27	8
3	47	8
4	73	8
5	105	8
6	142	8
7	254	8
8	398	8
9	448	8
10	456	8
11	460	8
12	463	8
done	463	8
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	8	23
1	27	23
2	74	9
3	240	9
4	1103	9
done	5000	9
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	9	11
1	31	11
2	61	11
3	178	11
4	572	11
5	1844	11
done	5001	11
0	10	23
1	29	17
2	69	17
3	181	17
4	502	17
5	1477	17
6	4302	17
done	5000	17
0	8	15
1	22	15
2	50	15
3	160	15
4	505	15
5	1486	15
done	5000	15
0	6	7
1	13	7
2	21	7
3	33	7
4	50	7
5	54	7
6	61	7
7	76	7
8	103	7
9	114	7
10	116	7
done	116	7
0	6	7
1	12	7
2	19	7
3	29	7
4	39	7
5	48	7
6	53	7
7	62	7
8	78	7
9	99	7
10	110	7
11	112	7
12	116	7
13	119	7
done	119	7
0	4	5
1	5	5
done	5	5
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune39.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	11	5	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	6	17

Merged error: 0.1b

Counts

17 → 6

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* 1.5 x) (* 0.5 y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

4.0ms

(- (* 1.5 x) (* 0.5 y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(- (* 1.5 x) (* 0.5 y))

simplify12.8s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune33.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	15	6	21

Merged error: 0.1b

Counts

21 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

24.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series213.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
48.0ms	(cbrt (+ x (/ (- x y) 2.0)))
52.0ms	(cbrt (+ x (/ (- x y) 2.0)))
48.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify1.8min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	18
1	15	18
2	22	18
3	32	18
4	42	18
5	51	18
6	56	18
7	65	18
8	81	18
9	102	18
10	113	18
11	115	18
12	119	18
13	122	18
done	122	18
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	10	12
1	32	12
2	62	12
3	179	12
4	573	12
5	1839	12
done	5000	12
0	11	24
1	30	18
2	70	18
3	182	18
4	503	18
5	1482	18
6	4313	18
done	5000	18
0	9	16
1	23	16
2	51	16
3	161	16
4	506	16
5	1488	16
done	5000	16
0	7	8
1	14	8
2	22	8
3	34	8
4	51	8
5	56	8
6	63	8
7	78	8
8	105	8
9	116	8
10	118	8
done	118	8
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	26
1	16	26
2	25	10
3	40	7
4	56	7
5	75	7
6	103	7
7	175	7
8	402	7
9	1354	7
done	5001	7
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	18
1	15	18
2	22	18
3	32	18
4	42	18
5	51	18
6	56	18
7	65	18
8	81	18
9	102	18
10	113	18
11	115	18
12	119	18
13	122	18
done	122	18
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	10	12
1	32	12
2	62	12
3	179	12
4	573	12
5	1839	12
done	5000	12
0	11	24
1	30	18
2	70	18
3	182	18
4	503	18
5	1482	18
6	4313	18
done	5000	18
0	9	16
1	23	16
2	51	16
3	161	16
4	506	16
5	1488	16
done	5000	16
0	7	8
1	14	8
2	22	8
3	34	8
4	51	8
5	56	8
6	63	8
7	78	8
8	105	8
9	116	8
10	118	8
done	118	8
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	26
1	16	26
2	25	10
3	40	7
4	56	7
5	75	7
6	103	7
7	175	7
8	402	7
9	1354	7
done	5001	7
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	18
1	15	18
2	22	18
3	32	18
4	42	18
5	51	18
6	56	18
7	65	18
8	81	18
9	102	18
10	113	18
11	115	18
12	119	18
13	122	18
done	122	18
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	10	12
1	32	12
2	62	12
3	179	12
4	573	12
5	1839	12
done	5000	12
0	11	24
1	30	18
2	70	18
3	182	18
4	503	18
5	1482	18
6	4313	18
done	5000	18
0	9	16
1	23	16
2	51	16
3	161	16
4	506	16
5	1488	16
done	5000	16
0	7	8
1	14	8
2	22	8
3	34	8
4	51	8
5	56	8
6	63	8
7	78	8
8	105	8
9	116	8
10	118	8
done	118	8
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	26
1	16	26
2	25	10
3	40	7
4	56	7
5	75	7
6	103	7
7	175	7
8	402	7
9	1354	7
done	5001	7
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	7	15
1	19	15
2	43	15
3	109	15
4	374	15
5	1509	15
done	5001	15
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	2	3
1	6	1
done	6	1
0	9	19
1	17	11
2	25	11
3	35	11
4	45	11
5	54	11
6	59	11
7	68	11
8	84	11
9	105	11
10	116	11
11	118	11
12	122	11
13	125	11
done	125	11
0	9	18
1	17	18
2	26	11
3	37	11
4	47	11
5	56	11
6	61	11
7	70	11
8	86	11
9	107	11
10	118	11
11	120	11
12	124	11
13	127	11
done	127	11
0	9	18
1	17	18
2	28	18
3	43	18
4	71	18
5	122	18
6	234	18
7	624	18
8	2314	18
done	5000	18
0	7	15
1	19	15
2	43	15
3	109	15
4	374	15
5	1509	15
done	5001	15
0	10	37
1	16	37
2	23	37
3	33	37
4	43	37
5	52	37
6	57	37
7	66	37
8	82	37
9	103	37
10	114	37
11	116	37
12	120	37
13	123	37
done	123	37
0	9	18
1	15	18
2	22	18
3	32	18
4	42	18
5	51	18
6	56	18
7	65	18
8	81	18
9	102	18
10	113	18
11	115	18
12	119	18
13	122	18
done	122	18
0	10	53
1	24	53
2	39	19
3	63	10
4	179	10
5	610	10
6	1695	10
done	5000	10
0	9	18
1	16	9
2	23	9
3	33	9
4	43	9
5	52	9
6	57	9
7	66	9
8	82	9
9	103	9
10	114	9
11	116	9
12	120	9
13	123	9
done	123	9
0	9	18
1	16	9
2	23	9
3	33	9
4	43	9
5	52	9
6	57	9
7	66	9
8	82	9
9	103	9
10	114	9
11	116	9
12	120	9
13	123	9
done	123	9
0	11	25
1	33	25
2	63	25
3	180	25
4	574	25
5	1846	25
done	5001	25
0	12	49
1	31	37
2	71	37
3	183	37
4	504	37
5	1480	37
6	4326	37
done	5000	37
0	15	29
1	45	29
2	99	29
3	304	29
4	1036	29
5	3467	29
done	5001	29
0	14	33
1	36	27
2	80	27
3	197	27
4	532	27
5	1461	27
6	4351	27
done	5000	27
0	15	29
1	45	29
2	99	29
3	304	29
4	1038	29
5	3481	29
done	5000	29
0	14	33
1	36	27
2	80	27
3	197	27
4	533	27
5	1468	27
6	4373	27
done	5000	27
0	10	33
1	24	33
2	52	33
3	162	33
4	508	33
5	1490	33
done	5000	33
0	8	17
1	15	17
2	23	17
3	35	17
4	52	17
5	57	17
6	64	17
7	79	17
8	106	17
9	117	17
10	119	17
done	119	17
0	10	37
1	16	37
2	23	37
3	33	37
4	43	37
5	52	37
6	57	37
7	66	37
8	82	37
9	103	37
10	114	37
11	116	37
12	120	37
13	123	37
done	123	37
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	3	5
1	5	3
done	5	1
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	3	5
1	5	3
done	5	1
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	3	5
1	5	3
done	5	1
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	3	5
1	5	3
done	5	1
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	10	39
1	20	39
2	29	21
3	48	11
4	73	11
5	110	11
6	191	11
7	418	11
8	1343	11
done	5000	11
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	9	19
1	15	8
2	23	8
3	33	8
4	43	8
5	52	8
6	57	8
7	66	8
8	82	8
9	103	8
10	114	8
11	116	8
12	120	8
13	123	8
done	123	8
0	9	19
1	15	8
2	23	8
3	33	8
4	43	8
5	52	8
6	57	8
7	66	8
8	82	8
9	103	8
10	114	8
11	116	8
12	120	8
13	123	8
done	123	8
0	2	3
1	4	1
done	4	1
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	11	19
1	18	19
2	25	19
3	35	19
4	45	19
5	54	19
6	59	19
7	68	19
8	84	19
9	105	19
10	116	19
11	118	19
12	122	19
13	125	19
done	125	19
0	11	19
1	18	19
2	25	19
3	35	19
4	45	19
5	54	19
6	59	19
7	68	19
8	84	19
9	105	19
10	116	19
11	118	19
12	122	19
13	125	19
done	125	19
0	11	19
1	18	19
2	25	19
3	35	19
4	45	19
5	54	19
6	59	19
7	68	19
8	84	19
9	105	19
10	116	19
11	118	19
12	122	19
13	125	19
done	125	19
0	11	19
1	18	19
2	25	19
3	35	19
4	45	19
5	54	19
6	59	19
7	68	19
8	84	19
9	105	19
10	116	19
11	118	19
12	122	19
13	125	19
done	125	19
0	9	19
1	15	8
2	23	8
3	33	8
4	43	8
5	52	8
6	57	8
7	66	8
8	82	8
9	103	8
10	114	8
11	116	8
12	120	8
13	123	8
done	123	8
0	9	19
1	15	8
2	23	8
3	33	8
4	43	8
5	52	8
6	57	8
7	66	8
8	82	8
9	103	8
10	114	8
11	116	8
12	120	8
13	123	8
done	123	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	10	27
1	17	27
2	24	27
3	34	27
4	44	27
5	53	27
6	58	27
7	67	27
8	83	27
9	104	27
10	115	27
11	117	27
12	121	27
13	124	27
done	124	27
0	10	18
1	17	18
2	24	18
3	34	18
4	44	18
5	53	18
6	58	18
7	67	18
8	83	18
9	104	18
10	115	18
11	117	18
12	121	18
13	124	18
done	124	18
0	10	11
1	19	10
2	26	10
3	36	8
4	49	8
5	58	8
6	63	8
7	72	8
8	88	8
9	109	8
10	120	8
11	122	8
12	126	8
13	129	8
done	129	8
0	10	11
1	19	10
2	26	10
3	36	8
4	49	8
5	58	8
6	63	8
7	72	8
8	88	8
9	109	8
10	120	8
11	122	8
12	126	8
13	129	8
done	129	8
0	10	28
1	19	28
2	28	28
3	38	28
4	48	28
5	57	28
6	62	28
7	71	28
8	87	28
9	108	28
10	119	28
11	121	28
12	125	28
13	128	28
done	128	28
0	9	18
1	16	18
2	23	18
3	33	18
4	43	18
5	52	18
6	57	18
7	66	18
8	82	18
9	103	18
10	114	18
11	116	18
12	120	18
13	123	18
done	123	18
0	9	10
1	18	8
2	28	8
3	38	8
4	48	8
5	57	8
6	62	8
7	71	8
8	87	8
9	108	8
10	119	8
11	121	8
12	125	8
13	128	8
done	128	8
0	9	18
1	16	18
2	23	18
3	33	18
4	43	18
5	52	18
6	57	18
7	66	18
8	82	18
9	103	18
10	114	18
11	116	18
12	120	18
13	123	18
done	123	18
0	10	18
1	17	18
2	24	18
3	34	18
4	44	18
5	53	18
6	58	18
7	67	18
8	83	18
9	104	18
10	115	18
11	117	18
12	121	18
13	124	18
done	124	18
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	9	18
1	16	18
2	23	18
3	33	18
4	43	18
5	52	18
6	57	18
7	66	18
8	82	18
9	103	18
10	114	18
11	116	18
12	120	18
13	123	18
done	123	18
0	9	18
1	16	18
2	23	18
3	33	18
4	43	18
5	52	18
6	57	18
7	66	18
8	82	18
9	103	18
10	114	18
11	116	18
12	120	18
13	123	18
done	123	18
0	8	17
1	14	17
2	21	17
3	31	17
4	41	17
5	50	17
6	55	17
7	64	17
8	80	17
9	101	17
10	112	17
11	114	17
12	118	17
13	121	17
done	121	17
0	13	21
1	37	21
2	71	21
3	196	21
4	603	21
5	1882	21
done	5001	21
0	12	25
1	27	25
2	56	25
3	168	25
4	535	25
5	1603	25
done	5000	25
0	13	21
1	37	21
2	71	21
3	196	21
4	601	21
5	1885	21
done	5000	21
0	12	25
1	27	25
2	56	25
3	168	25
4	535	25
5	1603	25
done	5000	25
0	21	24
1	42	24
2	87	24
3	186	22
4	449	16
5	1247	16
6	4462	16
done	5000	16
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	302	4
6	639	4
7	2095	4
done	5000	4
0	11	11
1	19	11
2	36	11
3	79	10
4	172	7
5	391	7
6	876	6
7	2524	4
done	5000	4
0	21	24
1	42	24
2	87	24
3	186	22
4	449	16
5	1247	16
6	4462	16
done	5000	16
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	302	4
6	639	4
7	2095	4
done	5000	4
0	11	11
1	19	11
2	36	11
3	79	10
4	172	7
5	391	7
6	876	6
7	2524	4
done	5000	4
0	21	24
1	42	24
2	87	24
3	186	22
4	449	16
5	1247	16
6	4462	16
done	5000	16
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	302	4
6	639	4
7	2095	4
done	5000	4
0	11	11
1	19	11
2	36	11
3	79	10
4	172	7
5	391	7
6	876	6
7	2524	4
done	5000	4
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4490	13
done	5000	13
0	12	12
1	24	11
2	48	11
3	111	9
4	255	6
5	572	6
6	1375	6
7	4824	6
done	5000	6
0	12	12
1	21	12
2	42	12
3	103	11
4	256	8
5	622	8
6	1647	6
done	5000	6

prune258.0ms

Filtered

78 candidates to 107 candidates (-37.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	103	4	107
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	103	10	113

Merged error: 0.0b

Counts

113 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.6b	(cbrt (cbrt (+ x (/ (- x y) 2.0))))
0.6b	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-div`
20×	`cbrt-prod`
14×	`*-un-lft-identity`
9×	`flip3-+` `flip-+`
8×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `frac-times` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-out`
2×	`associate-r/` `associate-l/`

Counts

4 → 62

Calls

4 calls:

10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
11.0ms	(cbrt (cbrt (+ x (/ (- x y) 2.0))))
25.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

series207.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(cbrt (+ x (/ (- x y) 2.0)))
51.0ms	(cbrt (+ x (/ (- x y) 2.0)))
48.0ms	(cbrt (cbrt (+ x (/ (- x y) 2.0))))
61.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

simplify1.6min

Counts

74 → 74

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	19
1	16	19
2	23	19
3	33	19
4	43	19
5	52	19
6	57	19
7	66	19
8	82	19
9	103	19
10	114	19
11	116	19
12	120	19
13	123	19
done	123	19
0	10	19
1	16	19
2	23	19
3	33	19
4	43	19
5	52	19
6	57	19
7	66	19
8	82	19
9	103	19
10	114	19
11	116	19
12	120	19
13	123	19
done	123	19
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	12	26
1	34	26
2	64	26
3	181	26
4	577	26
5	1847	26
done	5000	26
0	13	50
1	32	38
2	72	38
3	184	38
4	506	38
5	1479	38
6	4321	38
done	5000	38
0	16	30
1	46	30
2	100	30
3	305	30
4	1037	30
5	3477	30
done	5000	30
0	15	34
1	37	28
2	81	28
3	198	28
4	534	28
5	1465	28
6	4360	28
done	5000	28
0	16	30
1	46	30
2	100	30
3	305	30
4	1040	30
5	3484	30
done	5001	30
0	15	34
1	37	28
2	81	28
3	198	28
4	533	28
5	1466	28
6	4353	28
done	5000	28
0	11	34
1	25	34
2	53	34
3	163	34
4	509	34
5	1491	34
done	5000	34
0	9	18
1	16	18
2	24	18
3	36	18
4	53	18
5	58	18
6	65	18
7	80	18
8	107	18
9	118	18
10	120	18
done	120	18
0	14	22
1	38	22
2	72	22
3	197	22
4	602	22
5	1888	22
done	5000	22
0	12	25
1	31	19
2	71	19
3	183	19
4	504	19
5	1480	19
6	4326	19
done	5000	19
0	13	26
1	28	26
2	57	26
3	169	26
4	536	26
5	1604	26
done	5001	26
0	8	9
1	15	9
2	23	9
3	35	9
4	52	9
5	57	9
6	64	9
7	79	9
8	106	9
9	117	9
10	119	9
done	119	9
0	14	22
1	38	22
2	72	22
3	197	22
4	601	22
5	1883	22
done	5001	22
0	12	25
1	31	19
2	71	19
3	183	19
4	504	19
5	1480	19
6	4326	19
done	5000	19
0	13	26
1	28	26
2	57	26
3	169	26
4	535	26
5	1604	26
done	5001	26
0	8	9
1	15	9
2	23	9
3	35	9
4	52	9
5	57	9
6	64	9
7	79	9
8	106	9
9	117	9
10	119	9
done	119	9
0	11	39
1	17	39
2	24	39
3	34	39
4	44	39
5	53	39
6	58	39
7	67	39
8	83	39
9	104	39
10	115	39
11	117	39
12	121	39
13	124	39
done	124	39
0	10	19
1	16	19
2	23	19
3	33	19
4	43	19
5	52	19
6	57	19
7	66	19
8	82	19
9	103	19
10	114	19
11	116	19
12	120	19
13	123	19
done	123	19
0	11	56
1	18	56
2	27	20
3	42	17
4	58	17
5	77	17
6	103	17
7	172	17
8	397	17
9	1342	17
done	5000	17
0	10	19
1	16	19
2	23	19
3	33	19
4	43	19
5	52	19
6	57	19
7	66	19
8	82	19
9	103	19
10	114	19
11	116	19
12	120	19
13	123	19
done	123	19
0	10	19
1	16	19
2	23	19
3	33	19
4	43	19
5	52	19
6	57	19
7	66	19
8	82	19
9	103	19
10	114	19
11	116	19
12	120	19
13	123	19
done	123	19
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	10	19
1	16	19
2	23	19
3	33	19
4	43	19
5	52	19
6	57	19
7	66	19
8	82	19
9	103	19
10	114	19
11	116	19
12	120	19
13	123	19
done	123	19
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	3	3
1	5	1
done	5	1
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	3	3
1	5	1
done	5	1
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	10	20
1	16	20
2	23	20
3	33	20
4	43	20
5	52	20
6	57	20
7	66	20
8	82	20
9	103	20
10	114	20
11	116	20
12	120	20
13	123	20
done	123	20
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	2	2
1	4	1
done	4	1
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	11	13
1	33	13
2	63	13
3	180	13
4	574	13
5	1846	13
done	5001	13
0	12	25
1	31	19
2	71	19
3	183	19
4	504	19
5	1480	19
6	4326	19
done	5000	19
0	10	17
1	24	17
2	52	17
3	162	17
4	508	17
5	1490	17
done	5000	17
0	8	9
1	15	9
2	23	9
3	35	9
4	52	9
5	57	9
6	64	9
7	79	9
8	106	9
9	117	9
10	119	9
done	119	9
0	10	21
1	16	21
2	23	21
3	33	21
4	43	21
5	52	21
6	57	21
7	66	21
8	82	21
9	103	21
10	114	21
11	116	21
12	120	21
13	123	21
done	123	21
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	10	29
1	17	29
2	26	11
3	41	8
4	57	8
5	76	8
6	104	8
7	178	8
8	398	8
9	1357	8
done	5000	8
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	9	10
1	15	10
2	22	10
3	32	10
4	42	10
5	51	10
6	56	10
7	65	10
8	81	10
9	102	10
10	113	10
11	115	10
12	119	10
13	122	10
done	122	10
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	18
1	15	18
2	22	18
3	32	18
4	42	18
5	51	18
6	56	18
7	65	18
8	81	18
9	102	18
10	113	18
11	115	18
12	119	18
13	122	18
done	122	18
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	10	12
1	32	12
2	62	12
3	179	12
4	573	12
5	1839	12
done	5000	12
0	11	24
1	30	18
2	70	18
3	182	18
4	503	18
5	1482	18
6	4313	18
done	5000	18
0	9	16
1	23	16
2	51	16
3	161	16
4	506	16
5	1488	16
done	5000	16
0	7	8
1	14	8
2	22	8
3	34	8
4	51	8
5	56	8
6	63	8
7	78	8
8	105	8
9	116	8
10	118	8
done	118	8
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	26
1	16	26
2	25	10
3	40	7
4	56	7
5	75	7
6	103	7
7	175	7
8	402	7
9	1354	7
done	5001	7
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	18
1	15	18
2	22	18
3	32	18
4	42	18
5	51	18
6	56	18
7	65	18
8	81	18
9	102	18
10	113	18
11	115	18
12	119	18
13	122	18
done	122	18
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	20	8
3	30	8
4	40	8
5	49	8
6	54	8
7	63	8
8	79	8
9	100	8
10	111	8
11	113	8
12	117	8
13	120	8
done	120	8
0	10	12
1	32	12
2	62	12
3	179	12
4	573	12
5	1839	12
done	5000	12
0	11	24
1	30	18
2	70	18
3	182	18
4	503	18
5	1482	18
6	4313	18
done	5000	18
0	9	16
1	23	16
2	51	16
3	161	16
4	506	16
5	1488	16
done	5000	16
0	7	8
1	14	8
2	22	8
3	34	8
4	51	8
5	56	8
6	63	8
7	78	8
8	105	8
9	116	8
10	118	8
done	118	8
0	9	19
1	15	19
2	22	19
3	32	19
4	42	19
5	51	19
6	56	19
7	65	19
8	81	19
9	102	19
10	113	19
11	115	19
12	119	19
13	122	19
done	122	19
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	9	26
1	16	26
2	25	10
3	40	7
4	56	7
5	75	7
6	103	7
7	175	7
8	402	7
9	1354	7
done	5001	7
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	8	9
1	14	9
2	21	9
3	31	9
4	41	9
5	50	9
6	55	9
7	64	9
8	80	9
9	101	9
10	112	9
11	114	9
12	118	9
13	121	9
done	121	9
0	20	25
1	42	25
2	94	25
3	203	21
4	480	19
5	1424	15
done	5000	15
0	12	12
1	24	11
2	48	11
3	110	10
4	254	7
5	568	7
6	1367	7
7	4818	7
done	5000	7
0	12	12
1	21	12
2	42	12
3	102	12
4	255	9
5	621	9
6	1642	7
done	5000	7
0	21	24
1	42	24
2	88	24
3	190	23
4	443	18
5	1238	18
6	4411	18
done	5001	18
0	10	10
1	21	9
2	37	8
3	76	8
4	151	5
5	297	5
6	633	5
7	2094	5
done	5000	5
0	11	11
1	19	11
2	36	11
3	78	11
4	171	8
5	388	8
6	871	7
7	2513	5
done	5000	5
0	21	24
1	42	24
2	87	24
3	186	22
4	449	16
5	1247	16
6	4462	16
done	5000	16
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	302	4
6	639	4
7	2095	4
done	5000	4
0	11	11
1	19	11
2	36	11
3	79	10
4	172	7
5	391	7
6	876	6
7	2524	4
done	5000	4
0	21	24
1	42	24
2	87	24
3	186	22
4	449	16
5	1247	16
6	4462	16
done	5000	16
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	302	4
6	639	4
7	2095	4
done	5000	4
0	11	11
1	19	11
2	36	11
3	79	10
4	172	7
5	391	7
6	876	6
7	2524	4
done	5000	4

prune271.0ms

Filtered

63 candidates to 74 candidates (-17.5%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	73	11	84

Merged error: 0.0b

Counts

84 → 11

regimes309.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7

end0.0ms

sample495.0ms

Algorithm

intervals

Results

183.0ms	7397×	body	80	valid
24.0ms	223×	body	1280	valid
14.0ms	159×	body	640	valid
13.0ms	100×	body	2560	valid
10.0ms	89×	body	320	valid
2.0ms	36×	body	160	valid

Details

sample18.0ms

simplify114.0ms

prune2.0ms

localize5.0ms

rewrite10.0ms

series6.0ms

simplify9.3s

prune39.0ms

localize6.0ms

rewrite4.0ms

series6.0ms

simplify12.8s

prune33.0ms

localize9.0ms

rewrite59.0ms

series213.0ms

simplify1.8min

prune258.0ms

localize16.0ms

rewrite59.0ms

series207.0ms

simplify1.6min

prune271.0ms

regimes309.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample495.0ms

Profiling