Details

sample27.0ms

Algorithm

intervals

Results

10.0ms

266×

body

valid

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	40	11
3	79	11
4	143	11
5	246	11
6	343	11
7	482	11
8	717	11
9	908	11
10	929	11
11	930	11
done	930	11

prune4.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.7b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

8.6b	(/ x (* (- y z) (- y t)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-/r/`
6×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
4×	`frac-times`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 29

Calls

1 calls:

10.0ms

(/ x (* (- y z) (- y t)))

series22.0ms

Counts

1 → 3

Calls

1 calls:

22.0ms

(/ x (* (- y z) (- y t)))

simplify50.8s

Counts

32 → 32

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	31	12
3	41	12
4	51	12
5	67	12
6	86	12
7	102	12
8	107	12
done	107	12
0	10	11
1	20	11
2	41	11
3	82	11
4	156	11
5	267	11
6	383	11
7	548	11
8	792	11
9	979	11
10	1016	11
11	1047	11
12	1089	11
13	1091	11
done	1091	11
0	9	10
1	19	10
2	43	10
3	88	10
4	165	10
5	271	10
6	384	10
7	542	10
8	792	10
9	988	10
10	1029	10
11	1066	10
12	1108	10
13	1110	10
done	1110	10
0	9	10
1	16	10
2	32	10
3	65	10
4	129	10
5	228	10
6	325	10
7	464	10
8	700	10
9	887	10
10	904	10
11	905	10
done	905	10
0	14	29
1	33	29
2	153	15
3	777	15
4	3375	13
done	5001	13
0	12	29
1	35	29
2	183	13
3	1067	11
4	4381	11
done	5000	11
0	10	21
1	17	21
2	33	21
3	66	21
4	130	21
5	231	21
6	328	21
7	467	21
8	702	21
9	889	21
10	906	21
11	907	21
done	907	21
0	9	10
1	16	10
2	32	10
3	65	10
4	129	10
5	228	10
6	325	10
7	464	10
8	700	10
9	887	10
10	904	10
11	905	10
done	905	10
0	10	29
1	24	29
2	86	11
3	373	11
4	1494	11
done	5000	11
0	9	10
1	16	10
2	32	10
3	65	10
4	129	10
5	228	10
6	325	10
7	464	10
8	700	10
9	887	10
10	904	10
11	905	10
done	905	10
0	9	10
1	16	10
2	32	10
3	65	10
4	129	10
5	228	10
6	325	10
7	464	10
8	700	10
9	887	10
10	904	10
11	905	10
done	905	10
0	2	2
done	2	2
0	7	8
1	16	8
2	43	8
3	123	8
4	243	7
5	566	7
6	760	7
7	892	7
8	1021	7
done	1021	7
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
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	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	8	9
1	17	9
2	33	9
3	66	9
4	130	9
5	231	9
6	328	9
7	467	9
8	702	9
9	889	9
10	906	9
11	907	9
done	907	9
0	8	9
1	15	9
2	36	9
3	90	9
4	201	9
5	396	9
6	676	9
7	973	9
8	1483	9
9	1990	9
10	2190	9
11	2213	9
done	2213	9
0	5	5
1	7	5
2	8	5
done	8	5
0	9	10
1	16	10
2	37	10
3	91	10
4	202	10
5	399	10
6	680	10
7	979	10
8	1492	10
9	1999	10
10	2199	10
11	2222	10
done	2222	10
0	9	10
1	16	10
2	37	10
3	91	10
4	202	10
5	399	10
6	680	10
7	979	10
8	1492	10
9	1999	10
10	2199	10
11	2222	10
done	2222	10
0	8	9
1	15	9
2	36	9
3	90	9
4	201	9
5	396	9
6	676	9
7	973	9
8	1483	9
9	1990	9
10	2190	9
11	2213	9
done	2213	9
0	12	17
1	37	17
2	89	17
3	284	17
4	1300	17
done	5001	17
0	13	17
1	35	17
2	84	17
3	277	17
4	1305	17
done	5000	17
0	13	17
1	35	17
2	84	17
3	278	17
4	1323	17
done	5001	17
0	11	17
1	24	17
2	64	17
3	252	17
4	1075	17
5	3634	17
done	5000	17
0	11	13
1	31	13
2	68	13
3	188	13
4	625	13
5	2339	13
done	5001	13
0	10	13
1	20	13
2	48	13
3	147	13
4	420	13
5	1039	13
6	3032	13
done	5000	13
0	11	13
1	31	13
2	68	13
3	188	13
4	637	13
5	2344	13
done	5000	13
0	10	13
1	20	13
2	48	13
3	148	13
4	425	13
5	1038	13
6	3012	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune71.0ms

Filtered

28 candidates to 32 candidates (-14.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	27	5	32
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	28	5	33

Merged error: 0.0b

Counts

33 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.7b	(/ 1 (/ (* (- y z) (- y t)) x))
8.3b	(/ (* (- y z) (- y t)) x)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
28×	`add-exp-log`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-cbrt-cube`
14×	`div-exp`
10×	`associate-/r*`
8×	`associate-/l/`
7×	`cbrt-undiv`
6×	`flip3--` `flip--` `div-inv`
4×	`frac-times` `prod-exp` `associate-/l*`
3×	`pow1` `rec-exp` `1-exp`
2×	`frac-2neg` `associate-r/` `associate-l/` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`pow-flip` `associate-/r/` `inv-pow`

Counts

2 → 85

Calls

2 calls:

11.0ms	(/ 1 (/ (* (- y z) (- y t)) x))
11.0ms	(/ (* (- y z) (- y t)) x)

series56.0ms

Counts

2 → 6

Calls

2 calls:

37.0ms	(/ 1 (/ (* (- y z) (- y t)) x))
19.0ms	(/ (* (- y z) (- y t)) x)

simplify4.6min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	29	12
3	35	12
4	41	12
5	50	12
6	63	12
7	81	12
8	97	12
9	104	12
10	121	12
11	123	12
done	123	12
0	10	11
1	20	11
2	40	11
3	82	11
4	149	11
5	256	11
6	362	11
7	514	11
8	768	11
9	971	11
10	1015	11
11	1053	11
12	1101	11
13	1103	11
done	1103	11
0	9	10
1	19	10
2	48	10
3	118	10
4	244	10
5	447	10
6	737	10
7	1053	10
8	1581	10
9	2099	10
10	2345	10
11	2399	10
12	2443	10
done	2443	10
0	9	10
1	16	10
2	37	10
3	96	10
4	229	10
5	474	10
6	935	10
7	2010	10
done	5001	10
0	14	29
1	33	29
2	161	15
3	841	15
4	4193	13
done	5000	13
0	12	29
1	35	29
2	182	13
3	1138	11
done	5001	11
0	10	21
1	17	21
2	38	21
3	92	21
4	203	21
5	398	21
6	678	21
7	973	21
8	1483	21
9	1990	21
10	2190	21
11	2213	21
done	2213	21
0	9	10
1	16	10
2	37	10
3	91	10
4	202	10
5	399	10
6	682	10
7	979	10
8	1492	10
9	1999	10
10	2199	10
11	2222	10
done	2222	10
0	10	29
1	24	29
2	82	11
3	443	11
4	2783	11
done	5001	11
0	9	10
1	16	10
2	37	10
3	91	10
4	202	10
5	399	10
6	682	10
7	979	10
8	1492	10
9	1999	10
10	2199	10
11	2222	10
done	2222	10
0	9	10
1	16	10
2	37	10
3	91	10
4	202	10
5	399	10
6	682	10
7	979	10
8	1492	10
9	1999	10
10	2199	10
11	2222	10
done	2222	10
0	7	8
1	16	8
2	43	8
3	123	8
4	243	7
5	566	7
6	760	7
7	892	7
8	1021	7
done	1021	7
0	2	2
done	2	2
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	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	5	5
1	12	3
2	17	3
done	17	3
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	8	9
1	15	9
2	31	9
3	64	9
4	128	9
5	229	9
6	326	9
7	465	9
8	701	9
9	888	9
10	905	9
11	906	9
done	906	9
0	10	13
1	22	13
2	58	13
3	142	13
4	345	13
5	720	13
6	1221	13
7	1766	13
8	2619	13
9	3578	13
10	3948	13
11	3999	13
done	3999	13
0	9	10
1	16	10
2	37	10
3	91	10
4	202	10
5	399	10
6	680	10
7	979	10
8	1492	10
9	1999	10
10	2199	10
11	2222	10
done	2222	10
0	8	9
1	17	7
2	42	7
3	105	7
4	223	7
5	356	7
6	529	7
7	788	7
8	1115	7
9	1392	7
10	1454	7
11	1486	7
done	1486	7
0	5	5
1	7	5
2	8	5
done	8	5
0	15	25
1	39	21
2	157	21
3	780	21
4	2942	21
done	5000	21
0	12	17
1	30	15
2	115	15
3	396	15
4	1027	15
5	2241	15
6	3774	15
7	4333	15
8	4527	15
done	5001	15
0	12	17
1	30	15
2	117	15
3	410	15
4	979	15
5	2166	15
6	3904	15
7	4502	15
8	4715	15
done	5001	15
0	8	9
1	20	9
2	72	9
3	161	9
4	244	9
5	317	9
6	352	9
7	358	9
done	358	9
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	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	2	2
1	5	1
done	5	1
0	12	13
1	21	13
2	36	13
3	52	13
4	72	12
5	88	12
6	117	12
7	135	12
done	135	12
0	11	12
1	21	12
2	44	12
3	94	12
4	183	11
5	294	11
6	413	11
7	584	11
8	840	11
9	1027	11
10	1064	11
11	1095	11
12	1137	11
13	1139	11
done	1139	11
0	10	11
1	20	11
2	49	11
3	122	11
4	261	11
5	477	11
6	778	11
7	1097	11
8	1608	11
9	2119	11
10	2348	11
11	2413	11
12	2457	11
done	2457	11
0	13	14
1	26	13
2	55	13
3	113	12
4	215	12
5	351	12
6	440	12
7	462	12
done	462	12
0	12	13
1	26	12
2	60	12
3	138	11
4	313	11
5	523	11
6	701	11
7	891	11
8	1125	11
9	1312	11
10	1365	11
11	1488	11
12	1576	11
done	1576	11
0	11	12
1	23	11
2	58	11
3	145	11
4	351	11
5	694	11
6	1107	11
7	1440	11
8	1951	11
9	2462	11
10	2707	11
11	2891	11
12	2987	11
done	2987	11
0	14	15
1	29	14
2	53	13
3	117	12
4	221	12
5	360	12
6	451	12
7	473	12
done	473	12
0	13	14
1	29	13
2	58	12
3	142	11
4	317	11
5	534	11
6	715	11
7	907	11
8	1141	11
9	1328	11
10	1381	11
11	1510	11
12	1605	11
done	1605	11
0	12	13
1	26	12
2	58	11
3	149	11
4	355	11
5	692	11
6	1099	11
7	1437	11
8	1948	11
9	2459	11
10	2704	11
11	2890	11
12	2978	11
done	2978	11
0	11	12
1	26	11
2	64	11
3	167	10
4	365	10
5	763	10
6	1459	10
7	2002	10
8	2813	10
9	3648	10
10	4128	10
11	4468	10
12	4563	10
done	4563	10
0	11	12
1	22	12
2	53	12
3	134	10
4	272	10
5	588	10
6	1314	10
7	2445	10
done	5000	10
0	18	35
1	44	31
2	200	17
3	1192	15
done	5001	15
0	16	35
1	46	31
2	219	15
3	1509	13
done	5000	13
0	14	35
1	37	31
2	119	13
3	668	13
4	4331	13
done	5000	13
0	12	25
1	23	25
2	52	25
3	125	21
4	248	21
5	508	21
6	1011	21
7	1502	21
8	2322	21
9	3154	21
10	3574	21
11	3727	21
12	3730	21
done	3730	21
0	11	12
1	22	12
2	51	12
3	124	10
4	247	10
5	509	10
6	1006	10
7	1494	10
8	2318	10
9	3148	10
10	3570	10
11	3725	10
12	3728	10
done	3728	10
0	12	35
1	30	35
2	98	13
3	553	11
4	3407	11
done	5001	11
0	11	12
1	22	12
2	51	12
3	124	10
4	247	10
5	509	10
6	1006	10
7	1494	10
8	2318	10
9	3148	10
10	3570	10
11	3725	10
12	3728	10
done	3728	10
0	11	12
1	22	12
2	51	12
3	124	10
4	247	10
5	509	10
6	1006	10
7	1494	10
8	2318	10
9	3148	10
10	3570	10
11	3725	10
12	3728	10
done	3728	10
0	2	2
1	5	1
done	5	1
0	9	10
1	18	10
2	46	10
3	139	10
4	363	9
5	791	9
6	1328	9
7	1924	9
8	2321	9
9	2414	9
10	2437	9
done	2437	9
0	14	27
1	29	25
2	59	23
3	119	23
4	230	23
5	429	23
6	706	23
7	1006	23
8	1517	23
9	2024	23
10	2224	23
11	2247	23
done	2247	23
0	12	13
1	21	12
2	42	12
3	96	12
4	207	12
5	404	12
6	687	12
7	985	12
8	1496	12
9	2003	12
10	2203	12
11	2226	12
done	2226	12
0	13	16
1	24	14
2	47	12
3	102	12
4	213	12
5	410	12
6	686	12
7	979	12
8	1491	12
9	1999	12
10	2199	12
11	2222	12
done	2222	12
0	12	13
1	21	12
2	42	12
3	96	12
4	207	12
5	404	12
6	687	12
7	985	12
8	1496	12
9	2003	12
10	2203	12
11	2226	12
done	2226	12
0	11	15
1	24	13
2	50	11
3	84	9
4	104	9
5	108	9
done	108	9
0	9	9
1	18	8
2	24	8
3	27	6
4	49	6
5	62	6
done	62	6
0	10	12
1	21	10
2	36	8
3	53	6
4	61	6
5	63	6
done	63	6
0	9	9
1	18	8
2	24	8
3	27	6
4	49	6
5	62	6
done	62	6
0	8	11
1	19	5
2	27	5
done	27	5
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	4	7
1	8	3
2	12	1
done	12	1
0	11	12
1	22	11
2	51	11
3	124	9
4	247	9
5	511	9
6	1014	9
7	1505	9
8	2327	9
9	3159	9
10	3582	9
11	3739	9
12	3742	9
done	3742	9
0	10	13
1	24	11
2	51	9
3	106	9
4	208	9
5	340	9
6	500	9
7	788	9
8	1122	9
9	1401	9
10	1465	9
11	1497	9
done	1497	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	13	24
1	24	23
2	45	23
3	99	23
4	210	23
5	405	23
6	688	23
7	982	23
8	1495	23
9	2002	23
10	2202	23
11	2225	23
done	2225	23
0	12	13
1	21	12
2	42	12
3	96	12
4	207	12
5	404	12
6	687	12
7	985	12
8	1496	12
9	2003	12
10	2203	12
11	2226	12
done	2226	12
0	12	13
1	21	12
2	42	12
3	96	12
4	207	12
5	404	12
6	687	12
7	985	12
8	1496	12
9	2003	12
10	2203	12
11	2226	12
done	2226	12
0	12	13
1	21	12
2	42	12
3	96	12
4	207	12
5	404	12
6	687	12
7	985	12
8	1496	12
9	2003	12
10	2203	12
11	2226	12
done	2226	12
0	10	12
1	21	11
2	36	11
3	49	9
4	91	9
5	128	9
done	128	9
0	9	9
1	18	8
2	24	8
3	27	6
4	49	6
5	62	6
done	62	6
0	9	9
1	18	8
2	24	8
3	27	6
4	49	6
5	62	6
done	62	6
0	9	9
1	18	8
2	24	8
3	27	6
4	49	6
5	62	6
done	62	6
0	7	8
1	16	5
2	24	5
done	24	5
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	3	4
1	5	1
done	5	1
0	11	12
1	22	11
2	51	11
3	124	9
4	247	9
5	511	9
6	1014	9
7	1505	9
8	2327	9
9	3159	9
10	3582	9
11	3739	9
12	3742	9
done	3742	9
0	9	10
1	18	9
2	34	9
3	67	9
4	131	9
5	234	9
6	331	9
7	470	9
8	706	9
9	893	9
10	910	9
11	911	9
done	911	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	12	23
1	23	23
2	44	23
3	98	23
4	209	23
5	404	23
6	687	23
7	980	23
8	1493	23
9	2000	23
10	2200	23
11	2223	23
done	2223	23
0	11	12
1	20	12
2	41	12
3	95	12
4	206	12
5	399	12
6	679	12
7	972	12
8	1481	12
9	1988	12
10	2189	12
11	2212	12
done	2212	12
0	11	12
1	20	12
2	41	12
3	95	12
4	206	12
5	399	12
6	679	12
7	972	12
8	1481	12
9	1988	12
10	2189	12
11	2212	12
done	2212	12
0	11	12
1	20	12
2	41	12
3	95	12
4	206	12
5	399	12
6	679	12
7	972	12
8	1481	12
9	1988	12
10	2189	12
11	2212	12
done	2212	12
0	9	11
1	20	11
2	35	11
3	48	9
4	90	9
5	123	9
done	123	9
0	8	8
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	8	8
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	8	8
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	6	7
1	15	5
2	23	5
done	23	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	2	3
1	4	1
done	4	1
0	10	11
1	21	11
2	50	11
3	123	9
4	246	9
5	504	9
6	998	9
7	1491	9
8	2314	9
9	3146	9
10	3573	9
11	3730	9
12	3733	9
done	3733	9
0	8	9
1	17	9
2	33	9
3	66	9
4	130	9
5	231	9
6	328	9
7	467	9
8	702	9
9	889	9
10	906	9
11	907	9
done	907	9
0	4	5
1	8	1
done	8	1
0	10	11
1	21	11
2	50	11
3	123	9
4	246	9
5	504	9
6	998	9
7	1491	9
8	2314	9
9	3146	9
10	3573	9
11	3730	9
12	3733	9
done	3733	9
0	10	11
1	21	9
2	60	9
3	146	9
4	319	9
5	579	9
6	1006	9
7	1594	9
8	2276	9
9	2999	9
10	3390	9
11	3534	9
done	3534	9
0	12	23
1	23	23
2	44	23
3	98	23
4	209	23
5	404	23
6	687	23
7	980	23
8	1493	23
9	2000	23
10	2200	23
11	2223	23
done	2223	23
0	11	12
1	20	12
2	41	12
3	95	12
4	206	12
5	399	12
6	679	12
7	972	12
8	1481	12
9	1988	12
10	2189	12
11	2212	12
done	2212	12
0	9	11
1	20	11
2	35	11
3	48	9
4	90	9
5	123	9
done	123	9
0	8	8
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	6	7
1	15	5
2	23	5
done	23	5
0	2	3
1	4	1
done	4	1
0	8	9
1	17	9
2	33	9
3	66	9
4	130	9
5	231	9
6	328	9
7	467	9
8	702	9
9	889	9
10	906	9
11	907	9
done	907	9
0	11	12
1	22	11
2	57	11
3	145	9
4	317	9
5	569	9
6	1006	9
7	1589	9
8	2258	9
9	2966	9
10	3354	9
11	3498	9
done	3498	9
0	11	12
1	22	11
2	57	11
3	145	9
4	317	9
5	569	9
6	1006	9
7	1589	9
8	2258	9
9	2966	9
10	3354	9
11	3498	9
done	3498	9
0	10	11
1	21	9
2	60	9
3	146	9
4	319	9
5	579	9
6	1006	9
7	1594	9
8	2276	9
9	2999	9
10	3390	9
11	3534	9
done	3534	9
0	8	9
1	17	9
2	33	9
3	66	9
4	130	9
5	231	9
6	328	9
7	467	9
8	702	9
9	889	9
10	906	9
11	907	9
done	907	9
0	13	17
1	28	17
2	56	17
3	98	15
4	178	13
5	331	9
6	583	9
7	880	9
8	1260	9
9	2316	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune99.0ms

Filtered

60 candidates to 91 candidates (-51.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	91	5	96

Merged error: 0b

Counts

96 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

1.0b	(/ 1 (* (- y z) (- y t)))
8.0b	(* x (/ 1 (* (- y z) (- y t))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log`
16×	`associate-/r/` `add-cbrt-cube`
15×	`associate-r`
13×	`prod-exp`
12×	`flip3--` `flip--`
9×	`add-sqr-sqrt`
8×	`frac-times` `div-exp`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`times-frac`
5×	`associate-*r/` `cbrt-unprod`
4×	`cbrt-undiv` `rec-exp` `1-exp` `associate-*l/`
3×	`associate-l` `associate-/l*`
2×	`pow-flip` `pow-prod-down` `div-inv` `add-log-exp`
1×	`frac-2neg` `clear-num` `associate-/r` `un-div-inv` `-commutative` `inv-pow` `unswap-sqr`

Counts

2 → 76

Calls

2 calls:

11.0ms	(/ 1 (* (- y z) (- y t)))
18.0ms	(* x (/ 1 (* (- y z) (- y t))))

series37.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(/ 1 (* (- y z) (- y t)))
21.0ms	(* x (/ 1 (* (- y z) (- y t))))

simplify2.7min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	22	11
2	51	9
3	100	9
4	208	9
5	420	9
6	677	9
7	1140	9
8	1983	9
9	2780	9
10	3237	9
11	3444	9
12	3465	9
done	3465	9
0	12	13
1	22	12
2	34	12
3	42	12
4	52	12
5	70	12
6	98	12
7	109	12
8	111	12
done	111	12
0	11	12
1	21	11
2	41	11
3	82	11
4	155	11
5	266	11
6	382	11
7	545	11
8	789	11
9	976	11
10	1013	11
11	1046	11
12	1090	11
13	1092	11
done	1092	11
0	13	14
1	25	13
2	55	12
3	100	12
4	181	12
5	298	12
6	351	12
7	352	12
done	352	12
0	12	13
1	25	12
2	57	11
3	124	11
4	260	11
5	475	11
6	639	11
7	831	11
8	1066	11
9	1253	11
10	1306	11
11	1429	11
12	1517	11
done	1517	11
0	14	15
1	28	14
2	53	12
3	108	12
4	191	12
5	308	12
6	361	12
7	362	12
done	362	12
0	13	14
1	28	13
2	57	11
3	132	11
4	268	11
5	487	11
6	650	11
7	841	11
8	1075	11
9	1262	11
10	1315	11
11	1442	11
12	1530	11
done	1530	11
0	12	13
1	26	12
2	54	11
3	126	11
4	247	11
5	474	11
6	661	11
7	859	11
8	1094	11
9	1285	11
10	1342	11
11	1489	11
12	1584	11
done	1584	11
0	11	12
1	26	12
2	64	10
3	137	10
4	294	10
5	573	10
6	1032	10
7	1537	10
8	2381	10
9	3183	10
10	3690	10
11	4068	10
12	4215	10
done	4215	10
0	11	12
1	25	12
2	60	10
3	127	10
4	328	10
5	848	10
6	2043	10
done	5001	10
0	18	35
1	44	31
2	168	15
3	928	15
done	5000	15
0	16	35
1	46	31
2	184	13
3	1109	13
done	5000	13
0	14	35
1	36	35
2	129	15
3	651	15
4	3187	11
done	5000	11
0	12	25
1	24	25
2	53	21
3	102	21
4	210	21
5	412	21
6	669	21
7	1130	21
8	1971	21
9	2767	21
10	3225	21
11	3433	21
12	3454	21
done	3454	21
0	11	12
1	23	12
2	52	10
3	101	10
4	209	10
5	411	10
6	668	10
7	1131	10
8	1971	10
9	2768	10
10	3227	10
11	3430	10
12	3451	10
done	3451	10
0	12	35
1	34	35
2	124	11
3	572	11
4	2763	11
done	5000	11
0	11	12
1	23	12
2	52	10
3	101	10
4	209	10
5	411	10
6	668	10
7	1131	10
8	1971	10
9	2768	10
10	3227	10
11	3430	10
12	3451	10
done	3451	10
0	11	12
1	23	12
2	52	10
3	101	10
4	209	10
5	411	10
6	668	10
7	1131	10
8	1971	10
9	2768	10
10	3227	10
11	3430	10
12	3451	10
done	3451	10
0	12	13
1	22	13
2	38	13
3	71	13
4	135	13
5	238	13
6	335	13
7	474	13
8	710	13
9	897	13
10	914	13
11	915	13
done	915	13
0	12	13
1	22	13
2	38	13
3	71	13
4	135	13
5	238	13
6	335	13
7	474	13
8	710	13
9	897	13
10	914	13
11	915	13
done	915	13
0	12	23
1	24	23
2	42	23
3	75	23
4	139	23
5	242	23
6	339	23
7	478	23
8	713	23
9	900	23
10	917	23
11	918	23
done	918	23
0	11	12
1	21	12
2	37	12
3	70	12
4	134	12
5	237	12
6	334	12
7	473	12
8	709	12
9	896	12
10	913	12
11	914	12
done	914	12
0	9	11
1	18	9
2	32	7
3	47	5
4	51	5
5	53	5
6	55	5
done	55	5
0	8	8
1	15	7
2	19	7
3	26	5
4	37	5
5	40	5
6	42	5
done	42	5
0	7	7
1	14	7
2	18	5
3	22	5
4	29	5
5	30	5
done	30	5
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	14	19
1	44	19
2	109	17
3	333	17
4	1501	17
done	5001	17
0	15	19
1	42	19
2	104	17
3	342	17
4	1541	17
done	5000	17
0	15	19
1	42	19
2	104	17
3	343	17
4	1559	17
done	5001	17
0	13	19
1	31	19
2	84	17
3	333	17
4	1376	17
5	4975	17
done	5000	17
0	13	15
1	38	15
2	88	13
3	234	13
4	769	13
5	2991	13
done	5000	13
0	12	15
1	27	15
2	68	13
3	208	13
4	605	13
5	1608	13
6	4438	13
done	5000	13
0	13	15
1	38	15
2	88	13
3	228	13
4	758	13
5	2955	13
done	5000	13
0	12	15
1	27	15
2	68	13
3	203	13
4	596	13
5	1614	13
6	4456	13
done	5000	13
0	11	12
1	23	12
2	52	10
3	126	10
4	254	10
5	414	10
6	638	10
7	1256	10
8	2185	10
9	2994	10
10	3357	10
11	3473	10
12	3474	10
done	3474	10
0	11	12
1	23	12
2	52	10
3	126	10
4	254	10
5	414	10
6	638	10
7	1256	10
8	2185	10
9	2994	10
10	3357	10
11	3473	10
12	3474	10
done	3474	10
0	10	11
1	22	11
2	51	9
3	100	9
4	208	9
5	420	9
6	677	9
7	1140	9
8	1983	9
9	2780	9
10	3237	9
11	3444	9
12	3465	9
done	3465	9
0	3	3
1	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	9	10
1	17	10
2	21	10
3	22	10
done	22	10
0	8	9
1	16	9
2	34	9
3	69	9
4	134	9
5	235	9
6	332	9
7	471	9
8	706	9
9	893	9
10	914	9
11	917	9
done	917	9
0	10	11
1	19	10
2	35	10
3	53	10
4	86	10
5	119	10
6	131	10
7	132	10
done	132	10
0	9	10
1	19	9
2	43	9
3	90	9
4	182	9
5	312	9
6	432	9
7	586	9
8	821	9
9	1008	9
10	1045	9
11	1108	9
12	1143	9
done	1143	9
0	11	12
1	22	11
2	33	10
3	57	10
4	90	10
5	123	10
6	136	10
7	137	10
done	137	10
0	10	11
1	22	10
2	43	9
3	94	9
4	186	9
5	317	9
6	436	9
7	591	9
8	827	9
9	1014	9
10	1051	9
11	1114	9
12	1140	9
done	1140	9
0	9	10
1	22	9
2	45	9
3	95	9
4	180	9
5	306	9
6	436	9
7	589	9
8	825	9
9	1016	9
10	1057	9
11	1128	9
12	1155	9
done	1155	9
0	9	10
1	18	10
2	34	10
3	67	10
4	131	10
5	232	10
6	329	10
7	468	10
8	703	10
9	890	10
10	907	10
11	908	10
done	908	10
0	14	29
1	34	25
2	118	13
3	492	13
4	2196	11
done	5000	11
0	12	29
1	36	25
2	137	11
3	675	11
4	2926	11
done	5000	11
0	10	21
1	19	21
2	35	21
3	68	21
4	132	21
5	235	21
6	332	21
7	471	21
8	706	21
9	893	21
10	910	21
11	911	21
done	911	21
0	9	10
1	18	10
2	34	10
3	67	10
4	131	10
5	232	10
6	329	10
7	468	10
8	703	10
9	890	10
10	907	10
11	908	10
done	908	10
0	10	29
1	26	29
2	84	11
3	347	11
4	1160	11
5	3098	11
done	5000	11
0	9	10
1	18	10
2	34	10
3	67	10
4	131	10
5	232	10
6	329	10
7	468	10
8	703	10
9	890	10
10	907	10
11	908	10
done	908	10
0	9	10
1	18	10
2	34	10
3	67	10
4	131	10
5	232	10
6	329	10
7	468	10
8	703	10
9	890	10
10	907	10
11	908	10
done	908	10
0	2	2
1	5	1
done	5	1
0	7	8
1	16	8
2	43	8
3	123	8
4	243	7
5	566	7
6	760	7
7	892	7
8	1021	7
done	1021	7
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	6	6
1	10	5
2	11	5
done	11	5
0	6	6
1	10	5
2	11	5
done	11	5
0	6	6
1	10	5
2	11	5
done	11	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	17	9
2	33	9
3	66	9
4	130	9
5	231	9
6	328	9
7	467	9
8	702	9
9	889	9
10	906	9
11	907	9
done	907	9
0	8	9
1	17	7
2	42	7
3	105	7
4	223	7
5	356	7
6	529	7
7	788	7
8	1115	7
9	1392	7
10	1454	7
11	1486	7
done	1486	7
0	5	5
1	9	5
2	10	5
done	10	5
0	9	10
1	18	9
2	39	9
3	93	7
4	214	7
5	348	7
6	519	7
7	778	7
8	1101	7
9	1378	7
10	1440	7
11	1472	7
done	1472	7
0	9	10
1	18	9
2	39	9
3	93	7
4	214	7
5	348	7
6	519	7
7	778	7
8	1101	7
9	1378	7
10	1440	7
11	1472	7
done	1472	7
0	8	9
1	17	7
2	42	7
3	105	7
4	223	7
5	356	7
6	529	7
7	788	7
8	1115	7
9	1392	7
10	1454	7
11	1486	7
done	1486	7
0	12	17
1	39	17
2	91	17
3	286	17
4	1318	17
done	5001	17
0	13	17
1	37	17
2	86	17
3	279	17
4	1313	17
done	5000	17
0	13	17
1	37	17
2	86	17
3	280	17
4	1297	17
done	5000	17
0	11	17
1	26	17
2	66	17
3	254	17
4	1075	17
5	3642	17
done	5000	17
0	11	13
1	33	13
2	70	13
3	190	13
4	624	13
5	2335	13
done	5000	13
0	10	13
1	22	13
2	50	13
3	149	13
4	428	13
5	1046	13
6	3023	13
done	5000	13
0	11	13
1	33	13
2	70	13
3	190	13
4	632	13
5	2371	13
done	5000	13
0	10	13
1	22	13
2	50	13
3	150	13
4	431	13
5	1051	13
6	3047	13
done	5001	13
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune93.0ms

Filtered

56 candidates to 82 candidates (-46.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	82	5	87

Merged error: 0b

Counts

87 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y t) x)
0.7b	(/ 1 (* (- y z) (/ (- y t) x)))
1.9b	(* (- y z) (/ (- y t) x))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 119

Calls

3 calls:

7.0ms	(/ (- y t) x)
16.0ms	(/ 1 (* (- y z) (/ (- y t) x)))
15.0ms	(* (- y z) (/ (- y t) x))

series57.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (- y t) x)
36.0ms	(/ 1 (* (- y z) (/ (- y t) x)))
14.0ms	(* (- y z) (/ (- y t) x))

simplify3.3min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	18	9
2	37	9
3	101	9
4	223	9
5	439	9
6	701	9
7	1020	9
8	1600	9
9	2101	9
10	2166	9
11	2174	9
done	2174	9
0	11	12
1	20	12
2	29	12
3	38	12
4	44	12
5	54	12
6	61	12
7	73	12
8	96	12
9	110	12
10	116	12
done	116	12
0	10	11
1	21	11
2	31	11
3	42	11
4	52	11
5	61	11
6	66	11
7	75	11
8	92	11
9	111	11
10	119	11
done	119	11
0	9	10
1	22	10
2	47	10
3	121	10
4	262	10
5	493	10
6	761	10
7	1103	10
8	1702	10
9	2219	10
10	2327	10
11	2367	10
12	2415	10
done	2415	10
0	9	10
1	21	10
2	51	10
3	139	10
4	329	10
5	752	10
6	1600	10
done	5000	10
0	14	29
1	33	29
2	140	15
3	698	13
4	3913	13
done	5001	13
0	12	29
1	32	29
2	109	13
3	497	13
4	2806	11
done	5000	11
0	10	21
1	20	21
2	39	21
3	103	21
4	225	21
5	441	21
6	702	21
7	1023	21
8	1607	21
9	2107	21
10	2171	21
11	2179	21
done	2179	21
0	9	10
1	19	10
2	38	10
3	102	10
4	224	10
5	441	10
6	700	10
7	1021	10
8	1606	10
9	2108	10
10	2172	10
11	2180	10
done	2180	10
0	10	29
1	30	29
2	116	11
3	647	11
4	3929	11
done	5000	11
0	9	10
1	19	10
2	38	10
3	102	10
4	224	10
5	441	10
6	700	10
7	1021	10
8	1606	10
9	2108	10
10	2172	10
11	2180	10
done	2180	10
0	9	10
1	19	10
2	38	10
3	102	10
4	224	10
5	441	10
6	700	10
7	1021	10
8	1606	10
9	2108	10
10	2172	10
11	2180	10
done	2180	10
0	9	11
1	27	11
2	62	11
3	178	11
4	605	11
5	2264	11
done	5001	11
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	8	11
1	16	11
2	40	11
3	131	11
4	400	11
5	1011	11
6	3008	11
done	5000	11
0	5	5
1	7	5
2	15	5
done	15	5
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	10	11
1	18	11
2	22	11
3	24	11
done	24	11
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	11	12
1	18	12
2	23	12
3	27	12
4	28	12
done	28	12
0	10	17
1	20	17
2	32	17
3	51	17
4	65	17
5	75	17
done	75	17
0	9	10
1	17	10
2	27	10
3	34	10
4	38	10
done	38	10
0	12	19
1	25	19
2	62	19
3	166	19
4	353	19
5	578	19
6	745	19
7	787	19
8	789	19
done	789	19
0	11	16
1	20	16
2	38	16
3	91	16
4	167	16
5	234	16
6	283	16
7	288	16
done	288	16
0	10	15
1	21	13
2	46	13
3	119	13
4	213	13
5	317	13
6	378	13
7	412	13
done	412	13
0	11	14
1	20	14
2	39	14
3	88	14
4	147	14
5	212	14
6	247	14
7	254	14
done	254	14
0	10	11
1	17	11
2	28	11
3	52	11
4	75	11
5	91	11
6	102	11
done	102	11
0	9	10
1	18	8
2	33	8
3	52	8
4	76	8
5	110	8
6	135	8
7	141	8
done	141	8
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	12	15
1	20	15
2	46	15
3	111	15
4	214	15
5	353	15
6	556	15
7	946	15
8	1483	15
9	2290	15
10	3019	15
11	3304	15
12	3310	15
done	3310	15
0	11	12
1	17	12
2	35	12
3	75	12
4	134	12
5	209	12
6	324	12
7	542	12
8	873	12
9	1359	12
10	1710	12
11	1813	12
12	1814	12
done	1814	12
0	10	11
1	18	9
2	40	9
3	83	9
4	159	9
5	267	9
6	358	9
7	570	9
8	915	9
9	1266	9
10	1423	9
11	1445	9
12	1446	9
done	1446	9
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	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	7
1	11	7
2	25	7
3	58	7
4	122	7
5	213	7
6	310	7
7	449	7
8	684	7
9	867	7
10	884	7
11	885	7
done	885	7
0	9	10
1	19	10
2	32	10
3	49	10
4	72	10
5	91	10
6	98	10
7	99	10
done	99	10
0	9	10
1	19	10
2	32	10
3	49	10
4	72	10
5	91	10
6	98	10
7	99	10
done	99	10
0	8	9
1	18	9
2	37	9
3	101	9
4	223	9
5	439	9
6	701	9
7	1020	9
8	1600	9
9	2101	9
10	2166	9
11	2174	9
done	2174	9
0	10	11
1	20	11
2	39	11
3	104	11
4	227	11
5	442	11
6	674	11
7	971	11
8	1505	11
9	1934	11
10	1964	11
done	1964	11
0	8	9
1	18	9
2	37	9
3	101	9
4	223	9
5	439	9
6	701	9
7	1020	9
8	1600	9
9	2101	9
10	2166	9
11	2174	9
done	2174	9
0	6	7
1	11	7
2	25	7
3	58	7
4	122	7
5	213	7
6	310	7
7	449	7
8	684	7
9	867	7
10	884	7
11	885	7
done	885	7
0	11	13
1	34	13
2	74	13
3	227	13
4	958	13
5	4214	13
done	5000	13
0	10	13
1	23	13
2	54	13
3	196	13
4	694	13
5	1882	13
done	5000	13
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	12	13
1	24	13
2	38	13
3	62	13
4	84	12
5	103	12
6	116	12
7	135	12
done	135	12
0	11	12
1	25	12
2	37	12
3	54	12
4	81	12
5	103	12
6	112	12
7	128	12
8	146	12
done	146	12
0	10	11
1	23	11
2	51	11
3	127	11
4	276	11
5	527	11
6	815	11
7	1156	11
8	1744	11
9	2251	11
10	2345	11
11	2392	11
12	2437	11
done	2437	11
0	13	14
1	26	13
2	54	13
3	108	13
4	268	12
5	390	12
6	427	12
7	429	12
done	429	12
0	12	13
1	27	12
2	53	12
3	96	12
4	214	12
5	350	12
6	393	12
7	396	12
done	396	12
0	11	12
1	26	11
2	60	11
3	152	11
4	348	11
5	772	11
6	1169	11
7	1531	11
8	2114	11
9	2621	11
10	2744	11
11	2923	11
12	3013	11
done	3013	11
0	14	15
1	29	14
2	52	13
3	112	13
4	272	12
5	393	12
6	431	12
7	433	12
done	433	12
0	13	14
1	30	13
2	51	12
3	100	12
4	218	12
5	355	12
6	399	12
7	402	12
done	402	12
0	12	13
1	29	12
2	60	11
3	156	11
4	352	11
5	777	11
6	1170	11
7	1528	11
8	2111	11
9	2620	11
10	2743	11
11	2922	11
12	3014	11
done	3014	11
0	11	12
1	29	11
2	64	11
3	167	11
4	364	10
5	773	10
6	1303	10
7	1837	10
8	2709	10
9	3701	10
10	4097	10
11	4423	10
12	4530	10
done	4530	10
0	11	12
1	25	12
2	50	12
3	126	12
4	270	10
5	551	10
6	991	10
7	1729	10
8	3342	10
done	5000	10
0	18	35
1	46	31
2	189	17
3	1085	15
done	5000	15
0	16	35
1	45	31
2	153	15
3	741	15
4	4504	13
done	5000	13
0	14	35
1	43	31
2	159	13
3	949	13
done	5000	13
0	12	25
1	26	25
2	51	25
3	125	25
4	261	21
5	526	21
6	906	21
7	1392	21
8	2267	21
9	3255	21
10	3580	21
11	3701	21
done	3701	21
0	11	12
1	25	12
2	50	12
3	124	12
4	260	10
5	527	10
6	906	10
7	1390	10
8	2262	10
9	3246	10
10	3572	10
11	3691	10
done	3691	10
0	12	35
1	33	35
2	104	13
3	545	13
4	3436	11
done	5001	11
0	11	12
1	25	12
2	50	12
3	124	12
4	260	10
5	527	10
6	906	10
7	1390	10
8	2262	10
9	3246	10
10	3572	10
11	3691	10
done	3691	10
0	11	12
1	25	12
2	50	12
3	124	12
4	260	10
5	527	10
6	906	10
7	1390	10
8	2262	10
9	3246	10
10	3572	10
11	3691	10
done	3691	10
0	2	2
1	5	1
done	5	1
0	9	10
1	23	10
2	53	10
3	165	10
4	417	9
5	906	9
6	1365	9
7	1911	9
8	2251	9
9	2271	9
10	2294	9
done	2294	9
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	10	11
1	24	11
2	49	11
3	123	11
4	259	9
5	522	9
6	906	9
7	1394	9
8	2266	9
9	3253	9
10	3580	9
11	3697	9
done	3697	9
0	10	11
1	24	9
2	58	9
3	173	9
4	370	9
5	642	9
6	1086	9
7	1707	9
8	2507	9
9	3271	9
10	3488	9
11	3566	9
done	3566	9
0	5	5
1	9	5
2	10	5
done	10	5
0	11	12
1	25	11
2	55	11
3	157	9
4	355	9
5	641	9
6	1084	9
7	1705	9
8	2504	9
9	3269	9
10	3487	9
11	3565	9
done	3565	9
0	11	12
1	25	11
2	55	11
3	157	9
4	355	9
5	641	9
6	1084	9
7	1705	9
8	2504	9
9	3269	9
10	3487	9
11	3565	9
done	3565	9
0	10	11
1	24	9
2	58	9
3	173	9
4	370	9
5	642	9
6	1086	9
7	1707	9
8	2507	9
9	3271	9
10	3488	9
11	3566	9
done	3566	9
0	11	13
1	33	13
2	70	13
3	190	13
4	632	13
5	2371	13
done	5000	13
0	10	13
1	22	13
2	50	13
3	150	13
4	431	13
5	1051	13
6	3047	13
done	5001	13
0	8	9
1	17	9
2	33	9
3	66	9
4	130	9
5	231	9
6	328	9
7	467	9
8	702	9
9	889	9
10	906	9
11	907	9
done	907	9
0	13	15
1	40	15
2	86	15
3	253	15
4	1026	13
5	4640	13
done	5000	13
0	12	15
1	29	15
2	68	15
3	230	15
4	787	13
5	2138	13
done	5000	13
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	13	17
1	28	17
2	56	17
3	98	15
4	178	13
5	331	9
6	583	9
7	880	9
8	1260	9
9	2316	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune122.0ms

Filtered

91 candidates to 128 candidates (-40.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	128	5	133

Merged error: 0b

Counts

133 → 5

regimes307.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	15	13
done	15	13

end0.0ms

sample803.0ms

Algorithm

intervals

Results

322.0ms

8468×

body

valid

Details

sample27.0ms

simplify1.4s

prune4.0ms

localize8.0ms

rewrite12.0ms

series22.0ms

simplify50.8s

prune71.0ms

localize10.0ms

rewrite26.0ms

series56.0ms

simplify4.6min

prune99.0ms

localize10.0ms

rewrite37.0ms

series37.0ms

simplify2.7min

prune93.0ms

localize10.0ms

rewrite43.0ms

series57.0ms

simplify3.3min

prune122.0ms

regimes307.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample803.0ms

Profiling