Details

sample27.0ms

Algorithm

intervals

Results

10.0ms

318×

body

valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	11	9
2	18	9
3	27	9
4	36	9
5	45	9
6	63	9
7	97	9
8	157	9
9	222	9
10	336	9
11	733	9
12	4326	9
done	5000	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: 11.1b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* y (- z x))
10.4b	(/ (+ x (* y (- z x))) z)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 55

Calls

2 calls:

7.0ms	(* y (- z x))
6.0ms	(/ (+ x (* y (- z x))) z)

series29.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* y (- z x))
13.0ms	(/ (+ x (* y (- z x))) z)

simplify2.2min

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	15	11
2	23	11
3	32	11
4	41	11
5	47	11
6	56	11
7	74	11
8	104	11
9	131	11
10	160	11
11	174	11
12	192	11
13	205	11
14	221	11
15	256	11
16	321	11
17	423	11
18	517	11
19	621	11
20	694	11
21	707	11
22	732	11
23	774	11
24	853	11
25	1118	11
26	2500	11
done	5001	11
0	8	10
1	15	10
2	24	10
3	34	10
4	43	10
5	52	10
6	70	10
7	104	10
8	164	10
9	229	10
10	343	10
11	740	10
12	4307	10
done	5001	10
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	67	10
7	106	10
8	177	10
9	276	10
10	488	10
11	1459	10
done	5001	10
0	11	29
1	36	29
2	121	13
3	427	11
4	1814	11
done	5000	11
0	9	21
1	13	21
2	20	21
3	29	21
4	38	21
5	47	21
6	65	21
7	99	21
8	159	21
9	224	21
10	338	21
11	729	21
12	4028	21
done	5000	21
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	64	10
7	98	10
8	158	10
9	223	10
10	337	10
11	734	10
12	4338	10
done	5001	10
0	9	29
1	20	29
2	59	11
3	168	11
4	604	11
5	2487	11
done	5001	11
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	64	10
7	98	10
8	158	10
9	223	10
10	337	10
11	734	10
12	4338	10
done	5001	10
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	64	10
7	98	10
8	158	10
9	223	10
10	337	10
11	734	10
12	4338	10
done	5001	10
0	7	8
1	13	8
2	28	8
3	55	8
4	101	7
5	122	7
6	147	7
7	184	7
8	265	7
9	352	7
10	454	7
11	548	7
12	650	7
13	717	7
14	721	7
done	721	7
0	2	2
done	2	2
0	11	23
1	21	23
2	37	23
3	52	23
4	61	23
5	67	23
6	76	23
7	94	23
8	124	23
9	151	23
10	180	23
11	194	23
12	212	23
13	225	23
14	241	23
15	276	23
16	341	23
17	441	23
18	535	23
19	637	23
20	706	23
21	710	23
done	710	23
0	9	11
1	13	11
2	20	11
3	29	11
4	38	11
5	44	11
6	53	11
7	71	11
8	101	11
9	128	11
10	157	11
11	171	11
12	189	11
13	202	11
14	218	11
15	253	11
16	318	11
17	418	11
18	510	11
19	616	11
20	687	11
21	691	11
done	691	11
0	10	20
1	16	20
2	25	20
3	35	20
4	44	20
5	50	20
6	59	20
7	77	20
8	107	20
9	134	20
10	163	20
11	177	20
12	195	20
13	208	20
14	224	20
15	259	20
16	324	20
17	426	20
18	520	20
19	624	20
20	691	20
21	695	20
done	695	20
0	9	11
1	13	11
2	20	11
3	29	11
4	38	11
5	44	11
6	53	11
7	71	11
8	101	11
9	128	11
10	157	11
11	171	11
12	189	11
13	202	11
14	218	11
15	253	11
16	318	11
17	418	11
18	510	11
19	616	11
20	687	11
21	691	11
done	691	11
0	10	19
1	18	17
2	31	17
3	45	17
4	54	17
5	59	17
6	66	17
7	84	17
8	114	17
9	141	17
10	170	17
11	184	17
12	202	17
13	215	17
14	231	17
15	266	17
16	328	17
17	430	17
18	526	17
19	630	17
20	699	17
21	703	17
done	703	17
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	43	10
6	52	10
7	70	10
8	100	10
9	127	10
10	156	10
11	170	10
12	188	10
13	201	10
14	217	10
15	252	10
16	317	10
17	423	10
18	515	10
19	621	10
20	690	10
21	694	10
done	694	10
0	10	14
1	16	14
2	23	14
3	32	14
4	41	14
5	47	14
6	56	14
7	74	14
8	104	14
9	131	14
10	160	14
11	174	14
12	192	14
13	205	14
14	221	14
15	256	14
16	321	14
17	423	14
18	519	14
19	623	14
20	692	14
21	696	14
done	696	14
0	9	11
1	13	11
2	20	11
3	29	11
4	38	11
5	44	11
6	53	11
7	71	11
8	101	11
9	128	11
10	157	11
11	171	11
12	189	11
13	202	11
14	218	11
15	253	11
16	318	11
17	418	11
18	510	11
19	616	11
20	687	11
21	691	11
done	691	11
0	9	11
1	13	11
2	20	11
3	29	11
4	38	11
5	44	11
6	53	11
7	71	11
8	101	11
9	128	11
10	157	11
11	171	11
12	189	11
13	202	11
14	218	11
15	253	11
16	318	11
17	418	11
18	510	11
19	616	11
20	687	11
21	691	11
done	691	11
0	9	11
1	13	11
2	20	11
3	29	11
4	38	11
5	44	11
6	53	11
7	71	11
8	101	11
9	128	11
10	157	11
11	171	11
12	189	11
13	202	11
14	218	11
15	253	11
16	318	11
17	418	11
18	510	11
19	616	11
20	687	11
21	691	11
done	691	11
0	9	10
1	15	8
2	24	8
3	33	8
4	42	8
5	47	8
6	54	8
7	72	8
8	102	8
9	129	8
10	158	8
11	172	8
12	190	8
13	203	8
14	219	8
15	254	8
16	316	8
17	422	8
18	516	8
19	622	8
20	693	8
21	697	8
done	697	8
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	43	10
6	52	10
7	70	10
8	100	10
9	127	10
10	156	10
11	170	10
12	188	10
13	201	10
14	217	10
15	252	10
16	317	10
17	423	10
18	515	10
19	621	10
20	690	10
21	694	10
done	694	10
0	5	7
1	9	7
done	9	7
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	64	10
7	98	10
8	159	10
9	224	10
10	337	10
11	425	10
12	512	10
13	662	10
14	1124	10
15	2138	10
16	2548	10
17	2896	10
18	2983	10
19	2995	10
done	2995	10
0	4	4
1	6	4
done	6	4
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	64	10
7	98	10
8	159	10
9	224	10
10	337	10
11	425	10
12	512	10
13	662	10
14	1124	10
15	2138	10
16	2548	10
17	2896	10
18	2983	10
19	2995	10
done	2995	10
0	2	3
1	4	1
done	4	1
0	7	9
1	11	9
2	18	9
3	27	9
4	36	9
5	45	9
6	63	9
7	97	9
8	157	9
9	222	9
10	336	9
11	733	9
12	4326	9
done	5000	9
0	3	3
1	5	3
done	5	3
0	7	9
1	11	9
2	18	9
3	27	9
4	36	9
5	42	9
6	51	9
7	69	9
8	99	9
9	126	9
10	155	9
11	169	9
12	187	9
13	200	9
14	216	9
15	251	9
16	316	9
17	414	9
18	504	9
19	608	9
20	679	9
21	690	9
22	698	9
23	700	9
done	700	9
0	9	13
1	15	13
2	22	13
3	31	13
4	40	13
5	52	13
6	85	13
7	155	13
8	270	13
9	404	13
10	640	13
11	862	13
12	1074	13
13	1498	13
14	3004	13
done	5000	13
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	46	10
6	64	10
7	98	10
8	159	10
9	224	10
10	337	10
11	425	10
12	512	10
13	662	10
14	1124	10
15	2138	10
16	2548	10
17	2896	10
18	2983	10
19	2995	10
done	2995	10
0	8	9
1	14	7
2	23	7
3	32	7
4	41	7
5	49	7
6	65	7
7	102	7
8	180	7
9	263	7
10	352	7
11	407	7
12	427	7
13	443	7
14	471	7
15	520	7
16	612	7
17	903	7
18	1215	7
19	1764	7
20	2281	7
21	2468	7
22	2480	7
23	2488	7
done	2488	7
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	43	10
6	52	10
7	70	10
8	100	10
9	127	10
10	156	10
11	170	10
12	188	10
13	201	10
14	217	10
15	252	10
16	317	10
17	423	10
18	515	10
19	621	10
20	692	10
21	696	10
done	696	10
0	8	10
1	12	10
2	19	10
3	28	10
4	37	10
5	43	10
6	52	10
7	70	10
8	100	10
9	127	10
10	156	10
11	170	10
12	188	10
13	201	10
14	217	10
15	252	10
16	317	10
17	423	10
18	515	10
19	621	10
20	692	10
21	696	10
done	696	10
0	7	9
1	11	9
2	18	9
3	27	9
4	36	9
5	42	9
6	51	9
7	69	9
8	99	9
9	126	9
10	155	9
11	169	9
12	187	9
13	200	9
14	216	9
15	251	9
16	316	9
17	414	9
18	504	9
19	608	9
20	679	9
21	690	9
22	698	9
23	700	9
done	700	9
0	11	25
1	38	19
2	119	19
3	374	19
4	1152	19
5	3535	19
done	5000	19
0	7	9
1	13	9
2	33	9
3	72	9
4	168	9
5	241	9
6	328	9
7	439	9
8	563	9
9	719	9
10	936	9
11	1287	9
12	1615	9
13	1655	9
done	1655	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune92.0ms

