Details

sample33.0ms

Algorithm

intervals

Results

19.0ms

356×

body

valid

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	21	11
2	65	11
3	170	11
4	427	11
5	935	11
6	2645	11
done	5001	11

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) (- 3.0 x))
7.2b	(/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 63

Calls

2 calls:

10.0ms	(* (- 1.0 x) (- 3.0 x))
14.0ms	(/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))

series12.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(* (- 1.0 x) (- 3.0 x))
9.0ms	(/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0))

simplify2.2min

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	15
1	24	15
2	48	15
3	85	15
4	143	15
5	235	15
6	381	15
7	484	15
8	501	15
done	501	15
0	12	14
1	24	14
2	41	14
3	69	14
4	121	14
5	195	14
6	336	14
7	478	14
8	521	14
done	521	14
0	12	14
1	24	14
2	54	14
3	123	14
4	238	14
5	388	14
6	627	14
7	919	14
8	1220	14
9	1470	14
10	1540	14
11	1658	14
12	1864	14
13	1902	14
done	1902	14
0	11	13
1	24	13
2	50	13
3	109	13
4	215	13
5	359	13
6	588	13
7	918	13
8	1242	13
9	1492	13
10	1562	13
11	1688	13
12	1898	13
13	1936	13
done	1936	13
0	10	12
1	25	12
2	86	12
3	231	12
4	571	12
5	1181	12
6	3076	12
done	5000	12
0	10	12
1	22	12
2	68	12
3	191	12
4	504	12
5	1152	12
6	3427	12
done	5001	12
0	17	35
1	41	35
2	266	19
3	2185	19
done	5000	19
0	15	35
1	43	35
2	288	17
3	2630	17
done	5001	17
0	15	35
1	43	35
2	283	17
3	2561	17
done	5001	17
0	13	35
1	45	35
2	309	15
3	3083	13
done	5001	13
0	11	25
1	23	25
2	67	25
3	172	25
4	429	25
5	937	25
6	2656	25
done	5000	25
0	10	12
1	22	12
2	66	12
3	171	12
4	428	12
5	935	12
6	2645	12
done	5001	12
0	11	35
1	30	35
2	156	13
3	1277	13
done	5001	13
0	10	12
1	22	12
2	66	12
3	171	12
4	428	12
5	935	12
6	2645	12
done	5001	12
0	10	12
1	22	12
2	66	12
3	171	12
4	428	12
5	935	12
6	2645	12
done	5001	12
0	7	8
1	15	8
2	42	8
3	122	8
4	238	7
5	506	7
6	733	7
7	935	7
8	1075	7
done	1075	7
0	4	4
1	9	4
2	11	4
done	11	4
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	5	5
1	10	5
2	12	5
done	12	5
0	9	11
1	21	11
2	56	11
3	128	11
4	238	11
5	427	11
6	796	11
7	2127	11
done	5000	11
0	8	9
1	14	9
2	35	9
3	89	9
4	197	9
5	370	9
6	662	9
7	986	9
8	1602	9
9	2268	9
10	2544	9
11	2579	9
done	2579	9
0	6	7
1	11	7
2	19	7
3	28	7
4	35	7
5	37	7
done	37	7
0	16	27
1	43	23
2	180	23
3	1063	23
4	4668	23
done	5000	23
0	13	19
1	34	17
2	137	17
3	588	17
4	1891	17
5	4727	17
done	5000	17
0	13	19
1	34	17
2	139	17
3	613	17
4	1790	17
5	4180	17
done	5001	17
0	9	11
1	24	11
2	94	11
3	289	11
4	568	11
5	787	11
6	919	11
7	953	11
done	953	11
0	10	15
1	27	13
2	88	13
3	198	13
4	257	13
5	271	13
6	291	13
7	340	13
8	490	13
9	1012	13
10	3321	13
done	5000	13
0	6	7
1	17	7
2	39	7
3	45	7
done	45	7
0	11	15
1	28	13
2	89	13
3	208	13
4	287	13
5	295	13
6	297	13
done	297	13
0	7	7
1	18	7
2	45	7
3	53	7
done	53	7
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	14	8
2	29	8
3	62	8
4	123	8
5	201	8
6	324	8
7	487	8
8	763	8
9	1012	8
10	1030	8
done	1030	8
0	7	8
1	13	8
2	38	8
3	95	8
4	222	8
5	490	8
6	1241	8
7	4858	8
done	5000	8
0	10	23
1	20	23
2	77	11
3	337	11
4	1532	9
done	5000	9
0	8	17
1	12	17
2	26	17
3	59	17
4	120	17
5	192	17
6	315	17
7	478	17
8	754	17
9	999	17
10	1015	17
done	1015	17
0	7	8
1	11	8
2	25	8
3	58	8
4	119	8
5	191	8
6	314	8
7	477	8
8	753	8
9	998	8
10	1016	8
done	1016	8
0	8	23
1	22	23
2	97	9
3	484	9
4	2134	9
done	5001	9
0	7	8
1	11	8
2	25	8
3	58	8
4	119	8
5	191	8
6	314	8
7	477	8
8	753	8
9	998	8
10	1016	8
done	1016	8
0	7	8
1	11	8
2	25	8
3	58	8
4	119	8
5	191	8
6	314	8
7	477	8
8	753	8
9	998	8
10	1016	8
done	1016	8
0	10	15
1	32	15
2	73	15
3	249	15
4	1206	15
done	5000	15
0	13	23
1	34	19
2	113	19
3	484	19
4	1546	19
done	5000	19
0	11	15
1	31	15
2	74	15
3	251	15
4	1265	15
done	5000	15
0	10	15
1	25	13
2	76	13
3	198	13
4	507	13
5	1118	13
6	1436	13
7	1486	13
8	1507	13
9	1570	13
10	1785	13
11	2723	13
done	5000	13
0	11	15
1	31	15
2	74	15
3	251	15
4	1261	15
done	5002	15
0	10	15
1	25	13
2	78	13
3	202	13
4	456	13
5	1070	13
6	1574	13
7	1639	13
8	1663	13
9	1724	13
10	1942	13
11	2881	13
done	5000	13
0	9	15
1	19	15
2	50	15
3	219	15
4	1019	15
5	3434	15
done	5000	15
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	18	6
3	37	6
4	50	5
5	51	5
done	51	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	18	6
3	37	6
4	50	5
5	51	5
done	51	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	24	6
3	36	6
4	51	5
done	51	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	24	6
3	36	6
4	51	5
done	51	5
0	8	13
1	14	13
2	24	13
3	41	13
4	51	13
5	61	13
done	61	13
0	7	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	8	9
1	18	9
2	38	9
3	65	9
4	111	9
5	158	9
6	228	9
7	409	9
8	643	9
9	716	9
10	720	9
done	720	9
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	7	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	8	9
1	13	9
2	27	9
3	61	9
4	125	9
5	221	9
6	296	9
7	426	9
8	644	9
9	801	9
10	808	9
done	808	9
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	9	11
1	27	11
2	61	11
3	177	11
4	604	11
5	2235	11
done	5000	11
0	8	11
1	16	11
2	39	11
3	132	11
4	401	11
5	971	11
6	2932	11
done	5001	11
0	9	11
1	27	11
2	61	11
3	177	11
4	599	11
5	2242	11
done	5000	11
0	8	11
1	16	11
2	39	11
3	132	11
4	401	11
5	973	11
6	2959	11
done	5000	11
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7

