Details

sample66.0ms

Algorithm

intervals

Results

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

simplify4.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	34	11
3	62	11
4	140	11
5	222	11
6	295	11
7	334	11
8	438	11
9	794	11
10	1091	11
11	1637	11
12	3713	11
done	5000	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.2b

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.2b	(* (- (/ (* m (- 1.0 m)) v) 1.0) m)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt`
8×	`pow1` `associate-r` `associate-l`
6×	`add-log-exp`
4×	`flip3--` `associate-*r/` `flip--`
3×	`sub-neg` `times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `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 → 85

Calls

4 calls:

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

series43.0ms

Counts

4 → 12

Calls

4 calls:

12.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) m)

simplify6.0min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	34	11
3	62	11
4	140	11
5	222	11
6	295	11
7	334	11
8	438	11
9	794	11
10	1091	11
11	1637	11
12	3713	11
done	5000	11
0	10	13
1	18	13
2	30	13
3	47	13
4	77	13
5	105	13
6	119	13
7	134	13
8	188	13
9	290	13
10	354	13
11	394	13
12	435	13
13	479	13
14	610	13
15	929	13
16	1147	13
17	1288	13
18	1317	13
19	1334	13
20	1383	13
21	1440	13
22	1609	13
23	2310	13
done	5000	13
0	9	12
1	20	12
2	39	12
3	67	12
4	145	12
5	229	12
6	300	12
7	339	12
8	443	12
9	799	12
10	1104	12
11	1662	12
12	3761	12
done	5001	12
0	9	12
1	19	12
2	48	12
3	92	12
4	225	12
5	495	12
6	1221	12
7	3754	12
done	5000	12
0	12	35
1	26	35
2	75	15
3	239	15
4	1139	13
done	5000	13
0	10	25
1	18	25
2	36	25
3	64	25
4	142	25
5	226	25
6	299	25
7	338	25
8	442	25
9	798	25
10	1097	25
11	1639	25
12	3697	25
done	5000	25
0	9	12
1	17	12
2	35	12
3	63	12
4	141	12
5	225	12
6	296	12
7	335	12
8	439	12
9	795	12
10	1093	12
11	1644	12
12	3747	12
done	5000	12
0	10	35
1	28	35
2	93	13
3	364	13
4	1635	13
done	5000	13
0	9	12
1	17	12
2	35	12
3	63	12
4	141	12
5	225	12
6	296	12
7	335	12
8	439	12
9	795	12
10	1093	12
11	1644	12
12	3747	12
done	5000	12
0	9	12
1	17	12
2	35	12
3	63	12
4	141	12
5	225	12
6	296	12
7	335	12
8	439	12
9	795	12
10	1093	12
11	1644	12
12	3747	12
done	5000	12
0	10	13
1	18	13
2	30	13
3	47	13
4	77	13
5	105	13
6	119	13
7	134	13
8	188	13
9	290	13
10	354	13
11	394	13
12	435	13
13	479	13
14	610	13
15	929	13
16	1147	13
17	1288	13
18	1312	13
done	1312	13
0	10	13
1	18	13
2	30	13
3	47	13
4	77	13
5	105	13
6	119	13
7	134	13
8	188	13
9	290	13
10	354	13
11	394	13
12	435	13
13	479	13
14	610	13
15	929	13
16	1147	13
17	1288	13
18	1312	13
done	1312	13
0	10	15
1	20	15
2	40	15
3	89	15
4	222	15
5	451	15
6	734	15
7	1037	15
8	1281	15
9	2073	15
10	3441	15
11	3986	15
12	4233	15
done	5000	15
0	9	12
1	17	12
2	35	12
3	72	12
4	163	12
5	268	12
6	381	12
7	478	12
8	591	12
9	956	12
10	1397	12
11	1607	12
12	1729	12
13	2178	12
14	4048	12
done	5000	12
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	12
1	17	12
2	29	12
3	46	12
4	76	12
5	104	12
6	118	12
7	133	12
8	187	12
9	289	12
10	353	12
11	391	12
12	432	12
13	476	12
14	607	12
15	918	12
16	1137	12
17	1273	12
18	1296	12
done	1296	12
0	9	12
1	17	12
2	29	12
3	46	12
4	76	12
5	104	12
6	118	12
7	133	12
8	187	12
9	289	12
10	353	12
11	391	12
12	432	12
13	476	12
14	607	12
15	918	12
16	1137	12
17	1273	12
18	1296	12
done	1296	12
0	8	11
1	16	11
2	34	11
3	62	11
4	140	11
5	222	11
6	295	11
7	334	11
8	438	11
9	794	11
10	1091	11
11	1637	11
12	3713	11
done	5000	11
0	10	13
1	18	13
2	36	13
3	58	13
4	73	13
5	86	13
6	89	13
done	89	13
0	8	11
1	16	11
2	34	11
3	62	11
4	140	11
5	222	11
6	295	11
7	334	11
8	438	11
9	794	11
10	1091	11
11	1637	11
12	3713	11
done	5000	11
0	11	15
1	35	15
2	106	15
3	401	15
4	2108	15
done	5000	15
0	10	21
1	25	21
2	73	21
3	245	21
4	949	21
5	2881	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	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	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
0	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
0	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	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

prune174.0ms

Filtered

70 candidates to 97 candidates (-38.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	86	11	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	11	98

Merged error: 0.0b

Counts

98 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

8.0ms	(* v (+ 1.0 m))
7.0ms	(* m (- (* 1.0 1.0) (* m m)))
13.0ms	(/ (* m (- (* 1.0 1.0) (* m m))) (* v (+ 1.0 m)))
17.0ms	(* (- (/ (* m (- (* 1.0 1.0) (* m m))) (* v (+ 1.0 m))) 1.0) m)

series38.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify5.1min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	19
1	35	19
2	92	19
3	289	13
4	995	11
5	4746	11
done	5000	11
0	14	21
1	37	21
2	88	21
3	249	15
4	712	13
5	3147	13
done	5000	13
0	13	20
1	39	20
2	97	20
3	292	14
4	998	12
5	4776	12
done	5000	12
0	13	20
1	38	20
2	106	20
3	324	14
4	1124	12
done	5001	12
0	15	59
1	44	59
2	132	23
3	493	17
4	3060	13
done	5000	13
0	14	41
1	37	41
2	94	41
3	289	29
4	988	25
5	4785	25
done	5000	25
0	13	20
1	36	20
2	93	20
3	290	14
4	994	12
5	4716	12
done	5000	12
0	14	59
1	46	59
2	150	21
3	663	15
4	4520	13
done	5000	13
0	13	20
1	36	20
2	93	20
3	290	14
4	994	12
5	4716	12
done	5000	12
0	13	20
1	36	20
2	93	20
3	290	14
4	994	12
5	4716	12
done	5000	12
0	14	21
1	37	21
2	88	21
3	249	15
4	712	13
5	3147	13
done	5000	13
0	14	21
1	37	21
2	88	21
3	249	15
4	712	13
5	3147	13
done	5000	13
0	14	23
1	39	23
2	98	23
3	317	17
4	1217	15
done	5000	15
0	13	20
1	36	20
2	93	20
3	302	14
4	1074	12
done	5001	12
0	13	19
1	38	17
2	98	17
3	312	11
4	1113	9
5	4229	9
done	5001	9
0	13	20
1	36	20
2	87	20
3	248	14
4	712	12
5	3139	12
done	5000	12
0	13	20
1	36	20
2	87	20
3	248	14
4	712	12
5	3139	12
done	5000	12
0	12	19
1	35	19
2	92	19
3	289	13
4	995	11
5	4746	11
done	5000	11
0	14	21
1	37	21
2	94	21
3	260	15
4	707	13
5	3124	13
done	5000	13
0	12	19
1	35	19
2	92	19
3	289	13
4	995	11
5	4746	11
done	5000	11
0	15	23
1	53	23
2	191	23
3	1120	17
done	5001	17
0	13	37
1	43	37
2	159	37
3	965	25
done	5000	25
0	14	19
1	27	19
2	57	19
3	126	19
4	307	19
5	651	12
6	1193	10
7	3875	10
done	5000	10
0	13	18
1	33	18
2	57	18
3	113	18
4	262	18
5	553	12
6	1053	10
7	3975	10
done	5001	10
0	13	18
1	27	18
2	61	18
3	150	18
4	388	18
5	752	11
6	1234	9
7	4181	9
done	5001	9
0	12	17
1	33	17
2	64	17
3	141	17
4	342	17
5	651	11
6	1112	9
7	4097	9
done	5000	9
0	11	16
1	34	16
2	101	16
3	319	10
4	967	8
5	4414	8
done	5000	8
0	11	16
1	31	16
2	83	16
3	256	10
4	757	8
5	3406	8
done	5001	8
0	17	47
1	55	47
2	338	23
3	3093	23
done	5000	23
0	15	47
1	51	47
2	343	21
3	3521	21
done	5000	21
0	16	47
1	57	47
2	350	21
3	3472	21
done	5000	21
0	14	47
1	53	47
2	359	19
3	4052	17
done	5000	17
0	12	33
1	32	33
2	82	33
3	243	21
4	692	17
5	3085	17
done	5001	17
0	11	16
1	31	16
2	81	16
3	242	10
4	689	8
5	3093	8
done	5000	8
0	12	47
1	39	47
2	171	17
3	1390	11
done	5000	11
0	11	16
1	31	16
2	81	16
3	242	10
4	689	8
5	3093	8
done	5000	8
0	11	16
1	31	16
2	81	16
3	242	10
4	689	8
5	3093	8
done	5000	8
0	7	10
1	17	10
2	50	10
3	147	10
4	363	9
5	649	9
6	1168	9
7	2598	9
done	5000	9
0	6	6
1	18	6
2	36	6
3	48	6
4	49	6
done	49	6
0	3	3
done	3	3
0	7	11
1	15	11
2	29	11
3	54	11
4	103	5
5	165	3
6	426	3
7	1803	3
done	5001	3
0	7	7
1	19	7
2	22	7
done	22	7
0	10	15
1	30	15
2	72	15
3	209	9
4	499	7
5	2105	7
done	5001	7
0	8	11
1	16	11
2	39	11
3	106	11
4	267	11
5	471	11
6	795	11
7	1387	11
8	4698	11
done	5000	11
0	9	13
1	23	13
2	46	13
3	103	7
4	197	5
5	684	5
6	4162	5
done	5001	5
0	13	19
1	45	19
2	129	19
3	328	19
4	867	19
5	2079	19
done	5000	19
0	9	19
1	23	19
2	90	5
3	370	3
4	2084	3
done	5001	3
0	13	29
1	51	25
2	159	23
3	600	21
4	1526	21
5	3381	21
done	5001	21
0	9	13
1	27	13
2	81	13
3	188	13
4	285	13
5	363	13
6	425	13
7	464	13
8	560	13
9	847	13
10	1871	13
done	5001	13
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	8	11
1	14	11
2	24	11
3	44	11
4	73	11
5	114	11
6	170	11
7	338	11
8	1621	11
done	5000	11
0	7	10
1	16	10
2	37	10
3	84	10
4	156	10
5	235	10
6	372	10
7	716	10
8	3337	10
done	5000	10
0	7	10
1	15	10
2	38	10
3	107	10
4	272	10
5	638	10
6	1766	10
done	5001	10
0	9	29
1	21	29
2	84	13
3	508	13
4	3439	11
done	5000	11
0	8	21
1	14	21
2	31	21
3	69	21
4	135	21
5	214	21
6	354	21
7	694	21
8	3306	21
done	5000	21
0	7	10
1	13	10
2	30	10
3	68	10
4	136	10
5	215	10
6	358	10
7	700	10
8	3330	10
done	5000	10
0	8	29
1	23	29
2	100	11
3	555	11
4	3550	11
done	5001	11
0	7	10
1	13	10
2	30	10
3	68	10
4	136	10
5	215	10
6	358	10
7	700	10
8	3330	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	68	10
4	136	10
5	215	10
6	358	10
7	700	10
8	3330	10
done	5000	10
0	8	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	164	11
7	332	11
8	1611	11
done	5001	11
0	8	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	164	11
7	332	11
8	1611	11
done	5001	11
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	10	6
2	15	4
3	20	4
4	29	4
5	46	4
6	90	4
7	226	4
8	743	4
9	3037	4
done	5001	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	10	6
2	15	4
3	20	4
4	29	4
5	46	4
6	90	4
7	226	4
8	743	4
9	3037	4
done	5001	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	10	6
2	13	6
3	15	4
4	20	4
5	29	4
6	46	4
7	90	4
8	226	4
9	743	4
10	3037	4
done	5001	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	10	6
2	13	6
3	15	4
4	20	4
5	29	4
6	46	4
7	90	4
8	226	4
9	743	4
10	3037	4
done	5001	4
0	8	19
1	16	19
2	25	19
3	40	19
4	65	19
5	106	19
6	162	19
7	330	19
8	1624	19
done	5000	19
0	7	10
1	13	10
2	20	10
3	35	10
4	60	10
5	101	10
6	159	10
7	327	10
8	1615	10
done	5000	10
0	3	3
1	6	1
done	6	1
0	4	5
1	11	5
2	12	5
done	12	5
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	400	10
7	771	10
8	3378	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	400	10
7	771	10
8	3378	10
done	5000	10
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	13
1	29	13
2	97	9
3	289	9
4	824	9
5	3356	9
done	5001	9
0	8	17
1	22	17
2	51	13
3	142	9
4	378	9
5	1056	9
6	2987	9
done	5000	9
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	14	19
1	39	17
2	99	15
3	189	15
4	430	13
5	1303	13
6	4794	13
done	5000	13
0	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
0	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
0	10	13
1	25	11
2	56	11
3	90	11
4	148	9
5	218	9
6	264	9
7	344	9
8	599	9
9	1590	9
done	5001	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	6	7
1	17	7
2	35	7
3	60	7
4	103	7
5	243	7
6	765	7
7	3103	7
done	5001	7
0	6	7
1	17	7
2	35	7
3	60	7
4	103	7
5	243	7
6	765	7
7	3103	7
done	5001	7
0	6	7
1	17	7
2	35	7
3	60	7
4	103	7
5	243	7
6	765	7
7	3103	7
done	5001	7
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune183.0ms

Filtered

87 candidates to 107 candidates (-23.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	107	11	118

Merged error: 0.0b

Counts

118 → 11

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- m (pow m 2))
0.0b	(- (* (/ m v) (- m (pow m 2))) m)
0.3b	(* (/ m v) (- m (pow m 2)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 80

Calls

3 calls:

6.0ms	(- m (pow m 2))
11.0ms	(- (* (/ m v) (- m (pow m 2))) m)
19.0ms	(* (/ m v) (- m (pow m 2)))

series21.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(- m (pow m 2))
7.0ms	(- (* (/ m v) (- m (pow m 2))) m)
9.0ms	(* (/ m v) (- m (pow m 2)))

simplify4.5min

Counts

89 → 89

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	7	9
1	17	9
2	45	9
3	72	9
4	114	9
5	163	9
6	231	9
7	342	9
8	738	9
9	2362	9
done	5000	9
0	10	12
1	22	12
2	47	12
3	61	12
4	78	12
5	97	12
6	153	12
7	278	12
8	612	12
9	1595	12
done	5000	12
0	9	11
1	20	11
2	41	11
3	55	11
4	73	11
5	96	11
6	147	11
7	255	11
8	554	11
9	1547	11
done	5000	11
0	8	10
1	21	10
2	55	10
3	92	10
4	148	10
5	216	10
6	327	10
7	501	10
8	1018	10
9	2796	10
done	5000	10
0	8	10
1	20	10
2	53	10
3	100	10
4	191	10
5	383	10
6	894	10
7	2828	10
done	5000	10
0	13	29
1	34	29
2	156	15
3	701	13
4	3572	13
done	5000	13
0	11	29
1	31	29
2	112	13
3	448	13
4	2184	11
done	5001	11
0	9	21
1	19	21
2	47	21
3	74	21
4	114	21
5	163	21
6	233	21
7	349	21
8	751	21
9	2352	21
done	5001	21
0	8	10
1	18	10
2	46	10
3	73	10
4	115	10
5	164	10
6	232	10
7	343	10
8	733	10
9	2351	10
done	5001	10
0	9	29
1	29	29
2	122	11
3	544	11
4	2346	11
done	5000	11
0	8	10
1	18	10
2	46	10
3	73	10
4	115	10
5	164	10
6	232	10
7	343	10
8	733	10
9	2351	10
done	5001	10
0	8	10
1	18	10
2	46	10
3	73	10
4	115	10
5	164	10
6	232	10
7	343	10
8	733	10
9	2351	10
done	5001	10
0	8	11
1	27	11
2	91	11
3	214	9
4	617	7
5	2435	7
done	5000	7
0	10	19
1	31	15
2	96	13
3	171	13
4	301	13
5	550	13
6	952	13
7	2217	13
done	5000	13
0	7	13
1	20	9
2	63	9
3	127	9
4	255	7
5	558	7
6	1239	7
7	3981	7
done	5000	7
0	6	7
1	19	7
2	36	7
3	50	7
4	73	7
5	101	7
6	123	7
7	198	7
8	433	7
9	1359	7
done	5000	7
0	9	11
1	17	11
2	32	11
3	37	11
4	45	11
5	57	11
6	86	11
7	148	11
8	362	11
9	1270	11
done	5001	11
0	9	11
1	17	11
2	32	11
3	37	11
4	45	11
5	57	11
6	86	11
7	148	11
8	362	11
9	1270	11
done	5001	11
0	10	12
1	20	12
2	38	12
3	44	12
4	63	12
5	103	12
6	234	12
7	647	12
8	2239	12
done	5000	12
0	10	12
1	20	12
2	38	12
3	44	12
4	63	12
5	103	12
6	234	12
7	647	12
8	2239	12
done	5000	12
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	44	8
3	74	8
4	98	6
5	115	6
6	147	6
7	237	6
8	521	6
9	1737	6
done	5000	6
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	44	8
3	74	8
4	98	6
5	115	6
6	147	6
7	237	6
8	521	6
9	1737	6
done	5000	6
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	44	8
3	76	8
4	100	6
5	114	6
6	146	6
7	235	6
8	519	6
9	1728	6
done	5001	6
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	44	8
3	76	8
4	100	6
5	114	6
6	146	6
7	235	6
8	519	6
9	1728	6
done	5001	6
0	9	17
1	21	17
2	44	17
3	57	17
4	74	17
5	92	17
6	126	17
7	195	17
8	402	17
9	1344	17
done	5000	17
0	8	10
1	18	10
2	36	10
3	43	10
4	53	10
5	66	10
6	95	10
7	158	10
8	373	10
9	1297	10
done	5000	10
0	5	5
1	10	3
2	20	3
done	20	3
0	8	11
1	23	11
2	55	8
3	100	8
4	242	8
5	784	8
6	3247	8
done	5000	8
0	6	8
1	16	8
2	30	8
3	36	8
4	40	8
5	46	8
6	48	8
done	48	8
0	9	11
1	24	11
2	50	9
3	62	9
4	89	9
5	147	9
6	292	9
7	798	9
8	2890	9
done	5000	9
0	9	12
1	24	10
2	52	8
3	87	8
4	182	8
5	587	8
6	2528	8
done	5000	8
0	5	5
1	10	3
2	20	3
done	20	3
0	4	5
1	7	5
2	9	5
done	9	5
0	8	10
1	16	10
2	37	10
3	53	10
4	73	10
5	97	10
6	140	10
7	211	10
8	469	10
9	1469	10
done	5000	10
0	8	10
1	16	10
2	37	10
3	53	10
4	73	10
5	97	10
6	140	10
7	211	10
8	469	10
9	1469	10
done	5000	10
0	9	11
1	19	11
2	49	11
3	80	11
4	131	11
5	212	11
6	324	11
7	439	11
8	813	11
9	2129	11
done	5000	11
0	9	11
1	19	11
2	49	11
3	80	11
4	131	11
5	212	11
6	324	11
7	439	11
8	813	11
9	2129	11
done	5000	11
0	8	10
1	18	10
2	48	10
3	79	10
4	132	10
5	213	10
6	327	10
7	439	10
8	816	10
9	2117	10
done	5000	10
0	9	11
1	19	11
2	49	11
3	79	11
4	160	11
5	390	10
6	1235	10
7	4575	10
done	5000	10
0	9	11
1	19	11
2	49	11
3	79	11
4	160	11
5	390	10
6	1235	10
7	4575	10
done	5000	10
0	8	10
1	18	10
2	48	10
3	78	10
4	161	10
5	388	9
6	1233	9
7	4592	9
done	5000	9
0	8	10
1	18	10
2	46	10
3	73	10
4	115	10
5	164	10
6	232	10
7	343	10
8	733	10
9	2356	10
done	5000	10
0	8	10
1	18	10
2	46	10
3	73	10
4	115	10
5	164	10
6	232	10
7	343	10
8	733	10
9	2356	10
done	5000	10
0	7	9
1	17	9
2	45	9
3	72	9
4	114	9
5	163	9
6	231	9
7	342	9
8	738	9
9	2362	9
done	5000	9
0	7	9
1	17	9
2	45	9
3	72	9
4	114	9
5	163	9
6	231	9
7	342	9
8	738	9
9	2362	9
done	5000	9
0	8	9
1	19	9
2	47	7
3	134	7
4	374	7
5	1030	7
6	3770	7
done	5001	7
0	10	13
1	31	13
2	104	13
3	280	11
4	963	9
5	4565	9
done	5000	9
0	9	15
1	24	11
2	78	11
3	186	11
4	520	9
5	1254	9
6	2730	9
done	5000	9
0	5	7
1	13	7
2	32	7
3	44	7
4	58	7
5	75	7
6	121	7
7	200	7
8	484	7
9	1701	7
done	5000	7
0	10	13
1	24	12
2	58	12
3	113	12
4	234	12
5	521	12
6	1498	12
done	5000	12
0	9	12
1	21	12
2	49	12
3	82	12
4	136	12
5	196	12
6	286	12
7	455	12
8	940	12
9	2822	12
done	5000	12
0	9	12
1	24	12
2	58	12
3	107	12
4	218	12
5	461	12
6	1377	12
done	5000	12
0	10	25
1	22	25
2	50	25
3	83	25
4	137	25
5	197	25
6	289	25
7	458	25
8	941	25
9	2815	25
done	5001	25
0	9	12
1	21	12
2	49	12
3	82	12
4	136	12
5	196	12
6	286	12
7	452	12
8	936	12
9	2828	12
done	5001	12
0	10	35
1	23	35
2	65	13
3	180	13
4	773	13
5	4671	13
done	5000	13
0	9	12
1	21	12
2	49	12
3	82	12
4	136	12
5	196	12
6	286	12
7	452	12
8	936	12
9	2828	12
done	5001	12
0	9	12
1	21	12
2	49	12
3	82	12
4	136	12
5	196	12
6	286	12
7	452	12
8	936	12
9	2828	12
done	5001	12
0	11	15
1	37	15
2	130	15
3	448	15
4	2114	15
done	5000	15
0	12	35
1	37	33
2	111	33
3	326	25
4	1098	25
5	3869	25
done	5000	25
0	2	2
done	2	2
0	10	23
1	31	23
2	101	23
3	308	23
4	1027	22
5	3587	21
done	5001	19
0	8	11
1	19	11
2	47	11
3	78	11
4	127	11
5	195	11
6	288	11
7	437	11
8	875	11
9	2590	11
done	5001	11
0	8	10
1	20	10
2	49	10
3	81	10
4	108	8
5	130	8
6	181	8
7	275	8
8	611	8
9	2001	8
done	5000	8
0	8	10
1	20	10
2	49	10
3	81	10
4	108	8
5	130	8
6	181	8
7	275	8
8	611	8
9	2001	8
done	5000	8
0	8	10
1	20	10
2	49	10
3	83	10
4	110	8
5	129	8
6	180	8
7	272	8
8	611	8
9	1992	8
done	5001	8
0	8	10
1	20	10
2	49	10
3	83	10
4	110	8
5	129	8
6	180	8
7	272	8
8	611	8
9	1992	8
done	5001	8
0	2	2
done	2	2
0	6	7
1	13	6
2	26	6
3	40	6
4	60	6
5	109	6
6	244	6
7	668	6
8	2951	6
done	5000	6
0	5	6
1	12	6
2	27	6
3	32	6
4	40	6
5	55	6
6	85	6
7	152	6
8	366	6
9	1299	6
done	5000	6
0	5	6
1	15	6
2	35	6
3	48	6
4	76	6
5	148	6
6	387	6
7	1258	6
8	4972	6
done	5000	6
0	6	13
1	13	13
2	28	13
3	33	13
4	41	13
5	53	13
6	82	13
7	142	13
8	356	13
9	1298	13
done	5001	13
0	5	6
1	12	6
2	27	6
3	32	6
4	40	6
5	52	6
6	81	6
7	148	6
8	369	6
9	1290	6
done	5000	6
0	6	17
1	14	17
2	43	7
3	101	7
4	271	7
5	892	7
6	3482	7
done	5000	7
0	5	6
1	12	6
2	27	6
3	32	6
4	40	6
5	52	6
6	81	6
7	148	6
8	369	6
9	1290	6
done	5000	6
0	5	6
1	12	6
2	27	6
3	32	6
4	40	6
5	52	6
6	81	6
7	148	6
8	369	6
9	1290	6
done	5000	6
0	7	9
1	25	9
2	85	9
3	183	7
4	481	7
5	1657	7
done	5000	7
0	8	17
1	22	13
2	63	11
3	94	11
4	147	11
5	236	11
6	387	11
7	935	11
8	2726	11
done	5000	11
0	4	4
1	9	4
2	23	4
3	28	4
4	34	4
5	44	4
6	66	4
7	125	4
8	340	4
9	1271	4
done	5000	4
0	6	11
1	18	7
2	53	7
3	100	7
4	174	7
5	371	7
6	741	7
7	1868	7
done	5000	7
0	4	5
1	10	5
2	20	5
3	27	5
4	39	5
5	49	5
6	71	5
7	133	5
8	352	5
9	1273	5
done	5000	5
0	5	7
1	11	7
2	21	4
3	32	4
4	55	4
5	114	4
6	405	4
7	1457	4
done	5000	4
0	5	7
1	12	7
2	27	4
3	41	4
4	85	4
5	223	4
6	741	4
7	3101	4
done	5001	4
0	3	4
1	4	4
done	4	4
0	3	4
1	5	4
2	6	4
done	6	4
0	6	7
1	12	7
2	22	5
3	26	5
4	32	5
5	42	5
6	64	5
7	126	5
8	346	5
9	1267	5
done	5000	5
0	6	7
1	13	7
2	24	5
3	28	5
4	34	5
5	44	5
6	66	5
7	132	5
8	348	5
9	1272	5
done	5000	5
0	6	8
1	12	6
2	20	4
3	26	4
4	36	4
5	58	4
6	123	4
7	340	4
8	1279	4
done	5001	4
0	6	8
1	13	6
2	25	4
3	38	4
4	77	4
5	212	4
6	725	4
7	2952	4
done	5000	4
0	4	5
1	11	5
2	26	5
3	31	5
4	39	5
5	51	5
6	80	5
7	142	5
8	358	5
9	1291	5
done	5000	5
0	3	3
1	7	3
2	8	3
done	8	3
0	4	4
1	9	4
2	23	4
3	28	4
4	34	4
5	44	4
6	66	4
7	125	4
8	340	4
9	1271	4
done	5000	4
0	9	11
1	22	11
2	54	11
3	93	11
4	188	9
5	468	9
6	1567	9
done	5001	9
0	9	11
1	22	11
2	54	11
3	93	11
4	188	9
5	468	9
6	1567	9
done	5001	9
0	9	11
1	22	11
2	54	11
3	93	11
4	188	9
5	468	9
6	1567	9
done	5001	9
0	10	13
1	26	13
2	64	13
3	108	13
4	211	11
5	519	11
6	1731	11
done	5000	11
0	10	13
1	26	13
2	64	13
3	108	13
4	211	11
5	519	11
6	1731	11
done	5000	11
0	10	13
1	26	13
2	64	13
3	108	13
4	211	11
5	519	11
6	1731	11
done	5000	11
0	4	5
1	11	5
2	26	5
3	31	5
4	39	5
5	51	5
6	80	5
7	142	5
8	358	5
9	1291	5
done	5000	5
0	4	5
1	11	5
2	26	5
3	31	5
4	39	5
5	51	5
6	80	5
7	142	5
8	358	5
9	1291	5
done	5000	5
0	4	5
1	11	5
2	26	5
3	31	5
4	39	5
5	51	5
6	80	5
7	142	5
8	358	5
9	1291	5
done	5000	5

prune157.0ms

Filtered

65 candidates to 89 candidates (-36.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	7	2	9
Picked	1	0	1
Done	1	0	1
Total	94	6	100

Merged error: 0b

Counts

100 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* m (/ (- 1.0 m) v)) 1.0)
0.0b	(/ (- 1.0 m) v)
0.2b	(* (- (* m (/ (- 1.0 m) v)) 1.0) m)
0.3b	(* m (/ (- 1.0 m) v))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 108

Calls

4 calls:

8.0ms	(- (* m (/ (- 1.0 m) v)) 1.0)
7.0ms	(/ (- 1.0 m) v)
12.0ms	(* (- (* m (/ (- 1.0 m) v)) 1.0) m)
12.0ms	(* m (/ (- 1.0 m) v))

series28.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* m (/ (- 1.0 m) v)) 1.0)
5.0ms	(/ (- 1.0 m) v)
10.0ms	(* (- (* m (/ (- 1.0 m) v)) 1.0) m)
6.0ms	(* m (/ (- 1.0 m) v))

simplify4.2min

Counts

120 → 120

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	6	7
1	14	7
2	26	7
3	40	7
4	60	7
5	69	7
done	69	7
0	9	10
1	16	10
2	24	10
3	33	10
4	39	10
5	49	10
6	56	10
7	68	10
8	91	10
9	105	10
10	111	10
done	111	10
0	8	9
1	17	9
2	26	9
3	37	9
4	47	9
5	56	9
6	61	9
7	70	9
8	87	9
9	106	9
10	114	9
done	114	9
0	7	8
1	18	8
2	36	8
3	60	8
4	99	8
5	121	8
6	133	8
7	151	8
8	167	8
9	174	8
10	191	8
11	193	8
done	193	8
0	7	8
1	17	8
2	35	8
3	67	8
4	131	8
5	274	8
6	567	8
7	1704	8
done	5000	8
0	12	23
1	29	23
2	123	13
3	582	11
4	2589	11
done	5000	11
0	10	23
1	28	23
2	92	11
3	386	11
4	1818	9
done	5001	9
0	8	17
1	16	17
2	28	17
3	42	17
4	62	17
5	71	17
done	71	17
0	7	8
1	15	8
2	27	8
3	41	8
4	61	8
5	70	8
done	70	8
0	8	23
1	26	23
2	89	9
3	378	9
4	1867	9
done	5000	9
0	7	8
1	15	8
2	27	8
3	41	8
4	61	8
5	70	8
done	70	8
0	7	8
1	15	8
2	27	8
3	41	8
4	61	8
5	70	8
done	70	8
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	10
1	14	10
2	18	10
3	22	10
4	23	10
done	23	10
0	9	10
1	14	10
2	18	10
3	22	10
4	23	10
done	23	10
0	8	15
1	16	15
2	21	15
3	23	15
done	23	15
0	7	8
1	13	8
2	16	8
3	18	8
done	18	8
0	10	17
1	21	17
2	51	17
3	90	17
4	146	17
5	162	17
done	162	17
0	9	14
1	16	14
2	27	14
3	42	14
4	55	14
5	57	14
done	57	14
0	8	13
1	17	11
2	35	11
3	72	11
4	106	11
done	106	11
0	9	12
1	16	12
2	28	12
3	42	12
4	54	12
done	54	12
0	8	9
1	13	9
2	17	9
3	21	9
4	22	9
done	22	9
0	7	8
1	14	6
2	22	6
3	31	6
4	37	6
done	37	6
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	10	13
1	16	13
2	35	13
3	49	13
4	77	13
5	83	13
6	103	13
7	129	13
8	143	13
9	148	13
10	149	13
11	151	13
12	152	13
done	152	13
0	9	10
1	13	10
2	24	10
3	28	10
4	37	10
5	39	10
6	45	10
7	49	10
8	55	10
9	57	10
done	57	10
0	8	9
1	14	7
2	29	7
3	38	7
4	52	7
done	52	7
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	7	8
1	15	8
2	27	8
3	44	8
4	67	8
5	86	8
6	93	8
7	94	8
done	94	8
0	7	8
1	15	8
2	27	8
3	44	8
4	67	8
5	86	8
6	93	8
7	94	8
done	94	8
0	6	7
1	14	7
2	26	7
3	40	7
4	60	7
5	69	7
done	69	7
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	8	11
1	19	11
2	38	11
3	61	11
4	125	11
5	217	11
6	269	11
7	317	11
8	394	11
9	650	11
10	1039	11
11	1593	11
12	3743	11
done	5000	11
0	10	13
1	21	13
2	34	13
3	48	13
4	74	13
5	96	13
6	105	13
7	118	13
8	149	13
9	222	13
10	341	13
11	391	13
12	447	13
13	493	13
14	624	13
15	937	13
16	1152	13
17	1292	13
18	1324	13
19	1341	13
20	1390	13
21	1445	13
22	1620	13
23	2318	13
done	5000	13
0	9	12
1	23	12
2	43	12
3	66	12
4	130	12
5	222	12
6	274	12
7	322	12
8	399	12
9	655	12
10	1046	12
11	1600	12
12	3732	12
done	5000	12
0	9	12
1	22	12
2	52	12
3	92	12
4	213	12
5	478	12
6	1187	12
7	3588	12
done	5000	12
0	12	35
1	29	35
2	79	15
3	238	15
4	1109	13
done	5000	13
0	10	25
1	21	25
2	40	25
3	63	25
4	127	25
5	219	25
6	271	25
7	319	25
8	396	25
9	652	25
10	1040	25
11	1584	25
12	3736	25
done	5001	25
0	9	12
1	20	12
2	39	12
3	62	12
4	126	12
5	218	12
6	272	12
7	320	12
8	397	12
9	653	12
10	1038	12
11	1591	12
12	3695	12
done	5001	12
0	10	35
1	31	35
2	97	13
3	358	13
4	1486	13
done	5000	13
0	9	12
1	20	12
2	39	12
3	62	12
4	126	12
5	218	12
6	272	12
7	320	12
8	397	12
9	653	12
10	1038	12
11	1591	12
12	3695	12
done	5001	12
0	9	12
1	20	12
2	39	12
3	62	12
4	126	12
5	218	12
6	272	12
7	320	12
8	397	12
9	653	12
10	1038	12
11	1591	12
12	3695	12
done	5001	12
0	10	13
1	21	13
2	34	13
3	48	13
4	74	13
5	96	13
6	105	13
7	118	13
8	149	13
9	222	13
10	341	13
11	391	13
12	447	13
13	493	13
14	624	13
15	937	13
16	1152	13
17	1292	13
18	1319	13
done	1319	13
0	10	13
1	21	13
2	34	13
3	48	13
4	74	13
5	96	13
6	105	13
7	118	13
8	149	13
9	222	13
10	341	13
11	391	13
12	447	13
13	493	13
14	624	13
15	937	13
16	1152	13
17	1292	13
18	1319	13
done	1319	13
0	10	15
1	23	15
2	44	15
3	89	15
4	219	15
5	475	15
6	723	15
7	1007	15
8	1200	15
9	1810	15
10	3447	15
11	4007	15
12	4469	15
done	5000	15
0	9	12
1	20	12
2	39	12
3	72	12
4	159	12
5	277	12
6	373	12
7	463	12
8	544	12
9	835	12
10	1445	12
11	1657	12
12	1867	12
13	2318	12
14	4189	12
done	5000	12
0	9	11
1	22	9
2	44	9
3	83	9
4	193	9
5	294	9
6	364	9
7	450	9
8	570	9
9	754	9
10	1240	9
11	1446	9
12	1552	9
13	1573	9
done	1573	9
0	9	12
1	20	12
2	33	12
3	47	12
4	73	12
5	95	12
6	104	12
7	117	12
8	148	12
9	221	12
10	340	12
11	390	12
12	446	12
13	492	12
14	623	12
15	934	12
16	1155	12
17	1296	12
18	1321	12
done	1321	12
0	9	12
1	20	12
2	33	12
3	47	12
4	73	12
5	95	12
6	104	12
7	117	12
8	148	12
9	221	12
10	340	12
11	390	12
12	446	12
13	492	12
14	623	12
15	934	12
16	1155	12
17	1296	12
18	1321	12
done	1321	12
0	8	11
1	19	11
2	38	11
3	61	11
4	125	11
5	217	11
6	269	11
7	317	11
8	394	11
9	650	11
10	1039	11
11	1593	11
12	3743	11
done	5000	11
0	11	15
1	38	15
2	120	15
3	455	15
4	2252	15
done	5001	15
0	10	21
1	31	21
2	87	21
3	268	21
4	1045	21
5	3335	21
done	5000	21
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	9	11
1	21	10
2	41	10
3	78	10
4	162	10
5	382	10
6	971	10
7	3469	10
done	5000	10
0	8	10
1	18	10
2	31	10
3	45	10
4	71	10
5	93	10
6	102	10
7	115	10
8	146	10
9	219	10
10	338	10
11	388	10
12	442	10
13	490	10
14	621	10
15	938	10
16	1153	10
17	1290	10
18	1319	10
19	1329	10
20	1346	10
21	1371	10
22	1457	10
23	1785	10
24	3393	10
done	5001	10
0	8	10
1	21	10
2	40	10
3	69	10
4	134	10
5	282	10
6	742	10
7	1894	10
done	5001	10
0	9	21
1	19	21
2	32	21
3	46	21
4	72	21
5	94	21
6	103	21
7	116	21
8	147	21
9	220	21
10	339	21
11	389	21
12	445	21
13	493	21
14	624	21
15	939	21
16	1158	21
17	1300	21
18	1327	21
done	1327	21
0	8	10
1	18	10
2	31	10
3	45	10
4	71	10
5	93	10
6	102	10
7	115	10
8	146	10
9	219	10
10	338	10
11	388	10
12	442	10
13	490	10
14	621	10
15	938	10
16	1153	10
17	1290	10
18	1314	10
done	1314	10
0	9	29
1	20	29
2	47	11
3	132	11
4	567	11
5	3058	11
done	5000	11
0	8	10
1	18	10
2	31	10
3	45	10
4	71	10
5	93	10
6	102	10
7	115	10
8	146	10
9	219	10
10	338	10
11	388	10
12	442	10
13	490	10
14	621	10
15	938	10
16	1153	10
17	1290	10
18	1314	10
done	1314	10
0	8	10
1	18	10
2	31	10
3	45	10
4	71	10
5	93	10
6	102	10
7	115	10
8	146	10
9	219	10
10	338	10
11	388	10
12	442	10
13	490	10
14	621	10
15	938	10
16	1153	10
17	1290	10
18	1314	10
done	1314	10
0	10	13
1	36	13
2	112	13
3	385	13
4	1850	13
done	5000	13
0	11	29
1	35	27
2	92	27
3	254	21
4	835	21
5	2127	21
done	5000	21
0	2	2
done	2	2
0	9	19
1	29	19
2	75	19
3	214	19
4	807	19
5	2238	19
done	5000	19
0	7	9
1	16	9
2	28	9
3	42	9
4	66	9
5	82	9
6	90	9
7	101	9
8	123	9
9	164	9
10	225	9
11	290	9
12	330	9
13	375	9
14	428	9
15	518	9
16	748	9
17	1007	9
18	1224	9
19	1332	9
20	1339	9
done	1339	9
0	2	2
done	2	2
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	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
0	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
0	13	17
1	33	17
2	76	17
3	134	15
4	265	13
5	646	13
6	2057	11
done	5000	11
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
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

prune147.0ms

Filtered

88 candidates to 120 candidates (-36.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	120	6	126

Merged error: 0b

Counts

126 → 6

regimes105.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample1.2s

Algorithm

intervals

Results

502.0ms	13634×	body	80	valid
285.0ms	13634×	pre	80	true

Details

sample66.0ms

simplify4.4s

prune4.0ms

localize10.0ms

rewrite45.0ms

series43.0ms

simplify6.0min

prune174.0ms

localize18.0ms

rewrite49.0ms

series38.0ms

simplify5.1min

prune183.0ms

localize10.0ms

rewrite39.0ms

series21.0ms

simplify4.5min

prune157.0ms

localize9.0ms

rewrite42.0ms

series28.0ms

simplify4.2min

prune147.0ms

regimes105.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling