Details

sample26.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	14	9
done	14	9

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

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

6.0b	(/ (+ x y) (- 1.0 (/ y z)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
37×	`*-un-lft-identity`
29×	`times-frac`
13×	`add-cube-cbrt`
10×	`difference-of-squares`
7×	`distribute-lft-out`
6×	`associate-/r*`
5×	`distribute-lft-out--`
4×	`associate-/l*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 50

Calls

1 calls:

12.0ms

(/ (+ x y) (- 1.0 (/ y z)))

series12.0ms

Counts

1 → 3

Calls

1 calls:

12.0ms

(/ (+ x y) (- 1.0 (/ y z)))

simplify17.3s

Counts

53 → 53

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	19	11
done	19	11
0	9	10
1	15	10
2	20	10
3	21	10
done	21	10
0	9	10
1	12	10
2	15	10
done	15	10
0	12	29
1	36	29
2	113	13
3	305	11
4	892	11
5	2761	11
done	5001	11
0	10	21
1	13	21
2	16	21
done	16	21
0	9	10
1	12	10
2	15	10
done	15	10
0	10	29
1	20	29
2	55	11
3	133	11
4	347	11
5	867	11
6	2302	11
done	5001	11
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	12	23
1	21	23
2	33	23
3	39	23
done	39	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	16
1	16	16
2	21	16
3	22	16
done	22	16
0	10	11
1	13	11
2	16	11
done	16	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	12	17
1	16	17
2	18	17
3	19	17
done	19	17
0	11	12
1	14	12
2	15	12
done	15	12
0	13	18
1	17	18
2	19	18
3	20	18
done	20	18
0	12	13
1	15	13
2	18	13
done	18	13
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	11	18
1	16	18
2	19	18
done	19	18
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	11	12
1	13	12
done	13	12
0	11	12
1	14	12
2	15	12
done	15	12
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	18	13
done	18	13
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	7	7
1	11	7
2	14	7
done	14	7
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	10	17
1	15	17
2	18	17
done	18	17
0	9	10
1	12	10
2	15	10
done	15	10
0	5	5
1	8	3
2	10	3
done	10	3
0	10	11
1	12	11
done	12	11
0	11	12
1	13	12
done	13	12
0	5	5
1	8	3
2	10	3
done	10	3
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	11	13
1	30	13
2	72	13
3	184	13
4	572	13
5	1976	13
done	5000	13
0	10	15
1	20	15
2	37	15
3	73	15
4	127	15
5	205	15
6	297	15
7	487	15
8	1867	15
done	5000	15
0	12	17
1	29	15
2	79	15
3	238	15
4	659	15
5	1762	15
6	3988	15
done	5000	15
0	8	9
1	13	9
2	28	9
3	66	9
4	150	9
5	272	9
6	375	9
7	535	9
8	839	9
9	1200	9
10	1260	9
done	1260	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune99.0ms

Filtered

36 candidates to 53 candidates (-47.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	45	8	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	9	54

Merged error: 5.0b

Counts

54 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ 1 (/ (- 1.0 (/ y z)) (+ x y)))
6.0b	(/ (- 1.0 (/ y z)) (+ x y))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

231×	`times-frac`
194×	`add-sqr-sqrt`
193×	`*-un-lft-identity`
89×	`add-cube-cbrt`
42×	`difference-of-squares`
34×	`associate-/r*`
31×	`distribute-lft-out`
21×	`distribute-lft-out--`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube` `associate-/l*`
8×	`div-exp`
6×	`div-inv`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `pow-flip` `div-sub` `flip--` `inv-pow`

Counts

2 → 195

Calls

2 calls:

19.0ms	(/ 1 (/ (- 1.0 (/ y z)) (+ x y)))
12.0ms	(/ (- 1.0 (/ y z)) (+ x y))

series31.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(/ 1 (/ (- 1.0 (/ y z)) (+ x y)))
11.0ms	(/ (- 1.0 (/ y z)) (+ x y))

simplify1.2min

Counts

201 → 201

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	19	11
done	19	11
0	9	10
1	18	10
2	27	10
3	34	10
4	46	10
done	46	10
0	9	10
1	15	10
2	25	10
3	33	10
4	48	10
5	54	10
6	58	10
7	74	10
8	80	10
9	87	10
10	96	10
11	117	10
12	138	10
13	156	10
14	167	10
15	181	10
16	185	10
done	185	10
0	12	29
1	36	29
2	116	13
3	321	11
4	956	11
5	3525	11
done	5001	11
0	10	21
1	16	21
2	23	21
3	29	21
4	41	21
done	41	21
0	9	10
1	15	10
2	22	10
3	28	10
4	40	10
done	40	10
0	10	29
1	23	29
2	58	11
3	196	11
4	701	11
5	2621	11
done	5000	11
0	9	10
1	15	10
2	22	10
3	28	10
4	40	10
done	40	10
0	9	10
1	15	10
2	22	10
3	28	10
4	40	10
done	40	10
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	5	5
1	6	5
done	6	5
0	6	7
1	9	7
2	12	7
3	20	7
done	20	7
0	12	23
1	21	23
2	33	23
3	39	23
done	39	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	18
1	16	18
2	21	18
3	22	18
done	22	18
0	10	11
1	13	11
2	16	11
done	16	11
0	9	15
1	15	13
2	24	13
3	29	13
done	29	13
0	9	10
1	12	10
2	15	10
done	15	10
0	9	15
1	15	13
2	24	13
3	29	13
done	29	13
0	9	10
1	12	10
2	15	10
done	15	10
0	11	16
1	16	16
2	19	16
done	19	16
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	8	8
1	12	6
2	17	6
done	17	6
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	6
2	17	6
done	17	6
0	9	10
1	12	10
2	15	10
done	15	10
0	7	11
1	12	11
done	12	11
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	6	6
1	9	6
done	9	6
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	2	3
1	4	1
done	4	1
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	2	3
1	4	1
done	4	1
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	12	17
1	16	17
done	16	17
0	11	12
1	17	12
2	20	12
3	22	12
done	22	12
0	11	12
1	13	12
done	13	12
0	11	12
1	17	12
2	20	12
3	22	12
done	22	12
0	9	9
1	12	7
2	14	7
done	14	7
0	10	11
1	16	11
2	19	11
3	21	11
done	21	11
0	9	9
1	12	7
2	14	7
done	14	7
0	10	11
1	16	11
2	19	11
3	21	11
done	21	11
0	13	18
1	17	18
done	17	18
0	12	13
1	18	13
2	25	13
3	31	13
4	35	13
done	35	13
0	12	13
1	14	13
done	14	13
0	12	13
1	18	13
2	25	13
3	31	13
4	35	13
done	35	13
0	10	10
1	13	8
2	15	8
done	15	8
0	11	12
1	17	12
2	24	12
3	30	12
4	42	12
done	42	12
0	10	10
1	13	8
2	15	8
done	15	8
0	11	12
1	17	12
2	24	12
3	30	12
4	42	12
done	42	12
0	7	11
1	12	11
done	12	11
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	6	6
1	9	6
done	9	6
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	2	3
1	4	1
done	4	1
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	2	3
1	4	1
done	4	1
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	5	5
1	8	5
done	8	5
0	8	9
1	11	9
2	14	9
done	14	9
0	10	15
1	18	15
2	30	15
3	42	15
4	58	15
5	64	15
done	64	15
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	7	7
1	14	5
2	23	5
3	30	5
4	32	5
done	32	5
0	7	7
1	14	5
2	23	5
3	30	5
4	32	5
done	32	5
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	8	9
1	11	9
2	14	9
done	14	9
0	10	11
1	13	11
2	14	11
done	14	11
0	11	12
1	14	12
2	17	12
done	17	12
0	8	9
1	11	9
2	14	9
done	14	9
0	11	13
1	30	13
2	46	13
3	69	13
4	122	13
5	297	13
6	1024	13
7	4842	13
done	5000	13
0	10	13
1	20	13
2	39	13
3	74	13
4	150	13
5	273	13
6	439	13
7	712	13
8	2345	13
done	5000	13
0	12	21
1	33	17
2	96	17
3	265	17
4	671	17
5	1523	17
6	2231	17
7	2584	17
8	2703	17
9	2840	17
10	3238	17
11	4755	17
done	5000	17
0	8	9
1	17	9
2	46	9
3	80	9
4	115	9
5	126	9
6	141	9
7	151	9
done	151	9
0	2	2
1	5	1
done	5	1
0	11	12
1	16	12
2	23	12
3	25	12
4	26	11
done	26	11
0	10	11
1	19	11
2	28	11
3	38	11
4	52	11
5	53	11
done	53	11
0	12	13
1	21	12
2	37	12
3	56	11
4	85	11
5	111	11
6	120	11
7	134	11
done	134	11
0	11	12
1	22	11
2	37	11
3	56	11
4	94	11
5	124	11
6	129	11
7	135	11
8	149	11
done	149	11
0	13	14
1	24	13
2	35	12
3	60	11
4	89	11
5	115	11
6	124	11
7	141	11
done	141	11
0	12	13
1	25	12
2	37	11
3	60	11
4	98	11
5	128	11
6	136	11
7	142	11
8	157	11
done	157	11
0	11	12
1	25	11
2	49	11
3	81	10
4	170	10
5	263	10
6	289	10
7	305	10
8	325	10
done	325	10
0	11	12
1	21	12
2	41	12
3	70	10
4	166	10
5	279	10
6	463	10
7	1052	10
8	3665	10
done	5000	10
0	16	35
1	47	31
2	157	15
3	574	13
4	2277	13
done	5000	13
0	14	35
1	36	31
2	91	13
3	356	13
4	1335	11
5	4760	11
done	5000	11
0	12	25
1	22	25
2	40	25
3	59	21
4	132	21
5	193	21
6	204	21
7	216	21
8	226	21
done	226	21
0	11	12
1	21	12
2	39	12
3	58	10
4	131	10
5	197	10
6	208	10
7	220	10
8	230	10
done	230	10
0	12	35
1	29	35
2	82	13
3	345	11
4	1160	11
5	2768	11
done	5000	11
0	11	12
1	21	12
2	39	12
3	58	10
4	131	10
5	197	10
6	208	10
7	220	10
8	230	10
done	230	10
0	11	12
1	21	12
2	39	12
3	58	10
4	131	10
5	197	10
6	208	10
7	220	10
8	230	10
done	230	10
0	2	2
1	5	1
done	5	1
0	9	10
1	17	10
2	27	10
3	40	10
4	59	9
5	64	9
done	64	9
0	14	27
1	28	25
2	44	23
3	56	23
4	68	23
done	68	23
0	12	13
1	20	12
2	27	12
3	33	12
4	45	12
done	45	12
0	13	16
1	23	14
2	32	12
3	39	12
4	51	12
done	51	12
0	12	13
1	20	12
2	27	12
3	33	12
4	45	12
done	45	12
0	16	29
1	31	27
2	70	25
3	140	23
4	198	23
done	198	23
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	15	24
1	26	22
2	47	20
3	80	18
4	103	18
done	103	18
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	12	21
1	22	15
2	39	15
3	48	15
done	48	15
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	12	21
1	22	15
2	39	15
3	48	15
done	48	15
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	15	22
1	26	20
2	44	18
3	64	16
4	68	16
done	68	16
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	14	17
1	23	15
2	35	13
3	43	11
4	44	11
done	44	11
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	11	14
1	19	8
2	27	8
done	27	8
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	11	14
1	19	8
2	27	8
done	27	8
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	5	9
1	11	1
done	11	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	5	9
1	11	1
done	11	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	16	23
1	26	21
2	41	19
3	61	17
4	65	17
done	65	17
0	14	15
1	24	14
2	30	14
3	33	12
4	55	12
5	68	12
done	68	12
0	15	18
1	23	16
2	32	14
3	40	12
4	41	12
done	41	12
0	14	15
1	24	14
2	30	14
3	33	12
4	55	12
5	68	12
done	68	12
0	12	15
1	19	9
2	24	9
done	24	9
0	13	14
1	23	13
2	37	13
3	52	11
4	96	11
5	121	11
6	125	11
7	129	11
done	129	11
0	12	15
1	19	9
2	24	9
done	24	9
0	13	14
1	23	13
2	37	13
3	52	11
4	96	11
5	121	11
6	125	11
7	129	11
done	129	11
0	17	24
1	27	22
2	42	20
3	62	18
4	66	18
done	66	18
0	15	16
1	25	15
2	35	15
3	42	13
4	77	13
5	112	13
6	116	13
done	116	13
0	16	19
1	24	17
2	33	15
3	41	13
4	42	13
done	42	13
0	15	16
1	25	15
2	35	15
3	42	13
4	77	13
5	112	13
6	116	13
done	116	13
0	13	16
1	20	10
2	25	10
done	25	10
0	14	15
1	24	14
2	42	14
3	61	12
4	134	12
5	196	12
6	206	12
7	218	12
8	232	12
9	240	12
done	240	12
0	13	16
1	20	10
2	25	10
done	25	10
0	14	15
1	24	14
2	42	14
3	61	12
4	134	12
5	196	12
6	206	12
7	218	12
8	232	12
9	240	12
done	240	12
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	5	9
1	11	1
done	11	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	5	9
1	11	1
done	11	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	4	7
1	8	3
2	12	1
done	12	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	9	11
1	15	9
2	23	7
3	28	7
4	35	7
5	37	7
done	37	7
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	15	19
1	40	17
2	76	15
3	156	13
4	370	13
5	1153	13
6	3447	13
done	5001	13
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	14	19
1	30	17
2	69	15
3	183	13
4	533	13
5	1164	13
6	1747	13
7	3354	13
done	5000	13
0	6	6
1	10	5
2	11	5
done	11	5
0	13	24
1	23	23
2	30	23
3	36	23
4	48	23
done	48	23
0	12	13
1	20	12
2	27	12
3	33	12
4	45	12
done	45	12
0	12	13
1	20	12
2	27	12
3	33	12
4	45	12
done	45	12
0	12	13
1	20	12
2	27	12
3	33	12
4	45	12
done	45	12
0	15	26
1	28	25
2	52	25
3	81	23
4	141	23
5	203	23
done	203	23
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	14	21
1	23	20
2	34	20
3	47	18
4	74	18
5	108	18
done	108	18
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	11	18
1	19	15
2	33	15
3	42	15
done	42	15
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	11	18
1	19	15
2	33	15
3	42	15
done	42	15
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	14	19
1	23	18
2	33	18
3	41	16
4	65	16
5	80	16
done	80	16
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	13	14
1	20	13
2	26	13
3	27	11
4	40	11
5	45	11
done	45	11
0	10	11
1	16	8
2	24	8
done	24	8
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	10	11
1	16	8
2	24	8
done	24	8
0	12	13
1	19	12
2	33	12
3	46	10
4	81	10
5	92	10
done	92	10
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	4	6
1	8	1
done	8	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	4	6
1	8	1
done	8	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	15	20
1	23	19
2	30	19
3	38	17
4	62	17
5	77	17
done	77	17
0	14	15
1	24	14
2	30	14
3	33	12
4	55	12
5	68	12
done	68	12
0	14	15
1	20	14
2	23	14
3	24	12
4	37	12
5	44	12
done	44	12
0	14	15
1	24	14
2	30	14
3	33	12
4	55	12
5	68	12
done	68	12
0	11	12
1	16	9
2	21	9
done	21	9
0	13	14
1	23	13
2	37	13
3	52	11
4	96	11
5	121	11
6	125	11
7	129	11
done	129	11
0	11	12
1	16	9
2	21	9
done	21	9
0	13	14
1	23	13
2	37	13
3	52	11
4	96	11
5	121	11
6	125	11
7	129	11
done	129	11
0	16	21
1	24	20
2	31	20
3	39	18
4	63	18
5	78	18
done	78	18
0	15	16
1	25	15
2	35	15
3	42	13
4	77	13
5	112	13
6	116	13
done	116	13
0	15	16
1	21	15
2	24	15
3	25	13
4	38	13
5	43	13
done	43	13
0	15	16
1	25	15
2	35	15
3	42	13
4	77	13
5	112	13
6	116	13
done	116	13
0	12	13
1	17	10
2	22	10
done	22	10
0	14	15
1	24	14
2	42	14
3	61	12
4	134	12
5	196	12
6	206	12
7	218	12
8	232	12
9	240	12
done	240	12
0	12	13
1	17	10
2	22	10
done	22	10
0	14	15
1	24	14
2	42	14
3	61	12
4	134	12
5	196	12
6	206	12
7	218	12
8	232	12
9	240	12
done	240	12
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	12	13
1	22	12
2	32	12
3	39	10
4	74	10
5	108	10
6	113	10
done	113	10
0	4	6
1	8	1
done	8	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	4	6
1	8	1
done	8	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	3	4
1	5	1
done	5	1
0	11	12
1	21	11
2	39	11
3	58	9
4	131	9
5	194	9
6	205	9
7	217	9
8	227	9
done	227	9
0	8	8
1	12	7
2	15	7
done	15	7
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	14	16
1	37	15
2	64	15
3	124	13
4	326	13
5	1134	13
6	3376	13
done	5000	13
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	13	16
1	27	15
2	57	15
3	145	13
4	458	13
5	1130	13
6	1719	13
7	3287	13
done	5000	13
0	6	6
1	10	5
2	11	5
done	11	5
0	12	23
1	22	23
2	29	23
3	35	23
4	47	23
done	47	23
0	11	12
1	19	12
2	26	12
3	32	12
4	44	12
done	44	12
0	11	12
1	19	12
2	26	12
3	32	12
4	44	12
done	44	12
0	11	12
1	19	12
2	26	12
3	32	12
4	44	12
done	44	12
0	14	25
1	27	25
2	51	25
3	82	23
4	142	23
5	212	23
done	212	23
0	12	13
1	19	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	13	20
1	22	20
2	33	20
3	46	18
4	73	18
5	104	18
done	104	18
0	12	13
1	19	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	10	17
1	18	15
2	32	15
3	41	15
done	41	15
0	11	12
1	18	12
2	32	12
3	45	10
4	80	10
5	91	10
done	91	10
0	10	17
1	18	15
2	32	15
3	41	15
done	41	15
0	11	12
1	18	12
2	32	12
3	45	10
4	80	10
5	91	10
done	91	10
0	13	18
1	22	18
2	32	18
3	40	16
4	64	16
5	77	16
done	77	16
0	12	13
1	19	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	12	13
1	19	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	12	13
1	19	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	9	10
1	15	8
2	23	8
done	23	8
0	11	12
1	18	12
2	32	12
3	45	10
4	80	10
5	91	10
done	91	10
0	9	10
1	15	8
2	23	8
done	23	8
0	11	12
1	18	12
2	32	12
3	45	10
4	80	10
5	91	10
done	91	10
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	11	12
1	21	12
2	31	12
3	38	10
4	73	10
5	108	10
6	113	10
done	113	10
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	11	12
1	21	12
2	31	12
3	38	10
4	73	10
5	108	10
6	113	10
done	113	10
0	3	5
1	6	1
done	6	1
0	10	11
1	20	11
2	38	11
3	57	9
4	130	9
5	195	9
6	206	9
7	218	9
8	228	9
done	228	9
0	3	5
1	6	1
done	6	1
0	10	11
1	20	11
2	38	11
3	57	9
4	130	9
5	195	9
6	206	9
7	218	9
8	228	9
done	228	9
0	14	19
1	22	19
2	29	19
3	37	17
4	61	17
5	78	17
done	78	17
0	13	14
1	23	14
2	29	14
3	32	12
4	54	12
5	67	12
done	67	12
0	13	14
1	19	14
2	22	14
3	23	12
4	36	12
5	43	12
done	43	12
0	13	14
1	23	14
2	29	14
3	32	12
4	54	12
5	67	12
done	67	12
0	10	11
1	15	9
2	20	9
done	20	9
0	12	13
1	22	13
2	36	13
3	51	11
4	95	11
5	120	11
6	124	11
7	128	11
done	128	11
0	10	11
1	15	9
2	20	9
done	20	9
0	12	13
1	22	13
2	36	13
3	51	11
4	95	11
5	120	11
6	124	11
7	128	11
done	128	11
0	15	20
1	23	20
2	30	20
3	38	18
4	62	18
5	77	18
done	77	18
0	14	15
1	24	15
2	34	15
3	41	13
4	76	13
5	109	13
6	113	13
done	113	13
0	14	15
1	20	15
2	23	15
3	24	13
4	37	13
5	44	13
done	44	13
0	14	15
1	24	15
2	34	15
3	41	13
4	76	13
5	109	13
6	113	13
done	113	13
0	11	12
1	16	10
2	21	10
done	21	10
0	13	14
1	23	14
2	41	14
3	60	12
4	133	12
5	195	12
6	206	12
7	218	12
8	232	12
9	240	12
done	240	12
0	11	12
1	16	10
2	21	10
done	21	10
0	13	14
1	23	14
2	41	14
3	60	12
4	133	12
5	195	12
6	206	12
7	218	12
8	232	12
9	240	12
done	240	12
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	11	12
1	21	12
2	31	12
3	38	10
4	73	10
5	108	10
6	113	10
done	113	10
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	11	12
1	21	12
2	31	12
3	38	10
4	73	10
5	108	10
6	113	10
done	113	10
0	3	5
1	6	1
done	6	1
0	10	11
1	20	11
2	38	11
3	57	9
4	130	9
5	195	9
6	206	9
7	218	9
8	228	9
done	228	9
0	3	5
1	6	1
done	6	1
0	10	11
1	20	11
2	38	11
3	57	9
4	130	9
5	195	9
6	206	9
7	218	9
8	228	9
done	228	9
0	2	3
1	4	1
done	4	1
0	10	11
1	20	11
2	38	11
3	57	9
4	130	9
5	195	9
6	206	9
7	218	9
8	228	9
done	228	9
0	7	7
1	11	7
2	14	7
done	14	7
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	13	15
1	36	15
2	63	15
3	123	13
4	328	13
5	1130	13
6	3405	13
done	5001	13
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	12	15
1	26	15
2	56	15
3	144	13
4	457	13
5	1123	13
6	1709	13
7	3275	13
done	5000	13
0	5	5
1	9	5
2	10	5
done	10	5
0	10	11
1	20	11
2	38	11
3	57	9
4	130	9
5	195	9
6	206	9
7	218	9
8	228	9
done	228	9
0	10	11
1	20	9
2	45	9
3	72	9
4	108	9
5	132	9
done	132	9
0	12	23
1	22	23
2	29	23
3	35	23
4	47	23
done	47	23
0	11	12
1	19	12
2	26	12
3	32	12
4	44	12
done	44	12
0	14	25
1	27	25
2	51	25
3	82	23
4	142	23
5	212	23
done	212	23
0	13	20
1	22	20
2	33	20
3	46	18
4	73	18
5	104	18
done	104	18
0	10	17
1	18	15
2	32	15
3	41	15
done	41	15
0	10	17
1	18	15
2	32	15
3	41	15
done	41	15
0	13	18
1	22	18
2	32	18
3	40	16
4	64	16
5	77	16
done	77	16
0	12	13
1	19	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	9	10
1	15	8
2	23	8
done	23	8
0	9	10
1	15	8
2	23	8
done	23	8
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	14	19
1	22	19
2	29	19
3	37	17
4	61	17
5	78	17
done	78	17
0	13	14
1	19	14
2	22	14
3	23	12
4	36	12
5	43	12
done	43	12
0	10	11
1	15	9
2	20	9
done	20	9
0	10	11
1	15	9
2	20	9
done	20	9
0	15	20
1	23	20
2	30	20
3	38	18
4	62	18
5	77	18
done	77	18
0	14	15
1	20	15
2	23	15
3	24	13
4	37	13
5	44	13
done	44	13
0	11	12
1	16	10
2	21	10
done	21	10
0	11	12
1	16	10
2	21	10
done	21	10
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	14	7
done	14	7
0	13	15
1	36	15
2	63	15
3	123	13
4	328	13
5	1130	13
6	3405	13
done	5001	13
0	12	15
1	26	15
2	56	15
3	144	13
4	457	13
5	1123	13
6	1709	13
7	3275	13
done	5000	13
0	11	12
1	21	11
2	45	11
3	64	9
4	107	9
5	150	9
6	155	9
done	155	9
0	11	12
1	21	11
2	45	11
3	64	9
4	107	9
5	150	9
6	155	9
done	155	9
0	10	11
1	20	9
2	45	9
3	72	9
4	108	9
5	132	9
done	132	9
0	7	7
1	11	7
2	14	7
done	14	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune174.0ms

Filtered

92 candidates to 201 candidates (-118.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	200	1	201
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	201	9	210

Merged error: 5.0b

Counts

210 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x y))
0.5b	(* (cbrt (+ x y)) (cbrt (+ x y)))
2.9b	(/ (cbrt (+ x y)) (- 1.0 (/ y z)))
3.2b	(* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (- 1.0 (/ y z))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

143×	`add-sqr-sqrt`
127×	`*-un-lft-identity`
101×	`times-frac`
81×	`cbrt-prod`
55×	`add-cube-cbrt` `associate-r`
40×	`cbrt-div`
30×	`difference-of-squares`
20×	`add-exp-log` `frac-times` `flip3-+` `flip-+` `distribute-lft-out`
16×	`pow1`
15×	`distribute-lft-out--`
14×	`associate-*l/`
11×	`add-cbrt-cube`
9×	`swap-sqr`
8×	`associate-l`
7×	`pow1/3` `associate-r/` `prod-exp` `cbrt-unprod` `associate-/l` `unswap-sqr`
6×	`associate-/r*`
5×	`pow-prod-down`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`flip3--` `pow-sqr` `*-commutative` `pow-prod-up` `flip--` `div-inv` `associate-/l/`
1×	`pow2` `frac-2neg` `pow-plus` `clear-num`

Counts

4 → 225

Calls

4 calls:

3.0ms	(cbrt (+ x y))
11.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))
12.0ms	(/ (cbrt (+ x y)) (- 1.0 (/ y z)))
34.0ms	(* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (- 1.0 (/ y z))))

