Details

sample25.0ms

Algorithm

intervals

Results

8.0ms

326×

body

valid

simplify61.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (+ x y) (+ z 1.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
6×	`flip3-+` `flip-+`
5×	`add-sqr-sqrt`
4×	`frac-times` `associate-r` `associate-l`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
2×	`associate-r/` `associate-l/` `distribute-lft-out`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 30

Calls

1 calls:

9.0ms

(* (+ x y) (+ z 1.0))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(* (+ x y) (+ z 1.0))

simplify36.3s

Counts

33 → 33

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	9	9
1	12	9
done	12	9
0	8	8
1	20	8
2	46	8
3	66	8
4	90	8
5	94	8
done	94	8
0	8	8
1	19	8
2	57	8
3	106	8
4	210	8
5	430	8
6	1535	8
done	5001	8
0	11	23
1	44	23
2	161	11
3	605	11
4	3450	9
done	5000	9
0	9	17
1	18	17
2	43	17
3	63	17
4	89	17
5	95	17
done	95	17
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	9	23
1	28	23
2	148	9
3	723	9
4	3426	9
done	5000	9
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	12	15
1	44	15
2	108	15
3	348	15
4	1218	15
5	4838	15
done	5000	15
0	15	23
1	38	19
2	107	19
3	398	19
4	1562	19
done	5000	19
0	12	15
1	32	15
2	66	15
3	197	15
4	822	15
5	3235	15
done	5000	15
0	11	15
1	22	13
2	52	13
3	146	13
4	407	13
5	1078	13
6	2601	13
done	5000	13
0	12	15
1	38	15
2	109	15
3	420	15
4	1535	15
done	5000	15
0	11	15
1	28	13
2	77	13
3	226	13
4	574	13
5	1464	13
6	3331	13
done	5000	13
0	11	15
1	22	15
2	56	15
3	226	15
4	1041	15
5	3745	15
done	5000	15
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	13	5
2	14	5
done	14	5
0	5	5
1	13	5
2	14	5
done	14	5
0	9	13
1	14	13
2	24	13
3	36	13
done	36	13
0	8	8
1	11	8
2	19	8
done	19	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	8	8
1	17	8
2	18	8
done	18	8
0	8	8
1	17	8
2	18	8
done	18	8
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	10	11
1	32	11
2	90	11
3	226	11
4	449	11
5	994	11
6	3092	11
done	5000	11
0	9	11
1	16	11
2	41	11
3	131	11
4	376	11
5	844	11
6	2318	11
done	5000	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	9	11
1	22	11
2	60	11
3	188	11
4	473	11
5	1074	11
6	3735	11
done	5001	11
0	9	11
1	16	11
2	24	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9

prune54.0ms

Filtered

26 candidates to 33 candidates (-26.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	3	34

Merged error: 0b

Counts

34 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x y) (+ z 1.0))
0.0b	(sqrt (* (+ x y) (+ z 1.0)))
0.0b	(sqrt (* (+ x y) (+ z 1.0)))
0.2b	(* (sqrt (* (+ x y) (+ z 1.0))) (sqrt (* (+ x y) (+ z 1.0))))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

