Details

sample100.0ms

Algorithm

intervals

Results

64.0ms

577×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	29
1	51	29
2	150	29
3	583	29
4	2575	29
done	5001	29

prune10.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: 10.5b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

4.1b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
4.7b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
5.3b	(* (* (* w w) r) r)
9.1b	(* (* w w) r)

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-exp-log` `add-cbrt-cube`
57×	`prod-exp` `cbrt-unprod`
50×	`pow1`
33×	`pow-prod-down`
13×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`cbrt-undiv` `div-exp`
8×	`add-cube-cbrt`
7×	`associate-r`
5×	`times-frac` `associate-/r*`
4×	`associate-r/` `associate-l/` `add-log-exp`
3×	`flip3--` `associate-l` `*-commutative` `flip--`
2×	`associate-/r/` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

19.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
15.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
9.0ms	(* (* (* w w) r) r)
9.0ms	(* (* w w) r)

series79.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))
32.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r))
7.0ms	(* (* (* w w) r) r)
14.0ms	(* (* w w) r)

simplify6.2min

Counts

131 → 131

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	21	6
3	37	6
4	79	6
5	184	6
6	449	6
7	1203	6
8	4669	6
done	5000	6
0	8	17
1	21	17
2	72	11
3	213	7
4	436	7
5	1198	7
6	4072	7
done	5000	7
0	8	17
1	22	17
2	74	9
3	211	7
4	446	7
5	1262	7
6	4293	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	230	7
4	358	7
5	524	7
6	1407	7
7	4747	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	9
1	13	9
2	24	9
done	24	9
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	9	3
2	17	3
done	17	3
0	3	3
1	4	3
done	4	3
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	5	7
1	11	7
2	19	7
3	23	7
done	23	7
0	7	11
1	15	10
2	25	9
3	31	7
4	32	7
done	32	7
0	7	10
1	13	10
2	23	9
3	35	7
4	36	7
done	36	7
0	7	9
1	13	9
2	22	9
3	36	9
4	43	6
5	44	6
done	44	6
0	6	8
1	15	8
2	32	8
3	50	8
4	61	6
5	64	6
done	64	6
0	6	8
1	14	8
2	34	8
3	64	8
4	134	8
5	315	8
6	763	8
7	2080	8
done	5000	8
0	9	23
1	27	23
2	114	15
3	464	7
4	1252	7
5	4138	7
done	5001	7
0	9	23
1	28	23
2	116	13
3	467	7
4	1290	7
5	4384	7
done	5000	7
0	9	23
1	27	23
2	116	11
3	502	11
4	1338	9
5	2931	5
done	5000	5
0	7	17
1	13	17
2	21	17
3	25	17
done	25	17
0	6	8
1	12	8
2	20	8
3	24	8
done	24	8
0	7	23
1	22	23
2	94	9
3	390	9
4	1009	5
5	1669	5
done	5000	5
0	6	8
1	12	8
2	20	8
3	25	4
done	25	4
0	6	8
1	12	8
2	20	8
3	25	4
done	25	4
0	7	11
1	15	11
2	38	11
3	74	11
4	85	11
done	85	11
0	6	8
1	12	8
2	26	8
3	37	8
done	37	8
0	6	7
1	14	5
2	34	5
3	55	5
done	55	5
0	2	3
done	2	3
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	13	15
1	28	15
2	78	15
3	257	15
4	842	15
5	2328	15
6	4325	15
done	5000	15
0	17	21
1	34	20
2	80	19
3	198	17
4	338	17
5	349	17
done	349	17
0	17	20
1	32	20
2	76	19
3	188	17
4	328	17
5	346	17
done	346	17
0	17	19
1	32	19
2	69	19
3	152	19
4	299	16
5	362	16
done	362	16
0	16	18
1	32	18
2	68	18
3	135	18
4	284	16
5	376	16
6	390	16
done	390	16
0	16	20
1	34	19
2	78	18
3	201	16
4	367	16
5	405	16
done	405	16
0	16	19
1	32	19
2	74	18
3	185	16
4	346	16
5	424	16
done	424	16
0	16	18
1	32	18
2	69	18
3	159	18
4	318	15
5	426	15
done	426	15
0	15	17
1	32	17
2	71	17
3	149	17
4	308	15
5	423	15
6	437	15
done	437	15
0	14	16
1	32	16
2	98	16
3	335	16
4	1148	15
5	2903	15
6	4836	15
done	5000	15
0	14	16
1	31	16
2	94	16
3	345	16
4	1255	16
5	3982	16
done	5000	16
0	21	47
1	54	47
2	250	27
3	1764	19
done	5001	19
0	21	47
1	55	47
2	251	25
3	1798	19
done	5001	19
0	21	47
1	54	47
2	251	23
3	1813	23
done	5001	23
0	19	47
1	49	47
2	225	21
3	1519	21
done	5001	21
0	19	47
1	56	47
2	258	25
3	1762	17
done	5000	17
0	19	47
1	57	47
2	260	23
3	1802	17
done	5000	17
0	19	47
1	56	47
2	261	21
3	1823	21
done	5000	21
0	17	47
1	51	47
2	235	19
3	1541	19
done	5000	19
0	15	33
1	30	33
2	80	33
3	263	33
4	844	33
5	2334	33
6	4440	33
done	5000	33
0	14	16
1	29	16
2	79	16
3	253	16
4	829	16
5	2325	16
6	4715	16
done	5000	16
0	15	47
1	40	47
2	202	17
3	1575	17
done	5000	17
0	14	16
1	29	16
2	79	16
3	253	16
4	829	16
5	2325	16
6	4715	16
done	5000	16
0	14	16
1	29	16
2	79	16
3	253	16
4	829	16
5	2325	16
6	4715	16
done	5000	16
0	12	13
1	24	13
2	65	13
3	183	13
4	551	13
5	1280	13
6	2070	13
7	2431	13
done	2431	13
0	11	13
1	23	13
2	58	13
3	183	13
4	509	13
5	1036	13
6	1514	13
done	1514	13
0	16	19
1	47	19
2	145	19
3	571	19
4	2757	19
done	5000	19
0	15	21
1	40	21
2	119	21
3	464	21
4	2208	21
done	5000	21
0	21	26
1	44	25
2	114	24
3	362	22
4	1011	22
5	1701	22
6	2799	22
done	5000	22
0	21	25
1	42	25
2	110	24
3	338	22
4	949	22
5	1689	22
6	2725	22
done	5000	22
0	21	24
1	42	24
2	101	24
3	274	24
4	805	21
5	1722	21
6	2807	21
done	5001	21
0	20	23
1	42	23
2	95	23
3	236	23
4	696	21
5	1575	21
6	2546	21
done	5000	21
0	20	25
1	44	24
2	106	23
3	340	21
4	855	21
5	1816	21
6	3035	21
done	5000	21
0	20	24
1	42	24
2	102	23
3	318	21
4	838	21
5	1811	21
6	3015	21
done	5001	21
0	20	23
1	42	23
2	95	23
3	265	23
4	726	20
5	1702	20
6	2815	20
done	5000	20
0	19	22
1	42	22
2	92	22
3	234	22
4	617	20
5	1494	20
6	2512	20
done	5001	20
0	18	21
1	40	21
2	111	21
3	383	21
4	1386	20
5	3825	20
done	5000	20
0	17	20
1	39	20
2	123	20
3	520	20
4	2194	19
done	5001	19
0	17	20
1	36	20
2	106	20
3	434	20
4	1704	20
done	5001	20
0	26	59
1	69	59
2	380	33
3	3785	25
done	5000	25
0	26	59
1	70	59
2	380	31
3	3840	25
done	5000	25
0	26	59
1	69	59
2	381	29
3	3823	29
done	5000	29
0	24	59
1	64	59
2	348	27
3	3292	27
done	5000	27
0	24	59
1	71	59
2	381	31
3	3755	23
done	5000	23
0	24	59
1	72	59
2	383	29
3	3816	23
done	5001	23
0	24	59
1	71	59
2	384	27
3	3836	27
done	5000	27
0	22	59
1	66	59
2	351	25
3	3335	25
done	5000	25
0	20	59
1	55	59
2	319	23
3	3991	21
done	5000	21
0	18	41
1	37	41
2	107	41
3	430	41
4	1683	41
5	4992	41
done	5000	41
0	17	20
1	36	20
2	106	20
3	432	20
4	1673	20
5	4878	20
done	5000	20
0	18	59
1	44	59
2	163	21
3	1176	21
done	5001	21
0	17	20
1	36	20
2	106	20
3	432	20
4	1673	20
5	4878	20
done	5000	20
0	17	20
1	36	20
2	106	20
3	432	20
4	1673	20
5	4878	20
done	5000	20
0	14	16
1	33	16
2	117	16
3	479	16
4	1978	15
done	5001	15
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	12	17
1	25	17
2	55	17
3	117	17
4	225	17
5	408	17
6	773	17
7	875	17
8	883	17
done	883	17
0	10	12
1	20	12
2	41	12
3	76	12
4	117	12
5	149	12
6	152	12
done	152	12
0	11	12
1	19	12
2	36	12
3	71	12
4	115	12
5	182	12
6	262	12
7	296	12
8	301	12
done	301	12
0	10	12
1	20	12
2	41	12
3	76	12
4	117	12
5	149	12
6	152	12
done	152	12
0	9	9
1	17	7
2	38	7
3	79	7
4	112	7
5	160	7
6	260	7
7	356	7
8	429	7
9	469	7
done	469	7
0	9	11
1	19	11
2	43	11
3	95	11
4	174	11
5	235	11
6	256	11
done	256	11
0	12	13
1	19	13
2	36	13
3	71	13
4	119	13
5	180	13
6	260	13
7	294	13
8	298	13
done	298	13
0	11	13
1	21	13
2	45	13
3	97	13
4	177	13
5	239	13
6	260	13
done	260	13
0	9	9
1	17	7
2	38	7
3	79	7
4	112	7
5	160	7
6	260	7
7	356	7
8	429	7
9	469	7
done	469	7
0	9	11
1	19	11
2	43	11
3	95	11
4	174	11
5	235	11
6	256	11
done	256	11
0	5	5
1	9	5
2	10	5
done	10	5
0	16	19
1	38	19
2	122	19
3	486	19
4	1795	19
5	4445	19
done	5000	19
0	18	25
1	42	25
2	142	25
3	643	25
4	2968	25
done	5000	25
0	17	20
1	36	20
2	103	20
3	386	20
4	1454	20
5	4317	20
done	5001	20
0	15	17
1	34	15
2	105	15
3	406	15
4	1648	15
done	5000	15
0	18	21
1	36	21
2	103	21
3	385	21
4	1461	21
5	4392	21
done	5000	21
0	15	17
1	34	15
2	105	15
3	406	15
4	1648	15
done	5000	15
0	9	11
1	22	11
2	54	11
3	125	11
4	189	11
5	211	11
6	214	11
done	214	11
0	19	23
1	51	23
2	142	23
3	675	23
4	4427	23
done	5000	23
0	18	23
1	40	23
2	140	23
3	740	23
4	4229	23
done	5000	23
0	12	21
1	38	17
2	111	17
3	336	17
4	869	17
5	1871	17
6	3649	17
done	5000	17
0	8	9
1	19	9
2	47	9
3	98	9
4	151	9
5	215	9
6	305	9
7	547	9
8	1003	9
9	1189	9
10	1204	9
done	1204	9
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	6	7
1	15	7
2	58	7
3	78	7
4	87	7
5	104	7
6	146	7
7	266	7
8	680	7
9	2532	7
done	5000	7
0	6	7
1	15	7
2	58	7
3	78	7
4	87	7
5	104	7
6	146	7
7	266	7
8	680	7
9	2532	7
done	5000	7
0	6	7
1	15	7
2	58	7
3	78	7
4	87	7
5	104	7
6	146	7
7	266	7
8	680	7
9	2532	7
done	5000	7
0	14	21
1	35	21
2	149	21
3	404	17
4	1149	13
5	1893	13
6	2010	13
7	2134	13
8	2548	13
9	4419	13
done	5001	13
0	14	21
1	35	21
2	149	21
3	404	17
4	1149	13
5	1893	13
6	2010	13
7	2134	13
8	2548	13
9	4419	13
done	5001	13
0	14	21
1	35	21
2	149	21
3	404	17
4	1149	13
5	1893	13
6	2010	13
7	2134	13
8	2548	13
9	4419	13
done	5001	13
0	19	35
1	52	33
2	234	29
3	593	25
4	1405	19
5	2441	17
6	3405	17
7	4450	17
done	5000	17
0	17	35
1	48	33
2	186	33
3	481	25
4	1573	25
done	5000	19
0	17	35
1	48	33
2	186	33
3	481	25
4	1573	25
done	5000	19

prune314.0ms

Filtered

98 candidates to 131 candidates (-33.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	121	10	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	10	132

Merged error: 1.2b

Counts

132 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (fabs (* w r)) (fabs (* w r)))
0.6b	(/ 2.0 (* r r))
4.1b	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))
4.7b	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log` `add-cbrt-cube`
23×	`pow1`
18×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
16×	`*-un-lft-identity`
12×	`add-cube-cbrt`
9×	`pow-prod-down`
8×	`times-frac`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
4×	`associate-r/` `associate-r` `associate-l` `associate-l/` `associate-/l*` `add-log-exp`
3×	`flip3--` `swap-sqr` `flip--`
2×	`frac-2neg` `clear-num` `associate-/r/` `*-commutative` `div-inv` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`pow2` `pow-plus` `pow-sqr` `pow-prod-up` `unswap-sqr`