Filtered

46 candidates to 61 candidates (-32.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	55	6	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	6	62

Merged error: 3.8b

Counts

62 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* (- 1 y) x) z) y)
0.0b	(* (- 1 y) x)
3.6b	(/ (* (- 1 y) x) z)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
6×	`associate-l`
5×	`pow1` `add-log-exp`
4×	`associate-*l/`
3×	`times-frac` `associate-r` `associate-/r*`
2×	`cbrt-undiv` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `associate-/l/` `difference-of-squares`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `unswap-sqr`

Counts

3 → 58

Calls

3 calls:

9.0ms	(+ (/ (* (- 1 y) x) z) y)
8.0ms	(* (- 1 y) x)
8.0ms	(/ (* (- 1 y) x) z)

series22.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(+ (/ (* (- 1 y) x) z) y)
5.0ms	(* (- 1 y) x)
9.0ms	(/ (* (- 1 y) x) z)

simplify3.4min

Counts

67 → 67

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	19	10
2	27	10
3	33	10
4	39	10
5	48	10
6	61	10
7	79	10
8	95	10
9	102	10
10	119	10
11	121	10
done	121	10
0	9	9
1	19	9
2	32	9
3	46	9
4	55	9
5	61	9
6	70	9
7	83	9
8	101	9
9	117	9
10	124	9
11	141	9
12	143	9
done	143	9
0	8	8
1	18	8
2	40	8
3	71	8
4	108	8
5	159	8
6	256	8
7	445	8
8	653	8
9	737	8
10	790	8
done	790	8
0	8	8
1	15	8
2	29	8
3	49	8
4	85	8
5	148	8
6	310	8
7	770	8
8	2695	8
done	5001	8
0	13	23
1	32	23
2	141	13
3	668	13
4	3271	11
done	5000	11
0	11	23
1	34	23
2	160	11
3	913	9
4	4226	9
done	5000	9
0	9	17
1	16	17
2	30	17
3	45	17
4	67	17
5	105	17
6	175	17
7	303	17
8	448	17
9	487	17
10	497	17
done	497	17
0	8	8
1	15	8
2	29	8
3	44	8
4	66	8
5	104	8
6	170	8
7	292	8
8	439	8
9	476	8
10	487	8
done	487	8
0	9	23
1	23	23
2	74	9
3	340	9
4	1603	9
done	5000	9
0	8	8
1	15	8
2	29	8
3	44	8
4	66	8
5	104	8
6	170	8
7	292	8
8	439	8
9	476	8
10	487	8
done	487	8
0	8	8
1	15	8
2	29	8
3	44	8
4	66	8
5	104	8
6	170	8
7	292	8
8	439	8
9	476	8
10	487	8
done	487	8
0	6	6
1	15	6
2	28	6
3	52	5
4	60	5
5	109	5
6	263	5
done	263	5
0	2	2
done	2	2
0	7	9
1	16	9
2	24	9
3	29	9
4	32	9
done	32	9
0	4	4
done	4	4
0	6	6
1	13	6
2	16	6
3	18	6
done	18	6
0	4	4
done	4	4
0	4	5
1	11	3
2	16	3
done	16	3
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	7	7
1	14	7
2	23	7
3	28	7
4	32	7
done	32	7
0	9	11
1	21	11
2	48	11
3	80	11
4	142	11
5	224	11
6	466	11
7	881	11
8	1132	11
9	1171	11
10	1196	11
done	1196	11
0	8	8
1	15	8
2	29	8
3	44	8
4	66	8
5	104	8
6	172	8
7	298	8
8	441	8
9	474	8
10	483	8
done	483	8
0	6	7
1	13	5
2	31	5
3	54	5
4	82	5
5	88	5
6	101	5
7	112	5
8	117	5
done	117	5
0	3	3
done	3	3
0	9	13
1	25	9
2	47	9
3	69	9
4	71	9
5	79	9
6	105	9
7	109	9
8	113	9
9	119	9
done	119	9
0	5	5
1	15	5
2	16	5
done	16	5
0	5	5
1	10	5
2	17	5
3	22	5
4	26	5
done	26	5
0	7	7
1	12	7
2	13	7
done	13	7
0	6	6
1	14	6
2	22	6
3	27	6
4	31	6
done	31	6
0	6	6
1	13	6
2	31	6
3	49	6
4	89	6
5	169	6
6	363	6
7	915	6
8	3144	6
done	5000	6
0	9	17
1	20	17
2	58	9
3	183	9
4	646	7
5	2668	7
done	5001	7
0	7	13
1	12	13
2	19	13
3	24	13
4	28	13
done	28	13
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	7	17
1	22	17
2	76	7
3	286	7
4	864	7
5	2733	7
done	5000	7
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	7	7
1	12	7
2	13	7
done	13	7
0	7	7
1	12	7
2	13	7
done	13	7
0	7	9
1	14	9
2	23	9
3	40	9
4	98	9
5	167	9
6	205	9
7	218	9
done	218	9
0	6	6
1	11	6
2	18	6
3	23	6
4	48	6
5	90	6
6	106	6
7	117	6
done	117	6
0	4	5
1	9	3
2	17	3
3	26	3
4	35	3
5	39	3
done	39	3
0	6	6
1	11	6
2	12	6
done	12	6
0	6	6
1	11	6
2	12	6
done	12	6
0	5	5
1	10	5
2	17	5
3	22	5
4	26	5
done	26	5
0	7	7
1	12	6
2	19	6
3	24	6
4	28	6
done	28	6
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	5	5
1	10	5
2	17	5
3	22	5
4	26	5
done	26	5
0	8	9
1	26	7
2	48	7
3	98	7
4	204	7
5	514	7
6	1743	7
done	5001	7
0	7	9
1	15	7
2	32	7
3	74	7
4	149	7
5	351	7
6	583	7
7	1124	7
8	4208	7
done	5000	7
0	10	11
1	20	10
2	35	10
3	59	10
4	110	10
5	201	10
6	434	10
7	1217	10
done	5000	10
0	9	10
1	17	10
2	31	10
3	50	10
4	79	10
5	127	10
6	206	10
7	342	10
8	517	10
9	654	10
10	860	10
11	1312	10
12	1414	10
13	1436	10
14	1452	10
15	1506	10
16	1689	10
17	2346	10
18	4916	10
done	5000	10
0	9	10
1	20	10
2	35	10
3	59	10
4	110	10
5	201	10
6	434	10
7	1224	10
done	5000	10
0	10	21
1	18	21
2	32	21
3	51	21
4	80	21
5	128	21
6	209	21
7	351	21
8	527	21
9	662	21
10	871	21
11	1316	21
12	1412	21
13	1419	21
done	1419	21
0	9	10
1	17	10
2	31	10
3	50	10
4	79	10
5	127	10
6	206	10
7	342	10
8	515	10
9	649	10
10	855	10
11	1294	10
12	1390	10
13	1397	10
done	1397	10
0	10	29
1	31	29
2	93	11
3	346	11
4	1462	11
done	5000	11
0	9	10
1	17	10
2	31	10
3	50	10
4	79	10
5	127	10
6	206	10
7	342	10
8	515	10
9	649	10
10	855	10
11	1294	10
12	1390	10
13	1397	10
done	1397	10
0	9	10
1	17	10
2	31	10
3	50	10
4	79	10
5	127	10
6	206	10
7	342	10
8	515	10
9	649	10
10	855	10
11	1294	10
12	1390	10
13	1397	10
done	1397	10
0	11	13
1	35	13
2	90	13
3	328	13
4	1649	13
done	5000	13
0	12	29
1	33	27
2	93	27
3	301	21
4	912	21
5	3453	21
done	5001	21
0	10	19
1	26	19
2	66	19
3	223	19
4	697	19
5	2692	19
done	5000	19
0	8	9
1	16	9
2	31	9
3	52	9
4	87	9
5	138	9
6	213	9
7	361	9
8	584	9
9	950	9
10	1251	9
11	1564	9
12	1583	9
done	1583	9
0	8	9
1	16	9
2	30	9
3	49	9
4	78	9
5	126	9
6	205	9
7	338	9
8	518	9
9	652	9
10	858	9
11	1303	9
12	1396	9
13	1403	9
done	1403	9
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	4	5
1	7	5
2	14	5
3	17	5
4	21	5
5	28	5
6	29	5
done	29	5
0	4	5
1	7	5
2	14	5
3	17	5
4	21	5
5	28	5
6	29	5
done	29	5
0	4	5
1	7	5
2	14	5
3	17	5
4	21	5
5	28	5
6	29	5
done	29	5
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9

