Details

sample67.0ms

Algorithm

intervals

Results

34.0ms	435×	body	80	valid
10.0ms	435×	pre	80	true

simplify4.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	13
1	16	13
2	40	13
3	99	13
4	269	13
5	657	13
6	1795	13
7	3970	13
done	5000	13

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (* m (- 1.0 m)) v) 1.0)
0.0b	(* m (- 1.0 m))
0.1b	(/ (* m (- 1.0 m)) v)
0.1b	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

10.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
8.0ms	(* m (- 1.0 m))
8.0ms	(/ (* m (- 1.0 m)) v)
18.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

series37.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (/ (* m (- 1.0 m)) v) 1.0)
5.0ms	(* m (- 1.0 m))
7.0ms	(/ (* m (- 1.0 m)) v)
19.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

simplify9.4min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	13
1	16	13
2	40	13
3	99	13
4	269	13
5	657	13
6	1795	13
7	3970	13
done	5000	13
0	10	15
1	18	15
2	30	15
3	47	15
4	77	15
5	105	15
6	119	15
7	134	15
8	188	15
9	290	15
10	354	15
11	394	15
12	435	15
13	479	15
14	610	15
15	929	15
16	1147	15
17	1293	15
18	1337	15
19	1381	15
20	1417	15
21	1523	15
22	1840	15
23	2917	15
done	5000	15
0	9	14
1	20	14
2	45	14
3	104	14
4	274	14
5	660	14
6	1785	14
7	3903	14
done	5000	14
0	9	14
1	19	14
2	54	14
3	140	14
4	386	14
5	1070	14
6	3406	14
done	5000	14
0	12	41
1	26	41
2	93	17
3	390	17
4	2028	15
done	5000	15
0	10	29
1	18	29
2	42	29
3	101	29
4	271	29
5	661	29
6	1803	29
7	3953	29
done	5000	29
0	9	14
1	17	14
2	41	14
3	100	14
4	270	14
5	662	14
6	1801	14
7	3958	14
done	5000	14
0	10	41
1	28	41
2	117	15
3	594	15
4	3158	15
done	5000	15
0	9	14
1	17	14
2	41	14
3	100	14
4	270	14
5	662	14
6	1801	14
7	3958	14
done	5000	14
0	9	14
1	17	14
2	41	14
3	100	14
4	270	14
5	662	14
6	1801	14
7	3958	14
done	5000	14
0	13	21
1	44	21
2	135	21
3	555	21
4	3804	21
done	5000	21
0	16	41
1	48	37
2	163	37
3	744	31
4	3537	31
done	5001	31
0	14	21
1	41	21
2	131	21
3	557	21
4	4098	21
done	5000	21
0	13	33
1	39	31
2	129	31
3	447	25
4	1773	25
done	5000	25
0	14	27
1	43	27
2	118	27
3	433	27
4	2339	27
done	5001	27
0	13	21
1	33	19
2	95	19
3	283	19
4	958	19
5	3139	19
done	5000	19
0	12	27
1	31	27
2	98	27
3	437	27
4	2367	27
done	5000	27
0	9	13
1	23	13
2	56	13
3	128	13
4	347	13
5	778	13
6	1953	13
7	3807	13
done	5000	13
0	10	15
1	18	15
2	30	15
3	47	15
4	77	15
5	105	15
6	119	15
7	134	15
8	188	15
9	290	15
10	354	15
11	394	15
12	435	15
13	479	15
14	610	15
15	929	15
16	1147	15
17	1288	15
18	1312	15
done	1312	15
0	10	15
1	18	15
2	30	15
3	47	15
4	77	15
5	105	15
6	119	15
7	134	15
8	188	15
9	290	15
10	354	15
11	394	15
12	435	15
13	479	15
14	610	15
15	929	15
16	1147	15
17	1288	15
18	1312	15
done	1312	15
0	8	11
1	16	11
2	34	11
3	65	11
4	149	11
5	246	11
6	353	11
7	421	11
8	511	11
9	805	11
10	1169	11
11	1393	11
12	1480	11
13	1997	11
14	4083	11
15	4658	11
16	4977	11
done	4977	11
0	9	12
1	18	12
2	39	12
3	89	12
4	228	11
5	486	11
6	720	11
7	914	11
8	996	11
9	1158	11
10	1481	11
11	2883	11
done	5001	11
0	8	11
1	16	11
2	34	11
3	65	11
4	149	11
5	246	11
6	353	11
7	421	11
8	511	11
9	805	11
10	1169	11
11	1393	11
12	1480	11
13	1997	11
14	4083	11
15	4658	11
16	4977	11
done	4977	11
0	9	12
1	18	12
2	39	12
3	89	12
4	228	11
5	486	11
6	720	11
7	914	11
8	996	11
9	1158	11
10	1481	11
11	2883	11
done	5001	11
0	8	11
1	16	11
2	34	11
3	65	11
4	149	11
5	246	11
6	353	11
7	421	11
8	511	11
9	805	11
10	1169	11
11	1392	11
12	1479	11
13	1996	11
14	4083	11
15	4659	11
16	4970	11
done	4970	11
0	9	12
1	18	12
2	45	12
3	97	12
4	262	11
5	540	11
6	757	11
7	936	11
8	1016	11
9	1167	11
10	1607	11
11	2907	11
done	5000	11
0	8	11
1	16	11
2	34	11
3	65	11
4	149	11
5	246	11
6	353	11
7	421	11
8	511	11
9	805	11
10	1169	11
11	1392	11
12	1479	11
13	1996	11
14	4083	11
15	4659	11
16	4970	11
done	4970	11
0	9	12
1	18	12
2	45	12
3	97	12
4	262	11
5	540	11
6	757	11
7	936	11
8	1016	11
9	1167	11
10	1607	11
11	2907	11
done	5000	11
0	10	19
1	20	19
2	40	19
3	89	19
4	222	19
5	451	19
6	734	19
7	1037	19
8	1281	19
9	2073	19
10	3441	19
11	3986	19
12	4233	19
done	5000	19
0	9	14
1	17	14
2	35	14
3	72	14
4	163	14
5	268	14
6	381	14
7	478	14
8	591	14
9	956	14
10	1397	14
11	1607	14
12	1729	14
13	2178	14
14	4048	14
done	5000	14
0	9	11
1	19	9
2	40	9
3	83	9
4	195	9
5	277	9
6	364	9
7	442	9
8	617	9
9	1011	9
10	1323	9
11	1497	9
12	1520	9
13	1540	9
done	1540	9
0	11	15
1	26	15
2	57	15
3	146	15
4	397	15
5	859	15
6	2299	15
done	5000	15
0	9	11
1	19	9
2	40	9
3	83	9
4	195	9
5	277	9
6	364	9
7	442	9
8	617	9
9	1011	9
10	1323	9
11	1497	9
12	1520	9
13	1540	9
done	1540	9
0	9	14
1	17	14
2	35	14
3	57	14
4	91	14
5	119	14
6	133	14
7	148	14
8	202	14
9	304	14
10	372	14
11	420	14
12	472	14
13	544	14
14	729	14
15	1103	14
16	1356	14
17	1494	14
18	1516	14
done	1516	14
0	9	14
1	17	14
2	35	14
3	57	14
4	91	14
5	119	14
6	133	14
7	148	14
8	202	14
9	304	14
10	372	14
11	420	14
12	472	14
13	544	14
14	729	14
15	1103	14
16	1356	14
17	1494	14
18	1516	14
done	1516	14
0	8	13
1	16	13
2	40	13
3	99	13
4	269	13
5	657	13
6	1795	13
7	3970	13
done	5000	13
0	10	15
1	18	15
2	42	15
3	93	15
4	169	15
5	278	15
6	356	15
7	486	15
8	705	15
9	862	15
10	885	15
11	919	15
12	980	15
13	1046	15
14	1050	15
done	1050	15
0	8	13
1	16	13
2	40	13
3	99	13
4	269	13
5	657	13
6	1795	13
7	3970	13
done	5000	13
0	12	17
1	35	17
2	80	17
3	224	17
4	860	17
5	4455	17
done	5000	17
0	11	17
1	23	17
2	60	17
3	210	17
4	854	17
5	3148	17
done	5000	17
0	11	17
1	35	17
2	112	17
3	444	17
4	2581	17
done	5001	17
0	10	23
1	25	23
2	79	23
3	300	23
4	1240	23
5	4823	23
done	5000	23
0	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	29	9
3	41	9
4	45	9
5	51	9
6	60	9
7	73	9
8	91	9
9	107	9
10	114	9
11	131	9
12	133	9
done	133	9
0	7	8
1	15	8
2	34	8
3	67	8
4	94	8
5	115	8
6	130	8
7	148	8
8	164	8
9	171	8
10	188	8
11	190	8
done	190	8
0	7	8
1	12	8
2	23	8
3	42	8
4	69	8
5	112	8
6	178	8
7	396	8
8	1307	8
done	5000	8
0	12	23
1	29	23
2	144	13
3	729	13
4	3191	11
done	5000	11
0	10	23
1	31	23
2	157	11
3	874	9
4	3727	9
done	5000	9
0	8	17
1	13	17
2	24	17
3	41	17
4	53	17
5	66	17
6	69	17
done	69	17
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	8	23
1	20	23
2	68	9
3	320	9
4	1685	9
done	5000	9
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	5	6
1	11	6
2	28	6
3	43	6
4	49	5
done	49	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	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	6	7
1	11	7
2	20	7
3	23	7
4	24	7
done	24	7
0	8	11
1	18	11
2	41	11
3	81	11
4	123	11
5	153	11
6	170	11
done	170	11
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	6	7
1	13	5
2	28	5
3	51	5
4	65	5
5	73	5
6	79	5
7	91	5
8	97	5
done	97	5
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	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	11	6
2	19	6
3	22	6
4	23	6
done	23	6
0	5	6
1	10	6
2	23	6
3	44	6
4	81	6
5	177	6
6	407	6
7	1277	6
8	4971	6
done	5000	6
0	8	17
1	17	17
2	61	9
3	230	9
4	778	7
5	2654	7
done	5000	7
0	6	13
1	9	13
2	16	13
3	19	13
4	20	13
done	20	13
0	5	6
1	8	6
2	15	6
3	18	6
4	19	6
done	19	6
0	6	17
1	19	17
2	73	7
3	255	7
4	703	7
5	1931	7
done	5000	7
0	5	6
1	8	6
2	15	6
3	18	6
4	19	6
done	19	6
0	5	6
1	8	6
2	15	6
3	18	6
4	19	6
done	19	6
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	3	3
1	4	3
done	4	3
0	3	4
1	6	4
done	6	4
0	3	3
1	4	3
done	4	3
0	3	4
1	6	4
done	6	4
0	3	3
1	4	3
done	4	3
0	3	4
1	6	4
done	6	4
0	3	3
1	4	3
done	4	3
0	3	4
1	6	4
done	6	4
0	6	11
1	11	11
2	14	11
done	14	11
0	5	6
1	8	6
2	9	6
done	9	6
0	3	3
1	6	1
done	6	1
0	6	7
1	14	7
2	15	7
done	15	7
0	3	3
1	6	1
done	6	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	7	9
1	23	9
2	51	9
3	120	9
4	305	9
5	1018	9
6	4667	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	67	9
4	135	9
5	214	9
6	358	9
7	702	9
8	3252	9
done	5000	9
0	9	11
1	16	10
2	29	10
3	51	10
4	99	10
5	192	10
6	352	10
7	1022	10
8	3665	10
done	5001	10
0	8	10
1	15	10
2	27	10
3	44	10
4	74	10
5	100	10
6	114	10
7	129	10
8	183	10
9	285	10
10	349	10
11	389	10
12	430	10
13	474	10
14	605	10
15	924	10
16	1137	10
17	1280	10
18	1308	10
19	1318	10
20	1335	10
21	1362	10
22	1438	10
23	1766	10
24	2913	10
done	5000	10
0	8	10
1	18	10
2	32	10
3	54	10
4	105	10
5	212	10
6	458	10
7	1061	10
8	3735	10
done	5000	10
0	9	21
1	16	21
2	28	21
3	45	21
4	75	21
5	103	21
6	117	21
7	132	21
8	186	21
9	288	21
10	352	21
11	390	21
12	431	21
13	475	21
14	606	21
15	923	21
16	1142	21
17	1285	21
18	1309	21
done	1309	21
0	8	10
1	15	10
2	27	10
3	44	10
4	74	10
5	100	10
6	114	10
7	129	10
8	183	10
9	285	10
10	349	10
11	389	10
12	430	10
13	474	10
14	605	10
15	924	10
16	1137	10
17	1280	10
18	1303	10
done	1303	10
0	9	29
1	17	29
2	43	11
3	133	11
4	578	11
5	3070	11
done	5001	11
0	8	10
1	15	10
2	27	10
3	44	10
4	74	10
5	100	10
6	114	10
7	129	10
8	183	10
9	285	10
10	349	10
11	389	10
12	430	10
13	474	10
14	605	10
15	924	10
16	1137	10
17	1280	10
18	1303	10
done	1303	10
0	8	10
1	15	10
2	27	10
3	44	10
4	74	10
5	100	10
6	114	10
7	129	10
8	183	10
9	285	10
10	349	10
11	389	10
12	430	10
13	474	10
14	605	10
15	924	10
16	1137	10
17	1280	10
18	1303	10
done	1303	10
0	10	13
1	33	13
2	98	13
3	338	13
4	1750	13
done	5000	13
0	11	29
1	29	27
2	76	27
3	223	21
4	682	21
5	1562	21
6	3920	21
done	5000	21
0	2	2
done	2	2
0	9	19
1	23	19
2	61	19
3	198	19
4	725	19
5	1906	19
done	5000	19
0	7	9
1	13	9
2	24	9
3	41	9
4	65	9
5	89	9
6	103	9
7	125	9
8	166	9
9	227	9
10	292	9
11	332	9
12	377	9
13	430	9
14	520	9
15	750	9
16	1008	9
17	1225	9
18	1332	9
19	1341	9
done	1341	9
0	9	11
1	15	11
2	26	11
3	43	11
4	55	11
5	68	11
6	71	11
done	71	11
0	9	11
1	16	11
2	28	11
3	45	11
4	57	11
5	70	11
6	73	11
done	73	11
0	7	9
1	14	9
2	26	9
3	43	9
4	73	9
5	101	9
6	115	9
7	130	9
8	184	9
9	286	9
10	350	9
11	390	9
12	431	9
13	475	9
14	606	9
15	925	9
16	1142	9
17	1278	9
18	1298	9
done	1298	9
0	2	2
done	2	2
0	12	15
1	28	15
2	58	15
3	95	15
4	163	15
5	267	11
6	406	11
7	715	11
8	984	11
9	1961	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	139	5
8	350	5
9	1265	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	139	5
8	350	5
9	1265	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	139	5
8	350	5
9	1265	5
done	5000	5
0	10	13
1	23	13
2	46	13
3	70	13
4	101	9
5	150	9
6	232	9
7	399	9
8	679	9
9	1651	9
done	5000	9
0	10	13
1	23	13
2	46	13
3	70	13
4	101	9
5	150	9
6	232	9
7	399	9
8	679	9
9	1651	9
done	5000	9
0	10	13
1	23	13
2	46	13
3	70	13
4	101	9
5	150	9
6	232	9
7	399	9
8	679	9
9	1651	9
done	5000	9