Counts

4 → 105

Calls

4 calls:

4.0ms	(* (fabs (* w r)) (fabs (* w r)))
5.0ms	(/ 2.0 (* r r))
15.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))
10.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (fabs (* w r)) (fabs (* w r)))
3.0ms	(/ 2.0 (* r r))
30.0ms	(/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r)))) (- 1.0 v))
17.0ms	(* (* 0.125 (- 3.0 (* 2.0 v))) (* (fabs (* w r)) (fabs (* w r))))

simplify4.5min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	17
1	23	17
2	49	17
3	108	17
4	258	17
5	479	17
6	626	17
7	641	17
done	641	17
0	13	17
1	23	17
2	49	17
3	108	17
4	258	17
5	479	17
6	626	17
7	641	17
done	641	17
0	13	17
1	23	17
2	49	17
3	108	17
4	258	17
5	479	17
6	626	17
7	641	17
done	641	17
0	13	17
1	23	17
2	49	17
3	108	17
4	258	17
5	479	17
6	626	17
7	641	17
done	641	17
0	16	21
1	28	17
2	49	17
3	59	17
done	59	17
0	16	20
1	26	20
2	47	17
3	61	17
4	64	17
done	64	17
0	15	20
1	28	16
2	51	16
3	86	16
4	107	16
5	115	16
done	115	16
0	15	19
1	26	19
2	50	16
3	86	16
4	100	16
5	108	16
done	108	16
0	14	18
1	27	18
2	64	18
3	149	16
4	328	16
5	574	16
6	715	16
7	730	16
done	730	16
0	14	18
1	26	18
2	65	18
3	167	18
4	456	18
5	1085	18
6	2650	18
done	5001	18
0	19	53
1	42	53
2	159	25
3	849	18
4	4893	16
done	5000	16
0	19	53
1	43	53
2	157	23
3	846	18
4	4968	16
done	5000	16
0	17	53
1	44	53
2	169	23
3	911	16
done	5001	16
0	17	53
1	45	53
2	166	21
3	915	16
done	5000	16
0	15	37
1	25	37
2	51	37
3	112	37
4	268	37
5	469	37
6	622	37
7	635	37
done	635	37
0	14	18
1	24	18
2	50	18
3	109	18
4	259	18
5	460	18
6	599	18
7	614	18
done	614	18
0	15	53
1	35	53
2	145	19
3	839	19
done	5001	19
0	14	18
1	24	18
2	50	18
3	109	18
4	259	18
5	460	18
6	599	18
7	614	18
done	614	18
0	14	18
1	24	18
2	50	18
3	109	18
4	259	18
5	460	18
6	599	18
7	614	18
done	614	18
0	12	12
1	20	12
2	39	12
3	82	12
4	165	12
5	234	12
6	280	12
done	280	12
0	11	15
1	18	15
2	33	15
3	66	15
4	114	15
5	152	15
6	176	15
done	176	15
0	16	21
1	42	21
2	116	21
3	415	21
4	1920	21
done	5000	21
0	15	23
1	35	23
2	90	23
3	280	23
4	1011	23
5	3141	23
done	5000	23
0	20	26
1	38	22
2	79	22
3	145	22
4	241	22
5	333	22
6	509	22
7	1016	22
8	1258	22
9	1485	22
10	1645	22
done	1645	22
0	20	25
1	36	25
2	74	22
3	140	22
4	230	22
5	319	22
6	486	22
7	977	22
8	1217	22
9	1438	22
10	1592	22
done	1592	22
0	19	25
1	38	21
2	75	21
3	158	21
4	259	21
5	362	21
6	542	21
7	1052	21
8	1292	21
9	1515	21
10	1674	21
done	1674	21
0	19	24
1	36	24
2	71	21
3	153	21
4	249	21
5	352	21
6	528	21
7	1025	21
8	1260	21
9	1478	21
10	1635	21
done	1635	21
0	18	23
1	35	23
2	77	23
3	187	21
4	429	21
5	740	21
6	991	21
7	1180	21
8	1690	21
9	1935	21
10	2160	21
11	2318	21
done	2318	21
0	17	22
1	34	22
2	90	22
3	255	22
4	714	20
5	1556	20
6	2972	20
7	4954	20
done	5000	20
0	17	22
1	31	22
2	73	22
3	191	22
4	525	22
5	1186	22
6	2525	22
done	5000	22
0	24	65
1	57	65
2	287	31
3	2368	24
done	5000	24
0	24	65
1	58	65
2	286	29
3	2366	24
done	5001	24
0	22	65
1	59	65
2	288	29
3	2429	22
done	5000	22
0	22	65
1	60	65
2	286	27
3	2430	22
done	5000	22
0	20	65
1	50	65
2	262	25
3	2583	23
done	5000	23
0	18	45
1	32	45
2	74	45
3	190	45
4	504	45
5	1060	45
6	2113	45
7	3694	45
8	4816	45
done	5000	45
0	17	22
1	31	22
2	73	22
3	189	22
4	504	22
5	1092	22
6	2115	22
7	3631	22
8	4760	22
done	5000	22
0	18	65
1	39	65
2	130	23
3	749	23
done	5001	23
0	17	22
1	31	22
2	73	22
3	189	22
4	504	22
5	1092	22
6	2115	22
7	3631	22
8	4760	22
done	5000	22
0	17	22
1	31	22
2	73	22
3	189	22
4	504	22
5	1092	22
6	2115	22
7	3631	22
8	4760	22
done	5000	22
0	14	18
1	28	18
2	77	18
3	203	18
4	584	17
5	1339	17
6	2032	17
7	2503	17
8	2613	17
9	2811	17
10	2823	17
done	2823	17
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	12	17
1	25	17
2	55	17
3	117	17
4	225	17
5	408	17
6	773	17
7	875	17
8	883	17
done	883	17
0	10	14
1	15	14
2	18	14
3	19	14
done	19	14
0	11	12
1	19	12
2	36	12
3	71	12
4	115	12
5	182	12
6	262	12
7	296	12
8	301	12
done	301	12
0	10	14
1	15	14
2	18	14
3	19	14
done	19	14
0	9	9
1	17	7
2	38	7
3	79	7
4	112	7
5	160	7
6	260	7
7	356	7
8	429	7
9	469	7
done	469	7
0	9	13
1	14	13
2	20	13
3	23	13
4	25	13
done	25	13
0	12	13
1	19	13
2	36	13
3	71	13
4	119	13
5	180	13
6	260	13
7	294	13
8	298	13
done	298	13
0	11	15
1	16	15
2	22	15
3	25	15
4	27	15
done	27	15
0	9	9
1	17	7
2	38	7
3	79	7
4	112	7
5	160	7
6	260	7
7	356	7
8	429	7
9	469	7
done	469	7
0	9	13
1	14	13
2	20	13
3	23	13
4	25	13
done	25	13
0	5	5
1	9	5
2	10	5
done	10	5
0	16	21
1	33	21
2	89	21
3	226	21
4	506	21
5	740	21
6	896	21
7	913	21
done	913	21
0	18	27
1	37	27
2	102	27
3	302	27
4	868	27
5	1967	27
6	4693	27
done	5000	27
0	17	22
1	31	22
2	70	22
3	167	22
4	432	22
5	951	22
6	1883	22
7	3103	22
8	3575	22
9	3583	22
done	3583	22
0	15	19
1	29	17
2	72	17
3	191	17
4	542	17
5	1085	17
6	2099	17
7	4438	17
8	4946	17
done	4946	17
0	18	23
1	31	23
2	70	23
3	167	23
4	437	23
5	959	23
6	1941	23
7	3266	23
8	3744	23
9	3756	23
done	3756	23
0	15	19
1	29	17
2	72	17
3	191	17
4	542	17
5	1085	17
6	2099	17
7	4438	17
8	4946	17
done	4946	17
0	9	13
1	17	13
2	25	13
3	30	13
4	33	13
done	33	13
0	19	25
1	46	25
2	109	25
3	331	25
4	1347	25
done	5000	25
0	18	25
1	35	25
2	101	25
3	355	25
4	1247	25
5	3298	25
done	5001	25
0	12	21
1	38	17
2	111	17
3	336	17
4	869	17
5	1871	17
6	3649	17
done	5000	17
0	8	9
1	19	9
2	47	9
3	98	9
4	151	9
5	215	9
6	305	9
7	547	9
8	1003	9
9	1189	9
10	1204	9
done	1204	9
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	2	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	2	3
1	6	1
done	6	1
0	6	11
1	9	7
2	10	7
done	10	7
0	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	6	10
1	9	10
2	13	10
3	18	10
4	36	10
5	78	10
6	182	10
7	563	10
8	2238	10
done	5000	10
0	7	29
1	15	29
2	24	13
3	37	6
4	70	6
5	148	6
6	367	6
7	1318	6
done	5001	6
0	7	21
1	8	21
done	8	21
0	6	10
1	7	10
done	7	10
0	7	29
1	16	29
2	23	11
3	37	6
4	71	6
5	154	6
6	381	6
7	1379	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	6	10
1	8	5
done	8	5
0	7	23
1	12	23
2	14	13
3	23	7
4	38	7
5	64	7
6	136	7
7	351	7
8	1269	7
done	5000	7
0	6	11
1	7	11
done	7	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	2	3
1	4	1
done	4	1
0	5	9
1	6	9
done	6	9
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	3	3
1	6	1
done	6	1
0	7	16
1	11	16
2	13	16
done	13	16
0	6	10
1	8	10
done	8	10
0	6	6
1	10	4
2	13	4
done	13	4
0	6	10
1	8	10
done	8	10
0	6	10
1	8	10
done	8	10
0	5	9
1	6	9
done	6	9
0	13	19
1	26	19
2	71	19
3	164	12
4	485	12
5	1588	12
done	5000	12
0	13	19
1	26	19
2	71	19
3	164	12
4	485	12
5	1588	12
done	5000	12
0	13	19
1	26	19
2	71	19
3	164	12
4	485	12
5	1588	12
done	5000	12
0	17	32
1	38	32
2	115	32
3	226	23
4	577	16
5	1962	16
done	5000	16
0	17	32
1	39	30
2	108	30
3	221	23
4	617	23
5	2629	18
done	5000	18
0	17	32
1	39	30
2	108	30
3	221	23
4	617	23
5	2629	18
done	5000	18
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	6	6
1	12	6
2	20	6
3	31	6
4	58	6
5	122	6
6	341	6
7	1367	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	31	6
4	58	6
5	122	6
6	341	6
7	1367	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	31	6
4	58	6
5	122	6
6	341	6
7	1367	6
done	5000	6

