Details

sample17.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify143.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
40×	`add-sqr-sqrt`
30×	`times-frac`
19×	`distribute-lft-out--`
14×	`add-cube-cbrt`
13×	`difference-of-squares`
6×	`associate-/r*` `distribute-lft-out`
5×	`associate-/l*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 58

Calls

1 calls:

19.0ms

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

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

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

simplify34.7s

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	18	11
2	28	11
3	38	11
4	48	11
5	64	11
6	81	11
7	92	11
8	99	11
9	107	11
10	112	11
11	114	11
12	116	11
done	116	11
0	8	10
1	21	10
2	34	10
3	47	10
4	59	10
5	75	10
6	92	10
7	103	10
8	110	10
9	120	10
10	123	10
11	125	10
12	129	10
done	129	10
0	8	10
1	18	10
2	32	10
3	46	10
4	61	10
5	83	10
6	104	10
7	131	10
8	144	10
9	160	10
10	170	10
11	191	10
12	214	10
13	228	10
14	231	10
15	235	10
16	238	10
done	238	10
0	11	29
1	27	29
2	95	13
3	323	11
4	1241	11
done	5000	11
0	9	21
1	19	21
2	30	21
3	42	21
4	52	21
5	68	21
6	85	21
7	96	21
8	103	21
9	113	21
10	118	21
11	120	21
12	122	21
done	122	21
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	9	29
1	26	29
2	65	11
3	219	11
4	730	11
5	2906	11
done	5000	11
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	11	6
2	23	6
3	41	6
4	88	5
5	100	5
6	119	5
7	133	5
done	133	5
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	11	23
1	24	23
2	42	23
3	58	23
4	68	23
5	84	23
6	101	23
7	112	23
8	119	23
9	129	23
10	136	23
11	138	23
12	140	23
done	140	23
0	9	11
1	16	11
2	25	11
3	35	11
4	45	11
5	61	11
6	78	11
7	89	11
8	96	11
9	104	11
10	111	11
11	113	11
12	115	11
done	115	11
0	10	16
1	19	16
2	30	16
3	41	16
4	51	16
5	67	16
6	84	16
7	95	16
8	102	16
9	112	16
10	117	16
11	119	16
12	123	16
done	123	16
0	9	11
1	16	11
2	25	11
3	35	11
4	45	11
5	61	11
6	78	11
7	89	11
8	96	11
9	104	11
10	111	11
11	113	11
12	115	11
done	115	11
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	77	10
7	88	10
8	95	10
9	101	10
10	106	10
11	108	10
12	112	10
done	112	10
0	11	17
1	17	17
2	20	17
3	21	17
done	21	17
0	10	12
1	15	12
2	17	12
done	17	12
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	77	10
7	88	10
8	95	10
9	101	10
10	106	10
11	108	10
12	112	10
done	112	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	77	10
7	88	10
8	95	10
9	101	10
10	106	10
11	108	10
12	112	10
done	112	10
0	10	18
1	19	18
2	28	18
3	38	18
4	48	18
5	64	18
6	81	18
7	92	18
8	99	18
9	107	18
10	112	18
11	114	18
12	116	18
done	116	18
0	9	11
1	16	11
2	25	11
3	35	11
4	45	11
5	61	11
6	78	11
7	89	11
8	96	11
9	104	11
10	111	11
11	113	11
12	115	11
done	115	11
0	9	11
1	16	11
2	25	11
3	35	11
4	45	11
5	61	11
6	78	11
7	89	11
8	96	11
9	104	11
10	111	11
11	113	11
12	115	11
done	115	11
0	9	11
1	16	11
2	25	11
3	35	11
4	45	11
5	61	11
6	78	11
7	89	11
8	96	11
9	104	11
10	111	11
11	113	11
12	115	11
done	115	11
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	77	10
7	88	10
8	95	10
9	101	10
10	106	10
11	108	10
12	112	10
done	112	10
0	10	12
1	14	12
2	15	12
done	15	12
0	10	12
1	15	12
2	17	12
done	17	12
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	77	10
7	88	10
8	95	10
9	101	10
10	106	10
11	108	10
12	112	10
done	112	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	15	10
2	24	10
3	34	10
4	44	10
5	60	10
6	77	10
7	88	10
8	95	10
9	101	10
10	106	10
11	108	10
12	112	10
done	112	10
0	9	15
1	18	15
2	27	15
3	37	15
4	49	15
5	65	15
6	82	15
7	93	15
8	100	15
9	108	15
10	113	15
11	115	15
12	117	15
done	117	15
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	8	8
1	15	8
2	24	8
3	34	8
4	44	8
5	60	8
6	77	8
7	88	8
8	95	8
9	101	8
10	106	8
11	108	8
12	112	8
done	112	8
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	9
0	9	9
1	13	9
done	13	9
0	9	11
1	17	11
2	21	11
3	23	11
done	23	11
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	9
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	9
0	11	19
1	19	19
2	28	19
3	38	19
4	48	19
5	64	19
6	81	19
7	92	19
8	99	19
9	109	19
10	112	19
11	114	19
12	118	19
done	118	19
0	10	12
1	20	12
2	32	12
3	44	12
4	54	12
5	70	12
6	87	12
7	98	12
8	105	12
9	113	12
10	120	12
11	122	12
12	124	12
done	124	12
0	10	12
1	16	12
2	25	12
3	35	12
4	45	12
5	61	12
6	78	12
7	89	12
8	96	12
9	104	12
10	111	12
11	113	12
12	115	12
done	115	12
0	10	12
1	20	12
2	32	12
3	44	12
4	54	12
5	70	12
6	87	12
7	98	12
8	105	12
9	113	12
10	120	12
11	122	12
12	124	12
done	124	12
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	19	11
2	31	11
3	43	11
4	55	11
5	71	11
6	88	11
7	99	11
8	106	11
9	114	11
10	119	11
11	121	11
12	123	11
done	123	11
0	11	13
1	14	13
done	14	13
0	11	13
1	19	13
2	23	13
3	25	13
done	25	13
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	19	11
2	31	11
3	43	11
4	55	11
5	71	11
6	88	11
7	99	11
8	106	11
9	114	11
10	119	11
11	121	11
12	123	11
done	123	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	19	11
2	31	11
3	43	11
4	55	11
5	71	11
6	88	11
7	99	11
8	106	11
9	114	11
10	119	11
11	121	11
12	123	11
done	123	11
0	9	15
1	18	15
2	27	15
3	37	15
4	49	15
5	65	15
6	82	15
7	93	15
8	100	15
9	108	15
10	113	15
11	115	15
12	117	15
done	117	15
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	8	8
1	15	8
2	24	8
3	34	8
4	44	8
5	60	8
6	77	8
7	88	8
8	95	8
9	101	8
10	106	8
11	108	8
12	112	8
done	112	8
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	9
0	9	9
1	13	9
done	13	9
0	9	11
1	17	11
2	21	11
3	23	11
done	23	11
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	9
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	28	9
3	40	9
4	50	9
5	66	9
6	83	9
7	94	9
8	101	9
9	109	9
10	114	9
11	116	9
12	120	9
done	120	9
0	7	7
1	14	7
2	23	7
3	33	7
4	45	7
5	61	7
6	78	7
7	89	7
8	96	7
9	104	7
10	111	7
11	113	7
12	115	7
done	115	7
0	7	9
1	17	9
2	31	9
3	49	9
4	74	9
5	125	9
6	162	9
7	194	9
8	223	9
9	240	9
10	247	9
done	247	9
0	9	17
1	21	17
2	37	17
3	52	17
4	65	17
5	81	17
6	98	17
7	109	17
8	116	17
9	124	17
10	127	17
11	129	17
12	131	17
done	131	17
0	8	10
1	18	10
2	29	10
3	41	10
4	53	10
5	69	10
6	86	10
7	97	10
8	104	10
9	112	10
10	119	10
11	121	10
12	123	10
done	123	10
0	5	5
1	12	3
2	17	3
done	17	3
0	9	11
1	16	11
2	19	11
3	21	11
done	21	11
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	10
1	18	10
2	32	10
3	50	10
4	75	10
5	126	10
6	163	10
7	195	10
8	224	10
9	243	10
10	249	10
done	249	10
0	8	10
1	18	10
2	32	10
3	50	10
4	75	10
5	126	10
6	163	10
7	195	10
8	224	10
9	243	10
10	249	10
done	249	10
0	7	9
1	17	9
2	31	9
3	49	9
4	74	9
5	125	9
6	162	9
7	194	9
8	223	9
9	240	9
10	247	9
done	247	9
0	9	11
1	19	11
2	34	11
3	52	11
4	79	11
5	130	11
6	168	11
7	200	11
8	229	11
9	246	11
10	252	11
done	252	11
0	7	9
1	17	9
2	31	9
3	49	9
4	74	9
5	125	9
6	162	9
7	194	9
8	223	9
9	240	9
10	247	9
done	247	9
0	10	13
1	31	13
2	72	13
3	177	13
4	485	13
5	1513	13
done	5000	13
0	9	15
1	26	15
2	68	15
3	168	15
4	477	15
5	1353	15
done	5000	15
0	11	17
1	29	15
2	84	15
3	299	15
4	970	15
5	3878	15
done	5000	15
0	6	9
1	18	9
2	46	9
3	117	9
4	278	9
5	735	9
6	1700	9
7	3963	9
done	5000	9
0	11	13
1	24	13
2	53	13
3	68	11
4	89	11
5	120	11
6	180	11
7	311	11
8	586	11
9	1531	11
done	5000	11
0	13	16
1	32	16
2	76	12
3	172	11
4	400	11
5	1200	9
done	5000	9
0	13	16
1	32	16
2	76	12
3	172	11
4	400	11
5	1200	9
done	5000	9

prune68.0ms

Filtered

39 candidates to 61 candidates (-56.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	2	62

Merged error: 0b

Counts

62 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity`
64×	`times-frac`
59×	`add-sqr-sqrt`
41×	`distribute-lft-out--`
27×	`add-cube-cbrt`
14×	`distribute-lft-out` `difference-of-squares`
12×	`associate-/r*`
8×	`associate-/r/`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`div-inv`
3×	`pow1` `distribute-rgt-out--`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`sub-neg` `diff-log` `frac-sub` `sub-div`