prune199.0ms

Filtered

80 candidates to 109 candidates (-36.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	101	8	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	8	110

Merged error: 0b

Counts

110 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* m (- 1.0 (/ (* m (- 1.0 m)) v))))
0.1b	(/ (* m (- 1.0 m)) v)
0.1b	(/ (* m (- 1.0 m)) v)
0.2b	(* m (- 1.0 (/ (* m (- 1.0 m)) v)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

15.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* m (- 1.0 (/ (* m (- 1.0 m)) v))))
8.0ms	(/ (* m (- 1.0 m)) v)
8.0ms	(/ (* m (- 1.0 m)) v)
9.0ms	(* m (- 1.0 (/ (* m (- 1.0 m)) v)))

series37.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (* m (- 1.0 (/ (* m (- 1.0 m)) v))))
7.0ms	(/ (* m (- 1.0 m)) v)
6.0ms	(/ (* m (- 1.0 m)) v)
9.0ms	(* m (- 1.0 (/ (* m (- 1.0 m)) v)))

simplify4.5min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	35	11
3	76	11
4	195	11
5	424	11
6	628	11
7	902	11
8	1155	11
9	1370	11
10	1895	11
11	4126	11
done	5000	11
0	10	13
1	18	13
2	33	13
3	64	13
4	131	13
5	193	13
6	225	13
7	258	13
8	327	13
9	434	13
10	445	13
11	460	13
12	496	13
13	586	13
14	818	13
15	1072	13
16	1291	13
17	1398	13
18	1417	13
19	1438	13
20	1473	13
21	1523	13
22	1693	13
23	2331	13
24	4613	13
done	5000	13
0	9	12
1	20	12
2	40	12
3	81	12
4	200	12
5	427	12
6	629	12
7	901	12
8	1152	12
9	1364	12
10	1886	12
11	4111	12
done	5000	12
0	9	12
1	19	12
2	44	12
3	105	12
4	292	12
5	761	12
6	1793	12
done	5000	12
0	12	35
1	26	35
2	84	15
3	313	15
4	1521	13
done	5001	13
0	10	25
1	18	25
2	37	25
3	78	25
4	197	25
5	424	25
6	628	25
7	909	25
8	1161	25
9	1376	25
10	1906	25
11	4075	25
done	5000	25
0	9	12
1	17	12
2	36	12
3	77	12
4	196	12
5	423	12
6	627	12
7	907	12
8	1156	12
9	1368	12
10	1889	12
11	4099	12
done	5000	12
0	10	35
1	28	35
2	94	13
3	348	13
4	1504	13
done	5000	13
0	9	12
1	17	12
2	36	12
3	77	12
4	196	12
5	423	12
6	627	12
7	907	12
8	1156	12
9	1368	12
10	1889	12
11	4099	12
done	5000	12
0	9	12
1	17	12
2	36	12
3	77	12
4	196	12
5	423	12
6	627	12
7	907	12
8	1156	12
9	1368	12
10	1889	12
11	4099	12
done	5000	12
0	10	13
1	18	13
2	33	13
3	64	13
4	131	13
5	193	13
6	225	13
7	258	13
8	327	13
9	434	13
10	445	13
11	460	13
12	496	13
13	586	13
14	818	13
15	1072	13
16	1291	13
17	1396	13
18	1406	13
done	1406	13
0	10	13
1	18	13
2	33	13
3	64	13
4	131	13
5	193	13
6	225	13
7	258	13
8	327	13
9	434	13
10	445	13
11	460	13
12	496	13
13	586	13
14	818	13
15	1072	13
16	1291	13
17	1396	13
18	1406	13
done	1406	13
0	3	3
1	4	3
done	4	3
0	8	10
1	18	10
2	45	10
3	119	10
4	306	9
5	442	9
6	608	9
7	880	9
8	967	9
9	1181	9
10	2059	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	8	10
1	18	10
2	45	10
3	119	10
4	306	9
5	442	9
6	608	9
7	880	9
8	967	9
9	1181	9
10	2059	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	8	10
1	18	10
2	45	10
3	111	10
4	303	9
5	434	9
6	596	9
7	841	9
8	907	9
9	1040	9
10	1581	9
11	3902	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	10
1	18	10
2	45	10
3	111	10
4	303	9
5	434	9
6	596	9
7	841	9
8	907	9
9	1040	9
10	1581	9
11	3902	9
done	5001	9
0	10	23
1	20	23
2	37	23
3	68	23
4	135	23
5	197	23
6	228	23
7	261	23
8	330	23
9	437	23
10	448	23
11	463	23
12	499	23
13	589	23
14	819	23
15	1077	23
16	1298	23
17	1405	23
18	1411	23
done	1411	23
0	9	12
1	17	12
2	32	12
3	63	12
4	130	12
5	192	12
6	226	12
7	259	12
8	328	12
9	435	12
10	446	12
11	461	12
12	497	12
13	587	12
14	819	12
15	1071	12
16	1292	12
17	1393	12
18	1401	12
done	1401	12
0	3	3
1	6	1
done	6	1
0	10	13
1	23	13
2	35	13
3	52	13
4	64	13
5	77	13
6	80	13
done	80	13
0	3	3
1	6	1
done	6	1
0	9	12
1	17	12
2	38	12
3	82	12
4	222	12
5	491	12
6	732	12
7	1008	12
8	1413	12
9	1897	12
10	2286	12
11	4067	12
done	5000	12
0	9	12
1	17	12
2	38	12
3	82	12
4	222	12
5	491	12
6	732	12
7	1008	12
8	1413	12
9	1897	12
10	2286	12
11	4067	12
done	5000	12
0	8	11
1	16	11
2	35	11
3	76	11
4	195	11
5	424	11
6	628	11
7	902	11
8	1155	11
9	1370	11
10	1895	11
11	4126	11
done	5000	11
0	11	15
1	35	15
2	108	15
3	449	15
4	2851	15
done	5001	15
0	10	21
1	25	21
2	75	21
3	281	21
4	1238	21
5	4803	21
done	5000	21
0	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	29	9
3	41	9
4	45	9
5	51	9
6	60	9
7	73	9
8	91	9
9	107	9
10	114	9
11	131	9
12	133	9
done	133	9
0	7	8
1	15	8
2	34	8
3	67	8
4	94	8
5	115	8
6	130	8
7	148	8
8	164	8
9	171	8
10	188	8
11	190	8
done	190	8
0	7	8
1	12	8
2	23	8
3	42	8
4	69	8
5	112	8
6	178	8
7	396	8
8	1307	8
done	5000	8
0	12	23
1	29	23
2	144	13
3	729	13
4	3191	11
done	5000	11
0	10	23
1	31	23
2	157	11
3	874	9
4	3727	9
done	5000	9
0	8	17
1	13	17
2	24	17
3	41	17
4	53	17
5	66	17
6	69	17
done	69	17
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	8	23
1	20	23
2	68	9
3	320	9
4	1685	9
done	5000	9
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	5	6
1	11	6
2	28	6
3	43	6
4	49	5
done	49	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	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	6	7
1	11	7
2	20	7
3	23	7
4	24	7
done	24	7
0	8	11
1	18	11
2	41	11
3	81	11
4	123	11
5	153	11
6	170	11
done	170	11
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	6	7
1	13	5
2	28	5
3	51	5
4	65	5
5	73	5
6	79	5
7	91	5
8	97	5
done	97	5
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	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	29	9
3	41	9
4	45	9
5	51	9
6	60	9
7	73	9
8	91	9
9	107	9
10	114	9
11	131	9
12	133	9
done	133	9
0	7	8
1	15	8
2	34	8
3	67	8
4	94	8
5	115	8
6	130	8
7	148	8
8	164	8
9	171	8
10	188	8
11	190	8
done	190	8
0	7	8
1	12	8
2	23	8
3	42	8
4	69	8
5	112	8
6	178	8
7	396	8
8	1307	8
done	5000	8
0	12	23
1	29	23
2	144	13
3	729	13
4	3191	11
done	5000	11
0	10	23
1	31	23
2	157	11
3	874	9
4	3727	9
done	5000	9
0	8	17
1	13	17
2	24	17
3	41	17
4	53	17
5	66	17
6	69	17
done	69	17
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	8	23
1	20	23
2	68	9
3	320	9
4	1685	9
done	5000	9
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	5	6
1	11	6
2	28	6
3	43	6
4	49	5
done	49	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	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	6	7
1	11	7
2	20	7
3	23	7
4	24	7
done	24	7
0	8	11
1	18	11
2	41	11
3	81	11
4	123	11
5	153	11
6	170	11
done	170	11
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	6	7
1	13	5
2	28	5
3	51	5
4	65	5
5	73	5
6	79	5
7	91	5
8	97	5
done	97	5
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	25
1	31	24
2	73	24
3	181	24
4	590	24
5	1827	18
done	5001	18
0	12	24
1	24	24
2	50	24
3	113	24
4	326	24
5	726	18
6	1672	18
7	3922	14
done	5000	14
0	12	24
1	27	24
2	62	24
3	153	24
4	472	24
5	1334	18
6	4917	18
done	5000	18
0	13	49
1	25	49
2	51	49
3	114	49
4	327	49
5	727	37
6	1673	37
7	3929	29
done	5000	29
0	12	24
1	24	24
2	50	24
3	113	24
4	326	24
5	726	18
6	1672	18
7	3922	14
done	5000	14
0	13	71
1	38	71
2	128	25
3	556	25
4	3445	25
done	5000	25
0	12	24
1	24	24
2	50	24
3	113	24
4	326	24
5	726	18
6	1672	18
7	3922	14
done	5000	14
0	12	24
1	24	24
2	50	24
3	113	24
4	326	24
5	726	18
6	1672	18
7	3922	14
done	5000	14
0	24	91
1	82	81
2	288	75
3	1378	53
done	5000	53
0	15	59
1	47	49
2	151	43
3	709	43
4	3964	43
done	5000	43
0	22	77
1	74	75
2	247	75
3	1137	69
done	5001	69
0	13	39
1	38	37
2	135	37
3	537	31
4	2276	31
done	5000	31
0	22	77
1	75	69
2	273	69
3	1302	59
done	5000	59
0	13	39
1	38	31
2	130	31
3	481	31
4	1916	31
done	5000	31
0	17	63
1	49	63
2	169	63
3	738	53
4	4153	43
done	5001	43
0	9	19
1	21	19
2	53	19
3	150	19
4	460	19
5	1499	19
done	5000	19
0	14	27
1	45	27
2	138	27
3	480	27
4	2007	27
done	5000	27
0	15	71
1	52	59
2	176	59
3	671	59
4	3241	59
done	5000	59
0	13	47
1	43	47
2	133	47
3	479	47
4	2161	47
done	5000	47
0	11	23
1	24	23
2	56	23
3	132	23
4	397	23
5	1076	20
6	2896	13
done	5000	13
0	10	15
1	22	13
2	43	13
3	94	13
4	248	13
5	527	13
6	840	13
7	1283	13
8	1918	11
9	2889	11
10	4131	11
done	5000	11
0	10	15
1	22	13
2	43	13
3	94	13
4	248	13
5	527	13
6	840	13
7	1283	13
8	1918	11
9	2889	11
10	4131	11
done	5000	11
0	10	15
1	20	15
2	40	13
3	87	13
4	225	13
5	469	13
6	833	13
7	1232	13
8	1761	11
9	2530	11
10	4335	11
done	5000	11
0	10	15
1	20	15
2	40	13
3	87	13
4	225	13
5	469	13
6	833	13
7	1232	13
8	1761	11
9	2530	11
10	4335	11
done	5000	11
0	13	17
1	33	17
2	82	17
3	143	15
4	269	13
5	534	13
6	1238	11
7	4869	11
done	5000	11
0	13	17
1	33	17
2	84	15
3	143	15
4	272	13
5	563	13
6	1491	11
done	5000	11
0	13	17
1	33	17
2	84	15
3	143	15
4	272	13
5	563	13
6	1491	11
done	5000	11
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	12	15
1	28	15
2	58	15
3	95	15
4	163	15
5	267	11
6	406	11
7	715	11
8	984	11
9	1961	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11