series183.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(cbrt (+ x y))
45.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))
84.0ms	(/ (cbrt (+ x y)) (- 1.0 (/ y z)))
15.0ms	(* (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (- 1.0 (/ y z))))

simplify3.6min

Counts

237 → 237

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	20
1	19	20
2	28	20
3	38	12
4	53	9
5	75	9
6	107	9
7	168	9
8	347	9
9	1110	9
10	4954	9
done	5000	9
0	11	20
1	19	20
2	28	20
3	38	12
4	53	9
5	75	9
6	107	9
7	168	9
8	347	9
9	1110	9
10	4954	9
done	5000	9
0	13	24
1	25	20
2	44	14
3	56	14
4	74	14
5	103	14
6	156	14
7	181	14
8	209	14
9	231	14
done	231	14
0	13	23
1	23	19
2	36	19
3	54	14
4	76	14
5	104	14
6	157	14
7	182	14
8	210	14
9	232	14
done	232	14
0	14	23
1	23	23
2	39	20
3	58	14
4	79	14
5	108	14
6	157	14
7	180	14
8	211	14
9	233	14
done	233	14
0	13	22
1	21	22
2	36	19
3	55	14
4	77	14
5	105	14
6	154	14
7	177	14
8	208	14
9	230	14
done	230	14
0	12	21
1	23	21
2	41	21
3	69	13
4	107	10
5	153	10
6	224	10
7	376	10
8	718	10
9	2114	10
done	5000	10
0	12	21
1	22	21
2	40	21
3	68	13
4	141	10
5	317	10
6	756	10
7	2849	10
done	5001	10
0	12	29
1	29	29
2	96	19
3	287	13
4	900	11
5	2650	11
done	5001	11
0	13	40
1	34	40
2	97	20
3	312	20
4	1334	19
done	5000	19
0	15	51
1	34	51
2	117	23
3	481	18
4	1900	11
done	5000	11
0	15	62
1	38	62
2	114	24
3	382	18
4	1368	11
done	5001	11
0	13	43
1	21	43
2	30	43
3	40	27
4	55	21
5	77	21
6	109	21
7	169	21
8	352	21
9	1104	21
10	4937	21
done	5000	21
0	12	21
1	20	21
2	29	21
3	39	13
4	54	10
5	76	10
6	108	10
7	167	10
8	349	10
9	1103	10
10	4908	10
done	5000	10
0	13	62
1	31	62
2	106	22
3	393	14
4	1046	11
5	3316	11
done	5000	11
0	12	21
1	20	21
2	29	21
3	39	13
4	54	10
5	76	10
6	108	10
7	167	10
8	349	10
9	1103	10
10	4908	10
done	5000	10
0	12	21
1	20	21
2	29	21
3	39	13
4	54	10
5	76	10
6	108	10
7	167	10
8	349	10
9	1103	10
10	4908	10
done	5000	10
0	11	22
1	29	22
2	40	22
3	57	22
4	98	22
5	213	22
6	637	22
7	2466	22
done	5000	22
0	14	31
1	27	27
2	58	27
3	93	27
4	146	27
5	200	27
6	248	27
7	295	27
8	353	27
9	416	27
10	417	27
done	417	27
0	15	22
1	36	22
2	57	22
3	89	22
4	155	22
5	311	22
6	805	22
7	2805	22
done	5000	22
0	16	23
1	32	21
2	67	21
3	113	21
4	179	21
5	259	21
6	335	21
7	405	21
8	479	21
9	550	21
10	551	21
done	551	21
0	15	22
1	36	22
2	57	22
3	89	22
4	153	22
5	313	22
6	795	22
7	2817	22
done	5000	22
0	16	23
1	32	21
2	67	21
3	113	21
4	177	21
5	257	21
6	331	21
7	401	21
8	475	21
9	546	21
10	547	21
done	547	21
0	10	22
1	18	22
2	26	22
3	41	22
4	66	22
5	107	22
6	165	22
7	333	22
8	1603	22
done	5001	22
0	10	15
1	17	15
2	34	15
3	56	15
4	89	15
5	122	15
6	153	15
7	177	15
8	193	15
9	194	15
done	194	15
0	11	18
1	28	18
2	40	18
3	57	18
4	96	18
5	209	18
6	623	18
7	2452	18
done	5000	18
0	13	18
1	24	16
2	47	16
3	69	16
4	103	16
5	133	16
6	155	16
7	183	16
8	228	16
9	290	16
10	291	16
done	291	16
0	10	18
1	17	18
2	26	18
3	41	18
4	66	18
5	107	18
6	169	18
7	337	18
8	1617	18
done	5000	18
0	9	10
1	14	10
2	23	10
3	32	10
4	46	10
5	55	10
6	60	10
7	65	10
8	67	10
done	67	10
0	11	18
1	30	18
2	40	18
3	57	18
4	98	18
5	217	18
6	636	18
7	2487	18
done	5000	18
0	13	18
1	24	16
2	47	16
3	69	16
4	103	16
5	133	16
6	155	16
7	183	16
8	228	16
9	290	16
10	291	16
done	291	16
0	10	18
1	19	18
2	26	18
3	41	18
4	66	18
5	107	18
6	165	18
7	333	18
8	1609	18
done	5000	18
0	9	10
1	14	10
2	23	10
3	32	10
4	46	10
5	55	10
6	60	10
7	65	10
8	67	10
done	67	10
0	11	16
1	15	16
2	18	16
done	18	16
0	11	16
1	15	16
2	18	16
done	18	16
0	13	17
1	19	17
2	25	17
3	29	17
4	30	17
done	30	17
0	13	17
1	19	17
2	25	17
3	29	17
4	30	17
done	30	17
0	12	17
1	18	17
2	24	17
3	28	17
4	29	17
done	29	17
0	12	17
1	18	17
2	24	17
3	28	17
4	29	17
done	29	17
0	13	33
1	23	33
2	37	33
3	38	33
done	38	33
0	12	21
1	18	21
2	23	21
done	23	21
0	14	34
1	24	34
2	45	34
3	80	34
4	125	34
5	152	34
6	153	34
done	153	34
0	13	27
1	21	27
2	32	27
3	43	27
4	53	27
5	58	27
done	58	27
0	9	22
1	17	20
2	29	20
3	51	20
4	81	20
5	100	20
done	100	20
0	14	28
1	21	28
2	29	28
3	40	28
4	50	28
5	55	28
done	55	28
0	15	29
1	22	29
2	30	29
3	41	29
4	51	29
5	56	29
done	56	29
0	9	22
1	17	20
2	29	20
3	51	20
4	81	20
5	100	20
done	100	20
0	15	29
1	25	29
2	46	29
3	80	29
4	125	29
5	152	29
6	153	29
done	153	29
0	14	22
1	22	22
2	33	22
3	44	22
4	54	22
5	59	22
done	59	22
0	10	17
1	18	15
2	30	15
3	52	15
4	82	15
5	102	15
done	102	15
0	15	23
1	22	23
2	30	23
3	41	23
4	51	23
5	56	23
done	56	23
0	16	24
1	23	24
2	31	24
3	42	24
4	52	24
5	57	24
6	58	24
done	58	24
0	10	17
1	18	15
2	30	15
3	52	15
4	82	15
5	102	15
done	102	15
0	15	26
1	27	25
2	48	25
3	81	23
4	154	23
5	174	23
done	174	23
0	14	19
1	24	18
2	35	18
3	46	16
4	68	16
5	70	16
done	70	16
0	9	14
1	17	11
2	26	9
3	39	9
4	58	9
done	58	9
0	15	20
1	24	19
2	32	19
3	43	17
4	64	17
done	64	17
0	16	21
1	25	20
2	33	20
3	44	18
4	65	18
5	67	18
done	67	18
0	9	14
1	17	11
2	26	9
3	39	9
4	58	9
done	58	9
0	15	26
1	27	25
2	48	25
3	81	23
4	154	23
5	174	23
done	174	23
0	14	19
1	24	18
2	35	18
3	46	16
4	68	16
5	70	16
done	70	16
0	9	14
1	17	11
2	26	9
3	39	9
4	58	9
done	58	9
0	15	20
1	24	19
2	32	19
3	43	17
4	64	17
done	64	17
0	16	21
1	25	20
2	33	20
3	44	18
4	65	18
5	67	18
done	67	18
0	9	14
1	17	11
2	26	9
3	39	9
4	58	9
done	58	9
0	15	35
1	29	35
2	76	35
3	164	35
4	318	35
5	390	35
6	398	35
done	398	35
0	14	28
1	24	28
2	45	28
3	83	28
4	125	28
5	137	28
6	139	28
done	139	28
0	10	23
1	20	21
2	48	21
3	118	21
4	225	21
5	281	21
done	281	21
0	15	29
1	24	29
2	42	29
3	81	29
4	123	29
5	135	29
6	137	29
done	137	29
0	16	30
1	25	30
2	43	30
3	81	30
4	123	30
5	135	30
6	138	30
done	138	30
0	10	23
1	20	21
2	48	21
3	118	21
4	225	21
5	281	21
done	281	21
0	14	29
1	24	29
2	45	29
3	80	29
4	125	29
5	152	29
6	153	29
done	153	29
0	13	22
1	21	22
2	32	22
3	43	22
4	53	22
5	58	22
done	58	22
0	9	17
1	17	15
2	29	15
3	51	15
4	81	15
5	100	15
done	100	15
0	14	23
1	21	23
2	29	23
3	40	23
4	50	23
5	55	23
done	55	23
0	15	24
1	22	24
2	30	24
3	41	24
4	51	24
5	56	24
done	56	24
0	9	17
1	17	15
2	29	15
3	51	15
4	81	15
5	100	15
done	100	15
0	14	25
1	26	25
2	46	23
3	109	23
4	161	23
5	166	23
done	166	23
0	13	18
1	23	18
2	34	16
3	66	16
4	75	16
done	75	16
0	8	13
1	16	11
2	25	9
3	38	9
4	57	9
done	57	9
0	14	19
1	23	19
2	31	17
3	63	17
4	72	17
done	72	17
0	15	20
1	24	20
2	32	18
3	64	18
4	75	18
done	75	18
0	8	13
1	16	11
2	25	9
3	38	9
4	57	9
done	57	9
0	7	11
1	13	9
2	21	9
done	21	9
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	14	24
1	38	24
2	86	24
3	217	16
4	720	13
5	2853	13
done	5001	13
0	13	26
1	28	26
2	56	26
3	130	18
4	251	15
5	475	15
6	881	15
7	1757	15
done	5001	15
0	10	15
1	16	15
2	21	15
3	24	15
4	28	15
5	34	15
6	38	15
done	38	15
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	16	28
1	38	28
2	58	28
3	89	28
4	153	28
5	299	28
6	740	28
7	2594	28
done	5001	28
0	20	28
1	45	28
2	76	28
3	129	28
4	232	28
5	439	28
6	949	28
7	3001	28
done	5000	28
0	20	28
1	45	28
2	76	28
3	129	28
4	236	28
5	446	28
6	969	28
7	3017	28
done	5000	28
0	15	28
1	27	28
2	43	28
3	72	28
4	120	28
5	191	28
6	284	28
7	482	28
8	1812	28
done	5000	28
0	16	24
1	39	24
2	63	24
3	96	24
4	161	24
5	304	24
6	751	24
7	2619	24
done	5000	24
0	15	24
1	28	24
2	48	24
3	79	24
4	130	24
5	201	24
6	302	24
7	494	24
8	1806	24
done	5000	24
0	16	24
1	39	24
2	63	24
3	95	24
4	160	24
5	304	24
6	746	24
7	2605	24
done	5001	24
0	15	24
1	28	24
2	48	24
3	78	24
4	127	24
5	197	24
6	287	24
7	482	24
8	1763	24
done	5001	24
0	11	12
1	16	12
2	20	12
done	20	12
0	10	11
1	16	11
2	21	11
3	22	11
done	22	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	21
1	16	21
2	36	11
3	87	11
4	253	11
5	807	11
6	2698	11
done	5001	11
0	11	23
1	14	23
2	17	23
done	17	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	32
1	21	32
2	40	12
3	84	12
4	186	11
5	458	11
6	1249	11
7	4413	11
done	5000	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	5	5
1	6	5
done	6	5
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	13	24
1	18	24
2	21	24
done	21	24
0	11	12
1	14	12
2	17	12
done	17	12
0	12	17
1	15	17
2	18	17
done	18	17
0	11	12
1	14	12
2	17	12
done	17	12
0	8	12
1	11	10
2	13	10
done	13	10
0	10	11
1	13	11
2	16	11
done	16	11
0	13	18
1	15	18
done	15	18
0	12	13
1	15	13
2	16	13
done	16	13
0	14	19
1	16	19
done	16	19
0	13	14
1	16	14
2	19	14
done	19	14
0	8	12
1	11	10
2	13	10
done	13	10
0	10	11
1	13	11
2	16	11
done	16	11
0	12	19
1	17	19
2	20	19
done	20	19
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	14	12
2	17	12
done	17	12
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	13	11
2	16	11
done	16	11
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	16	13
done	16	13
0	13	14
1	15	14
done	15	14
0	13	14
1	16	14
2	19	14
done	19	14
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	13	11
2	16	11
done	16	11
0	10	16
1	16	15
2	19	15
done	19	15
0	10	11
1	13	11
2	16	11
done	16	11
0	9	9
1	13	8
2	16	8
done	16	8
0	10	11
1	13	11
2	16	11
done	16	11
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	10	10
1	13	9
done	13	9
0	11	12
1	14	12
2	15	12
done	15	12
0	11	11
1	14	10
done	14	10
0	12	13
1	15	13
2	18	13
done	18	13
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	10	16
1	16	15
2	19	15
done	19	15
0	10	11
1	13	11
2	16	11
done	16	11
0	9	9
1	13	8
2	16	8
done	16	8
0	10	11
1	13	11
2	16	11
done	16	11
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	10	10
1	13	9
done	13	9
0	11	12
1	14	12
2	15	12
done	15	12
0	11	11
1	14	10
done	14	10
0	12	13
1	15	13
2	18	13
done	18	13
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	13	25
1	22	25
2	34	25
3	40	25
done	40	25
0	11	12
1	14	12
2	17	12
done	17	12
0	12	18
1	17	18
2	22	18
3	23	18
done	23	18
0	11	12
1	14	12
2	17	12
done	17	12
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	10	11
1	13	11
2	16	11
done	16	11
0	13	19
1	17	19
2	19	19
3	20	19
done	20	19
0	12	13
1	15	13
2	16	13
done	16	13
0	14	20
1	18	20
2	20	20
3	21	20
done	21	20
0	13	14
1	16	14
2	19	14
done	19	14
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	10	11
1	13	11
2	16	11
done	16	11
0	12	19
1	17	19
2	20	19
done	20	19
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	14	12
2	17	12
done	17	12
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	13	11
2	16	11
done	16	11
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	16	13
done	16	13
0	13	14
1	15	14
done	15	14
0	13	14
1	16	14
2	19	14
done	19	14
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	13	11
2	16	11
done	16	11
0	9	15
1	15	15
2	18	15
done	18	15
0	10	11
1	13	11
2	16	11
done	16	11
0	8	8
1	12	8
2	15	8
done	15	8
0	10	11
1	13	11
2	16	11
done	16	11
0	2	3
1	4	1
done	4	1
0	9	10
1	12	10
2	15	10
done	15	10
0	9	9
1	12	9
done	12	9
0	11	12
1	14	12
2	15	12
done	15	12
0	10	10
1	13	10
done	13	10
0	12	13
1	15	13
2	18	13
done	18	13
0	2	3
1	4	1
done	4	1
0	9	10
1	12	10
2	15	10
done	15	10
0	7	7
1	11	7
2	14	7
done	14	7
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	11	18
1	16	18
2	19	18
done	19	18
0	10	11
1	13	11
2	16	11
done	16	11
0	6	6
1	9	4
2	11	4
done	11	4
0	11	12
1	13	12
done	13	12
0	12	13
1	14	13
done	14	13
0	6	6
1	9	4
2	11	4
done	11	4
0	10	11
1	16	11
2	23	11
3	29	11
4	33	11
done	33	11
0	10	11
1	16	11
2	23	11
3	29	11
4	33	11
done	33	11
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	10	11
1	16	11
2	23	11
3	29	11
4	33	11
done	33	11
0	10	11
1	16	11
2	23	11
3	29	11
4	33	11
done	33	11
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	12	14
1	31	14
2	73	14
3	185	14
4	578	14
5	1974	14
done	5000	14
0	11	16
1	21	16
2	38	16
3	74	16
4	128	16
5	206	16
6	298	16
7	488	16
8	1883	16
done	5001	16
0	13	18
1	24	16
2	47	16
3	69	16
4	103	16
5	133	16
6	155	16
7	183	16
8	228	16
9	290	16
10	291	16
done	291	16
0	9	10
1	14	10
2	23	10
3	32	10
4	46	10
5	55	10
6	60	10
7	65	10
8	67	10
done	67	10
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	9
done	6	9
0	2	3
1	6	1
done	6	1
0	6	11
1	9	7
2	10	7
done	10	7
0	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	6	10
1	9	10
2	13	10
3	18	10
4	36	10
5	78	10
6	182	10
7	563	10
8	2238	10
done	5000	10
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	7	21
1	8	21
done	8	21
0	6	10
1	7	10
done	7	10
0	7	29
1	16	29
2	23	11
3	37	6
4	95	6
5	214	6
6	513	6
7	1724	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	6	10
1	8	5
done	8	5
0	8	17
1	22	17
2	31	17
3	48	17
4	91	17
5	212	17
6	620	17
7	2445	17
done	5001	17
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	12	17
1	30	17
2	46	17
3	78	17
4	144	17
5	302	17
6	792	17
7	2807	17
done	5000	17
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	12	17
1	30	17
2	46	17
3	78	17
4	144	17
5	303	17
6	781	17
7	2797	17
done	5000	17
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	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	7	9
2	8	9
done	8	9
0	7	21
1	8	21
done	8	21
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	7	23
1	12	23
2	14	13
3	23	7
4	38	7
5	64	7
6	136	7
7	351	7
8	1269	7
done	5000	7
0	6	11
1	7	11
done	7	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	2	3
1	4	1
done	4	1
0	5	9
1	6	9
done	6	9
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	9	15
done	9	15
0	7	10
1	9	10
done	9	10
0	7	7
1	11	6
done	11	6
0	7	7
1	11	6
done	11	6
0	7	16
1	11	16
2	13	16
done	13	16
0	6	10
1	8	10
done	8	10
0	6	6
1	10	4
2	13	4
done	13	4
0	6	10
1	8	10
done	8	10
0	7	10
1	9	10
done	9	10
0	5	9
1	6	9
done	6	9
0	5	9
1	6	9
done	6	9
0	6	10
1	8	10
done	8	10
0	6	10
1	8	10
done	8	10
0	5	9
1	6	9
done	6	9
0	10	13
1	26	13
2	35	13
3	52	13
4	91	13
5	203	13
6	609	13
7	2446	13
done	5001	13
0	9	13
1	15	13
2	21	13
3	36	13
4	61	13
5	102	13
6	160	13
7	328	13
8	1596	13
done	5000	13
0	10	13
1	26	13
2	35	13
3	52	13
4	95	13
5	213	13
6	623	13
7	2447	13
done	5001	13
0	9	13
1	15	13
2	21	13
3	36	13
4	61	13
5	102	13
6	160	13
7	328	13
8	1585	13
done	5000	13
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	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	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	28	40
1	67	37
2	156	30
3	448	24
4	1441	20
done	5000	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	15	17
1	31	16
2	66	14
3	189	11
4	553	10
5	2139	10
done	5000	9
0	27	40
1	66	37
2	154	31
3	484	20
4	1494	18
done	5001	18
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune275.0ms