prune104.0ms

Filtered

51 candidates to 67 candidates (-31.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	64	3	67
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	69	4	73

Merged error: 0.0b

Counts

73 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (- 1 y) (/ x z)) y)
3.2b	(* (- 1 y) (/ x z))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
13×	`-un-lft-identity` `associate-r*`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-l`
4×	`pow1` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*l/` `prod-exp` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `associate-r/` `div-exp` `pow-prod-down` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--`

Counts

2 → 50

Calls

2 calls:

10.0ms	(+ (* (- 1 y) (/ x z)) y)
11.0ms	(* (- 1 y) (/ x z))

series17.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(+ (* (- 1 y) (/ x z)) y)
8.0ms	(* (- 1 y) (/ x z))

simplify3.4min

Counts

56 → 56

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	24	7
3	48	7
4	108	7
5	237	7
6	367	7
7	474	7
8	493	7
9	499	7
10	502	7
done	502	7
0	10	10
1	19	10
2	27	10
3	36	10
4	42	10
5	52	10
6	59	10
7	71	10
8	94	10
9	108	10
10	114	10
done	114	10
0	9	9
1	17	9
2	24	9
3	33	9
4	43	9
5	52	9
6	57	9
7	66	9
8	83	9
9	102	9
10	110	9
done	110	9
0	8	8
1	18	8
2	34	8
3	68	8
4	150	8
5	316	8
6	585	8
7	785	8
8	853	8
9	876	8
10	922	8
done	922	8
0	8	8
1	17	8
2	38	8
3	77	8
4	191	8
5	472	8
6	1272	8
done	5000	8
0	13	23
1	32	23
2	123	13
3	562	11
4	2869	11
done	5000	11
0	11	23
1	28	23
2	90	11
3	333	11
4	1525	9
done	5001	9
0	9	17
1	16	17
2	26	17
3	50	17
4	110	17
5	239	17
6	370	17
7	484	17
8	503	17
9	510	17
10	514	17
done	514	17
0	8	8
1	15	8
2	25	8
3	49	8
4	109	8
5	236	8
6	366	8
7	471	8
8	490	8
9	496	8
10	500	8
done	500	8
0	9	23
1	26	23
2	105	9
3	531	9
4	2452	9
done	5000	9
0	8	8
1	15	8
2	25	8
3	49	8
4	109	8
5	236	8
6	366	8
7	471	8
8	490	8
9	496	8
10	500	8
done	500	8
0	8	8
1	15	8
2	25	8
3	49	8
4	109	8
5	236	8
6	366	8
7	471	8
8	490	8
9	496	8
10	500	8
done	500	8
0	8	9
1	26	7
2	48	7
3	98	7
4	204	7
5	514	7
6	1743	7
done	5001	7
0	9	13
1	19	9
2	39	9
3	60	9
4	76	9
done	76	9
0	7	9
1	15	7
2	32	7
3	74	7
4	149	7
5	351	7
6	583	7
7	1124	7
8	4208	7
done	5000	7
0	5	5
1	9	5
2	17	5
done	17	5
0	9	9
1	14	9
2	15	9
done	15	9
0	9	9
1	14	9
2	15	9
done	15	9
0	10	10
1	17	10
2	21	10
3	25	10
4	26	10
done	26	10
0	10	10
1	17	10
2	21	10
3	25	10
4	26	10
done	26	10
0	9	13
1	16	13
2	25	13
3	42	13
4	100	13
5	165	13
6	203	13
7	216	13
done	216	13
0	8	8
1	13	8
2	20	8
3	25	8
4	50	8
5	88	8
6	104	8
7	115	8
done	115	8
0	11	15
1	24	15
2	60	15
3	164	15
4	474	15
5	1074	15
6	1729	15
7	2134	15
8	2309	15
9	2348	15
done	2348	15
0	10	12
1	19	12
2	36	12
3	89	12
4	245	12
5	512	12
6	746	12
7	842	12
8	871	12
9	875	12
done	875	12
0	8	11
1	17	9
2	41	9
3	113	9
4	287	9
5	516	9
6	701	9
7	873	9
8	968	9
done	968	9
0	10	12
1	19	12
2	37	12
3	86	12
4	198	12
5	510	12
6	787	12
7	983	12
8	1072	12
9	1090	12
done	1090	12
0	9	9
1	16	9
2	26	9
3	50	9
4	110	9
5	260	9
6	372	9
7	434	9
8	452	9
9	454	9
done	454	9
0	7	8
1	14	6
2	28	6
3	47	6
4	105	6
5	213	6
6	327	6
7	421	6
8	481	6
done	481	6
0	8	11
1	17	11
2	34	9
3	90	9
4	169	9
5	247	9
6	320	9
7	348	9
8	372	9
9	374	9
done	374	9
0	7	8
1	14	8
2	24	6
3	53	6
4	84	6
5	117	6
6	138	6
7	140	6
8	141	6
done	141	6
0	5	7
1	12	5
2	22	3
3	37	3
4	48	3
5	52	3
done	52	3
0	4	5
1	9	3
2	17	3
3	26	3
4	35	3
5	39	3
done	39	3
0	5	5
1	10	5
2	17	5
3	22	5
4	26	5
done	26	5
0	8	8
1	15	8
2	19	8
3	23	8
4	24	8
done	24	8
0	8	8
1	15	8
2	19	8
3	23	8
4	24	8
done	24	8
0	7	7
1	14	7
2	24	7
3	48	7
4	108	7
5	237	7
6	367	7
7	474	7
8	493	7
9	499	7
10	502	7
done	502	7
0	9	9
1	16	8
2	26	8
3	50	8
4	110	8
5	241	8
6	378	8
7	453	8
8	462	8
9	463	8
done	463	8
0	8	8
1	15	8
2	25	8
3	49	8
4	109	8
5	238	8
6	371	8
7	446	8
8	455	8
9	458	8
done	458	8
0	7	7
1	14	7
2	24	7
3	48	7
4	108	7
5	237	7
6	367	7
7	474	7
8	493	7
9	499	7
10	502	7
done	502	7
0	5	5
1	10	5
2	17	5
3	22	5
4	26	5
done	26	5
0	10	11
1	30	9
2	57	9
3	128	9
4	398	9
5	1484	9
done	5000	9
0	9	11
1	19	9
2	41	9
3	116	9
4	341	9
5	888	9
6	1653	9
7	3194	9
done	5000	9
0	10	11
1	22	10
2	43	10
3	90	10
4	234	10
5	574	10
6	1554	10
done	5000	10
0	9	10
1	17	10
2	27	10
3	55	10
4	123	10
5	259	10
6	399	10
7	534	10
8	610	10
9	778	10
10	1133	10
11	1299	10
12	1325	10
13	1329	10
14	1346	10
15	1404	10
16	1579	10
17	2217	10
18	4825	10
done	5000	10
0	9	10
1	20	10
2	35	10
3	77	10
4	195	10
5	465	10
6	1023	10
7	3427	10
done	5001	10
0	10	21
1	18	21
2	28	21
3	56	21
4	124	21
5	258	21
6	396	21
7	526	21
8	600	21
9	767	21
10	1115	21
11	1275	21
12	1294	21
done	1294	21
0	9	10
1	17	10
2	27	10
3	55	10
4	123	10
5	259	10
6	399	10
7	534	10
8	608	10
9	773	10
10	1125	10
11	1296	10
12	1315	10
done	1315	10
0	10	29
1	31	29
2	97	11
3	417	11
4	2100	11
done	5000	11
0	9	10
1	17	10
2	27	10
3	55	10
4	123	10
5	259	10
6	399	10
7	534	10
8	608	10
9	773	10
10	1125	10
11	1296	10
12	1315	10
done	1315	10
0	9	10
1	17	10
2	27	10
3	55	10
4	123	10
5	259	10
6	399	10
7	534	10
8	608	10
9	773	10
10	1125	10
11	1296	10
12	1315	10
done	1315	10
0	11	13
1	35	13
2	96	13
3	397	13
4	1801	13
done	5000	13
0	12	29
1	36	27
2	113	27
3	378	21
4	1461	21
done	5000	21
0	10	19
1	29	19
2	84	19
3	292	19
4	1105	19
5	3699	19
done	5001	19
0	8	9
1	16	9
2	27	9
3	57	9
4	134	9
5	281	9
6	435	9
7	588	9
8	733	9
9	1228	9
10	1460	9
11	1512	9
done	1512	9
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9

prune75.0ms

Filtered

42 candidates to 56 candidates (-33.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	56	4	60

Merged error: 0.0b

Counts

60 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (/ (- 1 y) (/ z x)) y)
3.7b	(/ (- 1 y) (/ z x))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

141×	`times-frac`
109×	`*-un-lft-identity`
107×	`add-sqr-sqrt`
65×	`add-cube-cbrt`
28×	`difference-of-squares`
14×	`distribute-lft-out--`
13×	`associate-/r*`
8×	`div-inv`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `div-sub` `associate-/l/`
1×	`+-commutative` `associate-+l-` `flip3--` `frac-2neg` `flip3-+` `clear-num` `sum-log` `associate-/r/` `flip--` `flip-+` `distribute-lft-out`

Counts

2 → 128

Calls

2 calls:

30.0ms	(+ (/ (- 1 y) (/ z x)) y)
11.0ms	(/ (- 1 y) (/ z x))

series18.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(+ (/ (- 1 y) (/ z x)) y)
9.0ms	(/ (- 1 y) (/ z x))

simplify2.4min

Counts

134 → 134

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	20	10
2	29	10
3	42	10
4	47	10
5	55	10
6	70	10
7	96	10
8	105	10
done	105	10
0	9	9
1	18	9
2	24	9
3	31	9
4	44	9
5	48	9
6	56	9
7	71	9
8	97	9
9	106	9
done	106	9
0	8	8
1	20	8
2	38	8
3	60	8
4	89	8
5	113	8
6	140	8
7	201	8
8	333	8
9	503	8
10	684	8
11	712	8
12	722	8
13	725	8
done	725	8
0	8	8
1	17	8
2	33	8
3	60	8
4	99	8
5	170	8
6	426	8
7	1666	8
done	5000	8
0	13	23
1	31	23
2	124	13
3	559	11
4	2768	9
done	5001	9
0	11	23
1	30	23
2	104	11
3	411	9
4	2070	9
done	5000	9
0	9	17
1	18	17
2	29	17
3	43	17
4	62	17
5	69	17
6	88	17
7	132	17
8	222	17
9	312	17
10	400	17
11	415	17
12	424	17
13	427	17
done	427	17
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	397	8
11	412	8
12	422	8
13	425	8
done	425	8
0	9	23
1	25	23
2	83	9
3	408	9
4	2810	9
done	5000	9
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	397	8
11	412	8
12	422	8
13	425	8
done	425	8
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	397	8
11	412	8
12	422	8
13	425	8
done	425	8
0	4	4
1	8	4
2	13	4
3	15	3
done	15	3
0	4	4
1	6	4
done	6	4
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	11	19
1	21	19
2	31	19
3	37	19
done	37	19
0	9	9
1	13	9
2	14	9
done	14	9
0	10	14
1	16	14
2	19	14
3	20	14
done	20	14
0	9	9
1	13	9
2	14	9
done	14	9
0	13	21
1	27	21
2	64	21
3	157	21
4	283	21
5	378	21
6	416	21
7	426	21
done	426	21
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	12	18
1	22	18
2	41	18
3	85	18
4	129	18
5	148	18
6	153	18
7	154	18
done	154	18
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	10	17
1	20	15
2	44	15
3	119	15
4	150	15
5	175	15
6	177	15
done	177	15
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	12	18
1	22	18
2	38	18
3	66	18
4	102	18
5	123	18
6	133	18
7	142	18
8	143	18
done	143	18
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	11	15
1	19	15
2	29	15
3	39	15
4	49	15
5	53	15
6	55	15
7	56	15
done	56	15
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	9	14
1	17	12
2	29	12
3	51	12
4	56	12
5	60	12
6	66	12
done	66	12
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	10	17
1	20	17
2	36	15
3	83	15
4	195	15
5	264	15
6	308	15
done	308	15
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	9	14
1	17	14
2	27	12
3	53	12
4	100	12
5	109	12
done	109	12
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	7	13
1	15	11
2	25	9
3	46	9
4	60	9
done	60	9
0	8	8
1	14	8
2	18	8
3	19	8
4	21	8
5	23	8
6	24	8
done	24	8
0	6	11
1	12	9
2	19	9
3	24	9
done	24	9
0	8	8
1	14	8
2	18	8
3	19	8
4	21	8
5	23	8
6	24	8
done	24	8
0	7	11
1	13	11
2	16	11
3	17	11
done	17	11
0	7	8
1	13	8
2	17	6
3	26	6
4	35	6
5	37	6
done	37	6
0	10	14
1	16	14
2	17	14
done	17	14
0	9	9
1	13	9
2	14	9
done	14	9
0	9	9
1	13	9
2	14	9
done	14	9
0	9	9
1	13	9
2	14	9
done	14	9
0	12	16
1	24	16
2	46	16
3	77	16
4	103	16
5	134	16
6	157	16
7	167	16
done	167	16
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	11	13
1	19	13
2	28	13
3	41	13
4	49	13
5	55	13
6	58	13
done	58	13
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	9	12
1	17	10
2	31	10
3	58	10
4	70	10
5	82	10
6	88	10
done	88	10
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	11	13
1	19	13
2	27	13
3	35	13
4	39	13
5	48	13
6	54	13
7	59	13
done	59	13
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	10	10
1	16	10
2	20	10
3	21	10
4	23	10
5	25	10
6	26	10
done	26	10
0	8	9
1	14	7
2	21	7
3	26	7
4	28	7
5	31	7
6	35	7
done	35	7
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	9	12
1	17	12
2	25	10
3	41	10
4	68	10
5	91	10
6	111	10
done	111	10
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	8	9
1	14	9
2	18	7
3	27	7
4	36	7
5	38	7
done	38	7
0	9	9
1	15	9
2	19	9
3	20	9
4	22	9
5	24	9
6	25	9
done	25	9
0	6	8
1	12	6
2	18	4
3	20	4
4	24	4
done	24	4
0	8	8
1	14	8
2	18	8
3	19	8
4	21	8
5	23	8
6	24	8
done	24	8
0	5	6
1	9	4
2	12	4
done	12	4
0	8	8
1	14	8
2	18	8
3	19	8
4	21	8
5	23	8
6	24	8
done	24	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	6
3	26	6
4	35	6
5	37	6
done	37	6
0	7	11
1	11	11
done	11	11
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	6	6
1	8	6
done	8	6
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	395	8
11	409	8
12	420	8
13	423	8
done	423	8
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	395	8
11	409	8
12	420	8
13	423	8
done	423	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	127	8
6	263	8
7	341	8
8	387	8
9	411	8
done	411	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	127	8
6	263	8
7	341	8
8	387	8
9	411	8
done	411	8
0	3	5
1	6	1
done	6	1
0	7	7
1	16	7
2	27	7
3	41	7
4	60	7
5	67	7
6	86	7
7	130	7
8	218	7
9	308	7
10	392	7
11	406	7
12	415	7
13	418	7
done	418	7
0	2	3
1	4	1
done	4	1
0	7	7
1	16	7
2	27	7
3	41	7
4	60	7
5	67	7
6	86	7
7	130	7
8	218	7
9	308	7
10	392	7
11	406	7
12	415	7
13	418	7
done	418	7
0	3	3
1	5	3
done	5	3
0	6	7
1	15	7
2	26	5
3	54	5
4	70	5
5	81	5
6	92	5
7	97	5
done	97	5
0	11	15
1	16	14
done	16	14
0	10	10
1	17	9
2	20	9
3	22	9
done	22	9
0	10	10
1	13	9
done	13	9
0	10	10
1	17	9
2	20	9
3	22	9
done	22	9
0	13	17
1	24	16
2	45	16
3	76	16
4	110	16
5	164	16
6	321	16
7	667	16
8	858	16
9	947	16
10	948	16
done	948	16
0	11	11
1	20	10
2	31	10
3	45	10
4	64	10
5	130	10
6	272	10
7	353	10
8	400	10
9	425	10
done	425	10
0	12	14
1	19	13
2	27	13
3	40	13
4	56	13
5	70	13
6	137	13
7	331	13
8	417	13
9	460	13
10	461	13
done	461	13
0	11	11
1	20	10
2	31	10
3	45	10
4	64	10
5	130	10
6	272	10
7	353	10
8	400	10
9	425	10
done	425	10
0	10	13
1	17	10
2	30	10
3	57	10
4	75	10
5	105	10
6	126	10
7	132	10
8	140	10
9	144	10
done	144	10
0	10	10
1	19	9
2	30	9
3	44	9
4	63	9
5	70	9
6	89	9
7	133	9
8	221	9
9	321	9
10	381	9
11	389	9
12	390	9
done	390	9
0	12	14
1	19	13
2	26	13
3	34	13
4	46	13
5	67	13
6	150	13
7	265	13
8	306	13
9	339	13
10	340	13
done	340	13
0	11	11
1	20	10
2	31	10
3	45	10
4	64	10
5	130	10
6	272	10
7	353	10
8	400	10
9	425	10
done	425	10
0	11	11
1	16	10
2	19	10
3	20	10
4	30	10
5	32	10
6	71	10
7	126	10
8	149	10
9	166	10
done	166	10
0	11	11
1	20	10
2	31	10
3	45	10
4	64	10
5	130	10
6	272	10
7	353	10
8	400	10
9	425	10
done	425	10
0	9	10
1	14	7
2	20	7
3	25	7
4	33	7
5	42	7
6	52	7
7	55	7
8	57	7
9	58	7
done	58	7
0	10	10
1	19	9
2	30	9
3	44	9
4	63	9
5	70	9
6	89	9
7	133	9
8	221	9
9	321	9
10	381	9
11	389	9
12	390	9
done	390	9
0	10	13
1	17	12
2	24	10
3	48	10
4	86	10
5	176	10
6	303	10
7	328	10
8	401	10
9	411	10
done	411	10
0	10	10
1	19	9
2	30	9
3	44	9
4	63	9
5	129	9
6	269	9
7	350	9
8	397	9
9	419	9
done	419	9
0	9	10
1	14	9
2	17	7
3	34	7
4	43	7
5	79	7
6	122	7
7	134	7
8	171	7
9	179	7
done	179	7
0	10	10
1	19	9
2	30	9
3	44	9
4	63	9
5	129	9
6	269	9
7	350	9
8	397	9
9	419	9
done	419	9
0	7	9
1	12	6
2	17	4
3	25	4
4	35	4
done	35	4
0	9	9
1	18	8
2	29	8
3	43	8
4	62	8
5	69	8
6	88	8
7	132	8
8	222	8
9	321	8
10	387	8
11	395	8
12	399	8
done	399	8
0	6	7
1	9	4
2	11	4
done	11	4
0	9	9
1	18	8
2	29	8
3	43	8
4	62	8
5	69	8
6	88	8
7	132	8
8	222	8
9	321	8
10	387	8
11	395	8
12	399	8
done	399	8
0	7	7
1	10	6
done	10	6
0	8	9
1	17	8
2	28	6
3	56	6
4	74	6
5	82	6
6	91	6
7	97	6
done	97	6
0	10	14
1	15	14
done	15	14
0	9	9
1	16	9
2	19	9
3	21	9
done	21	9
0	9	9
1	12	9
done	12	9
0	9	9
1	16	9
2	19	9
3	21	9
done	21	9
0	12	16
1	23	16
2	44	16
3	73	16
4	107	16
5	161	16
6	317	16
7	663	16
8	843	16
9	932	16
10	933	16
done	933	16
0	10	10
1	19	10
2	30	10
3	44	10
4	63	10
5	129	10
6	269	10
7	346	10
8	393	10
9	419	10
done	419	10
0	11	13
1	18	13
2	26	13
3	39	13
4	55	13
5	69	13
6	136	13
7	332	13
8	420	13
9	463	13
10	464	13
done	464	13
0	10	10
1	19	10
2	30	10
3	44	10
4	63	10
5	129	10
6	269	10
7	346	10
8	393	10
9	419	10
done	419	10
0	9	12
1	16	10
2	29	10
3	56	10
4	74	10
5	104	10
6	124	10
7	130	10
8	138	10
9	142	10
done	142	10
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	69	9
6	88	9
7	132	9
8	222	9
9	321	9
10	385	9
11	393	9
12	397	9
done	397	9
0	11	13
1	18	13
2	25	13
3	33	13
4	45	13
5	66	13
6	145	13
7	256	13
8	297	13
9	330	13
10	331	13
done	331	13
0	10	10
1	19	10
2	30	10
3	44	10
4	63	10
5	129	10
6	269	10
7	346	10
8	393	10
9	419	10
done	419	10
0	10	10
1	15	10
2	18	10
3	19	10
4	29	10
5	31	10
6	70	10
7	129	10
8	152	10
9	170	10
done	170	10
0	10	10
1	19	10
2	30	10
3	44	10
4	63	10
5	129	10
6	269	10
7	346	10
8	393	10
9	419	10
done	419	10
0	8	9
1	13	7
2	19	7
3	24	7
4	32	7
5	41	7
6	51	7
7	54	7
8	56	7
9	57	7
done	57	7
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	69	9
6	88	9
7	132	9
8	222	9
9	321	9
10	385	9
11	393	9
12	397	9
done	397	9
0	9	12
1	16	12
2	23	10
3	47	10
4	86	10
5	176	10
6	299	10
7	324	10
8	391	10
9	402	10
done	402	10
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	341	9
8	388	9
9	412	9
done	412	9
0	8	9
1	13	9
2	16	7
3	33	7
4	42	7
5	78	7
6	119	7
7	130	7
8	167	7
9	174	7
done	174	7
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	341	9
8	388	9
9	412	9
done	412	9
0	6	8
1	11	6
2	16	4
3	24	4
4	34	4
done	34	4
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	320	8
10	386	8
11	394	8
12	398	8
done	398	8
0	5	6
1	8	4
2	10	4
done	10	4
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	320	8
10	386	8
11	394	8
12	398	8
done	398	8
0	6	6
1	9	6
done	9	6
0	7	8
1	16	8
2	27	6
3	55	6
4	71	6
5	79	6
6	88	6
7	94	6
done	94	6
0	7	11
1	11	11
done	11	11
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	6	6
1	8	6
done	8	6
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	395	8
11	409	8
12	420	8
13	423	8
done	423	8
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	68	8
6	87	8
7	131	8
8	221	8
9	311	8
10	395	8
11	409	8
12	420	8
13	423	8
done	423	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	127	8
6	263	8
7	341	8
8	387	8
9	411	8
done	411	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	8
1	17	8
2	28	8
3	42	8
4	61	8
5	127	8
6	263	8
7	341	8
8	387	8
9	411	8
done	411	8
0	3	5
1	6	1
done	6	1
0	7	7
1	16	7
2	27	7
3	41	7
4	60	7
5	67	7
6	86	7
7	130	7
8	218	7
9	308	7
10	392	7
11	406	7
12	415	7
13	418	7
done	418	7
0	2	3
1	4	1
done	4	1
0	7	7
1	16	7
2	27	7
3	41	7
4	60	7
5	67	7
6	86	7
7	130	7
8	218	7
9	308	7
10	392	7
11	406	7
12	415	7
13	418	7
done	418	7
0	3	3
1	5	3
done	5	3
0	6	7
1	15	7
2	26	5
3	54	5
4	70	5
5	81	5
6	92	5
7	97	5
done	97	5
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	9	13
1	18	13
2	26	13
3	31	13
4	34	13
done	34	13
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	11	15
1	26	15
2	67	15
3	156	15
4	307	15
5	746	15
6	1724	15
7	2288	15
8	2432	15
9	2438	15
done	2438	15
0	10	12
1	21	12
2	41	12
3	89	12
4	145	12
5	355	12
6	885	12
7	1179	12
8	1274	12
9	1277	12
done	1277	12
0	8	11
1	19	9
2	42	9
3	101	9
4	175	9
5	255	9
6	320	9
7	347	9
8	353	9
done	353	9
0	10	12
1	21	12
2	40	12
3	75	12
4	126	12
5	274	12
6	537	12
7	695	12
8	798	12
9	838	12
done	838	12
0	9	9
1	18	9
2	29	9
3	43	9
4	62	9
5	128	9
6	264	9
7	342	9
8	387	9
9	412	9
done	412	9
0	7	8
1	16	6
2	27	6
3	45	6
4	71	6
5	90	6
6	104	6
7	118	6
8	129	6
9	131	6
done	131	6
0	8	11
1	19	11
2	38	9
3	108	9
4	261	9
5	452	9
6	663	9
7	722	9
8	736	9
done	736	9
0	7	8
1	16	8
2	27	6
3	66	6
4	136	6
5	224	6
6	308	6
7	339	6
8	348	6
done	348	6
0	5	7
1	13	5
2	21	3
3	29	3
4	43	3
5	52	3
6	56	3
done	56	3
0	4	5
1	11	3
2	16	3
done	16	3
0	5	5
1	12	5
2	15	5
3	17	5
done	17	5
0	8	8
1	14	8
2	18	8
done	18	8
0	8	8
1	14	8
2	18	8
done	18	8
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	9	9
1	15	8
2	19	8
3	27	8
4	31	8
5	35	8
done	35	8
0	8	8
1	14	8
2	18	8
3	26	8
4	30	8
5	34	8
done	34	8
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	5	5
1	12	5
2	15	5
3	17	5
done	17	5
0	11	15
1	29	11
2	72	11
3	177	11
4	326	11
5	456	11
6	554	11
7	598	11
done	598	11
0	7	7
1	19	7
2	35	7
3	70	7
4	123	7
5	160	7
6	181	7
7	187	7
8	188	7
done	188	7
0	10	11
1	22	10
2	41	10
3	82	10
4	150	10
5	288	10
6	828	10
7	4191	10
done	5000	10
0	9	10
1	19	10
2	34	10
3	55	10
4	84	10
5	100	10
6	124	10
7	178	10
8	296	10
9	490	10
10	1153	10
11	1476	10
12	1558	10
13	1579	10
14	1596	10
15	1620	10
16	1702	10
17	2055	10
18	3904	10
done	5001	10
0	9	10
1	22	10
2	43	10
3	85	10
4	152	10
5	288	10
6	830	10
7	4154	10
done	5000	10
0	10	21
1	20	21
2	35	21
3	56	21
4	85	21
5	101	21
6	125	21
7	179	21
8	301	21
9	495	21
10	1159	21
11	1503	21
12	1583	21
13	1591	21
done	1591	21
0	9	10
1	19	10
2	34	10
3	55	10
4	84	10
5	100	10
6	124	10
7	178	10
8	296	10
9	490	10
10	1151	10
11	1471	10
12	1545	10
13	1558	10
done	1558	10
0	10	29
1	33	29
2	96	11
3	376	11
4	2079	11
done	5000	11
0	9	10
1	19	10
2	34	10
3	55	10
4	84	10
5	100	10
6	124	10
7	178	10
8	296	10
9	490	10
10	1151	10
11	1471	10
12	1545	10
13	1558	10
done	1558	10
0	9	10
1	19	10
2	34	10
3	55	10
4	84	10
5	100	10
6	124	10
7	178	10
8	296	10
9	490	10
10	1151	10
11	1471	10
12	1545	10
13	1558	10
done	1558	10
0	11	13
1	37	13
2	91	13
3	326	13
4	1513	13
done	5001	13
0	12	29
1	35	27
2	96	27
3	333	21
4	1486	21
5	4950	21
done	5000	21
0	10	19
1	28	19
2	74	19
3	263	19
4	1281	19
5	4231	19
done	5001	19
0	8	9
1	18	9
2	34	9
3	62	9
4	95	9
5	106	9
6	133	9
7	201	9
8	369	9
9	775	9
10	1275	9
11	1554	9
12	1582	9
done	1582	9
0	8	9
1	18	9
2	33	9
3	54	9
4	83	9
5	99	9
6	123	9
7	177	9
8	297	9
9	491	9
10	1153	9
11	1500	9
12	1575	9
13	1585	9
done	1585	9
0	6	7
1	10	7
2	14	7
3	15	7
4	17	7
5	19	7
6	20	7
done	20	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	7	9
1	12	9
2	20	9
3	34	9
4	47	9
5	53	8
6	59	8
7	68	7
8	83	7
9	136	7
10	285	7
11	424	7
12	463	7
13	472	7
14	475	7
done	475	7
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9
0	8	11
1	16	11
2	30	11
3	50	11
4	73	11
5	90	10
6	116	10
7	175	9
8	253	9
9	361	9
10	673	9
11	1356	9
12	1563	9
13	1593	9
14	1619	9
done	1619	9

prune156.0ms

Filtered

102 candidates to 134 candidates (-31.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	134	4	138

Merged error: 0b

Counts

138 → 4

regimes140.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	9
1	12	9
done	12	9

end0.0ms

sample783.0ms

Algorithm

intervals

Results

335.0ms

10082×

body

valid

Details

sample27.0ms

simplify5.7s

prune3.0ms

localize6.0ms

rewrite15.0ms

series29.0ms

simplify2.2min

prune92.0ms

localize7.0ms

rewrite28.0ms

series22.0ms

simplify3.4min

prune104.0ms

localize7.0ms

rewrite23.0ms

series17.0ms

simplify3.4min

prune75.0ms

localize7.0ms

rewrite54.0ms

series18.0ms

simplify2.4min

prune156.0ms

regimes140.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample783.0ms

Profiling