Counts

3 → 116

Calls

3 calls:

48.0ms	(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
8.0ms	(/ y (- 2.0 (+ x y)))
9.0ms	(/ x (- 2.0 (+ x y)))

series30.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
7.0ms	(/ y (- 2.0 (+ x y)))
8.0ms	(/ x (- 2.0 (+ x y)))

simplify1.1min

Counts

125 → 125

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	15	9
2	25	9
3	35	9
4	47	9
5	63	9
6	80	9
7	91	9
8	98	9
9	106	9
10	111	9
11	113	9
12	115	9
done	115	9
0	7	8
1	15	8
2	26	8
3	37	8
4	47	8
5	63	8
6	80	8
7	91	8
8	98	8
9	106	8
10	111	8
11	113	8
12	115	8
done	115	8
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	10	23
1	24	23
2	77	11
3	237	9
4	874	9
5	4918	9
done	5000	9
0	8	17
1	13	17
2	22	17
3	32	17
4	44	17
5	60	17
6	77	17
7	88	17
8	95	17
9	101	17
10	106	17
11	108	17
12	110	17
done	110	17
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	8	23
1	20	23
2	45	9
3	111	9
4	295	9
5	1322	9
done	5000	9
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	2	2
done	2	2
0	6	6
1	11	6
2	23	6
3	41	6
4	88	5
5	100	5
6	119	5
7	133	5
done	133	5
0	10	19
1	21	19
2	39	19
3	55	19
4	65	19
5	81	19
6	98	19
7	109	19
8	116	19
9	124	19
10	127	19
11	129	19
12	131	19
done	131	19
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	9	12
1	16	12
2	27	12
3	38	12
4	48	12
5	64	12
6	81	12
7	92	12
8	99	12
9	107	12
10	112	12
11	114	12
12	116	12
done	116	12
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	10	13
1	14	13
2	16	13
3	17	13
done	17	13
0	9	10
1	12	10
2	13	10
done	13	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	9	16
1	16	16
2	25	16
3	35	16
4	47	16
5	63	16
6	80	16
7	91	16
8	98	16
9	106	16
10	111	16
11	113	16
12	115	16
done	115	16
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	9	10
1	11	10
done	11	10
0	9	10
1	12	10
2	13	10
done	13	10
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	9	15
1	18	15
2	27	15
3	37	15
4	49	15
5	65	15
6	82	15
7	93	15
8	100	15
9	108	15
10	113	15
11	115	15
12	117	15
done	117	15
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	8	8
1	15	8
2	24	8
3	34	8
4	44	8
5	60	8
6	77	8
7	88	8
8	95	8
9	101	8
10	106	8
11	108	8
12	112	8
done	112	8
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	9	9
1	13	9
done	13	9
0	8	9
1	11	9
2	12	9
done	12	9
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	7	7
1	14	7
2	23	7
3	33	7
4	45	7
5	61	7
6	78	7
7	89	7
8	96	7
9	104	7
10	111	7
11	113	7
12	115	7
done	115	7
0	6	7
1	14	7
2	28	7
3	46	7
4	73	7
5	126	7
6	163	7
7	190	7
8	213	7
9	230	7
10	237	7
11	243	7
12	248	7
done	248	7
0	8	15
1	15	15
2	24	15
3	34	15
4	44	15
5	60	15
6	77	15
7	88	15
8	95	15
9	101	15
10	106	15
11	108	15
12	110	15
done	110	15
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	3	3
1	5	1
done	5	1
0	8	9
1	10	9
done	10	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	7	8
1	15	8
2	29	8
3	47	8
4	74	8
5	125	8
6	162	8
7	194	8
8	223	8
9	240	8
10	247	8
done	247	8
0	7	8
1	15	8
2	29	8
3	47	8
4	74	8
5	125	8
6	162	8
7	194	8
8	223	8
9	240	8
10	247	8
done	247	8
0	6	7
1	14	7
2	28	7
3	46	7
4	73	7
5	126	7
6	163	7
7	190	7
8	213	7
9	230	7
10	237	7
11	243	7
12	248	7
done	248	7
0	9	11
1	25	11
2	63	11
3	163	11
4	456	11
5	1437	11
done	5000	11
0	8	13
1	20	13
2	55	13
3	147	13
4	445	13
5	1318	13
done	5001	13
0	8	9
1	15	9
2	25	9
3	35	9
4	47	9
5	63	9
6	80	9
7	91	9
8	98	9
9	106	9
10	111	9
11	113	9
12	115	9
done	115	9
0	7	8
1	15	8
2	26	8
3	37	8
4	47	8
5	63	8
6	80	8
7	91	8
8	98	8
9	106	8
10	111	8
11	113	8
12	115	8
done	115	8
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	10	23
1	24	23
2	77	11
3	237	9
4	874	9
5	4918	9
done	5000	9
0	8	17
1	13	17
2	22	17
3	32	17
4	44	17
5	60	17
6	77	17
7	88	17
8	95	17
9	101	17
10	106	17
11	108	17
12	110	17
done	110	17
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	8	23
1	20	23
2	45	9
3	111	9
4	295	9
5	1323	9
done	5001	9
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	2	2
done	2	2
0	6	6
1	11	6
2	23	6
3	41	6
4	88	5
5	100	5
6	119	5
7	133	5
done	133	5
0	10	19
1	21	19
2	39	19
3	55	19
4	65	19
5	81	19
6	98	19
7	109	19
8	116	19
9	124	19
10	127	19
11	129	19
12	131	19
done	131	19
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	9	12
1	16	12
2	27	12
3	38	12
4	48	12
5	64	12
6	81	12
7	92	12
8	99	12
9	107	12
10	112	12
11	114	12
12	116	12
done	116	12
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	10	13
1	14	13
2	16	13
3	17	13
done	17	13
0	9	10
1	12	10
2	13	10
done	13	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	9	16
1	16	16
2	25	16
3	35	16
4	47	16
5	63	16
6	80	16
7	91	16
8	98	16
9	106	16
10	111	16
11	113	16
12	115	16
done	115	16
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	8	9
1	13	9
2	22	9
3	32	9
4	44	9
5	60	9
6	77	9
7	88	9
8	95	9
9	101	9
10	106	9
11	108	9
12	112	9
done	112	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	9	10
1	11	10
done	11	10
0	9	10
1	12	10
2	13	10
done	13	10
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	12	8
2	21	8
3	31	8
4	43	8
5	59	8
6	76	8
7	87	8
8	94	8
9	102	8
10	109	8
11	111	8
12	115	8
done	115	8
0	9	15
1	18	15
2	27	15
3	37	15
4	49	15
5	65	15
6	82	15
7	93	15
8	100	15
9	108	15
10	113	15
11	115	15
12	117	15
done	117	15
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	8	8
1	15	8
2	24	8
3	34	8
4	44	8
5	60	8
6	77	8
7	88	8
8	95	8
9	101	8
10	106	8
11	108	8
12	112	8
done	112	8
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	9	9
1	13	9
done	13	9
0	8	9
1	11	9
2	12	9
done	12	9
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	2	3
1	4	1
done	4	1
0	6	7
1	11	7
2	20	7
3	30	7
4	40	7
5	56	7
6	73	7
7	84	7
8	91	7
9	99	7
10	104	7
11	106	7
12	110	7
done	110	7
0	7	7
1	14	7
2	23	7
3	33	7
4	45	7
5	61	7
6	78	7
7	89	7
8	96	7
9	104	7
10	111	7
11	113	7
12	115	7
done	115	7
0	6	7
1	14	7
2	28	7
3	48	7
4	75	7
5	128	7
6	162	7
7	190	7
8	212	7
9	229	7
10	241	7
11	247	7
12	253	7
done	253	7
0	8	15
1	15	15
2	24	15
3	34	15
4	44	15
5	60	15
6	77	15
7	88	15
8	95	15
9	101	15
10	106	15
11	108	15
12	110	15
done	110	15
0	7	8
1	12	8
2	21	8
3	31	8
4	41	8
5	57	8
6	74	8
7	85	8
8	92	8
9	100	8
10	105	8
11	107	8
12	111	8
done	111	8
0	3	3
1	5	1
done	5	1
0	8	9
1	10	9
done	10	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	7	8
1	15	8
2	29	8
3	47	8
4	74	8
5	125	8
6	162	8
7	194	8
8	223	8
9	240	8
10	247	8
done	247	8
0	7	8
1	15	8
2	29	8
3	47	8
4	74	8
5	125	8
6	162	8
7	194	8
8	223	8
9	240	8
10	247	8
done	247	8
0	6	7
1	14	7
2	28	7
3	48	7
4	75	7
5	128	7
6	162	7
7	190	7
8	212	7
9	229	7
10	241	7
11	247	7
12	253	7
done	253	7
0	9	11
1	25	11
2	63	11
3	163	11
4	456	11
5	1437	11
done	5000	11
0	8	13
1	20	13
2	55	13
3	147	13
4	445	13
5	1318	13
done	5000	13
0	10	17
1	17	16
2	28	16
3	42	16
4	55	16
5	77	16
6	98	16
7	125	16
8	138	16
9	150	16
10	162	16
11	183	16
12	208	16
13	225	16
14	226	16
done	226	16
0	9	16
1	16	16
2	27	16
3	37	16
4	47	16
5	63	16
6	80	16
7	91	16
8	98	16
9	106	16
10	111	16
11	113	16
12	115	16
done	115	16
0	9	16
1	19	16
2	32	16
3	45	16
4	61	16
5	81	16
6	114	16
7	131	16
8	144	16
9	159	16
10	183	16
11	206	16
12	228	16
13	229	16
done	229	16
0	10	33
1	17	33
2	28	33
3	38	33
4	50	33
5	66	33
6	83	33
7	94	33
8	101	33
9	107	33
10	112	33
11	114	33
12	116	33
done	116	33
0	9	16
1	16	16
2	27	16
3	37	16
4	47	16
5	63	16
6	80	16
7	91	16
8	98	16
9	106	16
10	111	16
11	113	16
12	115	16
done	115	16
0	10	47
1	18	47
2	43	17
3	112	17
4	327	17
5	1097	17
6	3549	17
done	5000	17
0	9	16
1	16	16
2	27	16
3	37	16
4	47	16
5	63	16
6	80	16
7	91	16
8	98	16
9	106	16
10	111	16
11	113	16
12	115	16
done	115	16
0	9	16
1	16	16
2	27	16
3	37	16
4	47	16
5	63	16
6	80	16
7	91	16
8	98	16
9	106	16
10	111	16
11	113	16
12	115	16
done	115	16
0	3	3
1	5	3
2	6	3
done	6	3
0	8	15
1	17	15
2	46	9
3	125	9
4	341	9
5	1002	9
6	2555	9
done	5001	9
0	6	11
1	11	11
2	26	11
3	77	11
4	272	11
5	1043	11
done	5001	11
0	11	19
1	36	19
2	100	19
3	293	19
4	1090	19
5	4688	19
done	5000	19
0	12	47
1	36	39
2	73	39
3	145	39
4	317	33
5	1167	33
6	4984	33
done	5000	33
0	7	8
1	14	8
2	22	8
3	32	8
4	44	8
5	60	8
6	77	8
7	88	8
8	95	8
9	103	8
10	110	8
11	112	8
12	114	8
done	114	8
0	10	31
1	28	31
2	58	31
3	143	31
4	348	31
5	1290	31
done	5002	31
0	8	15
1	14	15
2	23	15
3	33	15
4	45	15
5	61	15
6	78	15
7	89	15
8	96	15
9	104	15
10	111	15
11	113	15
12	115	15
done	115	15
0	10	17
1	16	17
2	25	17
3	35	17
4	45	17
5	61	17
6	78	17
7	89	17
8	96	17
9	104	17
10	111	17
11	113	17
12	115	17
done	115	17
0	10	17
1	17	17
2	27	17
3	37	17
4	47	17
5	63	17
6	80	17
7	91	17
8	98	17
9	106	17
10	111	17
11	113	17
12	115	17
done	115	17
0	11	18
1	17	18
2	26	18
3	36	18
4	48	18
5	64	18
6	81	18
7	92	18
8	99	18
9	107	18
10	112	18
11	114	18
12	116	18
done	116	18
0	11	18
1	18	18
2	30	18
3	40	18
4	50	18
5	66	18
6	83	18
7	94	18
8	101	18
9	107	18
10	112	18
11	114	18
12	116	18
done	116	18
0	11	18
1	17	18
2	26	18
3	36	18
4	48	18
5	64	18
6	81	18
7	92	18
8	99	18
9	107	18
10	112	18
11	114	18
12	116	18
done	116	18
0	11	18
1	18	18
2	28	18
3	38	18
4	48	18
5	64	18
6	81	18
7	92	18
8	99	18
9	107	18
10	112	18
11	114	18
12	116	18
done	116	18
0	11	19
1	17	19
2	26	19
3	36	19
4	48	19
5	64	19
6	81	19
7	92	19
8	99	19
9	107	19
10	112	19
11	114	19
12	116	19
done	116	19
0	11	19
1	18	19
2	30	19
3	40	19
4	50	19
5	66	19
6	83	19
7	94	19
8	101	19
9	109	19
10	114	19
11	116	19
12	120	19
done	120	19
0	9	17
1	16	17
2	27	17
3	37	17
4	47	17
5	63	17
6	80	17
7	91	17
8	98	17
9	106	17
10	111	17
11	113	17
12	115	17
done	115	17
0	9	17
1	16	17
2	27	17
3	37	17
4	47	17
5	63	17
6	80	17
7	91	17
8	98	17
9	106	17
10	111	17
11	113	17
12	115	17
done	115	17
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	10	19
1	15	19
2	19	19
done	19	19
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	8	15
1	15	15
2	26	15
3	36	15
4	46	15
5	62	15
6	79	15
7	90	15
8	97	15
9	105	15
10	110	15
11	112	15
12	114	15
done	114	15
0	3	3
1	5	3
2	6	3
done	6	3
0	11	23
1	29	23
2	70	23
3	173	23
4	476	23
5	1478	23
done	5000	23
0	10	27
1	24	27
2	64	27
3	163	27
4	465	27
5	1340	27
done	5000	27
0	7	8
1	14	8
2	22	8
3	32	8
4	44	8
5	60	8
6	77	8
7	88	8
8	95	8
9	103	8
10	110	8
11	112	8
12	114	8
done	114	8
0	12	15
1	27	15
2	55	13
3	70	11
4	96	11
5	119	9
6	143	9
7	209	9
8	424	9
9	1366	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	12	15
1	27	15
2	55	13
3	68	13
4	94	11
5	122	9
6	147	9
7	211	9
8	425	9
9	1358	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	24	13
2	53	13
3	68	11
4	89	11
5	120	11
6	180	11
7	311	11
8	586	11
9	1531	11
done	5000	11
0	13	16
1	32	16
2	76	12
3	172	11
4	400	11
5	1200	9
done	5000	9
0	13	16
1	32	16
2	76	12
3	172	11
4	400	11
5	1200	9
done	5000	9

prune154.0ms

Filtered

87 candidates to 125 candidates (-43.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	125	2	127

Merged error: 0b

Counts

127 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- x y)) (cbrt (- x y)))
0.5b	(cbrt (- x y))
0.5b	(cbrt (- x y))
0.5b	(cbrt (- x y))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
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 → 101