Filtered

160 candidates to 237 candidates (-48.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	237	9	246

Merged error: 5.0b

Counts

246 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ (+ x y) (- 1.0 (/ y z))))
6.0b	(/ (+ x y) (- 1.0 (/ y z)))
6.0b	(/ (+ x y) (- 1.0 (/ y z)))
6.0b	(/ (+ x y) (- 1.0 (/ y z)))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

146×	`add-sqr-sqrt`
143×	`*-un-lft-identity`
115×	`times-frac`
51×	`add-cube-cbrt`
38×	`difference-of-squares`
30×	`cbrt-prod`
27×	`distribute-lft-out`
19×	`distribute-lft-out--`
18×	`associate-/r*`
12×	`associate-/l*`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/r/`
6×	`associate-/l/`
4×	`pow1` `flip3--` `flip--` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+`
1×	`cbrt-div` `pow1/3`

Counts

4 → 189

Calls

4 calls:

14.0ms	(cbrt (/ (+ x y) (- 1.0 (/ y z))))
12.0ms	(/ (+ x y) (- 1.0 (/ y z)))
13.0ms	(/ (+ x y) (- 1.0 (/ y z)))
12.0ms	(/ (+ x y) (- 1.0 (/ y z)))

series127.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(cbrt (/ (+ x y) (- 1.0 (/ y z))))
12.0ms	(/ (+ x y) (- 1.0 (/ y z)))
12.0ms	(/ (+ x y) (- 1.0 (/ y z)))
12.0ms	(/ (+ x y) (- 1.0 (/ y z)))