prune129.0ms

Filtered

56 candidates to 69 candidates (-23.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	64	5	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	5	70

Merged error: 0.0b

Counts

70 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- 1.0 x) y)
0.0b	(/ (- 3.0 x) 3.0)
0.1b	(* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 138

Calls

3 calls:

7.0ms	(/ (- 1.0 x) y)
6.0ms	(/ (- 3.0 x) 3.0)
19.0ms	(* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))

series18.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (- 1.0 x) y)
5.0ms	(/ (- 3.0 x) 3.0)
8.0ms	(* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))

simplify3.2min

Counts

147 → 147

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	23	11
2	45	11
3	135	11
4	356	11
5	1059	11
6	2883	11
done	5000	11
0	13	15
1	25	15
2	50	15
3	106	15
4	195	15
5	304	15
6	416	15
7	469	15
8	471	15
done	471	15
0	12	14
1	26	14
2	49	14
3	95	14
4	177	14
5	280	14
6	385	14
7	442	14
8	443	14
done	443	14
0	12	14
1	26	14
2	45	14
3	87	14
4	168	14
5	288	14
6	389	14
7	460	14
8	472	14
done	472	14
0	11	13
1	27	13
2	46	13
3	82	13
4	150	13
5	254	13
6	383	13
7	467	13
8	489	13
done	489	13
0	10	12
1	27	12
2	60	12
3	173	12
4	467	12
5	1322	12
6	3448	12
done	5000	12
0	10	12
1	26	12
2	57	12
3	168	12
4	447	12
5	1350	12
6	3822	12
done	5000	12
0	17	35
1	43	35
2	205	19
3	1361	15
done	5000	15
0	15	35
1	42	35
2	175	17
3	947	15
done	5000	15
0	15	35
1	42	35
2	175	17
3	947	15
done	5001	15
0	13	35
1	41	35
2	145	15
3	693	15
4	4634	13
done	5000	13
0	11	25
1	25	25
2	47	25
3	137	25
4	358	25
5	1062	25
6	2893	25
done	5001	25
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1060	12
6	2898	12
done	5001	12
0	11	35
1	35	35
2	130	13
3	814	13
done	5000	13
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1060	12
6	2898	12
done	5001	12
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1060	12
6	2898	12
done	5001	12
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	3	3
1	4	3
done	4	3
0	11	13
1	21	13
2	28	13
3	34	13
done	34	13
0	11	13
1	21	13
2	28	13
3	34	13
done	34	13
0	12	14
1	21	14
2	28	14
3	34	14
4	35	14
done	35	14
0	12	14
1	21	14
2	28	14
3	34	14
4	35	14
done	35	14
0	12	14
1	21	14
2	29	14
3	35	14
4	37	14
5	38	14
done	38	14
0	12	14
1	21	14
2	29	14
3	35	14
4	37	14
5	38	14
done	38	14
0	13	15
1	21	15
2	32	15
3	49	15
4	70	15
5	82	15
6	84	15
done	84	15
0	13	15
1	21	15
2	32	15
3	49	15
4	70	15
5	82	15
6	84	15
done	84	15
0	11	19
1	25	19
2	40	19
3	77	19
4	128	19
5	183	19
6	235	19
7	270	19
8	288	19
9	293	19
done	293	19
0	10	12
1	22	12
2	32	12
3	57	12
4	71	12
5	92	12
6	101	12
7	107	12
8	108	12
done	108	12
0	13	21
1	30	21
2	75	21
3	219	21
4	629	21
5	1296	21
6	2123	21
7	2880	21
8	3308	21
9	3338	21
done	3338	21
0	12	18
1	25	18
2	47	18
3	124	18
4	314	18
5	574	18
6	867	18
7	1144	18
8	1265	18
9	1283	18
done	1283	18
0	12	17
1	27	15
2	57	15
3	170	15
4	341	15
5	535	15
6	771	15
7	1006	15
8	1144	15
9	1159	15
done	1159	15
0	12	16
1	25	16
2	48	16
3	126	16
4	285	16
5	490	16
6	721	16
7	904	16
8	978	16
9	980	16
done	980	16
0	11	13
1	22	13
2	35	13
3	80	13
4	153	13
5	232	13
6	310	13
7	372	13
8	385	13
9	386	13
done	386	13
0	11	12
1	24	10
2	41	10
3	95	10
4	155	10
5	212	10
6	271	10
7	353	10
8	377	10
9	380	10
done	380	10
0	11	13
1	25	13
2	46	11
3	151	11
4	373	11
5	656	11
6	1002	11
7	1267	11
8	1526	11
9	1578	11
done	1578	11
0	10	10
1	22	10
2	34	8
3	100	8
4	198	8
5	336	8
6	494	8
7	583	8
8	661	8
9	670	8
done	670	8
0	8	9
1	20	7
2	33	5
3	79	5
4	134	5
5	186	5
6	231	5
7	304	5
8	396	5
9	455	5
10	461	5
done	461	5
0	13	17
1	26	17
2	56	17
3	156	17
4	383	17
5	739	17
6	1307	17
7	2341	17
8	3743	17
done	5000	17
0	11	14
1	22	14
2	42	14
3	111	14
4	244	14
5	440	14
6	724	14
7	1225	13
8	1979	13
done	5001	13
0	12	13
1	25	11
2	57	11
3	141	11
4	261	11
5	438	11
6	719	11
7	1111	11
8	1823	11
9	2768	11
10	3271	11
11	3332	11
12	3335	11
done	3335	11
0	11	13
1	25	13
2	46	11
3	151	11
4	373	11
5	656	11
6	1002	11
7	1267	11
8	1526	11
9	1578	11
done	1578	11
0	10	10
1	22	10
2	34	8
3	100	8
4	198	8
5	336	8
6	494	8
7	583	8
8	661	8
9	670	8
done	670	8
0	8	9
1	20	7
2	33	5
3	79	5
4	134	5
5	186	5
6	231	5
7	304	5
8	396	5
9	455	5
10	461	5
done	461	5
0	7	7
1	17	5
2	30	5
3	52	5
4	80	5
5	112	5
6	138	5
7	155	5
8	157	5
done	157	5
0	8	9
1	17	9
2	36	9
3	96	9
4	202	9
5	379	9
6	641	9
7	972	9
8	1639	9
9	2373	9
10	2451	9
11	2466	9
done	2466	9
0	10	12
1	22	12
2	38	12
3	59	12
4	81	12
5	160	12
6	416	12
7	1099	12
done	5001	12
0	10	12
1	22	12
2	38	12
3	59	12
4	81	12
5	160	12
6	416	12
7	1099	12
done	5001	12
0	11	13
1	22	13
2	42	13
3	92	13
4	157	13
5	380	13
6	1245	13
7	3769	13
done	5001	13
0	11	13
1	22	13
2	42	13
3	92	13
4	157	13
5	380	13
6	1245	13
7	3769	13
done	5001	13
0	10	12
1	21	12
2	41	12
3	91	12
4	156	12
5	379	12
6	1246	12
7	3873	12
done	5000	12
0	11	13
1	22	13
2	42	13
3	92	13
4	157	13
5	380	13
6	1245	13
7	3769	13
done	5001	13
0	11	13
1	22	13
2	42	13
3	92	13
4	157	13
5	380	13
6	1245	13
7	3769	13
done	5001	13
0	10	12
1	21	12
2	41	12
3	91	12
4	156	12
5	379	12
6	1246	12
7	3873	12
done	5000	12
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1062	12
6	2894	12
done	5001	12
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1062	12
6	2894	12
done	5001	12
0	9	11
1	23	11
2	45	11
3	135	11
4	356	11
5	1059	11
6	2883	11
done	5000	11
0	12	14
1	27	14
2	49	14
3	139	14
4	362	14
5	1091	14
6	3047	14
done	5000	14
0	12	14
1	27	14
2	49	14
3	139	14
4	362	14
5	1091	14
6	3047	14
done	5000	14
0	11	13
1	26	13
2	48	13
3	138	13
4	361	13
5	1090	13
6	3057	13
done	5000	13
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1062	12
6	2894	12
done	5001	12
0	10	12
1	24	12
2	46	12
3	136	12
4	357	12
5	1062	12
6	2894	12
done	5001	12
0	9	11
1	23	11
2	45	11
3	135	11
4	356	11
5	1059	11
6	2883	11
done	5000	11
0	9	11
1	23	11
2	45	11
3	135	11
4	356	11
5	1059	11
6	2883	11
done	5000	11
0	8	9
1	20	9
2	38	7
3	106	7
4	233	7
5	371	7
6	691	7
7	2137	7
done	5001	7
0	8	9
1	17	9
2	36	9
3	96	9
4	202	9
5	379	9
6	641	9
7	972	9
8	1639	9
9	2373	9
10	2451	9
11	2466	9
done	2466	9
0	7	9
1	16	9
2	36	9
3	102	9
4	218	9
5	543	9
6	1315	9
7	2929	9
done	5001	9
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	19	6
3	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	24	6
4	26	6
5	30	6
6	34	6
7	50	6
8	55	6
9	60	6
10	64	6
11	76	6
12	84	6
13	88	6
14	93	6
15	96	6
16	107	6
17	132	6
18	143	6
19	148	6
20	154	6
21	159	6
22	161	6
23	163	6
done	163	6
0	8	17
1	19	17
2	67	9
3	202	7
4	559	7
5	2062	7
done	5001	7
0	6	13
1	11	13
2	15	13
3	19	13
done	19	13
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	6	17
1	18	17
2	50	7
3	178	7
4	604	7
5	2255	7
done	5000	7
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	2	3
1	3	1
2	5	1
done	5	1
0	3	3
done	3	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	12
1	11	12
2	14	12
3	15	12
done	15	12
0	6	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	10	4
2	13	4
done	13	4
0	5	6
1	7	6
2	8	6
done	8	6
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	8	11
1	11	11
done	11	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	7	8
done	7	8
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	7	7
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	6	5
2	7	5
done	7	5
0	6	7
1	8	7
2	9	7
done	9	7
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	48	11
3	75	11
4	83	11
5	93	11
6	116	11
7	176	11
8	379	11
9	1310	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	8	9
1	15	9
2	21	7
3	22	7
4	27	7
5	29	7
done	29	7
0	8	9
1	15	9
2	21	7
3	22	7
4	27	7
5	29	7
done	29	7
0	8	9
1	15	9
2	21	7
3	22	7
4	27	7
5	29	7
done	29	7

prune253.0ms

Filtered

111 candidates to 147 candidates (-32.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	145	2	147
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	147	5	152

Merged error: 0b

Counts

152 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- 3.0 x) 3.0)
0.1b	(/ (/ (- 3.0 x) 3.0) y)
0.1b	(* (- 1.0 x) (/ (/ (- 3.0 x) 3.0) y))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

237×	`times-frac`
178×	`add-sqr-sqrt`
169×	`*-un-lft-identity`
117×	`add-cube-cbrt`
61×	`associate-r`
26×	`distribute-lft-out--` `difference-of-squares`
24×	`associate-/l*`
19×	`add-exp-log` `add-cbrt-cube`
10×	`div-inv`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
5×	`pow1` `associate-l`
3×	`flip3--` `div-sub` `prod-exp` `flip--` `cbrt-unprod` `associate-/l/` `add-log-exp` `unswap-sqr`
2×	`frac-times` `frac-2neg` `associate-*l/` `clear-num`
1×	`associate-r/` `pow-prod-down` `-commutative`

Counts

3 → 222

Calls

3 calls:

7.0ms	(/ (- 3.0 x) 3.0)
20.0ms	(/ (/ (- 3.0 x) 3.0) y)
27.0ms	(* (- 1.0 x) (/ (/ (- 3.0 x) 3.0) y))

series18.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ (- 3.0 x) 3.0)
6.0ms	(/ (/ (- 3.0 x) 3.0) y)
8.0ms	(* (- 1.0 x) (/ (/ (- 3.0 x) 3.0) y))

simplify4.3min

Counts

231 → 231

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	20	11
2	48	11
3	137	11
4	333	11
5	973	11
6	2736	11
done	5000	11
0	13	15
1	25	15
2	50	15
3	110	15
4	183	15
5	266	15
6	364	15
7	503	15
8	534	15
9	536	15
done	536	15
0	12	14
1	26	14
2	46	14
3	94	14
4	184	14
5	253	14
6	317	14
7	445	14
8	543	14
9	554	14
done	554	14
0	11	13
1	23	13
2	48	13
3	88	13
4	155	13
5	262	13
6	316	13
7	405	13
8	493	13
9	581	13
10	588	13
done	588	13
0	10	12
1	24	12
2	61	12
3	175	12
4	434	12
5	1195	12
6	3219	12
done	5000	12
0	10	12
1	23	12
2	62	12
3	176	12
4	457	12
5	1393	12
6	4020	12
done	5000	12
0	17	35
1	40	35
2	188	19
3	1153	17
done	5001	17
0	15	35
1	42	35
2	179	17
3	1000	15
done	5000	15
0	13	35
1	34	35
2	126	15
3	634	15
4	4932	13
done	5000	13
0	11	25
1	22	25
2	50	25
3	139	25
4	335	25
5	975	25
6	2742	25
done	5001	25
0	10	12
1	21	12
2	49	12
3	138	12
4	334	12
5	974	12
6	2737	12
done	5000	12
0	11	35
1	32	35
2	139	13
3	870	13
done	5001	13
0	10	12
1	21	12
2	49	12
3	138	12
4	334	12
5	974	12
6	2737	12
done	5000	12
0	10	12
1	21	12
2	49	12
3	138	12
4	334	12
5	974	12
6	2737	12
done	5000	12
0	10	13
1	33	13
2	73	13
3	228	13
4	948	13
done	5000	13
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	9	13
1	22	13
2	53	13
3	199	13
4	695	13
5	2444	13
done	5000	13
0	5	5
1	7	5
2	15	5
done	15	5
0	11	13
1	20	13
2	34	13
3	47	13
4	53	13
5	56	13
done	56	13
0	11	13
1	20	13
2	34	13
3	47	13
4	53	13
5	56	13
done	56	13
0	12	14
1	21	14
2	29	14
3	37	14
4	38	14
done	38	14
0	12	14
1	21	14
2	29	14
3	37	14
4	38	14
done	38	14
0	13	15
1	21	15
2	34	15
3	56	15
4	79	15
5	90	15
done	90	15
0	13	15
1	21	15
2	34	15
3	56	15
4	79	15
5	90	15
done	90	15
0	11	21
1	22	21
2	44	21
3	74	21
4	94	21
5	105	21
done	105	21
0	10	12
1	19	12
2	39	12
3	57	12
4	67	12
5	70	12
done	70	12
0	13	23
1	28	23
2	68	23
3	176	23
4	361	23
5	590	23
6	748	23
7	787	23
8	788	23
done	788	23
0	12	20
1	23	20
2	44	20
3	101	20
4	177	20
5	244	20
6	293	20
7	298	20
done	298	20
0	11	19
1	24	17
2	51	17
3	124	17
4	212	17
5	322	17
6	385	17
7	425	17
8	428	17
9	429	17
done	429	17
0	12	16
1	23	16
2	45	16
3	97	16
4	156	16
5	221	16
6	256	16
7	263	16
done	263	16
0	11	13
1	20	13
2	34	13
3	62	13
4	85	13
5	101	13
6	112	13
done	112	13
0	10	12
1	21	10
2	38	10
3	59	10
4	83	10
5	117	10
6	142	10
7	150	10
8	156	10
9	158	10
10	159	10
done	159	10
0	15	25
1	31	25
2	96	25
3	386	25
4	1525	25
5	4114	25
done	5001	25
0	14	22
1	28	22
2	73	22
3	248	22
4	807	22
5	1848	22
6	2770	22
7	3093	22
8	3114	22
done	3114	22
0	13	21
1	29	19
2	87	19
3	323	19
4	839	19
5	1459	19
6	2032	19
7	2340	19
8	2346	19
done	2346	19
0	14	22
1	26	22
2	68	22
3	241	22
4	821	22
5	1931	22
6	2914	22
7	3310	22
8	3364	22
done	3364	22
0	13	19
1	23	19
2	52	19
3	165	19
4	440	19
5	853	19
6	1165	19
7	1254	19
8	1258	19
done	1258	19
0	12	18
1	24	16
2	62	16
3	196	16
4	450	16
5	751	16
6	988	16
7	1123	16
8	1124	16
done	1124	16
0	14	21
1	28	19
2	81	19
3	265	19
4	668	19
5	1417	19
6	2012	19
7	2326	19
8	2329	19
done	2329	19
0	13	18
1	25	16
2	61	16
3	161	16
4	376	16
5	734	16
6	994	16
7	1131	16
8	1132	16
done	1132	16
0	11	17
1	23	13
2	45	13
3	117	13
4	203	13
5	313	13
6	378	13
7	412	13
done	412	13
0	14	20
1	26	20
2	64	20
3	215	20
4	651	20
5	1447	20
6	2118	20
7	2424	20
8	2457	20
done	2457	20
0	13	17
1	23	17
2	47	17
3	140	17
4	350	17
5	643	17
6	871	17
7	945	17
8	949	17
done	949	17
0	12	16
1	24	14
2	57	14
3	168	14
4	333	14
5	527	14
6	676	14
7	760	14
8	762	14
done	762	14
0	13	17
1	23	17
2	53	17
3	152	17
4	371	17
5	686	17
6	903	17
7	980	17
8	991	17
done	991	17
0	12	14
1	20	14
2	39	14
3	101	14
4	199	14
5	303	14
6	369	14
7	385	14
done	385	14
0	11	13
1	21	11
2	47	11
3	109	11
4	196	11
5	295	11
6	358	11
7	390	11
done	390	11
0	13	16
1	25	14
2	55	14
3	127	14
4	271	14
5	510	14
6	655	14
7	741	14
8	742	14
done	742	14
0	12	13
1	22	11
2	41	11
3	78	11
4	155	11
5	271	11
6	334	11
7	367	11
8	368	11
done	368	11
0	10	12
1	20	8
2	32	8
3	51	8
4	75	8
5	109	8
6	134	8
7	140	8
done	140	8
0	13	17
1	26	17
2	63	17
3	209	15
4	768	15
5	1871	15
6	2885	15
7	3762	15
8	4113	15
done	4113	15
0	12	14
1	23	14
2	46	14
3	136	12
4	437	12
5	798	12
6	1139	12
7	1333	12
8	1415	12
done	1415	12
0	10	13
1	21	11
2	53	11
3	139	9
4	338	9
5	564	9
6	776	9
7	936	9
8	988	9
done	988	9
0	12	14
1	23	14
2	52	14
3	149	12
4	459	12
5	899	12
6	1252	12
7	1496	12
8	1633	12
done	1633	12
0	11	11
1	20	11
2	38	11
3	99	9
4	256	9
5	368	9
6	486	9
7	539	9
8	574	9
9	578	9
done	578	9
0	9	10
1	18	8
2	43	8
3	84	6
4	184	6
5	300	6
6	393	6
7	460	6
8	475	6
done	475	6
0	10	13
1	21	11
2	43	9
3	128	9
4	306	9
5	532	9
6	760	9
7	957	9
8	983	9
done	983	9
0	9	10
1	18	8
2	31	6
3	77	6
4	164	6
5	293	6
6	386	6
7	461	6
8	473	6
done	473	6
0	7	9
1	16	5
2	26	3
3	44	3
4	55	3
5	59	3
done	59	3
0	15	21
1	27	21
2	64	21
3	224	21
4	693	21
5	1585	21
6	2538	21
7	3624	21
done	5000	21
0	14	18
1	24	18
2	47	18
3	148	18
4	379	18
5	754	18
6	1170	18
7	1692	18
8	2771	18
9	4271	18
done	5000	18
0	13	17
1	25	15
2	57	15
3	176	15
4	375	15
5	647	15
6	959	15
7	1483	15
8	2129	15
9	2908	15
10	4253	15
done	5000	15
0	13	18
1	23	18
2	52	18
3	159	18
4	407	18
5	808	18
6	1227	18
7	1750	18
8	2799	17
9	4172	17
done	5000	17
0	12	15
1	20	15
2	38	15
3	108	15
4	227	15
5	399	15
6	599	15
7	870	15
8	1415	14
9	2200	14
done	5000	14
0	11	14
1	21	12
2	46	12
3	116	12
4	241	12
5	436	12
6	758	12
7	1601	11
8	3451	11
done	5000	11
0	14	17
1	26	15
2	63	15
3	151	15
4	338	15
5	679	15
6	1035	15
7	1815	15
8	2702	15
9	3866	15
10	4957	15
done	5000	15
0	13	14
1	23	12
2	49	12
3	102	12
4	215	12
5	404	12
6	601	12
7	1038	12
8	1571	12
9	2276	12
10	2807	12
11	2984	12
12	2989	12
done	2989	12
0	11	13
1	21	9
2	40	9
3	83	9
4	159	9
5	253	9
6	344	9
7	556	9
8	902	9
9	1255	9
10	1411	9
11	1433	9
12	1434	9
done	1434	9
0	13	17
1	26	17
2	63	17
3	209	15
4	768	15
5	1871	15
6	2885	15
7	3762	15
8	4113	15
done	4113	15
0	12	14
1	23	14
2	46	14
3	136	12
4	437	12
5	798	12
6	1139	12
7	1333	12
8	1415	12
done	1415	12
0	10	13
1	21	11
2	53	11
3	139	9
4	338	9
5	564	9
6	776	9
7	936	9
8	988	9
done	988	9
0	12	14
1	23	14
2	52	14
3	149	12
4	459	12
5	899	12
6	1252	12
7	1496	12
8	1633	12
done	1633	12
0	11	11
1	20	11
2	38	11
3	99	9
4	256	9
5	368	9
6	486	9
7	539	9
8	574	9
9	578	9
done	578	9
0	9	10
1	18	8
2	43	8
3	84	6
4	184	6
5	300	6
6	393	6
7	460	6
8	475	6
done	475	6
0	10	13
1	21	11
2	43	9
3	128	9
4	306	9
5	532	9
6	760	9
7	957	9
8	983	9
done	983	9
0	9	10
1	18	8
2	31	6
3	77	6
4	164	6
5	293	6
6	386	6
7	461	6
8	473	6
done	473	6
0	7	9
1	16	5
2	26	3
3	44	3
4	55	3
5	59	3
done	59	3
0	9	11
1	18	11
2	35	9
3	99	9
4	204	9
5	278	9
6	351	9
7	380	9
8	398	9
9	400	9
done	400	9
0	8	8
1	15	8
2	25	6
3	60	6
4	102	6
5	129	6
6	148	6
7	150	6
8	151	6
done	151	6
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	10	13
1	21	13
2	53	13
3	144	13
4	350	13
5	713	13
6	1179	13
7	1858	13
8	3011	13
9	4548	13
10	4832	13
11	4863	13
done	4863	13
0	9	10
1	18	10
2	37	10
3	101	10
4	220	10
5	405	10
6	660	10
7	1005	10
8	1686	10
9	2427	10
10	2498	10
11	2513	10
done	2513	10
0	8	9
1	19	7
2	42	7
3	92	7
4	183	7
5	309	7
6	508	7
7	759	7
8	1156	7
9	1486	7
10	1585	7
done	1585	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	9
1	16	9
2	36	9
3	102	9
4	218	9
5	543	9
6	1315	9
7	2929	9
done	5001	9
0	10	12
1	21	12
2	43	12
3	92	12
4	151	12
5	353	12
6	1099	12
7	3203	12
done	5000	12
0	10	12
1	21	12
2	43	12
3	92	12
4	151	12
5	353	12
6	1099	12
7	3203	12
done	5000	12
0	9	11
1	20	11
2	48	11
3	137	11
4	333	11
5	973	11
6	2736	11
done	5000	11
0	11	13
1	23	13
2	51	13
3	140	13
4	339	13
5	993	13
6	2831	13
done	5001	13
0	9	11
1	20	11
2	48	11
3	137	11
4	333	11
5	973	11
6	2736	11
done	5000	11
0	7	9
1	16	9
2	36	9
3	102	9
4	218	9
5	543	9
6	1315	9
7	2929	9
done	5001	9
0	12	15
1	37	15
2	85	15
3	258	15
4	1120	15
done	5000	15
0	11	15
1	26	15
2	65	15
3	230	15
4	921	15
5	3610	15
done	5001	15
0	9	10
1	17	10
2	29	10
3	45	10
4	54	10
5	62	10
6	77	10
7	103	10
8	112	10
done	112	10
0	8	9
1	18	9
2	29	9
3	48	9
4	62	9
5	66	9
6	74	9
7	89	9
8	115	9
9	124	9
done	124	9
0	7	8
1	17	8
2	37	8
3	62	8
4	85	8
5	100	8
6	108	8
7	121	8
8	135	8
9	151	8
10	155	8
done	155	8
0	7	8
1	14	8
2	27	8
3	43	8
4	51	8
5	56	8
6	60	8
7	64	8
8	80	8
9	84	8
10	96	8
11	113	8
12	143	8
13	172	8
14	191	8
15	206	8
16	232	8
17	243	8
18	244	8
done	244	8
0	12	23
1	28	23
2	119	13
3	545	11
4	2409	9
done	5000	9
0	10	23
1	30	23
2	106	11
3	457	9
4	2120	9
done	5000	9
0	8	17
1	15	17
2	28	17
3	41	17
4	47	17
5	50	17
done	50	17
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	8	23
1	22	23
2	66	9
3	284	9
4	1527	9
done	5000	9
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	5	6
1	12	6
2	19	6
3	29	6
4	34	5
5	36	5
done	36	5
0	2	2
done	2	2
0	4	5
1	7	3
2	12	3
done	12	3
0	5	5
1	7	5
2	10	5
done	10	5
0	10	19
1	21	19
2	34	19
3	44	19
done	44	19
0	8	9
1	13	9
2	17	9
3	21	9
done	21	9
0	9	16
1	16	16
2	22	16
3	27	16
done	27	16
0	8	9
1	13	9
2	17	9
3	21	9
done	21	9
0	8	15
1	17	13
2	26	13
3	33	13
done	33	13
0	7	8
1	12	8
2	16	8
3	20	8
done	20	8
0	9	12
1	16	12
2	20	12
3	24	12
done	24	12
0	8	9
1	13	9
2	17	9
3	21	9
done	21	9
0	8	9
1	13	9
2	17	9
3	21	9
done	21	9
0	8	9
1	13	9
2	17	9
3	21	9
done	21	9
0	7	8
1	14	6
2	19	6
3	21	6
done	21	6
0	7	8
1	12	8
2	16	8
3	20	8
done	20	8
0	12	21
1	24	21
2	60	21
3	148	21
4	274	21
5	312	21
done	312	21
0	9	10
1	13	10
2	17	10
done	17	10
0	11	18
1	21	18
2	45	18
3	82	18
4	123	18
5	127	18
done	127	18
0	9	10
1	13	10
2	17	10
done	17	10
0	10	17
1	22	15
2	50	15
3	99	15
4	129	15
5	130	15
done	130	15
0	8	9
1	12	9
2	16	9
done	16	9
0	11	18
1	19	18
2	36	18
3	72	18
4	112	18
5	122	18
done	122	18
0	9	10
1	13	10
2	17	10
done	17	10
0	10	15
1	16	15
2	28	15
3	41	15
4	51	15
done	51	15
0	9	10
1	13	10
2	17	10
done	17	10
0	9	14
1	17	12
2	33	12
3	50	12
4	60	12
done	60	12
0	8	9
1	12	9
2	16	9
done	16	9
0	11	17
1	21	15
2	51	15
3	108	15
4	125	15
done	125	15
0	8	9
1	12	9
2	16	9
done	16	9
0	10	14
1	18	12
2	39	12
3	61	12
4	62	12
done	62	12
0	8	9
1	12	9
2	16	9
done	16	9
0	8	13
1	16	9
2	21	9
3	26	9
done	26	9
0	7	8
1	11	8
2	15	8
done	15	8
0	11	16
1	19	16
2	32	16
3	59	16
4	63	16
done	63	16
0	9	10
1	13	10
2	17	10
done	17	10
0	10	13
1	16	13
2	23	13
3	31	13
done	31	13
0	9	10
1	13	10
2	17	10
done	17	10
0	9	12
1	17	10
2	28	10
3	44	10
done	44	10
0	8	9
1	12	9
2	16	9
done	16	9
0	10	13
1	16	13
2	23	13
3	29	13
done	29	13
0	9	10
1	13	10
2	17	10
done	17	10
0	9	10
1	13	10
2	17	10
done	17	10
0	9	10
1	13	10
2	17	10
done	17	10
0	8	9
1	14	7
2	22	7
3	24	7
done	24	7
0	8	9
1	12	9
2	16	9
done	16	9
0	10	12
1	18	10
2	28	10
3	36	10
done	36	10
0	8	9
1	12	9
2	16	9
done	16	9
0	9	9
1	15	7
2	22	7
done	22	7
0	8	9
1	12	9
2	16	9
done	16	9
0	7	8
1	13	4
2	14	4
done	14	4
0	7	8
1	11	8
2	15	8
done	15	8
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	7	7
1	11	7
2	14	7
done	14	7
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	5	6
1	9	4
2	16	4
done	16	4
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	3	5
1	7	1
done	7	1
0	6	7
1	13	7
2	26	7
3	39	7
4	45	7
5	48	7
done	48	7
0	12	17
1	19	17
2	31	17
3	58	17
4	64	17
done	64	17
0	10	11
1	17	11
2	29	11
3	40	11
4	46	11
5	49	11
done	49	11
0	11	14
1	16	14
2	22	14
3	30	14
done	30	14
0	10	11
1	17	11
2	29	11
3	40	11
4	46	11
5	49	11
done	49	11
0	10	13
1	17	11
2	27	11
3	43	11
done	43	11
0	9	10
1	16	10
2	28	10
3	39	10
4	45	10
5	48	10
done	48	10
0	10	14
1	15	14
2	21	14
3	27	14
done	27	14
0	9	11
1	16	11
2	29	10
3	42	10
4	48	10
5	51	10
done	51	10
0	9	11
1	12	11
2	15	11
done	15	11
0	9	11
1	16	11
2	29	10
3	42	10
4	48	10
5	51	10
done	51	10
0	8	10
1	13	8
2	20	8
3	22	8
done	22	8
0	8	10
1	15	10
2	28	9
3	41	9
4	47	9
5	50	9
done	50	9
0	11	13
1	18	11
2	27	11
3	35	11
done	35	11
0	9	10
1	16	10
2	28	10
3	39	10
4	45	10
5	48	10
done	48	10
0	10	10
1	15	8
2	21	8
done	21	8
0	9	10
1	16	10
2	28	10
3	39	10
4	45	10
5	48	10
done	48	10
0	8	9
1	13	5
done	13	5
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	7	7
1	11	7
2	14	7
done	14	7
0	8	9
1	15	9
2	27	9
3	38	9
4	44	9
5	47	9
done	47	9
0	5	6
1	9	4
2	16	4
done	16	4
0	7	8
1	14	8
2	26	8
3	37	8
4	43	8
5	46	8
done	46	8
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	3	5
1	7	1
done	7	1
0	6	7
1	13	7
2	26	7
3	39	7
4	45	7
5	48	7
done	48	7
0	5	7
1	9	7
done	9	7
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	4	4
1	6	4
done	6	4
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	2	3
1	4	1
done	4	1
0	6	7
1	13	7
2	26	7
3	39	7
4	45	7
5	48	7
done	48	7
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	10	6
2	13	6
done	13	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	10	6
2	13	6
done	13	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	6	7
1	13	7
2	20	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	8	11
1	17	11
2	36	11
3	66	11
4	87	11
5	98	11
6	99	11
done	99	11
0	7	8
1	14	8
2	27	8
3	40	8
4	46	8
5	49	8
done	49	8
0	6	7
1	15	5
2	28	5
3	35	5
4	38	5
done	38	5
0	7	8
1	12	8
2	16	8
3	20	8
done	20	8
0	7	8
1	12	8
2	16	8
3	20	8
done	20	8
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	6	7
1	13	7
2	20	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	9	10
1	16	10
2	22	10
3	25	10
4	27	10
5	32	10
6	35	10
7	37	10
done	37	10
0	8	10
1	15	10
2	22	9
3	27	9
4	29	9
5	34	9
6	37	9
7	39	9
done	39	9
0	8	9
1	15	9
2	21	9
3	24	9
4	26	9
5	31	9
6	34	9
7	36	9
done	36	9
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	7	8
1	14	8
2	20	8
3	23	8
4	25	8
5	30	8
6	33	8
7	35	8
done	35	8
0	6	7
1	13	7
2	20	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	6	7
1	13	7
2	20	7
3	25	7
4	27	7
5	32	7
6	35	7
7	37	7
done	37	7
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	19	6
3	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	24	6
4	26	6
5	30	6
6	34	6
7	50	6
8	55	6
9	60	6
10	64	6
11	76	6
12	84	6
13	88	6
14	93	6
15	96	6
16	107	6
17	132	6
18	143	6
19	148	6
20	154	6
21	159	6
22	161	6
23	163	6
done	163	6
0	8	17
1	19	17
2	67	9
3	202	7
4	559	7
5	2062	7
done	5001	7
0	6	13
1	11	13
2	15	13
3	19	13
done	19	13
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	6	17
1	18	17
2	50	7
3	178	7
4	604	7
5	2255	7
done	5000	7
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	2	3
1	3	1
2	5	1
done	5	1
0	3	3
done	3	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	12
1	11	12
2	14	12
3	15	12
done	15	12
0	6	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	10	4
2	13	4
done	13	4
0	5	6
1	7	6
2	8	6
done	8	6
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	8	11
1	11	11
done	11	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	7	8
done	7	8
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	7	7
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	6	5
2	7	5
done	7	5
0	6	7
1	8	7
2	9	7
done	9	7
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	48	11
3	75	11
4	83	11
5	93	11
6	116	11
7	176	11
8	379	11
9	1310	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	10	11
1	20	11
2	35	9
3	49	9
4	65	9
5	70	9
done	70	9
0	10	11
1	20	11
2	35	9
3	49	9
4	65	9
5	70	9
done	70	9
0	10	11
1	20	11
2	35	9
3	49	9
4	65	9
5	70	9
done	70	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune402.0ms

Filtered

178 candidates to 231 candidates (-29.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	231	0	231
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	231	5	236

Merged error: 0b

Counts

236 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ 1.0 y) (* (/ x y) (- 1.3333333333333333 (* 0.3333333333333333 x))))
0.0b	(- 1.3333333333333333 (* 0.3333333333333333 x))
0.2b	(* (/ x y) (- 1.3333333333333333 (* 0.3333333333333333 x)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
13×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube`
7×	`add-log-exp`
6×	`sub-neg` `flip3--` `flip--`
5×	`pow1` `frac-sub`
4×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `associate-*r/` `associate--r+`
3×	`associate-r` `associate-*l/`
2×	`diff-log` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `div-inv` `sub-div`

Counts

3 → 74

Calls

3 calls:

9.0ms	(- (/ 1.0 y) (* (/ x y) (- 1.3333333333333333 (* 0.3333333333333333 x))))
3.0ms	(- 1.3333333333333333 (* 0.3333333333333333 x))
9.0ms	(* (/ x y) (- 1.3333333333333333 (* 0.3333333333333333 x)))

series31.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- (/ 1.0 y) (* (/ x y) (- 1.3333333333333333 (* 0.3333333333333333 x))))
4.0ms	(- 1.3333333333333333 (* 0.3333333333333333 x))
15.0ms	(* (/ x y) (- 1.3333333333333333 (* 0.3333333333333333 x)))

simplify1.7min

Counts

83 → 83

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	36	9
3	75	9
4	122	9
5	174	9
6	185	9
7	190	9
done	190	9
0	11	12
1	19	12
2	36	12
3	45	12
4	54	12
5	59	12
6	68	12
7	85	12
8	104	12
9	112	12
done	112	12
0	10	11
1	17	11
2	30	11
3	39	11
4	49	11
5	58	11
6	63	11
7	72	11
8	89	11
9	108	11
10	116	11
done	116	11
0	9	10
1	18	10
2	46	10
3	95	10
4	154	10
5	218	10
6	241	10
7	258	10
8	281	10
9	291	10
10	307	10
11	309	10
done	309	10
0	9	10
1	17	10
2	45	10
3	104	10
4	218	10
5	442	10
6	1019	10
7	3273	10
done	5001	10
0	14	29
1	32	29
2	134	15
3	716	13
4	4490	13
done	5000	13
0	12	29
1	28	29
2	102	13
3	469	13
4	2774	11
done	5000	11
0	10	21
1	16	21
2	38	21
3	77	21
4	120	21
5	172	21
6	183	21
7	188	21
done	188	21
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	10	29
1	26	29
2	117	11
3	604	11
4	3132	11
done	5001	11
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	11
1	29	11
2	90	11
3	325	11
4	1018	11
5	3144	11
done	5000	11
0	11	19
1	35	15
2	89	15
3	180	15
4	281	15
5	287	15
done	287	15
0	8	13
1	22	13
2	62	13
3	161	13
4	315	13
5	503	13
6	727	13
7	1213	13
8	4143	13
done	5001	13
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	11	12
1	17	12
2	27	12
3	29	12
4	31	12
5	32	12
done	32	12
0	11	12
1	17	12
2	27	12
3	29	12
4	31	12
5	32	12
done	32	12
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	8
1	17	8
2	40	8
3	84	8
4	123	8
5	132	8
6	139	8
7	140	8
done	140	8
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	8
1	17	8
2	40	8
3	84	8
4	123	8
5	132	8
6	139	8
7	140	8
done	140	8
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	7	8
1	17	8
2	43	8
3	88	8
4	123	8
5	133	8
6	137	8
done	137	8
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	7	8
1	17	8
2	43	8
3	88	8
4	123	8
5	133	8
6	137	8
done	137	8
0	10	17
1	18	17
2	33	17
3	41	17
4	50	17
5	56	17
6	61	17
7	62	17
done	62	17
0	9	10
1	15	10
2	25	10
3	27	10
4	29	10
5	30	10
done	30	10
0	5	5
1	10	3
2	20	3
done	20	3
0	9	10
1	13	10
2	26	10
3	47	10
4	61	10
5	69	10
done	69	10
0	9	10
1	13	10
2	26	10
3	47	10
4	61	10
5	69	10
done	69	10
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	9	10
1	15	10
2	37	10
3	83	10
4	134	10
5	212	10
6	280	10
7	304	10
done	304	10
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	9	10
1	15	10
2	37	10
3	83	10
4	134	10
5	212	10
6	280	10
7	304	10
done	304	10
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	8	9
1	14	9
2	36	9
3	75	9
4	122	9
5	174	9
6	185	9
7	190	9
done	190	9
0	8	9
1	14	9
2	36	9
3	75	9
4	122	9
5	174	9
6	185	9
7	190	9
done	190	9
0	9	9
1	17	9
2	39	7
3	110	7
4	234	7
5	310	7
6	364	7
7	382	7
done	382	7
0	11	13
1	33	13
2	103	13
3	400	13
4	1642	13
done	5000	13
0	10	15
1	26	15
2	77	15
3	245	15
4	674	15
5	1374	15
6	2162	15
7	3552	15
done	5001	15
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	13	15
1	23	14
2	53	14
3	131	14
4	317	14
5	757	14
6	1815	14
done	5000	14
0	12	14
1	20	14
2	51	14
3	118	14
4	271	14
5	469	14
6	527	14
7	582	14
8	671	14
9	767	14
10	768	14
done	768	14
0	12	14
1	23	14
2	60	14
3	152	14
4	382	14
5	836	14
6	1951	14
done	5001	14
0	13	29
1	21	29
2	52	29
3	119	29
4	264	29
5	453	29
6	511	29
7	566	29
8	655	29
9	751	29
10	752	29
done	752	29
0	12	14
1	20	14
2	51	14
3	118	14
4	271	14
5	469	14
6	527	14
7	582	14
8	671	14
9	767	14
10	768	14
done	768	14
0	13	41
1	22	41
2	67	15
3	225	15
4	1003	15
done	5000	15
0	12	14
1	20	14
2	51	14
3	118	14
4	271	14
5	469	14
6	527	14
7	582	14
8	671	14
9	767	14
10	768	14
done	768	14
0	12	14
1	20	14
2	51	14
3	118	14
4	271	14
5	469	14
6	527	14
7	582	14
8	671	14
9	767	14
10	768	14
done	768	14
0	8	9
1	14	9
2	33	9
3	64	9
4	116	9
5	167	9
6	175	9
7	193	9
8	236	9
9	264	9
done	264	9
0	20	35
1	69	31
2	230	31
3	819	29
4	3373	29
done	5000	29
0	12	21
1	39	17
2	114	17
3	285	17
4	518	17
5	611	17
6	612	17
done	612	17
0	15	25
1	44	25
2	135	25
3	456	23
4	1587	17
5	4400	17
done	5000	17
0	8	9
1	20	9
2	44	9
3	63	9
4	67	9
done	67	9
0	20	35
1	68	31
2	222	31
3	800	31
4	4099	29
done	5000	29
0	11	19
1	35	15
2	89	15
3	180	15
4	281	15
5	287	15
done	287	15
0	15	25
1	43	25
2	137	25
3	535	25
4	2379	17
done	5000	17
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	11	13
1	21	13
2	59	11
3	168	11
4	384	11
5	642	11
6	746	11
7	826	11
8	980	11
9	1106	11
done	1106	11
0	2	3
done	2	3
0	14	17
1	41	17
2	148	17
3	669	17
4	3810	17
done	5000	17
0	15	41
1	43	31
2	156	31
3	559	31
4	2011	29
done	5001	29
0	9	10
1	19	10
2	57	10
3	161	10
4	292	9
5	391	9
6	428	9
7	492	9
8	574	9
9	579	9
done	579	9
0	13	27
1	35	27
2	121	27
3	477	27
4	2126	27
done	5000	27
0	11	13
1	18	13
2	40	13
3	83	13
4	131	13
5	186	13
6	203	13
7	223	13
8	264	13
9	337	13
10	423	13
11	456	13
12	558	13
13	731	13
14	732	13
done	732	13
0	8	9
1	13	9
2	25	9
3	36	9
4	43	9
5	49	9
6	52	9
done	52	9
0	8	9
1	13	9
2	25	9
3	36	9
4	43	9
5	49	9
6	52	9
done	52	9
0	8	9
1	13	9
2	25	9
3	38	9
4	49	9
5	52	9
done	52	9
0	8	9
1	13	9
2	25	9
3	38	9
4	49	9
5	52	9
done	52	9
0	9	10
1	19	10
2	57	10
3	161	10
4	292	9
5	391	9
6	428	9
7	492	9
8	574	9
9	579	9
done	579	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13

prune112.0ms

Filtered

62 candidates to 83 candidates (-33.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	83	5	88

Merged error: 0b

Counts

88 → 5

regimes164.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	10	11
done	10	11

end0.0ms

sample745.0ms

Algorithm

intervals

Results

383.0ms

10635×

body

valid

Details

sample33.0ms

simplify2.6s

prune3.0ms

localize7.0ms

rewrite27.0ms

series12.0ms

simplify2.2min

prune129.0ms

localize12.0ms

rewrite39.0ms

series18.0ms

simplify3.2min

prune253.0ms

localize9.0ms

rewrite71.0ms

series18.0ms

simplify4.3min

prune402.0ms

localize9.0ms

rewrite24.0ms

series31.0ms

simplify1.7min

prune112.0ms

regimes164.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample745.0ms

Profiling