prune184.0ms

Filtered

82 candidates to 103 candidates (-25.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	104	7	111

Merged error: 0b

Counts

111 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* m 1.0) (/ (* m (- m 1.0)) (/ v m)))
0.0b	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (+ (* m 1.0) (/ (* m (- m 1.0)) (/ v m))))
0.1b	(/ (* m (- 1.0 m)) v)
0.2b	(/ (* m (- m 1.0)) (/ v m))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 99

Calls

4 calls:

8.0ms	(+ (* m 1.0) (/ (* m (- m 1.0)) (/ v m)))
21.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (+ (* m 1.0) (/ (* m (- m 1.0)) (/ v m))))
8.0ms	(/ (* m (- 1.0 m)) v)
11.0ms	(/ (* m (- m 1.0)) (/ v m))

series38.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* m 1.0) (/ (* m (- m 1.0)) (/ v m)))
11.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (+ (* m 1.0) (/ (* m (- m 1.0)) (/ v m))))
6.0ms	(/ (* m (- 1.0 m)) v)
8.0ms	(/ (* m (- m 1.0)) (/ v m))

simplify3.5min

Counts

111 → 111

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	10	13
1	21	13
2	42	13
3	79	13
4	113	12
5	159	12
6	234	12
7	326	12
8	334	12
done	334	12
0	10	12
1	19	12
2	33	12
3	55	12
4	108	12
5	152	12
6	208	12
7	288	12
8	351	12
9	352	12
done	352	12
0	10	12
1	21	12
2	42	12
3	82	12
4	121	12
5	157	12
6	224	12
7	312	12
8	326	12
9	327	12
done	327	12
0	9	11
1	19	11
2	35	11
3	62	11
4	106	11
5	139	11
6	185	11
7	260	11
8	352	11
9	360	11
done	360	11
0	8	10
1	18	10
2	47	10
3	103	10
4	205	10
5	361	10
6	468	10
7	540	10
8	605	10
9	700	10
10	830	10
11	1350	10
12	3740	10
done	5000	10
0	8	10
1	15	10
2	34	10
3	72	10
4	147	10
5	306	10
6	589	10
7	1389	10
8	4775	10
done	5000	10
0	13	29
1	34	29
2	183	17
3	1274	15
done	5000	15
0	13	29
1	36	29
2	173	15
3	1015	15
done	5000	15
0	13	29
1	38	29
2	193	15
3	1306	13
done	5000	13
0	11	29
1	38	29
2	184	13
3	1133	11
done	5000	11
0	9	21
1	16	21
2	33	21
3	63	21
4	111	21
5	182	21
6	234	21
7	258	21
8	274	21
9	314	21
10	447	21
11	974	21
12	3363	21
done	5000	21
0	8	10
1	15	10
2	32	10
3	62	10
4	110	10
5	181	10
6	235	10
7	259	10
8	275	10
9	315	10
10	451	10
11	962	10
12	3380	10
done	5001	10
0	9	29
1	23	29
2	91	11
3	492	11
4	3080	11
done	5000	11
0	8	10
1	15	10
2	32	10
3	62	10
4	110	10
5	181	10
6	235	10
7	259	10
8	275	10
9	315	10
10	451	10
11	962	10
12	3380	10
done	5001	10
0	8	10
1	15	10
2	32	10
3	62	10
4	110	10
5	181	10
6	235	10
7	259	10
8	275	10
9	315	10
10	451	10
11	962	10
12	3380	10
done	5001	10
0	5	6
1	12	6
2	28	6
3	47	6
4	60	5
5	65	5
done	65	5
0	4	4
1	6	4
done	6	4
0	6	11
1	8	11
done	8	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	6
done	5	6
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	8	13
1	16	13
2	37	13
3	66	13
4	92	13
5	123	13
6	147	13
7	157	13
8	158	13
done	158	13
0	8	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	7	10
1	11	10
2	19	10
3	32	10
4	40	10
5	46	10
6	49	10
done	49	10
0	8	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	7	8
1	14	8
2	25	8
3	39	8
4	57	8
5	64	8
6	76	8
7	81	8
8	83	8
done	83	8
0	7	10
1	11	10
2	18	10
3	26	10
4	30	10
5	39	10
6	45	10
7	50	10
done	50	10
0	8	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	8	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	7	8
1	14	8
2	25	8
3	39	8
4	57	8
5	64	8
6	76	8
7	81	8
8	83	8
done	83	8
0	6	9
1	12	9
2	19	7
3	29	7
4	49	7
5	84	7
6	96	7
done	96	7
0	7	8
1	14	8
2	25	8
3	39	8
4	58	8
5	68	8
6	82	8
7	87	8
8	89	8
done	89	8
0	5	6
1	9	6
2	12	4
3	18	4
4	25	4
5	30	4
done	30	4
0	7	8
1	14	8
2	25	8
3	39	8
4	58	8
5	68	8
6	82	8
7	87	8
8	89	8
done	89	8
0	4	5
1	8	3
2	13	1
done	13	1
0	6	7
1	13	7
2	24	7
3	38	7
4	56	7
5	63	7
6	75	7
7	80	7
8	82	7
done	82	7
0	3	3
1	5	1
done	5	1
0	6	7
1	13	7
2	24	7
3	38	7
4	56	7
5	63	7
6	75	7
7	80	7
8	82	7
done	82	7
0	3	3
done	3	3
0	6	7
1	15	7
2	26	5
3	56	5
4	71	5
5	84	5
6	95	5
7	100	5
done	100	5
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	7	9
1	14	9
2	27	9
3	42	9
4	55	9
5	69	9
6	76	9
7	86	9
8	109	9
9	174	9
10	378	9
11	1305	9
done	5000	9
0	9	15
1	19	15
2	41	15
3	83	15
4	127	15
5	174	15
6	207	15
7	210	15
done	210	15
0	8	10
1	13	10
2	23	10
3	42	10
4	58	10
5	76	10
6	84	10
done	84	10
0	11	17
1	24	17
2	74	17
3	224	17
4	563	17
5	1205	17
6	2015	17
7	2833	17
8	3073	17
9	3078	17
done	3078	17
0	10	14
1	19	14
2	49	14
3	140	14
4	315	14
5	576	14
6	871	14
7	1112	14
8	1151	14
done	1151	14
0	10	13
1	21	11
2	55	11
3	172	11
4	288	11
5	480	11
6	737	11
7	989	11
8	1086	11
9	1125	11
done	1125	11
0	10	14
1	19	14
2	44	14
3	105	14
4	237	14
5	461	14
6	701	14
7	991	14
8	1072	14
9	1079	14
done	1079	14
0	9	11
1	16	11
2	35	11
3	74	11
4	144	11
5	233	11
6	325	11
7	396	11
8	413	11
9	415	11
done	415	11
0	9	10
1	18	8
2	38	8
3	83	8
4	130	8
5	189	8
6	294	8
7	380	8
8	441	8
9	445	8
done	445	8
0	9	13
1	20	13
2	45	11
3	141	11
4	434	11
5	712	11
6	1029	11
7	1336	11
8	1449	11
9	1451	11
done	1451	11
0	8	10
1	17	10
2	36	8
3	104	8
4	249	8
5	362	8
6	460	8
7	567	8
8	609	8
done	609	8
0	7	9
1	16	7
2	33	5
3	86	5
4	152	5
5	206	5
6	276	5
7	344	5
8	402	5
9	452	5
done	452	5
0	6	7
1	13	5
2	27	5
3	52	5
4	69	5
5	80	5
6	86	5
7	101	5
8	112	5
9	117	5
done	117	5
0	6	7
1	11	7
2	21	7
3	40	7
4	56	7
5	74	7
6	82	7
done	82	7
0	6	7
1	10	7
2	14	7
3	21	7
4	25	7
5	29	7
done	29	7
0	6	7
1	11	7
2	21	7
3	40	7
4	56	7
5	74	7
6	82	7
done	82	7
0	10	15
1	26	13
2	76	13
3	151	13
4	231	13
5	286	13
6	360	11
7	1053	11
done	5000	11
0	6	7
1	16	7
2	32	7
3	40	7
4	46	7
5	55	7
6	57	7
done	57	7
0	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	29	9
3	41	9
4	45	9
5	51	9
6	60	9
7	73	9
8	91	9
9	107	9
10	114	9
11	131	9
12	133	9
done	133	9
0	7	8
1	15	8
2	34	8
3	67	8
4	94	8
5	115	8
6	130	8
7	148	8
8	164	8
9	171	8
10	188	8
11	190	8
done	190	8
0	7	8
1	12	8
2	23	8
3	42	8
4	69	8
5	112	8
6	178	8
7	396	8
8	1307	8
done	5000	8
0	12	23
1	29	23
2	144	13
3	729	13
4	3191	11
done	5000	11
0	10	23
1	31	23
2	157	11
3	874	9
4	3727	9
done	5000	9
0	8	17
1	13	17
2	24	17
3	41	17
4	53	17
5	66	17
6	69	17
done	69	17
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	8	23
1	20	23
2	68	9
3	320	9
4	1685	9
done	5000	9
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	5	6
1	11	6
2	28	6
3	43	6
4	49	5
done	49	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	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	6	7
1	11	7
2	20	7
3	23	7
4	24	7
done	24	7
0	8	11
1	18	11
2	41	11
3	81	11
4	123	11
5	153	11
6	170	11
done	170	11
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	6	7
1	13	5
2	28	5
3	51	5
4	65	5
5	73	5
6	79	5
7	91	5
8	97	5
done	97	5
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	18	28
1	43	27
2	105	24
3	236	24
4	741	24
5	3392	22
done	5000	22
0	17	27
1	41	26
2	102	24
3	215	24
4	638	24
5	2627	22
done	5001	22
0	16	26
1	35	26
2	79	24
3	155	24
4	388	22
5	913	22
6	2356	22
done	5001	18
0	16	26
1	38	26
2	93	24
3	204	24
4	558	22
5	1811	22
done	5000	22
0	17	53
1	36	53
2	80	49
3	156	49
4	389	45
5	912	45
6	2359	45
done	5000	37
0	16	26
1	35	26
2	79	24
3	155	24
4	388	22
5	913	22
6	2356	22
done	5001	18
0	17	77
1	49	77
2	177	25
3	948	25
done	5001	23
0	16	26
1	35	26
2	79	24
3	155	24
4	388	22
5	913	22
6	2356	22
done	5001	18
0	16	26
1	35	26
2	79	24
3	155	24
4	388	22
5	913	22
6	2356	22
done	5001	18
0	32	105
1	128	93
2	529	91
3	3166	85
done	5001	85
0	22	71
1	77	59
2	294	57
3	1609	51
done	5001	51
0	28	87
1	92	85
2	309	79
3	1463	61
done	5000	61
0	18	43
1	47	41
2	136	39
3	506	33
4	2358	33
done	5000	33
0	28	91
1	108	81
2	442	79
3	2468	69
done	5000	69
0	18	51
1	62	41
2	226	39
3	1052	39
done	5000	37
0	23	73
1	67	73
2	226	67
3	1068	55
done	5000	55
0	14	23
1	31	23
2	79	21
3	226	21
4	854	21
5	3861	21
done	5001	21
0	18	29
1	51	29
2	141	27
3	472	27
4	2201	27
done	5000	27
0	19	77
1	64	63
2	229	59
3	969	59
done	5000	59
0	17	51
1	51	51
2	160	47
3	611	47
4	2899	47
done	5000	47
0	15	25
1	35	25
2	82	23
3	187	23
4	511	23
5	1404	21
6	4106	13
done	5000	13
0	10	15
1	22	13
2	43	13
3	94	13
4	248	13
5	527	13
6	840	13
7	1283	13
8	1918	11
9	2889	11
10	4131	11
done	5000	11
0	11	15
1	24	14
2	52	12
3	99	12
4	245	12
5	712	12
6	2591	12
done	5001	12
0	10	14
1	19	14
2	40	12
3	72	12
4	136	12
5	234	12
6	326	12
7	407	12
8	580	12
9	851	12
10	1427	12
11	3105	12
done	5000	12
0	10	14
1	22	14
2	50	12
3	92	12
4	215	12
5	606	12
6	1859	12
done	5000	12
0	11	29
1	20	29
2	41	25
3	70	25
4	133	25
5	229	25
6	319	25
7	400	25
8	575	25
9	842	25
10	1418	25
11	3074	25
done	5000	25
0	10	14
1	19	14
2	40	12
3	69	12
4	132	12
5	230	12
6	322	12
7	403	12
8	578	12
9	849	12
10	1423	12
11	3113	12
done	5000	12
0	11	41
1	33	41
2	120	13
3	566	13
4	3227	13
done	5000	13
0	10	14
1	19	14
2	40	12
3	69	12
4	132	12
5	230	12
6	322	12
7	403	12
8	578	12
9	849	12
10	1423	12
11	3113	12
done	5000	12
0	10	14
1	19	14
2	40	12
3	69	12
4	132	12
5	230	12
6	322	12
7	403	12
8	578	12
9	849	12
10	1423	12
11	3113	12
done	5000	12
0	12	17
1	40	17
2	137	17
3	578	17
4	3261	17
done	5001	17
0	13	41
1	44	31
2	150	29
3	618	29
4	2305	27
done	5001	27
0	11	27
1	35	27
2	104	23
3	414	23
4	1987	23
done	5000	23
0	9	13
1	19	13
2	46	11
3	106	11
4	245	11
5	481	11
6	735	11
7	909	11
8	1052	11
9	1255	11
10	2112	11
11	4547	11
done	5000	11
0	11	13
1	27	13
2	71	13
3	123	13
4	237	9
5	462	9
6	1023	9
7	3446	9
done	5000	9
0	11	13
1	27	13
2	71	13
3	123	13
4	237	9
5	462	9
6	1023	9
7	3446	9
done	5000	9
0	11	13
1	27	13
2	71	13
3	123	13
4	237	9
5	462	9
6	1023	9
7	3446	9
done	5000	9
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	12	15
1	28	15
2	58	15
3	95	15
4	163	15
5	267	11
6	406	11
7	715	11
8	984	11
9	1961	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11
0	13	17
1	33	17
2	82	17
3	143	15
4	269	13
5	534	13
6	1238	11
7	4869	11
done	5000	11
0	13	17
1	33	17
2	84	15
3	143	15
4	272	13
5	563	13
6	1491	11
done	5000	11
0	13	17
1	33	17
2	84	15
3	143	15
4	272	13
5	563	13
6	1491	11
done	5000	11