prune258.0ms

Filtered

80 candidates to 117 candidates (-46.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	109	8	117
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	113	14	127

Merged error: 0.1b

Counts

127 → 14

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (- 1.0 v) (* (fabs (* w r)) (fabs (* w r))))
0.4b	(* (fabs (* w r)) (fabs (* w r)))
0.6b	(/ 2.0 (* r r))
5.9b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (* (fabs (* w r)) (fabs (* w r)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-exp-log` `add-cbrt-cube`
27×	`times-frac`
26×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
16×	`add-cube-cbrt`
14×	`cbrt-undiv` `div-exp`
11×	`pow1` `associate-/r*`
9×	`associate-/l*`
8×	`prod-exp` `cbrt-unprod`
5×	`div-inv`
4×	`associate-/l/` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`frac-2neg` `swap-sqr` `associate-r` `associate-l` `clear-num`
2×	`flip3--` `associate-*r/` `flip--`
1×	`pow2` `pow-plus` `div-sub` `pow-prod-down` `associate-/r/` `pow-sqr` `*-commutative` `pow-prod-up` `unswap-sqr`

Counts

4 → 118

Calls

4 calls:

9.0ms	(/ (- 1.0 v) (* (fabs (* w r)) (fabs (* w r))))
4.0ms	(* (fabs (* w r)) (fabs (* w r)))
5.0ms	(/ 2.0 (* r r))
14.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (* (fabs (* w r)) (fabs (* w r)))))

series60.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/ (- 1.0 v) (* (fabs (* w r)) (fabs (* w r))))
11.0ms	(* (fabs (* w r)) (fabs (* w r)))
3.0ms	(/ 2.0 (* r r))
26.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (/ (- 1.0 v) (* (fabs (* w r)) (fabs (* w r)))))

simplify3.3min

Counts

130 → 130

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	26
1	39	22
2	81	22
3	158	22
4	330	22
5	540	22
6	931	22
7	1326	22
8	1365	22
done	1365	22
0	20	25
1	37	25
2	72	22
3	143	22
4	300	22
5	521	22
6	911	22
7	1344	22
8	1385	22
done	1385	22
0	19	24
1	38	24
2	69	24
3	114	22
4	218	22
5	444	22
6	726	22
7	1109	22
8	1373	22
9	1379	22
done	1379	22
0	19	25
1	39	21
2	80	21
3	168	21
4	334	21
5	497	21
6	812	21
7	1333	21
8	1389	21
done	1389	21
0	19	24
1	37	24
2	73	21
3	154	21
4	305	21
5	485	21
6	788	21
7	1341	21
8	1397	21
done	1397	21
0	18	23
1	38	23
2	72	23
3	133	21
4	229	21
5	414	21
6	633	21
7	1025	21
8	1421	21
9	1460	21
done	1460	21
0	17	22
1	36	22
2	94	22
3	230	22
4	552	20
5	1364	20
6	2623	20
7	4539	20
done	5000	20
0	17	22
1	33	22
2	77	22
3	184	22
4	432	22
5	1111	22
6	2708	22
done	5000	22
0	24	65
1	56	65
2	275	31
3	2240	24
done	5000	24
0	24	65
1	57	65
2	276	29
3	2314	24
done	5001	24
0	22	65
1	54	65
2	245	27
3	1802	27
done	5001	27
0	22	65
1	58	65
2	278	29
3	2313	22
done	5000	22
0	22	65
1	59	65
2	279	27
3	2390	22
done	5000	22
0	20	65
1	56	65
2	258	25
3	1964	23
done	5000	23
0	18	45
1	34	45
2	76	45
3	173	45
4	377	45
5	896	45
6	1932	45
7	3531	45
8	4722	45
done	5001	45
0	17	22
1	33	22
2	75	22
3	172	22
4	376	22
5	896	22
6	1883	22
7	3488	22
8	4673	22
done	5000	22
0	18	65
1	41	65
2	143	23
3	810	23
done	5001	23
0	17	22
1	33	22
2	75	22
3	172	22
4	376	22
5	896	22
6	1883	22
7	3488	22
8	4673	22
done	5000	22
0	17	22
1	33	22
2	75	22
3	172	22
4	376	22
5	896	22
6	1883	22
7	3488	22
8	4673	22
done	5000	22
0	8	8
1	16	8
2	40	8
3	101	8
4	168	7
5	195	7
done	195	7
0	10	14
1	20	14
2	35	14
3	45	14
4	59	13
5	65	13
done	65	13
0	13	31
1	23	31
2	31	31
3	36	31
4	39	31
done	39	31
0	15	20
1	29	20
2	49	20
3	62	20
4	81	20
5	87	20
done	87	20
0	12	16
1	20	16
2	28	16
3	33	16
4	36	16
done	36	16
0	15	20
1	29	20
2	49	20
3	62	20
4	81	20
5	87	20
done	87	20
0	12	16
1	19	16
2	28	16
3	41	16
4	49	16
5	55	16
6	58	16
done	58	16
0	14	15
1	25	15
2	46	15
3	74	15
4	135	15
5	227	15
6	282	15
7	309	15
8	319	15
done	319	15
0	11	11
1	16	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	14	15
1	25	15
2	46	15
3	74	15
4	135	15
5	227	15
6	282	15
7	309	15
8	319	15
done	319	15
0	8	8
1	13	8
2	16	6
3	22	6
4	29	6
5	34	6
done	34	6
0	13	14
1	27	14
2	50	14
3	86	14
4	161	14
5	278	14
6	378	14
7	448	14
8	488	14
9	494	14
10	508	14
11	538	14
12	546	14
13	550	14
done	550	14
0	12	12
1	16	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	15	16
1	29	16
2	53	16
3	89	16
4	164	16
5	279	16
6	378	16
7	448	16
8	486	16
9	492	16
done	492	16
0	8	8
1	13	8
2	16	6
3	22	6
4	29	6
5	34	6
done	34	6
0	13	14
1	27	14
2	50	14
3	86	14
4	161	14
5	278	14
6	378	14
7	448	14
8	488	14
9	494	14
10	508	14
11	538	14
12	546	14
13	550	14
done	550	14
0	3	3
1	5	1
done	5	1
0	14	19
1	30	19
2	66	19
3	134	19
4	288	19
5	583	19
6	917	19
7	1148	19
8	1325	19
9	1365	19
10	1428	19
11	1578	19
12	1842	19
13	2692	19
14	3037	19
15	3274	19
16	3313	19
17	3326	19
18	3328	19
done	3328	19
0	5	5
1	7	5
2	8	5
done	8	5
0	13	17
1	26	17
2	55	15
3	127	15
4	314	15
5	784	15
6	1158	15
7	1263	15
done	1263	15
0	11	15
1	23	15
2	38	15
3	51	13
4	93	13
5	124	13
done	124	13
0	16	21
1	32	21
2	76	21
3	175	21
4	342	21
5	611	21
6	815	21
7	919	21
done	919	21
0	18	37
1	37	37
2	74	37
3	141	37
4	246	37
5	438	37
6	803	37
7	909	37
8	921	37
done	921	37
0	17	22
1	31	22
2	55	22
3	95	22
4	146	22
5	209	22
6	289	22
7	323	22
8	330	22
done	330	22
0	17	22
1	30	22
2	67	22
3	175	22
4	393	22
5	991	22
6	2327	22
7	3972	22
8	4347	22
9	4354	22
done	4354	22
0	16	17
1	27	17
2	53	17
3	108	17
4	223	17
5	467	17
6	849	17
7	1317	17
8	1445	17
9	1453	17
done	1453	17
0	14	14
1	25	14
2	51	12
3	135	12
4	359	12
5	653	12
6	1429	12
7	2048	12
8	2100	12
done	2100	12
0	17	18
1	27	18
2	53	18
3	108	18
4	219	18
5	464	18
6	868	18
7	1336	18
8	1463	18
9	1471	18
done	1471	18
0	14	14
1	25	14
2	51	12
3	135	12
4	359	12
5	653	12
6	1429	12
7	2048	12
8	2100	12
done	2100	12
0	9	9
1	17	7
2	38	7
3	79	7
4	112	7
5	160	7
6	260	7
7	356	7
8	429	7
9	469	7
done	469	7
0	10	11
1	18	11
2	38	11
3	78	11
4	130	11
5	199	11
6	317	11
7	411	11
8	455	11
9	458	11
10	472	11
11	502	11
12	510	11
13	514	11
done	514	11
0	14	19
1	27	19
2	53	19
3	89	19
4	142	19
5	194	19
6	231	19
7	255	19
done	255	19
0	10	11
1	18	11
2	38	11
3	78	11
4	130	11
5	199	11
6	317	11
7	411	11
8	455	11
9	458	11
10	472	11
11	502	11
12	510	11
13	514	11
done	514	11
0	18	31
1	52	27
2	151	27
3	492	27
4	1755	27
done	5000	27
0	14	19
1	33	19
2	81	19
3	204	19
4	502	19
5	1012	19
6	1509	19
7	2257	19
8	4315	19
done	5000	19
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	2	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	2	3
1	6	1
done	6	1
0	6	11
1	9	7
2	10	7
done	10	7
0	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	6	10
1	9	10
2	13	10
3	18	10
4	36	10
5	78	10
6	182	10
7	563	10
8	2238	10
done	5000	10
0	7	29
1	15	29
2	24	13
3	37	6
4	70	6
5	148	6
6	367	6
7	1318	6
done	5001	6
0	7	21
1	8	21
done	8	21
0	6	10
1	7	10
done	7	10
0	7	29
1	16	29
2	23	11
3	37	6
4	71	6
5	154	6
6	381	6
7	1379	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	6	10
1	8	5
done	8	5
0	7	23
1	12	23
2	14	13
3	23	7
4	38	7
5	64	7
6	136	7
7	351	7
8	1269	7
done	5000	7
0	6	11
1	7	11
done	7	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	2	3
1	4	1
done	4	1
0	5	9
1	6	9
done	6	9
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	3	3
1	6	1
done	6	1
0	7	16
1	11	16
2	13	16
done	13	16
0	6	10
1	8	10
done	8	10
0	6	6
1	10	4
2	13	4
done	13	4
0	6	10
1	8	10
done	8	10
0	6	10
1	8	10
done	8	10
0	5	9
1	6	9
done	6	9
0	11	16
1	20	12
2	31	12
3	38	12
4	44	12
5	53	12
6	66	12
7	82	12
8	85	12
done	85	12
0	11	15
1	18	15
2	26	12
3	36	12
4	42	12
5	50	12
6	62	12
7	76	12
8	91	12
done	91	12
0	10	14
1	21	14
2	35	14
3	48	12
4	63	12
5	72	12
6	81	12
7	94	12
8	110	12
9	113	12
done	113	12
0	10	14
1	18	14
2	29	14
3	36	14
4	42	14
5	48	14
6	52	14
7	68	14
8	74	14
9	83	14
10	96	14
11	121	14
12	147	14
13	162	14
14	173	14
15	189	14
16	195	14
done	195	14
0	13	41
1	31	41
2	116	19
3	430	12
4	1323	12
done	5002	12
0	13	41
1	32	41
2	115	17
3	443	12
4	1404	12
done	5000	12
0	11	29
1	19	29
2	27	29
3	32	29
4	35	29
done	35	29
0	10	14
1	18	14
2	26	14
3	31	14
4	34	14
done	34	14
0	11	41
1	26	41
2	83	15
3	350	15
4	1400	15
5	4604	12
done	5000	12
0	10	14
1	18	14
2	26	14
3	31	14
4	34	14
done	34	14
0	10	14
1	18	14
2	26	14
3	31	14
4	34	14
done	34	14
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	10
1	10	10
done	10	10
0	7	11
1	10	11
done	10	11
0	7	11
1	10	11
done	10	11
0	10	14
1	15	14
2	18	14
3	19	14
done	19	14
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	6	6
1	9	6
done	9	6
0	8	8
1	14	8
2	17	8
3	19	8
done	19	8
0	10	10
1	12	10
done	12	10
0	10	10
1	16	10
2	19	10
3	21	10
done	21	10
0	6	6
1	9	6
done	9	6
0	8	8
1	14	8
2	17	8
3	19	8
done	19	8
0	7	11
1	12	11
done	12	11
0	9	13
1	14	13
2	20	13
3	23	13
4	25	13
done	25	13
0	8	8
1	14	8
2	17	8
3	19	8
done	19	8
0	10	14
1	15	14
2	18	14
3	19	14
done	19	14
0	10	14
1	15	14
2	18	14
3	19	14
done	19	14
0	9	13
1	14	13
2	20	13
3	23	13
4	25	13
done	25	13
0	11	15
1	16	15
2	22	15
3	25	15
4	27	15
done	27	15
0	9	13
1	14	13
2	20	13
3	23	13
4	25	13
done	25	13
0	13	21
1	30	19
2	83	19
3	157	19
4	196	19
5	201	19
6	202	19
done	202	19
0	9	13
1	20	13
2	35	13
done	35	13
0	17	32
1	38	32
2	115	32
3	226	23
4	577	16
5	1962	16
done	5000	16
0	17	32
1	39	30
2	108	30
3	221	23
4	617	23
5	2629	18
done	5000	18
0	17	32
1	39	30
2	108	30
3	221	23
4	617	23
5	2629	18
done	5000	18
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	6	6
1	12	6
2	20	6
3	31	6
4	58	6
5	122	6
6	341	6
7	1367	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	31	6
4	58	6
5	122	6
6	341	6
7	1367	6
done	5000	6
0	6	6
1	12	6
2	20	6
3	31	6
4	58	6
5	122	6
6	341	6
7	1367	6
done	5000	6
0	13	19
1	25	19
2	51	17
3	99	17
4	239	17
5	778	17
6	3601	17
done	5000	17
0	13	19
1	25	19
2	51	17
3	99	17
4	239	17
5	778	17
6	3601	17
done	5000	17
0	13	19
1	25	19
2	51	17
3	99	17
4	239	17
5	778	17
6	3601	17
done	5000	17

prune271.0ms

Filtered

93 candidates to 130 candidates (-39.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	124	6	130
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	132	12	144

Merged error: 0.0b

Counts

144 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (fabs (* w r)))
0.3b	(* (/ 1 (fabs (* w r))) (/ (- 1.0 v) (fabs (* w r))))
0.6b	(/ 2.0 (* r r))
5.9b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (* (/ 1 (fabs (* w r))) (/ (- 1.0 v) (fabs (* w r)))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-exp-log`
64×	`add-cbrt-cube`
53×	`add-sqr-sqrt`
46×	`div-exp`
44×	`times-frac`
38×	`*-un-lft-identity`
34×	`prod-exp`
30×	`add-cube-cbrt`
25×	`cbrt-undiv`
19×	`associate-r`
18×	`cbrt-unprod`
13×	`associate-l`
7×	`pow1` `rec-exp` `1-exp` `associate-/l*`
6×	`unswap-sqr`
5×	`associate-/r*` `div-inv`
4×	`associate-*r/` `add-log-exp`
3×	`frac-2neg` `clear-num` `associate-/r/` `distribute-lft-out--` `difference-of-squares`
2×	`frac-times` `associate-*l/` `associate-/l/`
1×	`flip3--` `pow-flip` `pow-prod-down` `*-commutative` `flip--` `inv-pow`

Counts

4 → 160

Calls

4 calls:

4.0ms	(/ 1 (fabs (* w r)))
19.0ms	(* (/ 1 (fabs (* w r))) (/ (- 1.0 v) (fabs (* w r))))
5.0ms	(/ 2.0 (* r r))
16.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (* (/ 1 (fabs (* w r))) (/ (- 1.0 v) (fabs (* w r)))))

series54.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1 (fabs (* w r)))
21.0ms	(* (/ 1 (fabs (* w r))) (/ (- 1.0 v) (fabs (* w r))))
4.0ms	(/ 2.0 (* r r))
25.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (* (/ 1 (fabs (* w r))) (/ (- 1.0 v) (fabs (* w r)))))

simplify4.1min

Counts

172 → 172

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	21	27
1	38	27
2	76	26
3	161	23
4	308	22
5	561	22
6	961	22
7	1246	22
8	1269	22
done	1269	22
0	21	26
1	40	26
2	79	25
3	152	25
4	277	22
5	520	22
6	916	22
7	1212	22
8	1237	22
done	1237	22
0	22	28
1	43	27
2	106	26
3	294	23
4	627	22
5	1342	22
6	1934	22
7	1950	22
done	1950	22
0	22	27
1	45	26
2	103	25
3	254	25
4	614	22
5	1294	22
6	1910	22
7	2070	22
done	2070	22
0	23	29
1	46	28
2	109	26
3	284	26
4	663	22
5	1451	22
6	2061	22
7	2077	22
done	2077	22
0	23	28
1	48	27
2	103	26
3	256	25
4	614	23
5	1292	22
6	1909	22
7	2067	22
done	2067	22
0	23	28
1	45	27
2	94	26
3	258	23
4	581	22
5	1149	22
6	1849	22
7	2050	22
done	2050	22
0	22	27
1	47	26
2	93	25
3	216	25
4	514	22
5	1057	22
6	1874	22
7	2153	22
done	2153	22
0	21	26
1	45	26
2	90	24
3	234	24
4	567	22
5	1151	22
6	1993	22
7	2466	22
8	2489	22
done	2489	22
0	20	26
1	38	26
2	75	25
3	166	22
4	314	21
5	519	21
6	843	21
7	1297	21
8	1338	21
done	1338	21
0	20	25
1	40	25
2	79	24
3	163	24
4	288	21
5	513	21
6	838	21
7	1287	21
8	1330	21
done	1330	21
0	21	27
1	43	26
2	103	25
3	276	22
4	572	21
5	1163	21
6	1762	21
7	1801	21
done	1801	21
0	21	26
1	45	25
2	101	24
3	247	24
4	570	21
5	1112	21
6	1812	21
7	2149	21
done	2149	21
0	22	28
1	46	27
2	105	25
3	271	25
4	612	21
5	1286	21
6	1892	21
7	1931	21
done	1931	21
0	22	27
1	48	26
2	101	25
3	249	24
4	570	22
5	1110	21
6	1800	21
7	2128	21
done	2128	21
0	22	27
1	45	26
2	93	25
3	248	22
4	529	21
5	1019	21
6	1768	21
7	2096	21
done	2096	21
0	21	26
1	47	25
2	93	24
3	219	24
4	488	21
5	941	21
6	1819	21
7	2280	21
done	2280	21
0	20	25
1	45	25
2	93	23
3	251	23
4	559	21
5	1082	21
6	1917	21
7	2630	21
8	2656	21
done	2656	21
0	19	24
1	46	24
2	133	22
3	529	22
4	1777	22
5	4691	20
done	5000	20
0	19	24
1	43	24
2	113	22
3	462	22
4	1542	22
5	4220	22
done	5000	22
0	28	71
1	71	67
2	351	31
3	3901	29
done	5000	29
0	28	71
1	73	67
2	339	29
3	3059	29
done	5000	29
0	28	71
1	71	71
2	376	33
3	3719	29
done	5001	29
0	26	71
1	70	71
2	358	31
3	3147	31
done	5000	31
0	24	71
1	64	71
2	368	27
3	3604	27
done	5000	27
0	26	71
1	73	67
2	360	29
3	3963	27
done	5000	27
0	26	71
1	75	67
2	345	27
3	3217	27
done	5001	27
0	26	71
1	73	71
2	388	31
3	3888	27
done	5000	27
0	24	71
1	72	71
2	367	29
3	3394	29
done	5000	29
0	22	71
1	66	71
2	379	25
3	3906	23
done	5000	23
0	20	49
1	44	49
2	112	45
3	445	45
4	1439	45
5	3667	45
done	5000	45
0	19	24
1	43	24
2	111	22
3	444	22
4	1442	22
5	3700	22
done	5000	22
0	20	71
1	51	71
2	209	23
3	1805	23
done	5001	23
0	19	24
1	43	24
2	111	22
3	444	22
4	1442	22
5	3700	22
done	5000	22
0	19	24
1	43	24
2	111	22
3	444	22
4	1442	22
5	3700	22
done	5000	22
0	8	8
1	16	8
2	40	8
3	101	8
4	168	7
5	195	7
done	195	7
0	12	16
1	29	16
2	59	14
3	213	14
4	627	13
5	843	13
6	1133	13
7	1246	13
8	1382	13
9	1384	13
done	1384	13
0	8	8
1	13	8
2	16	6
3	22	6
4	29	6
5	34	6
done	34	6
0	13	14
1	27	14
2	50	14
3	86	14
4	161	14
5	278	14
6	378	14
7	448	14
8	488	14
9	494	14
10	508	14
11	538	14
12	546	14
13	550	14
done	550	14
0	12	17
1	27	17
2	54	13
3	174	13
4	351	13
5	474	13
6	689	13
7	811	13
8	845	13
done	845	13
0	18	23
1	42	23
2	108	21
3	446	21
4	1592	21
5	3161	21
done	5000	21
0	14	14
1	25	14
2	51	12
3	135	12
4	359	12
5	653	12
6	1429	12
7	2048	12
8	2100	12
done	2100	12
0	16	21
1	34	21
2	71	19
3	280	19
4	882	19
5	1602	19
6	3556	19
done	5000	19
0	12	13
1	28	11
2	79	11
3	180	11
4	399	11
5	904	11
6	2383	11
7	3863	11
done	5001	11
0	17	18
1	36	18
2	96	16
3	294	16
4	801	16
5	2126	16
done	5000	16
0	17	18
1	39	16
2	114	16
3	286	16
4	791	16
5	2060	16
done	5000	16
0	20	33
1	59	29
2	188	27
3	809	27
4	4096	27
done	5000	27
0	16	21
1	40	21
2	120	19
3	465	19
4	1691	19
5	2630	19
6	4082	19
done	5000	19
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	11	15
1	24	15
2	41	13
3	128	13
4	261	13
5	324	13
6	395	13
7	414	13
8	418	13
done	418	13
0	12	17
1	19	17
2	24	16
3	35	13
4	44	12
5	53	12
6	67	12
7	77	12
8	80	12
done	80	12
0	12	16
1	21	16
2	30	15
3	42	15
4	54	12
5	62	12
6	72	12
7	80	12
8	90	12
9	93	12
done	93	12
0	13	18
1	24	17
2	49	16
3	112	13
4	219	12
5	281	12
6	298	12
done	298	12
0	13	17
1	26	16
2	49	15
3	93	15
4	214	12
5	297	12
6	319	12
done	319	12
0	14	19
1	27	18
2	50	16
3	112	16
4	248	12
5	342	12
6	360	12
done	360	12
0	14	18
1	29	17
2	49	16
3	95	15
4	212	13
5	284	12
6	295	12
7	310	12
done	310	12
0	14	18
1	26	17
2	40	16
3	88	13
4	161	12
5	213	12
6	232	12
done	232	12
0	13	17
1	28	16
2	42	15
3	76	15
4	152	12
5	212	12
6	266	12
done	266	12
0	12	16
1	28	16
2	53	14
3	158	14
4	346	12
5	502	12
6	642	12
7	727	12
8	731	12
done	731	12
0	12	16
1	27	16
2	50	14
3	173	14
4	411	14
5	763	14
6	1866	14
done	5000	14
0	17	47
1	43	43
2	157	19
3	980	17
4	4308	12
done	5001	12
0	17	47
1	45	43
2	131	17
3	615	17
4	3145	17
done	5001	17
0	17	47
1	43	47
2	161	21
3	737	17
4	3130	17
done	5000	17
0	15	47
1	42	47
2	130	19
3	519	19
4	2357	15
done	5001	15
0	13	33
1	26	33
2	43	29
3	130	29
4	261	29
5	324	29
6	394	29
7	415	29
8	420	29
done	420	29
0	12	16
1	25	16
2	42	14
3	129	14
4	263	14
5	326	14
6	397	14
7	418	14
8	423	14
done	423	14
0	13	47
1	36	47
2	126	15
3	552	15
4	2374	15
done	5001	15
0	12	16
1	25	16
2	42	14
3	129	14
4	263	14
5	326	14
6	397	14
7	418	14
8	423	14
done	423	14
0	12	16
1	25	16
2	42	14
3	129	14
4	263	14
5	326	14
6	397	14
7	418	14
8	423	14
done	423	14
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	9
1	6	9
done	6	9
0	13	17
1	22	17
2	25	17
3	27	17
done	27	17
0	13	17
1	22	17
2	25	17
3	27	17
done	27	17
0	14	18
1	22	18
2	26	18
3	30	18
4	31	18
done	31	18
0	14	18
1	22	18
2	26	18
3	30	18
4	31	18
done	31	18
0	14	18
1	25	17
2	31	17
3	35	15
4	49	15
5	51	15
done	51	15
0	14	18
1	25	17
2	31	17
3	35	15
4	49	15
5	51	15
done	51	15
0	14	19
1	24	18
2	33	18
3	45	16
4	95	9
5	100	9
done	100	9
0	14	19
1	24	18
2	33	18
3	45	16
4	95	9
5	100	9
done	100	9
0	13	17
1	24	17
2	30	15
3	45	15
4	50	15
done	50	15
0	13	17
1	24	17
2	30	15
3	45	15
4	50	15
done	50	15
0	13	18
1	23	18
2	32	16
3	73	16
4	121	9
5	123	9
done	123	9
0	13	18
1	23	18
2	32	16
3	73	16
4	121	9
5	123	9
done	123	9
0	13	26
1	26	26
2	37	24
3	67	24
4	84	24
5	88	24
6	103	24
7	134	24
8	145	24
9	157	24
10	174	24
11	190	24
12	195	24
done	195	24
0	12	16
1	23	16
2	29	14
3	44	14
4	51	14
5	55	14
6	70	14
7	101	14
8	112	14
9	124	14
10	141	14
11	157	14
12	162	14
done	162	14
0	15	28
1	31	28
2	73	26
3	221	26
4	515	26
5	812	26
6	834	26
done	834	26
0	14	22
1	26	22
2	45	20
3	122	20
4	240	20
5	305	20
6	317	20
done	317	20
0	13	18
1	25	16
2	52	14
3	179	14
4	234	14
5	235	14
done	235	14
0	14	23
1	26	23
2	46	21
3	120	21
4	247	21
5	388	21
6	399	21
done	399	21
0	13	17
1	23	17
2	33	15
3	72	15
4	116	15
5	155	15
6	164	15
done	164	15
0	12	13
1	22	11
2	36	9
3	80	9
4	93	9
done	93	9
0	10	20
1	20	20
2	38	18
3	86	18
4	134	18
done	134	18
0	9	14
1	17	14
2	26	12
3	45	12
4	54	12
done	54	12
0	8	10
1	16	6
2	20	6
3	27	6
done	27	6
0	15	24
1	26	24
2	53	22
3	137	22
4	318	22
5	536	22
6	640	22
7	746	22
8	756	22
done	756	22
0	14	18
1	23	18
2	40	16
3	91	16
4	173	16
5	246	16
6	285	16
7	311	16
done	311	16
0	13	14
1	22	12
2	51	10
3	113	10
4	146	10
5	206	10
6	223	10
done	223	10
0	10	20
1	20	20
2	38	18
3	86	18
4	134	18
done	134	18
0	9	14
1	17	14
2	26	12
3	45	12
4	54	12
done	54	12
0	8	10
1	16	6
2	20	6
3	27	6
done	27	6
0	7	8
1	13	6
done	13	6
0	10	10
1	18	10
2	34	8
3	73	8
4	109	8
5	134	8
6	138	8
7	140	8
done	140	8
0	12	16
1	23	16
2	35	16
3	52	16
4	75	16
5	94	16
6	101	16
7	102	16
done	102	16
0	12	16
1	23	16
2	35	16
3	52	16
4	75	16
5	94	16
6	101	16
7	102	16
done	102	16
0	13	17
1	26	16
2	44	16
3	92	14
4	231	14
5	373	14
6	489	14
7	590	14
8	619	14
9	621	14
done	621	14
0	13	17
1	26	16
2	44	16
3	92	14
4	231	14
5	373	14
6	489	14
7	590	14
8	619	14
9	621	14
done	621	14
0	12	16
1	25	15
2	42	15
3	85	13
4	220	13
5	289	13
6	362	13
7	395	13
8	402	13
done	402	13
0	13	17
1	26	16
2	44	16
3	92	14
4	231	14
5	373	14
6	489	14
7	590	14
8	619	14
9	621	14
done	621	14
0	13	17
1	26	16
2	44	16
3	92	14
4	231	14
5	373	14
6	489	14
7	590	14
8	619	14
9	621	14
done	621	14
0	12	16
1	25	15
2	42	15
3	85	13
4	220	13
5	289	13
6	362	13
7	395	13
8	402	13
done	402	13
0	12	16
1	25	16
2	43	14
3	116	14
4	251	14
5	388	14
6	511	14
7	609	14
8	636	14
9	641	14
done	641	14
0	12	16
1	25	16
2	43	14
3	116	14
4	251	14
5	388	14
6	511	14
7	609	14
8	636	14
9	641	14
done	641	14
0	11	15
1	24	15
2	41	13
3	128	13
4	261	13
5	324	13
6	395	13
7	414	13
8	418	13
done	418	13
0	11	15
1	24	15
2	41	13
3	128	13
4	261	13
5	324	13
6	395	13
7	414	13
8	418	13
done	418	13
0	11	15
1	24	15
2	41	13
3	128	13
4	261	13
5	324	13
6	395	13
7	414	13
8	418	13
done	418	13
0	10	10
1	18	10
2	34	8
3	73	8
4	109	8
5	134	8
6	138	8
7	140	8
done	140	8
0	10	10
1	21	8
2	40	8
3	65	8
4	102	8
5	128	8
6	145	8
7	147	8
done	147	8
0	2	2
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	7	7
1	10	6
2	14	6
3	16	6
4	22	6
5	27	6
done	27	6
0	8	8
1	13	7
2	14	6
3	20	6
4	26	6
5	31	6
done	31	6
0	7	7
1	14	6
2	15	6
3	19	6
4	21	6
5	27	6
6	32	6
done	32	6
0	7	7
1	10	7
done	10	7
0	10	20
1	21	16
2	33	8
3	58	8
4	84	8
5	110	8
6	183	8
7	395	8
8	1322	8
done	5000	8
0	8	15
1	11	15
done	11	15
0	7	7
1	10	7
done	10	7
0	8	20
1	18	20
2	34	8
3	71	8
4	87	8
5	115	8
6	178	8
7	347	8
8	841	8
9	2895	8
done	5000	8
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	2	2
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	10	17
1	19	15
2	28	13
3	34	13
done	34	13
0	8	8
1	11	7
done	11	7
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	11	7
done	11	7
0	4	7
1	8	3
2	12	1
done	12	1
0	7	7
1	10	6
done	10	6
0	9	14
1	14	13
done	14	13
0	8	8
1	11	7
done	11	7
0	8	8
1	11	7
done	11	7
0	8	8
1	11	7
done	11	7
0	3	4
1	5	1
done	5	1
0	7	7
1	10	6
done	10	6
0	8	13
1	13	13
done	13	13
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	6	6
1	9	4
2	11	4
done	11	4
0	8	13
1	13	13
done	13	13
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	7	7
1	10	6
done	10	6
0	7	7
1	10	6
done	10	6
0	6	6
1	9	4
2	11	4
done	11	4
0	17	32
1	38	32
2	115	32
3	226	23
4	577	16
5	1962	16
done	5000	16
0	17	32
1	39	30
2	108	30
3	221	23
4	617	23
5	2629	18
done	5000	18
0	17	32
1	39	30
2	108	30
3	221	23
4	617	23
5	2629	18
done	5000	18
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	13	19
1	25	19
2	51	17
3	99	17
4	239	17
5	778	17
6	3601	17
done	5000	17
0	13	19
1	25	19
2	51	17
3	99	17
4	239	17
5	778	17
6	3601	17
done	5000	17
0	13	19
1	25	19
2	51	17
3	99	17
4	239	17
5	778	17
6	3601	17
done	5000	17
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6

prune288.0ms

Filtered

116 candidates to 172 candidates (-48.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	169	3	172
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	171	13	184

Merged error: 0.0b

Counts

184 → 13

regimes417.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	31
1	26	31
done	26	31

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.5s

17066×

body

valid

Details

sample100.0ms

simplify2.2s

prune10.0ms

localize21.0ms

rewrite61.0ms

series79.0ms

simplify6.2min

prune314.0ms

localize24.0ms

rewrite38.0ms

series55.0ms

simplify4.5min

prune258.0ms

localize21.0ms

rewrite36.0ms

series60.0ms

simplify3.3min

prune271.0ms

localize21.0ms

rewrite52.0ms

series54.0ms

simplify4.1min

prune288.0ms

regimes417.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.2s

Profiling