Calls

4 calls:

12.0ms	(* (cbrt (- x y)) (cbrt (- x y)))
3.0ms	(cbrt (- x y))
3.0ms	(cbrt (- x y))
4.0ms	(cbrt (- x y))

series133.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (cbrt (- x y)) (cbrt (- x y)))
37.0ms	(cbrt (- x y))
30.0ms	(cbrt (- x y))
31.0ms	(cbrt (- x y))

simplify1.7min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	5	9
1	7	9
2	8	9
done	8	9
0	2	3
1	6	1
done	6	1
0	6	11
1	10	7
2	12	7
done	12	7
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	6	10
1	10	10
2	15	10
3	20	10
4	38	10
5	80	10
6	186	10
7	566	10
8	2256	10
done	5000	10
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	7	21
1	9	21
2	10	21
done	10	21
0	6	10
1	8	10
2	9	10
done	9	10
0	7	29
1	17	29
2	27	11
3	41	6
4	99	6
5	228	6
6	577	6
7	1955	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	6	10
1	9	5
2	10	5
done	10	5
0	8	17
1	23	17
2	45	17
3	79	17
4	166	17
5	494	17
6	2249	17
done	5000	17
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	12	17
1	31	17
2	58	17
3	103	17
4	218	17
5	592	17
6	2407	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	12	17
1	31	17
2	58	17
3	103	17
4	217	17
5	592	17
6	2426	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	5	9
1	6	9
done	6	9
0	7	21
1	9	21
2	10	21
done	10	21
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	13
1	8	13
done	8	13
0	7	13
1	9	13
2	10	13
done	10	13
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	23
1	13	23
2	16	13
3	25	7
4	40	7
5	66	7
6	137	7
7	354	7
8	1244	7
done	5000	7
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	2	3
1	4	1
done	4	1
0	5	9
1	7	9
2	8	9
done	8	9
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	10	15
2	11	15
done	11	15
0	7	10
1	10	10
2	11	10
done	11	10
0	7	7
1	12	6
2	13	6
done	13	4
0	9	11
1	13	11
2	14	11
done	14	11
0	7	7
1	12	6
2	13	6
done	13	4
0	7	16
1	12	16
2	15	16
done	15	16
0	6	10
1	9	10
2	10	10
done	10	10
0	6	6
1	11	4
2	15	4
done	15	4
0	6	10
1	9	10
2	10	10
done	10	10
0	7	10
1	10	10
2	11	10
done	11	10
0	5	9
1	7	9
2	8	9
done	8	9
0	9	11
1	14	11
2	16	11
done	16	11
0	5	9
1	7	9
2	8	9
done	8	9
0	6	10
1	9	10
2	10	10
done	10	10
0	6	10
1	9	10
2	10	10
done	10	10
0	5	9
1	7	9
2	8	9
done	8	9
0	10	13
1	28	13
2	50	13
3	84	13
4	171	13
5	506	13
6	2262	13
done	5001	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	129	13
6	278	13
7	1442	13
done	5001	13
0	10	13
1	28	13
2	50	13
3	84	13
4	174	13
5	507	13
6	2255	13
done	5000	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	134	13
6	283	13
7	1483	13
done	5001	13
0	30	41
1	69	40
2	150	40
3	385	37
4	1242	26
done	5000	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1242	26
done	5000	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1242	26
done	5000	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	28	40
1	67	37
2	147	30
3	419	24
4	1314	20
done	5001	19
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3

prune114.0ms

Filtered

80 candidates to 113 candidates (-41.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	113	2	115

Merged error: 0b

Counts

115 → 2

regimes70.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	8	15
1	9	15
done	9	15

end0.0ms

sample476.0ms

Algorithm

intervals

Results

221.0ms	7997×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample17.0ms

simplify143.0ms

prune2.0ms

localize6.0ms

rewrite22.0ms

series9.0ms

simplify34.7s

prune68.0ms

localize7.0ms

rewrite71.0ms

series30.0ms

simplify1.1min

prune154.0ms

localize16.0ms

rewrite27.0ms

series133.0ms

simplify1.7min

prune114.0ms

regimes70.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample476.0ms

Profiling