prune227.0ms

Filtered

99 candidates to 111 candidates (-12.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	4	5
Picked	0	1	1
Done	1	0	1
Total	112	6	118

Merged error: 0b

Counts

118 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (+ (* m 1.0) (/ (/ (* m (- m 1.0)) v) (/ 1 m))))
0.1b	(/ (* m (- 1.0 m)) v)
0.1b	(/ (* m (- m 1.0)) v)
0.3b	(/ (/ (* m (- m 1.0)) v) (/ 1 m))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

211×	`times-frac`
92×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
53×	`add-exp-log`
35×	`add-cbrt-cube`
30×	`div-exp`
25×	`div-inv`
19×	`associate-/r*`
17×	`cbrt-undiv`
9×	`associate-/l*` `add-log-exp`
6×	`prod-exp`
5×	`associate-/l/`
4×	`pow1` `flip3--` `associate-r/` `associate-l/` `frac-add` `flip--` `cbrt-unprod`
3×	`rec-exp` `frac-2neg` `flip3-+` `1-exp` `clear-num` `sum-log` `flip-+`
1×	`+-commutative` `associate-+r+` `associate-/r/`

Counts

4 → 204

Calls

4 calls:

40.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (+ (* m 1.0) (/ (/ (* m (- m 1.0)) v) (/ 1 m))))
9.0ms	(/ (* m (- 1.0 m)) v)
9.0ms	(/ (* m (- m 1.0)) v)
14.0ms	(/ (/ (* m (- m 1.0)) v) (/ 1 m))