simplify1.2min

Counts

201 → 201

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	19	11
done	19	11
0	9	10
1	15	10
2	20	10
3	21	10
done	21	10
0	9	10
1	12	10
2	15	10
done	15	10
0	12	29
1	36	29
2	113	13
3	305	11
4	892	11
5	2761	11
done	5001	11
0	10	21
1	13	21
2	16	21
done	16	21
0	9	10
1	12	10
2	15	10
done	15	10
0	10	29
1	20	29
2	55	11
3	133	11
4	347	11
5	867	11
6	2302	11
done	5001	11
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	12	23
1	21	23
2	33	23
3	39	23
done	39	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	16
1	16	16
2	21	16
3	22	16
done	22	16
0	10	11
1	13	11
2	16	11
done	16	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	12	17
1	16	17
2	18	17
3	19	17
done	19	17
0	11	12
1	14	12
2	15	12
done	15	12
0	13	18
1	17	18
2	19	18
3	20	18
done	20	18
0	12	13
1	15	13
2	18	13
done	18	13
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	11	18
1	16	18
2	19	18
done	19	18
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	11	12
1	13	12
done	13	12
0	11	12
1	14	12
2	15	12
done	15	12
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	18	13
done	18	13
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	7	7
1	11	7
2	14	7
done	14	7
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	10	17
1	15	17
2	18	17
done	18	17
0	9	10
1	12	10
2	15	10
done	15	10
0	5	5
1	8	3
2	10	3
done	10	3
0	10	11
1	12	11
done	12	11
0	11	12
1	13	12
done	13	12
0	5	5
1	8	3
2	10	3
done	10	3
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	11	13
1	30	13
2	72	13
3	184	13
4	572	13
5	1976	13
done	5000	13
0	10	15
1	20	15
2	37	15
3	73	15
4	127	15
5	205	15
6	297	15
7	487	15
8	1867	15
done	5000	15
0	12	17
1	29	15
2	79	15
3	238	15
4	659	15
5	1762	15
6	3988	15
done	5000	15
0	8	9
1	13	9
2	28	9
3	66	9
4	150	9
5	272	9
6	375	9
7	535	9
8	839	9
9	1200	9
10	1260	9
done	1260	9
0	10	11
1	15	11
2	19	11
done	19	11
0	9	10
1	15	10
2	20	10
3	21	10
done	21	10
0	9	10
1	12	10
2	15	10
done	15	10
0	12	29
1	36	29
2	113	13
3	305	11
4	892	11
5	2761	11
done	5001	11
0	10	21
1	13	21
2	16	21
done	16	21
0	9	10
1	12	10
2	15	10
done	15	10
0	10	29
1	20	29
2	55	11
3	133	11
4	347	11
5	867	11
6	2302	11
done	5001	11
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	12	23
1	21	23
2	33	23
3	39	23
done	39	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	16
1	16	16
2	21	16
3	22	16
done	22	16
0	10	11
1	13	11
2	16	11
done	16	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	12	17
1	16	17
2	18	17
3	19	17
done	19	17
0	11	12
1	14	12
2	15	12
done	15	12
0	13	18
1	17	18
2	19	18
3	20	18
done	20	18
0	12	13
1	15	13
2	18	13
done	18	13
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	11	18
1	16	18
2	19	18
done	19	18
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	11	12
1	13	12
done	13	12
0	11	12
1	14	12
2	15	12
done	15	12
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	18	13
done	18	13
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	7	7
1	11	7
2	14	7
done	14	7
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	10	17
1	15	17
2	18	17
done	18	17
0	9	10
1	12	10
2	15	10
done	15	10
0	5	5
1	8	3
2	10	3
done	10	3
0	10	11
1	12	11
done	12	11
0	11	12
1	13	12
done	13	12
0	5	5
1	8	3
2	10	3
done	10	3
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	11	13
1	30	13
2	72	13
3	184	13
4	572	13
5	1976	13
done	5000	13
0	10	15
1	20	15
2	37	15
3	73	15
4	127	15
5	205	15
6	297	15
7	487	15
8	1867	15
done	5000	15
0	12	17
1	29	15
2	79	15
3	238	15
4	659	15
5	1762	15
6	3988	15
done	5000	15
0	8	9
1	13	9
2	28	9
3	66	9
4	150	9
5	272	9
6	375	9
7	535	9
8	839	9
9	1200	9
10	1260	9
done	1260	9
0	10	11
1	15	11
2	19	11
done	19	11
0	9	10
1	15	10
2	20	10
3	21	10
done	21	10
0	9	10
1	12	10
2	15	10
done	15	10
0	12	29
1	36	29
2	113	13
3	305	11
4	892	11
5	2761	11
done	5001	11
0	10	21
1	13	21
2	16	21
done	16	21
0	9	10
1	12	10
2	15	10
done	15	10
0	10	29
1	20	29
2	55	11
3	133	11
4	347	11
5	867	11
6	2302	11
done	5001	11
0	9	10
1	12	10
2	15	10
done	15	10
0	9	10
1	12	10
2	15	10
done	15	10
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	12	23
1	21	23
2	33	23
3	39	23
done	39	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	16
1	16	16
2	21	16
3	22	16
done	22	16
0	10	11
1	13	11
2	16	11
done	16	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	12	17
1	16	17
2	18	17
3	19	17
done	19	17
0	11	12
1	14	12
2	15	12
done	15	12
0	13	18
1	17	18
2	19	18
3	20	18
done	20	18
0	12	13
1	15	13
2	18	13
done	18	13
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	9	10
1	12	10
2	15	10
done	15	10
0	11	18
1	16	18
2	19	18
done	19	18
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	11	12
1	13	12
done	13	12
0	11	12
1	14	12
2	15	12
done	15	12
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	18	13
done	18	13
0	6	6
1	9	4
2	11	4
done	11	4
0	9	10
1	12	10
2	15	10
done	15	10
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	15
1	15	15
2	18	15
done	18	15
0	9	10
1	12	10
2	15	10
done	15	10
0	8	8
1	12	8
2	15	8
done	15	8
0	9	10
1	12	10
2	15	10
done	15	10
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	17	12
done	17	12
0	2	3
1	4	1
done	4	1
0	8	9
1	11	9
2	14	9
done	14	9
0	7	7
1	11	7
2	14	7
done	14	7
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	10	17
1	15	17
2	18	17
done	18	17
0	9	10
1	12	10
2	15	10
done	15	10
0	5	5
1	8	3
2	10	3
done	10	3
0	10	11
1	12	11
done	12	11
0	11	12
1	13	12
done	13	12
0	5	5
1	8	3
2	10	3
done	10	3
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	9	10
1	15	10
2	22	10
3	28	10
4	32	10
done	32	10
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	8	9
1	14	9
2	21	9
3	27	9
4	39	9
done	39	9
0	11	13
1	30	13
2	72	13
3	184	13
4	572	13
5	1976	13
done	5000	13
0	10	15
1	20	15
2	37	15
3	73	15
4	127	15
5	205	15
6	297	15
7	487	15
8	1867	15
done	5000	15
0	12	17
1	29	15
2	79	15
3	238	15
4	659	15
5	1762	15
6	3988	15
done	5000	15
0	8	9
1	13	9
2	28	9
3	66	9
4	150	9
5	272	9
6	375	9
7	535	9
8	839	9
9	1200	9
10	1260	9
done	1260	9
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	11	22
1	14	22
2	17	22
done	17	22
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	13	24
1	22	24
2	34	24
3	40	24
done	40	24
0	11	12
1	14	12
2	17	12
done	17	12
0	12	17
1	17	17
2	22	17
3	23	17
done	23	17
0	11	12
1	14	12
2	17	12
done	17	12
0	8	12
1	13	10
2	19	10
3	24	10
done	24	10
0	10	11
1	13	11
2	16	11
done	16	11
0	13	18
1	17	18
2	19	18
3	20	18
done	20	18
0	12	13
1	15	13
2	16	13
done	16	13
0	14	19
1	18	19
2	20	19
3	21	19
done	21	19
0	13	14
1	16	14
2	19	14
done	19	14
0	8	12
1	13	10
2	19	10
3	24	10
done	24	10
0	10	11
1	13	11
2	16	11
done	16	11
0	12	19
1	17	19
2	20	19
done	20	19
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	14	12
2	17	12
done	17	12
0	11	12
1	14	12
2	17	12
done	17	12
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	13	11
2	16	11
done	16	11
0	12	13
1	14	13
done	14	13
0	12	13
1	15	13
2	16	13
done	16	13
0	13	14
1	15	14
done	15	14
0	13	14
1	16	14
2	19	14
done	19	14
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	13	11
2	16	11
done	16	11
0	10	16
1	16	16
2	19	16
done	19	16
0	10	11
1	13	11
2	16	11
done	16	11
0	9	9
1	13	9
2	16	9
done	16	9
0	10	11
1	13	11
2	16	11
done	16	11
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	15	12
done	15	12
0	11	11
1	14	11
done	14	11
0	12	13
1	15	13
2	18	13
done	18	13
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	10	16
1	16	16
2	19	16
done	19	16
0	10	11
1	13	11
2	16	11
done	16	11
0	9	9
1	13	9
2	16	9
done	16	9
0	10	11
1	13	11
2	16	11
done	16	11
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	10	10
1	13	10
done	13	10
0	11	12
1	14	12
2	15	12
done	15	12
0	11	11
1	14	11
done	14	11
0	12	13
1	15	13
2	18	13
done	18	13
0	3	4
1	5	1
done	5	1
0	9	10
1	12	10
2	15	10
done	15	10
0	2	2
1	4	1
done	4	1
0	9	10
1	12	10
2	15	10
done	15	10
0	4	4
1	5	4
done	5	4
0	8	8
1	12	8
2	15	8
done	15	8
0	12	14
1	31	14
2	73	14
3	185	14
4	578	14
5	1985	14
done	5000	14
0	10	18
1	23	14
2	41	14
3	58	14
4	70	14
5	74	14
6	75	14
done	75	14
0	11	16
1	21	16
2	38	16
3	74	16
4	128	16
5	206	16
6	298	16
7	488	16
8	1840	16
done	5000	16
0	6	6
1	7	6
done	7	6
0	4	4
1	5	4
done	5	4
0	6	6
1	8	6
2	11	6
done	11	6
0	11	23
1	14	23
2	17	23
done	17	23
0	10	11
1	13	11
2	16	11
done	16	11
0	11	32
1	15	32
2	20	12
3	25	9
4	31	9
5	41	9
6	62	9
7	120	9
8	325	9
9	1246	9
done	5000	9
0	10	11
1	13	11
2	16	11
done	16	11
0	10	11
1	13	11
2	16	11
done	16	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	27	40
1	65	40
2	157	40
3	356	37
4	889	26
5	2748	23
done	5001	23
0	18	20
1	41	17
2	109	15
3	362	13
4	973	11
5	2403	7
done	5000	7
0	19	23
1	37	23
2	101	23
3	371	22
4	1610	17
done	5000	16

prune382.0ms

Filtered

138 candidates to 201 candidates (-45.7%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	201	9	210

Merged error: 5.0b

Counts

210 → 9

regimes273.0ms

Accuracy

0% (1.9b remaining)

Error of 7.3b against oracle of 5.4b and baseline of 7.3b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	9	9
done	9	9

end0.0ms

sample600.0ms

Algorithm

intervals

Results

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

Details

sample26.0ms

simplify4.0ms

prune3.0ms

localize7.0ms

rewrite14.0ms

series12.0ms

simplify17.3s

prune99.0ms

localize8.0ms

rewrite45.0ms

series31.0ms

simplify1.2min

prune174.0ms

localize11.0ms

rewrite74.0ms

series183.0ms

simplify3.6min

prune275.0ms

localize11.0ms

rewrite60.0ms

series127.0ms

simplify1.2min

prune382.0ms

regimes273.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample600.0ms

Profiling