160×	`sqrt-div`
148×	`frac-times`
126×	`flip3-+` `flip-+`
61×	`pow1`
50×	`associate-r/` `associate-l/`
32×	`sqrt-pow1`
23×	`pow-prod-down`
14×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`pow1/2`
10×	`add-cube-cbrt` `pow-prod-up`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
6×	`sqrt-prod` `pow-sqr`
4×	`swap-sqr` `add-log-exp`
2×	`prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `sqrt-unprod` `rem-square-sqrt`

Counts

4 → 197

Calls

4 calls:

9.0ms	(* (+ x y) (+ z 1.0))
8.0ms	(sqrt (* (+ x y) (+ z 1.0)))
8.0ms	(sqrt (* (+ x y) (+ z 1.0)))
24.0ms	(* (sqrt (* (+ x y) (+ z 1.0))) (sqrt (* (+ x y) (+ z 1.0))))

series125.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (+ x y) (+ z 1.0))
33.0ms	(sqrt (* (+ x y) (+ z 1.0)))
30.0ms	(sqrt (* (+ x y) (+ z 1.0)))
52.0ms	(* (sqrt (* (+ x y) (+ z 1.0))) (sqrt (* (+ x y) (+ z 1.0))))

simplify7.1min

Counts

209 → 209

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	4	7
1	8	3
2	9	1
done	9	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	4	7
1	8	3
2	9	1
done	9	1
0	8	15
1	24	15
2	104	15
3	375	15
4	1369	15
done	5000	15
0	9	17
1	18	7
2	44	7
3	64	7
4	92	7
5	98	7
done	98	7
0	8	15
1	24	15
2	104	15
3	375	15
4	1369	15
done	5000	15
0	8	15
1	24	15
2	104	15
3	375	15
4	1369	15
done	5000	15
0	8	15
1	24	15
2	104	15
3	375	15
4	1369	15
done	5000	15
0	8	15
1	24	15
2	104	15
3	375	15
4	1369	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	10	19
1	21	11
2	47	11
3	67	11
4	93	11
5	101	11
done	101	11
0	10	18
1	21	8
2	53	8
3	74	8
4	101	8
5	105	8
done	105	8
0	10	18
1	21	8
2	58	8
3	114	8
4	220	8
5	450	8
6	1589	8
done	5000	8
0	11	53
1	27	23
2	118	21
3	697	9
4	4011	9
done	5000	9
0	11	37
1	20	17
2	46	17
3	66	17
4	90	17
5	96	17
done	96	17
0	10	18
1	19	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	11	53
1	28	23
2	109	9
3	619	9
4	3793	9
done	5000	9
0	8	15
1	24	15
2	104	15
3	375	15
4	1369	15
done	5000	15
0	10	18
1	20	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	10	18
1	20	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	14	33
1	46	15
2	111	15
3	342	15
4	1219	15
5	4898	15
done	5000	15
0	17	49
1	40	19
2	110	19
3	399	19
4	1570	19
done	5000	19
0	19	33
1	56	33
2	143	33
3	473	33
4	1820	33
done	5000	33
0	20	41
1	47	35
2	128	35
3	472	35
4	1762	35
done	5001	35
0	19	33
1	62	33
2	188	33
3	692	33
4	2452	33
done	5001	33
0	20	41
1	53	35
2	155	35
3	563	35
4	1960	35
done	5001	35
0	22	33
1	62	33
2	160	33
3	569	33
4	2246	33
done	5001	33
0	21	33
1	50	29
2	131	29
3	450	29
4	1670	29
done	5001	29
0	17	29
1	58	29
2	171	29
3	523	29
4	1488	29
done	5001	29
0	18	37
1	42	31
2	111	31
3	400	31
4	1567	31
done	5000	31
0	20	29
1	58	29
2	147	29
3	472	29
4	1547	29
done	5000	29
0	19	29
1	45	25
2	114	25
3	402	25
4	1565	25
done	5000	25
0	17	29
1	58	29
2	143	29
3	459	29
4	1467	29
done	5000	29
0	18	37
1	42	31
2	111	31
3	400	31
4	1567	31
done	5000	31
0	20	29
1	64	29
2	166	29
3	536	29
4	1662	29
done	5001	29
0	19	29
1	45	25
2	114	25
3	402	25
4	1565	25
done	5001	25
0	19	33
1	56	33
2	143	33
3	470	33
4	1842	33
done	5001	33
0	20	41
1	47	35
2	128	35
3	472	35
4	1758	35
done	5001	35
0	14	33
1	34	15
2	69	15
3	200	15
4	834	15
5	3249	15
done	5000	15
0	13	33
1	24	13
2	55	13
3	149	13
4	412	13
5	1066	13
6	2610	13
done	5000	13
0	22	33
1	62	33
2	164	33
3	601	33
4	2315	33
done	5000	33
0	21	33
1	50	29
2	127	29
3	366	29
4	967	29
5	2461	29
done	5000	29
0	19	33
1	44	33
2	105	33
3	383	33
4	1684	33
done	5000	33
0	16	25
1	31	23
2	73	23
3	196	23
4	495	23
5	1233	23
6	2806	23
done	5000	23
0	20	29
1	58	29
2	147	29
3	408	29
4	1229	29
5	4215	29
done	5000	29
0	19	29
1	39	25
2	83	25
3	189	25
4	469	25
5	1146	25
6	2702	25
done	5001	25
0	17	29
1	40	29
2	92	29
3	294	29
4	1084	29
5	3845	29
done	5000	29
0	14	21
1	26	19
2	56	19
3	150	19
4	415	19
5	1083	19
6	2555	19
done	5001	19
0	17	29
1	45	29
2	102	29
3	312	29
4	1144	29
5	3962	29
done	5000	29
0	14	29
1	26	25
2	56	25
3	150	25
4	415	25
5	1083	25
6	2555	25
done	5001	25
0	20	29
1	51	29
2	122	29
3	381	29
4	1281	29
5	4264	29
done	5000	29
0	15	21
1	29	19
2	59	19
3	152	19
4	412	19
5	1081	19
6	2624	19
done	5000	19
0	19	33
1	62	33
2	188	33
3	694	33
4	2466	33
done	5000	33
0	20	41
1	53	35
2	155	35
3	563	35
4	1963	35
done	5001	35
0	22	33
1	62	33
2	164	33
3	600	33
4	2303	33
done	5001	33
0	21	33
1	50	29
2	127	29
3	366	29
4	959	29
5	2459	29
done	5000	29
0	14	33
1	40	15
2	112	15
3	419	15
4	1522	15
done	5000	15
0	13	33
1	30	13
2	80	13
3	229	13
4	577	13
5	1464	13
6	3339	13
done	5000	13
0	19	33
1	50	33
2	146	33
3	580	33
4	2337	33
done	5000	33
0	16	25
1	37	23
2	96	23
3	265	23
4	647	23
5	1593	23
6	3543	23
done	5000	23
0	17	29
1	51	29
2	167	29
3	561	29
4	1871	29
done	5000	29
0	14	29
1	32	25
2	81	25
3	228	25
4	578	25
5	1496	25
6	3364	25
done	5000	25
0	20	29
1	51	29
2	146	29
3	534	29
4	1842	29
done	5000	29
0	15	21
1	35	19
2	84	19
3	232	19
4	575	19
5	1471	19
6	3371	19
done	5001	19
0	20	29
1	64	29
2	166	29
3	581	29
4	1864	29
done	5000	29
0	19	29
1	45	25
2	108	25
3	267	25
4	630	25
5	1569	25
6	3470	25
done	5000	25
0	17	29
1	52	29
2	150	29
3	552	29
4	1838	29
done	5000	29
0	14	21
1	32	19
2	81	19
3	228	19
4	578	19
5	1496	19
6	3364	19
done	5000	19
0	22	33
1	62	33
2	160	33
3	565	33
4	2246	33
done	5000	33
0	21	33
1	50	29
2	131	29
3	450	29
4	1675	29
done	5000	29
0	19	33
1	44	33
2	105	33
3	383	33
4	1678	33
done	5001	33
0	16	25
1	31	23
2	73	23
3	196	23
4	493	23
5	1228	23
6	2753	23
done	5000	23
0	19	33
1	50	33
2	146	33
3	586	33
4	2332	33
done	5000	33
0	16	25
1	37	23
2	96	23
3	265	23
4	645	23
5	1606	23
6	3532	23
done	5001	23
0	13	33
1	24	15
2	59	15
3	229	15
4	1052	15
5	3735	15
done	5000	15
0	9	17
1	14	7
2	29	7
3	63	7
4	127	7
5	219	7
6	294	7
7	418	7
8	656	7
9	815	7
10	825	7
11	829	7
12	835	7
done	835	7
0	20	29
1	51	29
2	142	29
3	441	29
4	1466	29
5	4689	29
done	5000	29
0	15	21
1	29	19
2	57	19
3	103	19
4	184	19
5	297	19
6	389	19
7	545	19
8	806	19
9	970	19
10	974	19
done	974	19
0	16	29
1	29	29
2	79	29
3	308	29
4	1290	29
5	4306	29
done	5000	29
0	10	13
1	16	13
2	30	13
3	64	13
4	128	13
5	222	13
6	297	13
7	421	13
8	660	13
9	819	13
10	826	13
done	826	13
0	20	29
1	51	29
2	118	29
3	395	29
4	1404	29
5	4556	29
done	5000	29
0	15	21
1	29	19
2	57	19
3	103	19
4	184	19
5	297	19
6	389	19
7	545	19
8	806	19
9	970	19
10	974	19
done	974	19
0	16	29
1	35	29
2	98	29
3	365	29
4	1460	29
done	5000	29
0	10	13
1	16	13
2	30	13
3	64	13
4	128	13
5	222	13
6	297	13
7	421	13
8	660	13
9	819	13
10	826	13
done	826	13
0	17	29
1	58	29
2	171	29
3	521	29
4	1477	29
done	5000	29
0	18	37
1	42	31
2	111	31
3	400	31
4	1574	31
done	5000	31
0	20	29
1	58	29
2	147	29
3	407	29
4	1232	29
5	4242	29
done	5000	29
0	19	29
1	39	25
2	83	25
3	189	25
4	469	25
5	1157	25
6	2697	25
done	5001	25
0	17	29
1	51	29
2	167	29
3	561	29
4	1857	29
done	5001	29
0	14	29
1	32	25
2	81	25
3	228	25
4	578	25
5	1477	25
6	3343	25
done	5000	25
0	20	29
1	51	29
2	142	29
3	443	29
4	1455	29
5	4687	29
done	5000	29
0	15	21
1	29	19
2	57	19
3	103	19
4	184	19
5	287	19
6	379	19
7	535	19
8	795	19
9	959	19
10	963	19
done	963	19
0	12	25
1	34	11
2	93	11
3	228	11
4	448	11
5	1001	11
6	3047	11
done	5000	11
0	9	25
1	17	9
2	33	9
3	46	9
4	66	9
5	87	9
6	104	9
7	127	9
8	170	9
9	235	9
10	240	9
11	246	9
done	246	9
0	17	25
1	44	25
2	125	25
3	333	25
4	783	25
5	1862	25
done	5000	25
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	18	25
1	60	25
2	149	25
3	380	25
4	800	25
5	1846	25
done	5000	25
0	17	25
1	34	21
2	64	21
3	90	21
4	130	21
5	172	21
6	206	21
7	252	21
8	338	21
9	462	21
10	464	21
done	464	21
0	18	25
1	53	25
2	146	25
3	385	25
4	877	25
5	2037	25
done	5001	25
0	13	17
1	24	15
2	40	15
3	53	15
4	73	15
5	94	15
6	111	15
7	134	15
8	177	15
9	239	15
10	240	15
done	240	15
0	20	29
1	58	29
2	147	29
3	472	29
4	1576	29
done	5000	29
0	19	29
1	45	25
2	114	25
3	402	25
4	1569	25
done	5001	25
0	17	29
1	40	29
2	92	29
3	294	29
4	1084	29
5	3818	29
done	5001	29
0	14	21
1	26	19
2	56	19
3	150	19
4	411	19
5	1091	19
6	2626	19
done	5000	19
0	20	29
1	51	29
2	146	29
3	537	29
4	1851	29
done	5000	29
0	15	21
1	35	19
2	84	19
3	232	19
4	576	19
5	1475	19
6	3364	19
done	5001	19
0	16	29
1	29	29
2	79	29
3	308	29
4	1308	29
5	4346	29
done	5000	29
0	10	13
1	16	13
2	30	13
3	64	13
4	128	13
5	224	13
6	299	13
7	423	13
8	662	13
9	821	13
10	828	13
done	828	13
0	17	25
1	44	25
2	125	25
3	334	25
4	773	25
5	1856	25
done	5000	25
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	11	25
1	18	11
2	44	11
3	134	11
4	379	11
5	839	11
6	2316	11
done	5000	11
0	5	9
1	7	3
2	9	3
done	9	3
0	18	25
1	47	25
2	105	25
3	300	25
4	735	25
5	1671	25
done	5000	25
0	13	17
1	24	15
2	40	15
3	53	15
4	73	15
5	94	15
6	111	15
7	134	15
8	177	15
9	239	15
10	240	15
done	240	15
0	17	25
1	36	25
2	97	25
3	301	25
4	809	25
5	1978	25
done	5001	25
0	9	9
1	14	9
2	16	9
done	16	9
0	17	29
1	58	29
2	143	29
3	456	29
4	1424	29
done	5000	29
0	18	37
1	42	31
2	111	31
3	400	31
4	1572	31
done	5001	31
0	17	29
1	45	29
2	102	29
3	312	29
4	1157	29
5	4000	29
done	5001	29
0	14	29
1	26	25
2	56	25
3	150	25
4	415	25
5	1075	25
6	2601	25
done	5000	25
0	20	29
1	64	29
2	166	29
3	577	29
4	1859	29
done	5001	29
0	19	29
1	45	25
2	108	25
3	267	25
4	630	25
5	1564	25
6	3490	25
done	5000	25
0	20	29
1	51	29
2	118	29
3	395	29
4	1400	29
5	4553	29
done	5000	29
0	15	21
1	29	19
2	57	19
3	103	19
4	184	19
5	287	19
6	379	19
7	535	19
8	796	19
9	960	19
10	964	19
done	964	19
0	18	25
1	60	25
2	149	25
3	387	25
4	815	25
5	1856	25
done	5000	25
0	17	25
1	34	21
2	64	21
3	90	21
4	130	21
5	172	21
6	206	21
7	252	21
8	338	21
9	462	21
10	464	21
done	464	21
0	18	25
1	47	25
2	105	25
3	300	25
4	715	25
5	1659	25
done	5000	25
0	13	17
1	24	15
2	40	15
3	53	15
4	73	15
5	94	15
6	111	15
7	134	15
8	177	15
9	239	15
10	240	15
done	240	15
0	12	25
1	34	11
2	69	11
3	178	11
4	398	11
5	882	11
6	2827	11
done	5001	11
0	9	25
1	17	9
2	33	9
3	46	9
4	66	9
5	87	9
6	104	9
7	127	9
8	170	9
9	235	9
10	240	9
11	246	9
done	246	9
0	17	25
1	50	25
2	122	25
3	335	25
4	813	25
5	1885	25
done	5000	25
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	20	29
1	64	29
2	166	29
3	529	29
4	1657	29
done	5000	29
0	19	29
1	45	25
2	114	25
3	402	25
4	1567	25
done	5000	25
0	20	29
1	51	29
2	122	29
3	381	29
4	1275	29
5	4236	29
done	5001	29
0	15	21
1	29	19
2	59	19
3	152	19
4	412	19
5	1084	19
6	2601	19
done	5000	19
0	17	29
1	52	29
2	150	29
3	551	29
4	1824	29
done	5001	29
0	14	21
1	32	19
2	81	19
3	228	19
4	578	19
5	1475	19
6	3341	19
done	5001	19
0	16	29
1	35	29
2	98	29
3	365	29
4	1470	29
done	5000	29
0	10	13
1	16	13
2	30	13
3	64	13
4	128	13
5	224	13
6	299	13
7	423	13
8	662	13
9	821	13
10	828	13
done	828	13
0	18	25
1	53	25
2	146	25
3	391	25
4	882	25
5	2063	25
done	5001	25
0	13	17
1	24	15
2	40	15
3	53	15
4	73	15
5	94	15
6	111	15
7	134	15
8	177	15
9	239	15
10	240	15
done	240	15
0	17	25
1	36	25
2	97	25
3	301	25
4	807	25
5	1976	25
done	5001	25
0	9	9
1	14	9
2	16	9
done	16	9
0	17	25
1	50	25
2	122	25
3	335	25
4	804	25
5	1899	25
done	5000	25
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	11	25
1	24	11
2	63	11
3	191	11
4	480	11
5	1079	11
6	3742	11
done	5000	11
0	5	9
1	7	3
2	9	3
done	9	3
0	11	39
1	24	39
2	51	21
3	80	11
4	122	11
5	158	11
6	229	11
7	434	11
8	1332	11
done	5001	11
0	10	19
1	19	19
2	44	19
3	64	19
4	92	19
5	100	19
done	100	19
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	10	19
1	19	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	10	19
1	19	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	2	3
1	4	1
done	4	1
0	9	17
1	18	7
2	44	7
3	64	7
4	92	7
5	98	7
done	98	7
0	10	19
1	19	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	10	19
1	19	8
2	45	8
3	65	8
4	91	8
5	97	8
done	97	8
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	4	5
1	10	1
done	10	1
0	4	5
1	10	1
done	10	1
0	4	5
1	10	1
done	10	1
0	11	28
1	23	28
2	50	28
3	70	28
4	94	28
5	104	28
done	104	28
0	10	13
1	20	13
2	45	13
3	65	13
4	91	13
5	97	13
done	97	13
0	10	18
1	20	18
2	45	18
3	65	18
4	91	18
5	97	18
done	97	18
0	10	10
1	22	8
2	50	8
3	70	8
4	90	8
5	96	8
done	96	8
0	10	18
1	20	18
2	45	18
3	65	18
4	91	18
5	97	18
done	97	18
0	10	13
1	20	13
2	45	13
3	65	13
4	91	13
5	97	13
done	97	13
0	10	18
1	20	18
2	45	18
3	65	18
4	91	18
5	97	18
done	97	18
0	9	17
1	18	7
2	44	7
3	64	7
4	92	7
5	98	7
done	98	7
0	18	25
1	60	25
2	149	25
3	414	25
4	1280	25
5	4990	25
done	5000	25
0	18	25
1	47	25
2	105	25
3	256	25
4	901	25
5	3330	25
done	5000	25
0	18	25
1	53	25
2	148	25
3	477	25
4	1589	25
done	5000	25
0	17	25
1	36	25
2	93	25
3	281	25
4	1193	25
5	4352	25
done	5000	25
0	15	21
1	46	21
2	125	21
3	263	21
4	487	21
5	1058	21
6	3054	21
done	5000	21
0	14	21
1	29	21
2	77	21
3	174	21
4	525	21
5	1097	21
6	3566	21
done	5000	21
0	15	21
1	46	21
2	105	21
3	222	21
4	444	21
5	944	21
6	2784	21
done	5001	21
0	14	21
1	35	21
2	94	21
3	211	21
4	569	21
5	1269	21
6	4649	21
done	5000	21
0	18	25
1	60	25
2	149	25
3	404	25
4	1284	25
5	4973	25
done	5000	25
0	18	25
1	47	25
2	105	25
3	256	25
4	900	25
5	3323	25
done	5000	25
0	18	25
1	53	25
2	148	25
3	473	25
4	1584	25
done	5000	25
0	17	25
1	36	25
2	93	25
3	281	25
4	1182	25
5	4339	25
done	5000	25
0	15	21
1	46	21
2	125	21
3	262	21
4	498	21
5	1080	21
6	3226	21
done	5000	21
0	14	21
1	29	21
2	77	21
3	174	21
4	516	21
5	1092	21
6	3529	21
done	5000	21
0	15	21
1	46	21
2	105	21
3	222	21
4	446	21
5	931	21
6	2841	21
done	5000	21
0	14	21
1	35	21
2	94	21
3	211	21
4	564	21
5	1265	21
6	4621	21
done	5000	21
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	10	19
1	19	19
2	44	19
3	64	19
4	92	19
5	100	19
done	100	19
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	10	26
1	20	16
2	62	10
3	148	10
4	247	10
5	321	10
6	356	10
7	421	10
8	642	10
9	1560	10
done	5001	10
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	13	16
1	45	16
2	109	16
3	346	16
4	1210	16
5	4903	16
done	5000	16
0	16	24
1	39	20
2	108	20
3	397	20
4	1553	20
done	5001	20
0	13	16
1	33	16
2	67	16
3	198	16
4	836	16
5	3255	16
done	5000	16
0	12	16
1	23	14
2	53	14
3	147	14
4	410	14
5	1089	14
6	2581	14
done	5000	14
0	13	16
1	39	16
2	110	16
3	417	16
4	1521	16
done	5000	16
0	12	16
1	29	14
2	78	14
3	225	14
4	575	14
5	1470	14
6	3354	14
done	5000	14
0	12	16
1	23	16
2	57	16
3	227	16
4	1046	16
5	3723	16
done	5000	16
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	11	12
1	33	12
2	91	12
3	230	12
4	444	12
5	999	12
6	3019	12
done	5000	12
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	10	12
1	17	12
2	42	12
3	132	12
4	375	12
5	829	12
6	2298	12
done	5001	12
0	4	4
1	6	4
2	7	4
done	7	4
0	11	12
1	33	12
2	67	12
3	176	12
4	388	12
5	881	12
6	2851	12
done	5000	12
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	10	12
1	23	12
2	61	12
3	189	12
4	474	12
5	1074	12
6	3743	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	10	19
1	19	19
2	44	19
3	64	19
4	92	19
5	100	19
done	100	19
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	10	26
1	20	16
2	62	10
3	148	10
4	247	10
5	321	10
6	356	10
7	421	10
8	642	10
9	1560	10
done	5001	10
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	13	16
1	45	16
2	109	16
3	346	16
4	1210	16
5	4903	16
done	5000	16
0	16	24
1	39	20
2	108	20
3	397	20
4	1553	20
done	5001	20
0	13	16
1	33	16
2	67	16
3	198	16
4	836	16
5	3255	16
done	5000	16
0	12	16
1	23	14
2	53	14
3	147	14
4	410	14
5	1089	14
6	2581	14
done	5000	14
0	13	16
1	39	16
2	110	16
3	417	16
4	1521	16
done	5000	16
0	12	16
1	29	14
2	78	14
3	225	14
4	575	14
5	1470	14
6	3354	14
done	5000	14
0	12	16
1	23	16
2	57	16
3	227	16
4	1046	16
5	3723	16
done	5000	16
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	11	12
1	33	12
2	91	12
3	230	12
4	444	12
5	999	12
6	3019	12
done	5000	12
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	10	12
1	17	12
2	42	12
3	132	12
4	375	12
5	829	12
6	2298	12
done	5001	12
0	4	4
1	6	4
2	7	4
done	7	4
0	11	12
1	33	12
2	67	12
3	176	12
4	388	12
5	881	12
6	2851	12
done	5000	12
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	10	12
1	23	12
2	61	12
3	189	12
4	474	12
5	1074	12
6	3743	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	9	9
1	18	9
2	43	9
3	63	9
4	89	9
5	95	9
done	95	9
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	9	9
1	12	9
done	12	9
0	8	8
1	20	8
2	46	8
3	66	8
4	90	8
5	94	8
done	94	8
0	8	8
1	19	8
2	57	8
3	106	8
4	210	8
5	430	8
6	1535	8
done	5001	8
0	11	23
1	44	23
2	161	11
3	605	11
4	3450	9
done	5000	9
0	9	17
1	18	17
2	43	17
3	63	17
4	89	17
5	95	17
done	95	17
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	9	23
1	28	23
2	148	9
3	723	9
4	3426	9
done	5000	9
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	12	15
1	44	15
2	108	15
3	348	15
4	1218	15
5	4838	15
done	5000	15
0	15	23
1	38	19
2	107	19
3	398	19
4	1562	19
done	5000	19
0	12	15
1	32	15
2	66	15
3	197	15
4	822	15
5	3235	15
done	5000	15
0	11	15
1	22	13
2	52	13
3	146	13
4	407	13
5	1078	13
6	2601	13
done	5000	13
0	12	15
1	38	15
2	109	15
3	420	15
4	1535	15
done	5000	15
0	11	15
1	28	13
2	77	13
3	226	13
4	574	13
5	1464	13
6	3331	13
done	5000	13
0	11	15
1	22	15
2	56	15
3	226	15
4	1041	15
5	3745	15
done	5000	15
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	13	5
2	14	5
done	14	5
0	5	5
1	13	5
2	14	5
done	14	5
0	9	13
1	14	13
2	24	13
3	36	13
done	36	13
0	8	8
1	11	8
2	19	8
done	19	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	8	8
1	17	8
2	18	8
done	18	8
0	8	8
1	17	8
2	18	8
done	18	8
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	10	11
1	32	11
2	90	11
3	226	11
4	449	11
5	994	11
6	3092	11
done	5000	11
0	9	11
1	16	11
2	41	11
3	131	11
4	376	11
5	844	11
6	2318	11
done	5000	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	9	11
1	22	11
2	60	11
3	188	11
4	473	11
5	1074	11
6	3735	11
done	5001	11
0	9	11
1	16	11
2	24	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	19	23
1	45	23
2	120	23
3	279	23
4	1335	23
done	5000	23
0	18	21
1	47	21
2	134	21
3	377	19
4	1268	19
5	3289	17
done	5000	17
0	18	25
1	49	25
2	175	25
3	685	25
4	3885	19
done	5000	19
0	18	25
1	49	25
2	169	25
3	613	25
4	3277	19
done	5000	19
0	18	21
1	47	21
2	134	21
3	377	19
4	1268	19
5	3289	17
done	5000	17
0	18	25
1	49	25
2	175	25
3	685	25
4	3885	19
done	5000	19
0	18	25
1	49	25
2	169	25
3	613	25
4	3277	19
done	5000	19
0	9	11
1	16	11
2	24	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9

prune465.0ms

Filtered

170 candidates to 209 candidates (-22.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	209	3	212

Merged error: 0b

Counts

212 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

1.3b	(+ (pow x 3) (pow y 3))
1.7b	(* (+ (pow x 3) (pow y 3)) (+ z 1.0))
2.0b	(- (* y y) (* x y))
36.2b	(/ (* (+ (pow x 3) (pow y 3)) (+ z 1.0)) (+ (* x x) (- (* y y) (* x y))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
14×	`flip3-+` `flip-+`
11×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
10×	`add-sqr-sqrt`
9×	`associate-l`
8×	`frac-times` `add-cube-cbrt` `unpow-prod-down` `cube-prod` `associate-/l/` `add-log-exp`
6×	`pow1`
4×	`associate-r/` `associate-r` `associate-l/`
3×	`times-frac` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `sum-cubes` `cbrt-unprod`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-rgt-out--` `frac-2neg` `distribute-lft-in` `diff-log` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip--` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

12.0ms	(+ (pow x 3) (pow y 3))
24.0ms	(* (+ (pow x 3) (pow y 3)) (+ z 1.0))
4.0ms	(- (* y y) (* x y))
25.0ms	(/ (* (+ (pow x 3) (pow y 3)) (+ z 1.0)) (+ (* x x) (- (* y y) (* x y))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(+ (pow x 3) (pow y 3))
16.0ms	(* (+ (pow x 3) (pow y 3)) (+ z 1.0))
6.0ms	(- (* y y) (* x y))
24.0ms	(/ (* (+ (pow x 3) (pow y 3)) (+ z 1.0)) (+ (* x x) (- (* y y) (* x y))))

simplify4.3min

Counts

108 → 108

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	26
1	45	24
2	76	24
3	112	24
4	179	24
5	324	24
6	781	24
7	2661	24
done	5000	24
0	18	25
1	51	23
2	106	23
3	237	23
4	477	23
5	984	23
6	2902	23
done	5000	23
0	17	24
1	50	22
2	114	22
3	278	22
4	556	22
5	1209	22
6	3817	22
done	5000	22
0	17	24
1	47	22
2	103	22
3	253	22
4	539	22
5	1197	22
6	3895	22
done	5000	22
0	22	71
1	94	65
2	417	27
3	2046	27
done	5000	27
0	20	71
1	78	65
2	353	25
3	2040	23
done	5001	23
0	18	49
1	48	45
2	104	45
3	252	45
4	525	45
5	1157	45
6	3801	45
done	5001	45
0	17	24
1	47	22
2	103	22
3	251	22
4	532	22
5	1173	22
6	3824	22
done	5001	22
0	18	71
1	55	65
2	159	23
3	704	23
4	4750	23
done	5000	23
0	17	24
1	47	22
2	103	22
3	251	22
4	532	22
5	1173	22
6	3824	22
done	5001	22
0	17	24
1	47	22
2	103	22
3	251	22
4	532	22
5	1173	22
6	3824	22
done	5001	22
0	11	12
1	37	12
2	92	12
3	277	12
4	806	12
5	2318	12
done	5001	12
0	8	12
1	19	10
2	44	10
3	87	10
4	144	9
5	172	9
6	188	9
7	207	9
done	207	9
0	14	33
1	36	29
2	60	29
3	90	29
4	151	29
5	282	29
6	715	29
7	2580	29
done	5000	29
0	12	16
1	21	14
2	36	14
3	49	14
4	69	14
5	90	14
6	107	14
7	130	14
8	173	14
9	235	14
10	236	14
done	236	14
0	13	20
1	33	18
2	57	18
3	87	18
4	148	18
5	286	18
6	731	18
7	2592	18
done	5001	18
0	12	16
1	21	14
2	36	14
3	49	14
4	69	14
5	90	14
6	107	14
7	130	14
8	173	14
9	235	14
10	236	14
done	236	14
0	8	9
1	24	7
2	35	7
3	52	7
4	95	7
5	210	7
6	619	7
7	2442	7
done	5001	7
0	11	15
1	20	13
2	35	13
3	48	13
4	68	13
5	89	13
6	106	13
7	129	13
8	172	13
9	234	13
10	235	13
done	235	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	16	23
1	46	21
2	103	21
3	261	21
4	562	21
5	1227	21
6	3447	21
done	5000	21
0	18	37
1	53	33
2	116	33
3	267	33
4	505	33
5	1154	33
6	4186	33
done	5001	33
0	17	24
1	47	22
2	100	22
3	233	22
4	482	22
5	1067	22
6	3520	22
done	5000	22
0	12	13
1	38	11
2	80	11
3	206	11
4	425	11
5	931	11
6	3071	11
done	5000	11
0	11	15
1	20	13
2	38	13
3	60	13
4	95	13
5	146	13
6	211	13
7	271	13
8	355	13
9	516	13
10	576	13
11	597	13
done	597	13
0	18	27
1	57	25
2	153	23
3	472	23
4	1428	23
5	4949	23
done	5000	23
0	18	35
1	52	29
2	144	27
3	475	27
4	1541	27
done	5000	27
0	24	47
1	73	35
2	274	35
3	1378	35
done	5001	35
0	20	39
1	57	29
2	211	29
3	939	29
done	5000	29
0	20	31
1	59	27
2	177	27
3	857	27
done	5000	27
0	16	23
1	43	21
2	118	21
3	485	21
4	3045	21
done	5001	21
0	15	23
1	38	19
2	107	19
3	398	19
4	1562	19
done	5000	19
0	11	15
1	22	13
2	52	13
3	146	13
4	407	13
5	1078	13
6	2601	13
done	5000	13
0	16	35
1	54	25
2	204	25
3	935	25
done	5001	25
0	12	19
1	34	17
2	84	17
3	260	17
4	1277	17
done	5000	17
0	7	9
1	14	8
2	25	6
3	54	6
4	135	6
5	486	6
6	3026	6
done	5000	6
0	6	8
1	11	6
2	23	6
3	25	6
done	25	6
0	6	8
1	14	6
2	31	6
3	55	6
4	115	6
5	351	6
6	1553	6
done	5000	6
0	7	17
1	12	13
2	21	13
3	22	13
done	22	13
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	7	23
1	13	17
2	46	7
3	195	7
4	749	7
5	2466	7
done	5000	7
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	6	8
1	11	6
2	20	6
3	21	6
done	21	6
0	8	11
1	28	11
2	98	9
3	330	9
4	860	9
5	2433	9
done	5000	9
0	9	23
1	30	19
2	77	15
3	138	13
4	182	13
5	229	13
6	390	13
7	908	13
8	2954	13
done	5000	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	15
1	23	15
2	65	11
3	154	11
4	270	11
5	457	11
6	910	11
7	2421	11
done	5001	11
0	5	7
1	9	5
2	11	5
done	11	5
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	9	4
2	11	4
done	11	4
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	12	13
1	28	13
2	37	13
3	54	13
4	95	13
5	211	13
6	623	13
7	2446	13
done	5000	13
0	11	12
1	36	12
2	71	12
3	180	12
4	409	12
5	891	12
6	2921	12
done	5000	12
0	11	12
1	35	12
2	81	12
3	231	12
4	607	12
5	1668	12
done	5001	12
0	14	35
1	60	35
2	237	15
3	1064	15
done	5002	15
0	12	25
1	34	25
2	68	25
3	177	25
4	391	25
5	875	25
6	2846	25
done	5000	25
0	11	12
1	33	12
2	67	12
3	176	12
4	388	12
5	881	12
6	2851	12
done	5000	12
0	12	35
1	44	35
2	172	13
3	905	13
done	5002	13
0	11	12
1	33	12
2	67	12
3	176	12
4	388	12
5	881	12
6	2851	12
done	5000	12
0	11	12
1	33	12
2	67	12
3	176	12
4	388	12
5	881	12
6	2851	12
done	5000	12
0	14	19
1	56	19
2	198	19
3	944	19
done	5000	19
0	18	35
1	58	25
2	208	25
3	925	25
done	5000	25
0	14	19
1	44	19
2	156	19
3	603	19
4	3406	19
done	5000	19
0	14	27
1	42	19
2	153	19
3	608	19
4	3072	19
done	5000	19
0	14	23
1	54	15
2	169	15
3	699	15
4	4419	15
done	5000	15
0	14	19
1	44	17
2	114	17
3	435	17
4	1950	17
done	5001	17
0	14	23
1	42	15
2	123	15
3	455	15
4	2847	15
done	5000	15
0	10	11
1	28	11
2	63	11
3	179	11
4	615	11
5	2298	11
done	5000	11
0	12	13
1	28	13
2	37	13
3	54	13
4	95	13
5	211	13
6	623	13
7	2446	13
done	5000	13
0	12	13
1	28	13
2	37	13
3	54	13
4	95	13
5	211	13
6	623	13
7	2446	13
done	5000	13
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	12	17
1	30	17
2	49	17
3	110	17
4	263	17
5	681	17
6	2230	17
done	5001	17
0	11	12
1	27	12
2	44	12
3	85	12
4	172	12
5	415	12
6	1304	12
done	5000	12
0	8	9
1	25	7
2	45	7
3	94	7
4	204	7
5	430	7
6	1131	7
7	3794	7
done	5000	7
0	8	9
1	25	7
2	45	7
3	94	7
4	204	7
5	430	7
6	1131	7
7	3794	7
done	5000	7
0	11	12
1	33	12
2	43	12
3	60	12
4	101	12
5	224	12
6	654	12
7	2520	12
done	5000	12
0	11	12
1	33	12
2	43	12
3	60	12
4	101	12
5	224	12
6	654	12
7	2520	12
done	5000	12
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	10	11
1	32	11
2	66	11
3	175	11
4	383	11
5	870	11
6	2835	11
done	5001	11
0	12	15
1	44	15
2	108	15
3	348	15
4	1218	15
5	4838	15
done	5000	15
0	12	15
1	32	15
2	66	15
3	197	15
4	822	15
5	3235	15
done	5000	15
0	12	15
1	44	15
2	156	15
3	742	15
4	4045	15
done	5000	15
0	12	19
1	42	11
2	127	11
3	473	11
4	2441	11
done	5000	11
0	8	9
1	24	8
2	46	8
3	87	8
4	246	8
5	795	8
6	3366	8
done	5001	8
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	7	8
1	24	8
2	46	8
3	87	8
4	246	8
5	797	8
6	3372	8
done	5000	8
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	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	23
1	35	23
2	127	9
3	516	9
4	2338	9
done	5000	9
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	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	7	11
1	15	9
2	30	9
3	43	9
4	63	9
5	84	9
6	101	9
7	124	9
8	167	9
9	229	9
10	230	9
done	230	9
0	3	3
1	4	3
done	4	3
0	8	11
1	32	11
2	119	11
3	384	11
4	1334	11
done	5000	11
0	10	23
1	35	15
2	131	15
3	465	15
4	1780	15
done	5000	15
0	8	15
1	30	7
2	84	7
3	227	7
4	791	7
5	3535	7
done	5001	7
0	6	7
1	21	7
2	43	7
3	77	7
4	165	7
5	505	7
6	2257	7
done	5000	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	9	11
1	16	11
2	24	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	9	11
1	18	9
2	26	9
3	30	9
4	32	9
done	32	9
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	9	11
1	27	9
2	62	9
3	101	9
4	191	9
5	468	9
6	1497	9
done	5000	9
0	12	17
1	34	13
2	95	13
3	182	13
4	328	13
5	791	13
6	2498	13
done	5001	13
0	12	17
1	34	13
2	95	13
3	182	13
4	328	13
5	791	13
6	2498	13
done	5001	13
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7
0	6	7
1	20	7
2	29	7
3	46	7
4	87	7
5	205	7
6	614	7
7	2424	7
done	5001	7

prune206.0ms

Filtered

84 candidates to 108 candidates (-28.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	108	3	111

Merged error: 0b

Counts

111 → 3

regimes280.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	7	7
1	10	7
done	10	7

end0.0ms

sample701.0ms

Algorithm

intervals

Results

259.0ms	10173×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample25.0ms

simplify61.0ms

prune3.0ms

localize6.0ms

rewrite10.0ms

series9.0ms

simplify36.3s

prune54.0ms

localize8.0ms

rewrite66.0ms

series125.0ms

simplify7.1min

prune465.0ms

localize16.0ms

rewrite69.0ms

series55.0ms

simplify4.3min

prune206.0ms

regimes280.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample701.0ms

Profiling