series32.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (* (- (/ (* m (- 1.0 m)) v) 1.0) 1.0) (+ (* m 1.0) (/ (/ (* m (- m 1.0)) v) (/ 1 m))))
6.0ms	(/ (* m (- 1.0 m)) v)
7.0ms	(/ (* m (- m 1.0)) v)
7.0ms	(/ (/ (* m (- m 1.0)) v) (/ 1 m))

simplify4.9min

Counts

216 → 216

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	11	14
1	22	14
2	49	13
3	80	13
4	125	12
5	181	12
6	261	12
7	322	12
8	327	12
done	327	12
0	12	15
1	27	14
2	71	13
3	175	13
4	292	12
5	484	12
6	611	12
7	626	12
done	626	12
0	13	16
1	30	15
2	71	13
3	222	13
4	345	12
5	601	12
6	725	12
7	740	12
done	740	12
0	13	15
1	29	14
2	61	13
3	125	13
4	247	12
5	460	12
6	663	12
7	733	12
done	733	12
0	11	13
1	22	13
2	47	12
3	84	12
4	126	12
5	170	12
6	242	12
7	299	12
8	312	12
9	313	12
done	313	12
0	12	14
1	27	13
2	67	12
3	167	12
4	279	12
5	436	12
6	567	12
7	582	12
done	582	12
0	13	15
1	30	14
2	67	12
3	204	12
4	316	12
5	534	12
6	686	12
7	701	12
done	701	12
0	12	14
1	29	13
2	59	12
3	121	12
4	236	12
5	393	12
6	588	12
7	697	12
done	697	12
0	10	12
1	20	12
2	42	11
3	98	11
4	178	11
5	258	11
6	357	11
7	399	11
8	400	11
done	400	11
0	11	13
1	25	12
2	58	11
3	157	11
4	363	11
5	570	11
6	715	11
7	730	11
done	730	11
0	12	14
1	28	13
2	59	11
3	185	11
4	381	11
5	641	11
6	792	11
7	807	11
done	807	11
0	11	13
1	27	12
2	52	11
3	125	11
4	309	11
5	516	11
6	764	11
7	808	11
done	808	11
0	10	12
1	24	12
2	70	10
3	224	10
4	581	10
5	1028	10
6	1354	10
7	1756	10
8	1970	10
9	2066	10
10	2419	10
11	4249	10
done	5001	10
0	10	12
1	21	12
2	55	10
3	178	10
4	451	10
5	748	10
6	1192	10
7	2386	10
done	5000	10
0	17	35
1	47	31
2	229	17
3	1902	17
done	5001	17
0	17	35
1	47	35
2	235	19
3	1765	19
done	5000	17
0	17	35
1	51	31
2	238	15
3	1994	13
done	5001	13
0	15	35
1	49	35
2	241	17
3	1921	15
done	5000	15
0	15	35
1	41	31
2	141	13
3	848	13
done	5001	13
0	13	35
1	41	35
2	158	15
3	949	11
done	5000	11
0	11	25
1	22	25
2	54	21
3	165	21
4	399	21
5	578	21
6	707	21
7	980	21
8	1195	21
9	1291	21
10	1648	21
11	3483	21
done	5001	21
0	10	12
1	21	12
2	53	10
3	164	10
4	399	10
5	577	10
6	703	10
7	979	10
8	1194	10
9	1290	10
10	1645	10
11	3488	10
done	5000	10
0	11	35
1	29	35
2	115	11
3	693	11
done	5001	11
0	10	12
1	21	12
2	53	10
3	164	10
4	399	10
5	577	10
6	703	10
7	979	10
8	1194	10
9	1290	10
10	1645	10
11	3488	10
done	5000	10
0	10	12
1	21	12
2	53	10
3	164	10
4	399	10
5	577	10
6	703	10
7	979	10
8	1194	10
9	1290	10
10	1645	10
11	3488	10
done	5000	10
0	7	8
1	14	8
2	31	8
3	74	8
4	140	7
5	175	7
6	210	7
7	213	7
8	225	7
9	253	7
10	280	7
11	283	7
done	283	7
0	4	4
1	9	3
done	9	3
0	13	27
1	26	27
2	45	27
3	70	27
4	86	27
5	104	27
6	112	27
done	112	27
0	11	13
1	18	13
2	28	13
3	47	13
4	63	13
5	81	13
6	89	13
done	89	13
0	12	22
1	21	22
2	33	22
3	53	22
4	69	22
5	87	22
6	95	22
done	95	22
0	11	13
1	18	13
2	28	13
3	47	13
4	63	13
5	81	13
6	89	13
done	89	13
0	15	29
1	32	27
2	78	25
3	174	23
4	245	23
5	310	23
6	318	23
done	318	23
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	14	26
1	27	24
2	55	22
3	105	20
4	145	20
5	177	20
6	186	20
done	186	20
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	13	25
1	26	21
2	57	19
3	107	17
4	131	17
5	149	17
6	157	17
done	157	17
0	11	13
1	20	12
2	33	12
3	53	10
4	78	10
5	110	10
6	126	10
done	126	10
0	14	26
1	27	25
2	52	25
3	99	23
4	172	23
5	309	23
6	355	23
done	355	23
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	13	23
1	24	22
2	43	22
3	72	20
4	113	20
5	168	20
6	181	20
done	181	20
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	12	22
1	23	19
2	42	17
3	82	17
4	111	17
5	129	17
6	137	17
done	137	17
0	11	13
1	20	12
2	33	12
3	53	10
4	78	10
5	110	10
6	126	10
done	126	10
0	13	25
1	26	25
2	51	23
3	117	23
4	245	23
5	324	23
6	377	23
done	377	23
0	11	13
1	20	13
2	33	11
3	61	11
4	86	11
5	106	11
6	114	11
done	114	11
0	12	22
1	23	22
2	42	20
3	87	20
4	150	20
5	177	20
6	185	20
done	185	20
0	11	13
1	20	13
2	33	11
3	61	11
4	86	11
5	106	11
6	114	11
done	114	11
0	11	21
1	22	19
2	41	17
3	81	17
4	110	17
5	128	17
6	136	17
done	136	17
0	10	12
1	19	12
2	32	10
3	60	10
4	85	10
5	105	10
6	113	10
done	113	10
0	10	19
1	19	17
2	35	17
3	59	17
4	75	17
5	93	17
6	101	17
done	101	17
0	10	12
1	19	12
2	32	10
3	60	10
4	85	10
5	105	10
6	113	10
done	113	10
0	10	19
1	19	17
2	35	17
3	59	17
4	75	17
5	93	17
6	101	17
done	101	17
0	10	12
1	19	12
2	32	10
3	60	10
4	85	10
5	105	10
6	113	10
done	113	10
0	12	18
1	21	18
2	31	18
3	50	18
4	66	18
5	84	18
6	92	18
done	92	18
0	11	13
1	18	13
2	28	13
3	47	13
4	63	13
5	81	13
6	89	13
done	89	13
0	11	13
1	18	13
2	28	13
3	47	13
4	63	13
5	81	13
6	89	13
done	89	13
0	11	13
1	18	13
2	28	13
3	47	13
4	63	13
5	81	13
6	89	13
done	89	13
0	14	20
1	29	18
2	60	16
3	101	14
4	124	14
5	158	14
6	166	14
done	166	14
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	13	17
1	24	15
2	42	13
3	67	11
4	86	11
5	111	11
6	120	11
done	120	11
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	12	16
1	23	12
2	44	10
3	70	8
4	90	8
5	108	8
6	116	8
done	116	8
0	11	13
1	20	12
2	33	12
3	53	10
4	78	10
5	110	10
6	126	10
done	126	10
0	13	17
1	24	16
2	41	16
3	68	14
4	100	14
5	170	14
6	209	14
done	209	14
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	12	14
1	21	13
2	34	13
3	54	11
4	79	11
5	111	11
6	127	11
done	127	11
0	11	13
1	20	10
2	35	8
3	56	8
4	76	8
5	94	8
6	102	8
done	102	8
0	11	13
1	20	12
2	33	12
3	53	10
4	78	10
5	110	10
6	126	10
done	126	10
0	12	16
1	23	16
2	40	14
3	75	14
4	117	14
5	158	14
6	185	14
done	185	14
0	11	13
1	20	13
2	33	11
3	61	11
4	86	11
5	106	11
6	114	11
done	114	11
0	11	13
1	20	13
2	33	11
3	61	11
4	86	11
5	106	11
6	114	11
done	114	11
0	11	13
1	20	13
2	33	11
3	61	11
4	86	11
5	106	11
6	114	11
done	114	11
0	10	12
1	19	10
2	34	8
3	55	8
4	75	8
5	93	8
6	101	8
done	101	8
0	10	12
1	19	12
2	32	10
3	60	10
4	85	10
5	105	10
6	113	10
done	113	10
0	9	10
1	16	8
2	28	8
3	47	8
4	63	8
5	81	8
6	89	8
done	89	8
0	10	12
1	19	12
2	32	10
3	60	10
4	85	10
5	105	10
6	113	10
done	113	10
0	9	10
1	16	8
2	28	8
3	47	8
4	63	8
5	81	8
6	89	8
done	89	8
0	10	12
1	19	12
2	32	10
3	60	10
4	85	10
5	105	10
6	113	10
done	113	10
0	10	17
1	18	17
2	30	17
3	57	17
4	62	17
done	62	17
0	10	11
1	19	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	9	12
1	15	12
2	21	12
3	29	12
done	29	12
0	10	11
1	19	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	12	19
1	26	17
2	66	15
3	171	13
4	337	13
5	444	13
6	539	13
7	574	13
done	574	13
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	11	16
1	21	14
2	42	12
3	94	10
4	194	10
5	226	10
6	260	10
7	272	10
done	272	10
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	10	15
1	20	11
2	45	9
3	102	7
4	142	7
5	214	7
6	235	7
done	235	7
0	10	11
1	21	10
2	42	10
3	70	8
4	149	8
5	251	8
6	287	8
7	335	8
8	353	8
done	353	8
0	11	16
1	21	15
2	41	15
3	96	13
4	253	13
5	478	13
6	582	13
7	621	13
done	621	13
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	10	13
1	18	12
2	32	12
3	63	10
4	121	10
5	167	10
6	195	10
7	207	10
done	207	10
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	9	12
1	17	9
2	30	7
3	75	7
4	113	7
5	183	7
6	206	7
done	206	7
0	10	11
1	21	10
2	42	10
3	70	8
4	149	8
5	251	8
6	287	8
7	335	8
8	353	8
done	353	8
0	10	15
1	20	15
2	40	13
3	124	13
4	291	13
5	489	13
6	596	13
7	598	13
done	598	13
0	10	11
1	21	11
2	42	9
3	96	9
4	177	9
5	272	9
6	315	9
7	364	9
8	381	9
done	381	9
0	9	12
1	17	12
2	31	10
3	85	10
4	149	10
5	192	10
6	203	10
done	203	10
0	10	11
1	21	11
2	42	9
3	96	9
4	177	9
5	272	9
6	315	9
7	364	9
8	381	9
done	381	9
0	8	11
1	16	9
2	29	7
3	74	7
4	112	7
5	180	7
6	205	7
done	205	7
0	9	10
1	20	10
2	41	8
3	94	8
4	170	8
5	256	8
6	287	8
7	329	8
8	347	8
done	347	8
0	7	9
1	13	7
2	23	7
3	39	7
done	39	7
0	9	10
1	20	10
2	41	8
3	94	8
4	170	8
5	256	8
6	287	8
7	329	8
8	347	8
done	347	8
0	7	9
1	13	7
2	23	7
3	39	7
done	39	7
0	9	10
1	20	10
2	41	8
3	94	8
4	170	8
5	256	8
6	287	8
7	329	8
8	347	8
done	347	8
0	9	14
1	15	14
2	21	14
3	27	14
done	27	14
0	10	11
1	19	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	8	9
1	12	9
2	15	9
done	15	9
0	10	11
1	19	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	11	16
1	23	14
2	56	12
3	117	10
4	171	10
5	212	10
6	249	10
7	271	10
done	271	10
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	10	13
1	18	11
2	34	9
3	61	7
4	85	7
5	99	7
6	110	7
7	118	7
done	118	7
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	9	12
1	17	8
2	37	6
3	66	4
4	78	4
5	93	4
6	105	4
done	105	4
0	10	11
1	21	10
2	42	10
3	70	8
4	149	8
5	251	8
6	287	8
7	335	8
8	353	8
done	353	8
0	10	13
1	18	12
2	33	12
3	63	10
4	152	10
5	288	10
6	333	10
7	354	10
done	354	10
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	11	12
1	22	11
2	43	11
3	72	9
4	155	9
5	264	9
6	311	9
7	371	9
8	387	9
done	387	9
0	8	9
1	14	6
2	24	4
3	43	4
4	59	4
5	77	4
6	87	4
done	87	4
0	10	11
1	21	10
2	42	10
3	70	8
4	149	8
5	251	8
6	287	8
7	335	8
8	353	8
done	353	8
0	9	12
1	17	12
2	32	10
3	81	10
4	175	10
5	271	10
6	302	10
7	303	10
done	303	10
0	10	11
1	21	11
2	42	9
3	96	9
4	177	9
5	272	9
6	315	9
7	364	9
8	381	9
done	381	9
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
6	109	7
done	109	7
0	10	11
1	21	11
2	42	9
3	96	9
4	177	9
5	272	9
6	315	9
7	364	9
8	381	9
done	381	9
0	7	8
1	13	6
2	23	4
3	42	4
4	57	4
5	75	4
6	88	4
done	88	4
0	9	10
1	20	10
2	41	8
3	94	8
4	170	8
5	256	8
6	287	8
7	329	8
8	347	8
done	347	8
0	6	6
1	10	4
2	17	4
3	19	4
done	19	4
0	9	10
1	20	10
2	41	8
3	94	8
4	170	8
5	256	8
6	287	8
7	329	8
8	347	8
done	347	8
0	6	6
1	10	4
2	17	4
3	19	4
done	19	4
0	9	10
1	20	10
2	41	8
3	94	8
4	170	8
5	256	8
6	287	8
7	329	8
8	347	8
done	347	8
0	7	13
1	13	11
2	17	11
3	27	11
4	28	11
done	28	11
0	9	10
1	18	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	6	8
1	10	6
2	12	6
3	16	6
done	16	6
0	9	10
1	18	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	9	15
1	21	11
2	47	7
3	66	7
4	80	7
5	102	7
done	102	7
0	10	11
1	21	10
2	42	10
3	71	8
4	129	8
5	198	8
6	259	8
7	314	8
8	354	8
9	355	8
done	355	8
0	8	12
1	16	8
2	26	4
3	29	4
4	32	4
5	38	4
6	39	4
done	39	4
0	10	11
1	21	10
2	42	10
3	71	8
4	129	8
5	198	8
6	259	8
7	314	8
8	354	8
9	355	8
done	355	8
0	7	11
1	15	5
2	25	1
done	25	1
0	9	10
1	20	9
2	41	9
3	69	7
4	127	7
5	188	7
6	228	7
7	264	7
8	293	7
9	294	7
done	294	7
0	8	12
1	16	7
2	27	7
3	40	7
4	65	7
5	84	7
6	85	7
done	85	7
0	10	11
1	21	10
2	42	10
3	71	8
4	129	8
5	198	8
6	259	8
7	314	8
8	354	8
9	355	8
done	355	8
0	7	9
1	13	4
2	18	4
3	20	4
4	24	4
5	29	4
done	29	4
0	10	11
1	21	10
2	42	10
3	71	8
4	129	8
5	198	8
6	259	8
7	314	8
8	354	8
9	355	8
done	355	8
0	6	8
1	12	1
done	12	1
0	9	10
1	20	9
2	41	9
3	69	7
4	127	7
5	188	7
6	228	7
7	264	7
8	293	7
9	294	7
done	294	7
0	7	11
1	15	7
2	26	7
3	37	7
4	62	7
5	77	7
6	78	7
done	78	7
0	9	10
1	20	10
2	41	8
3	95	8
4	158	8
5	223	8
6	279	8
7	333	8
8	363	8
9	364	8
done	364	8
0	6	8
1	12	4
2	17	4
3	19	4
4	23	4
5	28	4
done	28	4
0	9	10
1	20	10
2	41	8
3	95	8
4	158	8
5	223	8
6	279	8
7	333	8
8	363	8
9	364	8
done	364	8
0	5	7
1	11	1
done	11	1
0	8	9
1	19	9
2	40	7
3	93	7
4	153	7
5	212	7
6	254	7
7	290	7
8	319	7
done	319	7
0	4	5
1	8	1
done	8	1
0	8	9
1	19	9
2	40	7
3	93	7
4	153	7
5	212	7
6	254	7
7	290	7
8	319	7
done	319	7
0	4	5
1	8	1
done	8	1
0	8	9
1	19	9
2	40	7
3	93	7
4	153	7
5	212	7
6	254	7
7	290	7
8	319	7
done	319	7
0	6	11
1	10	11
done	10	11
0	10	12
1	19	12
2	43	12
3	93	12
4	161	12
5	239	12
6	301	12
7	335	12
done	335	12
0	5	6
1	7	6
done	7	6
0	10	12
1	19	12
2	43	12
3	93	12
4	161	12
5	239	12
6	301	12
7	335	12
done	335	12
0	8	13
1	18	11
2	39	7
3	54	5
4	58	5
done	58	5
0	11	13
1	22	12
2	54	12
3	143	10
4	371	10
5	759	10
6	1063	10
7	1510	10
8	1951	10
9	1961	10
done	1961	10
0	7	10
1	13	8
2	21	4
3	23	2
4	24	2
done	24	2
0	11	13
1	22	12
2	54	12
3	143	10
4	371	10
5	759	10
6	1063	10
7	1510	10
8	1951	10
9	1961	10
done	1961	10
0	5	9
1	11	5
2	19	1
done	19	1
0	10	12
1	21	11
2	53	11
3	134	9
4	322	9
5	546	9
6	671	9
7	941	9
8	1154	9
9	1252	9
10	1611	9
11	3436	9
done	5000	9
0	7	10
1	13	9
2	20	9
3	28	5
4	91	5
5	227	5
6	250	5
7	347	5
done	347	5
0	11	13
1	22	12
2	54	12
3	143	10
4	371	10
5	759	10
6	1063	10
7	1510	10
8	1951	10
9	1961	10
done	1961	10
0	6	7
1	10	6
2	13	6
3	14	2
4	42	2
5	137	2
6	154	2
7	198	2
done	198	2
0	11	13
1	22	12
2	54	12
3	143	10
4	371	10
5	759	10
6	1063	10
7	1510	10
8	1951	10
9	1961	10
done	1961	10
0	4	6
1	8	3
2	12	1
done	12	1
0	10	12
1	21	11
2	53	11
3	134	9
4	322	9
5	546	9
6	671	9
7	941	9
8	1154	9
9	1252	9
10	1611	9
11	3436	9
done	5000	9
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	10	12
1	21	12
2	53	10
3	177	10
4	466	10
5	810	10
6	1071	10
7	1526	10
8	1965	10
9	1979	10
done	1979	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	10	12
1	21	12
2	53	10
3	177	10
4	466	10
5	810	10
6	1071	10
7	1526	10
8	1965	10
9	1979	10
done	1979	10
0	3	5
1	6	1
done	6	1
0	9	11
1	20	11
2	52	9
3	163	9
4	398	9
5	578	9
6	706	9
7	985	9
8	1200	9
9	1298	9
10	1659	9
11	3505	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	9	11
1	20	11
2	52	9
3	163	9
4	398	9
5	578	9
6	706	9
7	985	9
8	1200	9
9	1298	9
10	1659	9
11	3505	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	9	11
1	20	11
2	52	9
3	163	9
4	398	9
5	578	9
6	706	9
7	985	9
8	1200	9
9	1298	9
10	1659	9
11	3505	9
done	5000	9
0	9	15
1	21	15
2	43	15
3	85	15
4	129	15
5	177	15
6	212	15
7	215	15
done	215	15
0	7	8
1	11	8
2	14	8
done	14	8
0	8	10
1	15	10
2	25	10
3	44	10
4	60	10
5	78	10
6	86	10
done	86	10
0	7	8
1	11	8
2	14	8
done	14	8
0	11	17
1	26	15
2	76	13
3	211	11
4	401	11
5	647	11
6	909	11
7	1284	11
8	1306	11
done	1306	11
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	10	14
1	21	12
2	51	10
3	128	8
4	229	8
5	326	8
6	458	8
7	620	8
8	634	8
9	635	8
done	635	8
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	9	13
1	20	9
2	52	7
3	115	5
4	165	5
5	193	5
6	230	5
7	314	5
8	387	5
9	423	5
done	423	5
0	7	8
1	13	7
2	22	7
3	34	5
4	48	3
5	73	3
6	94	3
7	95	3
done	95	3
0	10	14
1	21	13
2	46	13
3	107	11
4	268	11
5	605	11
6	873	11
7	1258	11
8	1453	11
9	1454	11
done	1454	11
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	9	11
1	18	10
2	37	10
3	76	8
4	169	8
5	301	8
6	383	8
7	533	8
8	613	8
9	615	8
done	615	8
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	8	10
1	17	7
2	34	5
3	87	5
4	153	5
5	208	5
6	276	5
7	342	5
8	400	5
9	442	5
done	442	5
0	7	8
1	13	7
2	22	7
3	34	5
4	48	3
5	73	3
6	94	3
7	95	3
done	95	3
0	9	13
1	20	13
2	45	11
3	141	11
4	434	11
5	712	11
6	1029	11
7	1336	11
8	1449	11
9	1451	11
done	1451	11
0	7	8
1	13	8
2	22	6
3	50	4
4	77	4
5	105	4
done	105	4
0	8	10
1	17	10
2	36	8
3	104	8
4	249	8
5	362	8
6	460	8
7	567	8
8	609	8
done	609	8
0	7	8
1	13	8
2	22	6
3	50	4
4	77	4
5	105	4
done	105	4
0	7	9
1	16	7
2	33	5
3	86	5
4	152	5
5	206	5
6	276	5
7	344	5
8	402	5
9	452	5
done	452	5
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	6	7
1	13	5
2	27	5
3	52	5
4	69	5
5	80	5
6	86	5
7	101	5
8	112	5
9	117	5
done	117	5
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	6	7
1	13	5
2	27	5
3	52	5
4	69	5
5	80	5
6	86	5
7	101	5
8	112	5
9	117	5
done	117	5
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	4	5
1	8	1
done	8	1
0	9	11
1	20	11
2	45	11
3	101	11
4	203	9
5	387	9
6	806	9
7	1042	9
8	1336	9
9	1519	9
10	1872	9
11	3691	9
done	5001	9
0	11	17
1	22	17
2	51	17
3	135	17
4	278	17
5	457	17
6	645	17
7	803	17
8	862	17
done	862	17
0	10	12
1	19	12
2	43	12
3	93	12
4	161	12
5	239	12
6	301	12
7	335	12
done	335	12
0	13	19
1	30	17
2	86	15
3	270	13
4	785	13
5	1534	13
6	2409	13
7	3798	13
8	4683	13
done	4683	13
0	12	16
1	25	14
2	64	12
3	185	10
4	483	10
5	854	10
6	1243	10
7	1774	10
8	2123	10
done	2123	10
0	11	15
1	24	11
2	65	9
3	175	7
4	347	7
5	486	7
6	647	7
7	939	7
8	1284	7
9	1406	7
done	1406	7
0	12	16
1	25	15
2	63	15
3	186	13
4	617	13
5	1611	13
6	2512	13
7	3609	13
8	4953	13
9	4987	13
done	4987	13
0	11	13
1	22	12
2	54	12
3	143	10
4	371	10
5	759	10
6	1063	10
7	1510	10
8	1951	10
9	1961	10
done	1961	10
0	10	12
1	21	9
2	52	7
3	133	7
4	334	7
5	491	7
6	663	7
7	1003	7
8	1449	7
9	1690	7
done	1690	7
0	11	15
1	24	15
2	62	13
3	228	13
4	762	13
5	1676	13
6	2504	13
7	3637	13
done	5000	13
0	10	12
1	21	12
2	53	10
3	177	10
4	466	10
5	810	10
6	1071	10
7	1526	10
8	1965	10
9	1979	10
done	1979	10
0	9	11
1	20	9
2	51	7
3	132	7
4	333	7
5	492	7
6	669	7
7	1011	7
8	1454	7
9	1707	7
done	1707	7
0	8	9
1	17	7
2	45	7
3	90	7
4	145	7
5	194	7
6	218	7
7	268	7
8	317	7
9	338	7
done	338	7
0	8	9
1	17	7
2	45	7
3	90	7
4	145	7
5	194	7
6	218	7
7	268	7
8	317	7
9	338	7
done	338	7
0	10	12
1	19	12
2	32	12
3	51	12
4	67	12
5	85	12
6	93	12
done	93	12
0	10	12
1	19	12
2	32	12
3	51	12
4	67	12
5	85	12
6	93	12
done	93	12
0	9	10
1	20	10
2	32	10
3	52	10
4	85	8
5	191	8
6	350	8
7	391	8
8	424	8
9	434	8
done	434	8
0	9	10
1	20	10
2	32	10
3	52	10
4	85	8
5	191	8
6	350	8
7	391	8
8	424	8
9	434	8
done	434	8
0	8	9
1	19	9
2	31	9
3	51	9
4	84	7
5	146	7
6	242	7
7	274	7
8	310	7
9	352	7
10	370	7
done	370	7
0	9	11
1	20	11
2	45	11
3	101	11
4	203	9
5	387	9
6	806	9
7	1042	9
8	1336	9
9	1519	9
10	1872	9
11	3691	9
done	5001	9
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	8	9
1	17	7
2	45	7
3	90	7
4	145	7
5	194	7
6	218	7
7	268	7
8	317	7
9	338	7
done	338	7
0	5	5
1	10	5
2	13	3
done	13	3
0	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	28	9
3	42	9
4	49	9
5	55	9
6	64	9
7	77	9
8	95	9
9	111	9
10	118	9
11	135	9
12	137	9
done	137	9
0	7	8
1	15	8
2	33	8
3	68	8
4	99	8
5	125	8
6	145	8
7	163	8
8	179	8
9	186	8
10	203	8
11	205	8
done	205	8
0	7	8
1	12	8
2	22	8
3	43	8
4	73	8
5	120	8
6	193	8
7	396	8
8	1202	8
done	5000	8
0	12	23
1	29	23
2	142	13
3	701	13
4	3095	11
done	5000	11
0	10	23
1	31	23
2	153	11
3	838	9
4	3625	9
done	5000	9
0	8	17
1	13	17
2	23	17
3	42	17
4	58	17
5	76	17
6	84	17
done	84	17
0	7	8
1	12	8
2	22	8
3	41	8
4	57	8
5	75	8
6	83	8
done	83	8
0	8	23
1	20	23
2	67	9
3	314	9
4	1578	9
done	5000	9
0	7	8
1	12	8
2	22	8
3	41	8
4	57	8
5	75	8
6	83	8
done	83	8
0	7	8
1	12	8
2	22	8
3	41	8
4	57	8
5	75	8
6	83	8
done	83	8
0	5	6
1	12	6
2	28	6
3	47	6
4	60	5
5	65	5
done	65	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	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	6	7
1	11	7
2	19	7
3	24	7
4	28	7
done	28	7
0	8	11
1	18	11
2	40	11
3	82	11
4	126	11
5	172	11
6	207	11
7	210	11
done	210	11
0	7	8
1	12	8
2	22	8
3	41	8
4	57	8
5	75	8
6	83	8
done	83	8
0	6	7
1	13	5
2	27	5
3	52	5
4	69	5
5	80	5
6	86	5
7	101	5
8	112	5
9	117	5
done	117	5
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	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	29	9
3	41	9
4	45	9
5	51	9
6	60	9
7	73	9
8	91	9
9	107	9
10	114	9
11	131	9
12	133	9
done	133	9
0	7	8
1	15	8
2	34	8
3	67	8
4	94	8
5	115	8
6	130	8
7	148	8
8	164	8
9	171	8
10	188	8
11	190	8
done	190	8
0	7	8
1	12	8
2	23	8
3	42	8
4	69	8
5	112	8
6	178	8
7	396	8
8	1307	8
done	5000	8
0	12	23
1	29	23
2	144	13
3	729	13
4	3191	11
done	5000	11
0	10	23
1	31	23
2	157	11
3	874	9
4	3727	9
done	5000	9
0	8	17
1	13	17
2	24	17
3	41	17
4	53	17
5	66	17
6	69	17
done	69	17
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	8	23
1	20	23
2	68	9
3	320	9
4	1685	9
done	5000	9
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	5	6
1	11	6
2	28	6
3	43	6
4	49	5
done	49	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
done	4	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	3	3
1	5	1
done	5	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	6	7
1	11	7
2	20	7
3	23	7
4	24	7
done	24	7
0	8	11
1	18	11
2	41	11
3	81	11
4	123	11
5	153	11
6	170	11
done	170	11
0	7	8
1	12	8
2	23	8
3	40	8
4	52	8
5	65	8
6	68	8
done	68	8
0	6	7
1	13	5
2	28	5
3	51	5
4	65	5
5	73	5
6	79	5
7	91	5
8	97	5
done	97	5
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	20	30
1	49	29
2	125	24
3	338	24
4	1038	24
5	3926	22
done	5000	22
0	19	29
1	47	28
2	122	24
3	319	24
4	929	24
5	3097	22
done	5001	22
0	18	28
1	41	28
2	99	24
3	255	24
4	662	22
5	1310	22
6	2872	22
done	5000	22
0	18	28
1	44	28
2	113	24
3	310	24
4	848	22
5	2259	22
done	5000	22
0	19	57
1	42	57
2	100	49
3	258	49
4	665	45
5	1311	45
6	2872	45
done	5000	45
0	18	28
1	41	28
2	99	24
3	255	24
4	662	22
5	1310	22
6	2872	22
done	5000	22
0	19	83
1	55	83
2	197	25
3	1087	25
done	5001	25
0	18	28
1	41	28
2	99	24
3	255	24
4	662	22
5	1310	22
6	2872	22
done	5000	22
0	18	28
1	41	28
2	99	24
3	255	24
4	662	22
5	1310	22
6	2872	22
done	5000	22
0	34	113
1	134	99
2	557	91
3	3474	85
done	5000	85
0	24	77
1	83	63
2	320	57
3	1887	51
done	5001	51
0	30	93
1	98	91
2	332	79
3	1654	61
done	5001	61
0	20	45
1	53	43
2	157	39
3	625	33
4	2961	33
done	5001	33
0	30	99
1	114	87
2	470	79
3	2799	69
done	5000	69
0	20	57
1	68	45
2	252	39
3	1325	39
done	5001	39
0	25	79
1	73	79
2	249	67
3	1256	55
done	5001	55
0	16	25
1	37	25
2	100	21
3	344	21
4	1359	21
done	5001	21
0	20	31
1	57	31
2	161	27
3	594	27
4	2880	27
done	5000	27
0	21	83
1	70	67
2	253	59
3	1163	59
done	5001	59
0	19	55
1	57	55
2	182	47
3	767	47
4	4128	47
done	5000	47
0	17	27
1	41	27
2	102	23
3	296	23
4	874	23
5	1996	21
done	5001	13
0	10	15
1	22	13
2	43	13
3	94	13
4	248	13
5	527	13
6	840	13
7	1283	13
8	1918	11
9	2889	11
10	4131	11
done	5000	11
0	11	13
1	27	13
2	71	13
3	123	13
4	237	9
5	462	9
6	1023	9
7	3446	9
done	5000	9
0	11	13
1	27	13
2	71	13
3	123	13
4	237	9
5	462	9
6	1023	9
7	3446	9
done	5000	9
0	11	13
1	27	13
2	71	13
3	123	13
4	237	9
5	462	9
6	1023	9
7	3446	9
done	5000	9
0	9	11
1	19	11
2	42	11
3	61	11
4	87	7
5	113	7
6	143	7
7	204	7
8	425	7
9	1358	7
done	5000	7
0	9	11
1	19	11
2	42	11
3	61	11
4	87	7
5	113	7
6	143	7
7	204	7
8	425	7
9	1358	7
done	5000	7
0	9	11
1	19	11
2	42	11
3	61	11
4	87	7
5	113	7
6	143	7
7	204	7
8	425	7
9	1358	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	9	11
1	19	11
2	36	11
3	50	11
4	69	7
5	96	7
6	126	7
7	188	7
8	400	7
9	1334	7
done	5000	7
0	12	15
1	28	15
2	58	15
3	95	15
4	163	15
5	267	11
6	406	11
7	715	11
8	984	11
9	1961	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11
0	14	17
1	34	17
2	84	17
3	142	17
4	270	13
5	563	13
6	1484	11
done	5000	11

prune346.0ms

Filtered

145 candidates to 216 candidates (-49.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	216	6	222

Merged error: 0b

Counts

222 → 6

regimes159.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	27
1	25	27
done	25	27

end0.0ms

sample1.3s

Algorithm

intervals

Results

523.0ms	13634×	body	80	valid
290.0ms	13634×	pre	80	true

Details

sample67.0ms

simplify4.0s

prune4.0ms

localize10.0ms

rewrite48.0ms

series37.0ms

simplify9.4min

prune199.0ms

localize12.0ms

rewrite44.0ms

series37.0ms

simplify4.5min

prune184.0ms

localize16.0ms

rewrite52.0ms

series38.0ms

simplify3.5min

prune227.0ms

localize18.0ms

rewrite83.0ms

series32.0ms

simplify4.9min

prune346.0ms

regimes159.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling