Details

sample41.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
14.0ms	270×	body	80	nan

simplify1.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	20
1	32	20
2	88	20
3	233	20
4	452	20
5	725	20
6	932	20
7	957	20
done	957	20

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 1.0b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* 3.0 PI) (- 1.0 (* v v)))
0.0b	(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
0.2b	(* 6.0 (* v v))
1.0b	(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 109

Calls

4 calls:

8.0ms	(* (* 3.0 PI) (- 1.0 (* v v)))
14.0ms	(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
6.0ms	(* 6.0 (* v v))
14.0ms	(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

series52.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (* 3.0 PI) (- 1.0 (* v v)))
20.0ms	(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
3.0ms	(* 6.0 (* v v))
19.0ms	(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify4.9min

Counts

121 → 121

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	25
1	39	25
2	93	25
3	216	25
4	511	25
5	1002	25
6	1891	25
7	3049	25
8	3181	25
done	3181	25
0	20	24
1	39	24
2	84	24
3	188	24
4	445	24
5	955	24
6	1773	24
7	3010	24
8	3150	24
done	3150	24
0	19	23
1	38	23
2	93	23
3	216	23
4	476	23
5	955	23
6	1575	23
7	2679	23
8	2821	23
done	2821	23
0	18	22
1	37	22
2	100	22
3	263	22
4	621	22
5	1210	22
6	1937	22
7	3006	22
8	3963	22
9	4007	22
done	4007	22
0	17	21
1	36	21
2	103	21
3	297	21
4	704	21
5	1319	21
6	1963	21
7	2881	21
8	4032	21
9	4163	21
done	4163	21
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	26	62
1	60	52
2	298	30
3	2582	30
done	5001	30
0	24	62
1	62	52
2	300	28
3	2626	28
done	5000	28
0	22	62
1	57	52
2	298	26
3	2576	26
done	5001	26
0	20	62
1	52	62
2	253	24
3	2500	22
done	5000	22
0	18	43
1	34	43
2	90	43
3	238	43
4	461	43
5	714	43
6	914	43
7	931	43
done	931	43
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	18	62
1	41	62
2	154	22
3	1082	22
done	5001	22
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	2	2
done	2	2
0	15	19
1	33	19
2	101	19
3	315	19
4	849	18
5	1716	18
6	2534	18
7	2839	18
8	3056	18
9	3333	18
10	3346	18
done	3346	18
0	12	15
1	25	15
2	74	15
3	195	15
4	335	15
5	500	15
6	742	15
7	980	15
8	1050	15
done	1050	15
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	11	12
1	19	12
2	48	12
3	103	12
4	154	12
5	192	12
6	204	12
done	204	12
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	10	11
1	20	11
2	49	11
3	102	11
4	155	11
5	195	11
6	207	11
done	207	11
0	9	10
1	14	10
2	27	10
3	39	10
done	39	10
0	16	20
1	34	20
2	90	20
3	239	20
4	461	20
5	690	20
6	870	20
7	885	20
done	885	20
0	16	20
1	32	20
2	91	20
3	253	20
4	611	20
5	1280	20
6	2523	20
7	3807	20
8	4184	20
9	4194	20
done	4194	20
0	10	11
1	18	11
2	47	11
3	100	11
4	154	11
5	196	11
6	208	11
done	208	11
0	17	21
1	33	21
2	92	21
3	255	21
4	618	21
5	1294	21
6	2475	21
7	3729	21
8	4102	21
9	4110	21
done	4110	21
0	17	21
1	33	21
2	92	21
3	255	21
4	618	21
5	1294	21
6	2475	21
7	3729	21
8	4102	21
9	4110	21
done	4110	21
0	16	20
1	32	20
2	91	20
3	253	20
4	611	20
5	1280	20
6	2523	20
7	3807	20
8	4184	20
9	4194	20
done	4194	20
0	21	28
1	64	28
2	216	26
3	945	26
4	4130	26
done	5000	26
0	21	32
1	61	32
2	185	28
3	671	26
4	2699	26
done	5000	26
0	21	30
1	60	30
2	194	28
3	835	26
4	2894	26
done	5000	26
0	20	34
1	52	34
2	160	30
3	590	26
4	1861	26
5	4612	26
done	5000	26
0	19	24
1	51	24
2	167	24
3	642	24
4	2015	24
5	4995	24
done	5000	24
0	18	28
1	44	28
2	134	28
3	413	26
4	901	24
5	1377	24
6	1981	24
7	3246	24
done	5000	24
0	19	24
1	50	24
2	146	22
3	509	22
4	2271	22
done	5001	22
0	18	26
1	41	26
2	116	24
3	420	22
4	1473	22
5	3848	22
done	5000	22
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	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	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	224	7
4	365	7
5	531	7
6	1425	7
7	4784	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	3	3
1	4	3
done	4	3
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	5
1	7	5
2	9	5
done	9	5
0	14	18
1	28	18
2	75	18
3	182	18
4	375	18
5	601	18
6	770	18
7	783	18
done	783	18
0	14	18
1	28	18
2	75	18
3	182	18
4	375	18
5	601	18
6	770	18
7	783	18
done	783	18
0	14	18
1	28	18
2	75	18
3	182	18
4	375	18
5	601	18
6	770	18
7	783	18
done	783	18
0	18	22
1	32	22
2	67	22
3	105	22
4	107	22
done	107	22
0	17	21
1	32	21
2	60	21
3	96	21
4	108	21
done	108	21
0	16	20
1	31	20
2	75	20
3	157	20
4	236	20
5	270	20
6	282	20
done	282	20
0	15	19
1	32	19
2	89	19
3	224	19
4	470	19
5	706	19
6	866	19
7	874	19
done	874	19
0	15	19
1	31	19
2	91	19
3	243	19
4	597	19
5	1335	19
6	3354	19
done	5000	19
0	22	56
1	48	46
2	203	26
3	1373	26
done	5000	26
0	20	56
1	50	46
2	205	24
3	1417	24
done	5000	24
0	18	56
1	45	46
2	213	22
3	1526	22
done	5000	22
0	16	39
1	30	39
2	77	39
3	183	39
4	378	39
5	619	39
6	791	39
7	802	39
done	802	39
0	15	19
1	29	19
2	76	19
3	181	19
4	369	19
5	606	19
6	782	19
7	790	19
done	790	19
0	16	56
1	40	56
2	164	20
3	1159	20
done	5000	20
0	15	19
1	29	19
2	76	19
3	181	19
4	369	19
5	606	19
6	782	19
7	790	19
done	790	19
0	15	19
1	29	19
2	76	19
3	181	19
4	369	19
5	606	19
6	782	19
7	790	19
done	790	19
0	19	26
1	60	26
2	203	24
3	897	24
4	3963	24
done	5000	24
0	18	42
1	50	32
2	139	32
3	278	30
4	369	30
5	499	30
6	887	30
7	2257	30
done	5000	30
0	19	30
1	57	30
2	172	26
3	610	24
4	2522	24
done	5001	24
0	14	26
1	32	22
2	66	22
3	127	20
4	191	20
5	250	20
6	415	20
7	976	20
8	3361	20
done	5000	20
0	19	28
1	56	28
2	181	26
3	757	24
4	2787	24
done	5001	24
0	14	30
1	35	24
2	100	24
3	194	24
4	222	24
5	255	24
6	363	24
7	676	24
8	1756	24
done	5001	24
0	18	32
1	48	32
2	147	28
3	522	24
4	1694	24
5	4469	24
done	5000	24
0	10	14
1	16	14
2	26	14
3	30	14
done	30	14
0	16	29
1	32	29
2	88	29
3	239	29
4	546	29
5	1036	29
6	1475	29
7	1646	29
done	1646	29
0	16	28
1	31	19
2	78	19
3	184	19
4	375	19
5	626	19
6	799	19
7	812	19
done	812	19
0	15	19
1	29	19
2	76	19
3	182	19
4	371	19
5	622	19
6	790	19
7	802	19
done	802	19
0	11	12
1	22	11
2	58	11
3	153	9
4	351	9
5	549	9
6	662	9
7	743	9
done	743	9
0	15	19
1	29	19
2	76	19
3	182	19
4	371	19
5	622	19
6	790	19
7	802	19
done	802	19
0	10	11
1	21	9
2	63	9
3	170	9
4	364	9
5	584	9
6	713	9
7	821	9
done	821	9
0	10	14
1	18	14
2	39	14
3	63	14
4	72	14
5	76	14
done	76	14
0	17	22
1	47	22
2	154	22
3	587	22
4	1922	22
done	5000	22
0	16	26
1	40	26
2	121	26
3	358	24
4	796	22
5	1330	22
6	1918	22
7	3193	22
done	5000	22
0	17	22
1	46	22
2	133	20
3	451	20
4	2088	20
done	5000	20
0	16	24
1	37	24
2	103	22
3	353	20
4	1277	20
5	3678	20
done	5000	20
0	8	9
1	14	9
2	36	9
3	78	9
4	124	9
5	162	9
6	174	9
done	174	9
0	8	9
1	14	9
2	36	9
3	78	9
4	124	9
5	162	9
6	174	9
done	174	9
0	11	12
1	17	12
2	27	12
done	27	12
0	10	11
1	17	11
2	26	11
3	30	11
done	30	11
0	9	10
1	18	10
2	47	10
3	101	10
4	151	10
5	197	10
6	209	10
done	209	10
0	9	10
1	17	10
2	50	10
3	126	10
4	273	10
5	595	10
6	1671	10
done	5001	10
0	14	29
1	29	29
2	116	15
3	563	15
4	3494	13
done	5001	13
0	12	29
1	31	29
2	120	13
3	587	13
4	3554	11
done	5000	11
0	10	21
1	16	21
2	38	21
3	80	21
4	130	21
5	174	21
6	186	21
done	186	21
0	9	10
1	15	10
2	37	10
3	79	10
4	131	10
5	173	10
6	185	10
done	185	10
0	10	29
1	26	29
2	130	11
3	746	11
4	4229	11
done	5000	11
0	9	10
1	15	10
2	37	10
3	79	10
4	131	10
5	173	10
6	185	10
done	185	10
0	9	10
1	15	10
2	37	10
3	79	10
4	131	10
5	173	10
6	185	10
done	185	10
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	16	8
2	43	8
3	87	8
4	120	8
5	127	8
done	127	8
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	16	8
2	43	8
3	87	8
4	120	8
5	127	8
done	127	8
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	16	8
2	43	8
3	89	8
4	120	8
5	126	8
done	126	8
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	16	8
2	43	8
3	89	8
4	120	8
5	126	8
done	126	8
0	10	17
1	18	17
2	35	17
3	47	17
done	47	17
0	9	10
1	15	10
2	25	10
done	25	10
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	8	8
1	19	8
2	46	8
3	54	8
done	54	8
0	6	7
1	9	7
2	19	7
3	32	7
4	39	7
5	43	7
done	43	7
0	11	13
1	32	13
2	93	11
3	331	11
4	1333	11
done	5001	11
0	10	15
1	23	15
2	64	13
3	227	11
4	660	11
5	1520	11
6	3422	11
done	5000	11
0	35	63
1	98	61
2	336	59
3	1276	48
done	5000	45
0	41	73
1	121	71
2	399	63
3	1487	59
done	5001	59
0	41	73
1	121	71
2	399	63
3	1483	59
done	5001	59
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	29	52
1	81	52
2	262	52
3	883	43
4	4142	37
done	5000	37
0	28	53
1	83	51
2	248	49
3	752	43
4	2309	38
done	5000	38
0	28	53
1	83	51
2	248	49
3	753	45
4	2176	38
done	5000	38
0	9	11
1	23	9
2	62	9
3	130	9
4	199	9
5	216	9
6	257	9
7	325	9
8	624	9
9	1781	9
done	5000	9
0	9	11
1	23	9
2	62	9
3	130	9
4	199	9
5	216	9
6	257	9
7	325	9
8	624	9
9	1781	9
done	5000	9
0	9	11
1	23	9
2	62	9
3	130	9
4	199	9
5	216	9
6	257	9
7	325	9
8	624	9
9	1781	9
done	5000	9

prune283.0ms

Filtered

99 candidates to 121 candidates (-22.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	3	122

Merged error: 0b

Counts

122 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3))
0.2b	(* 6.0 (* v v))
1.0b	(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))
1.0b	(pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

40×	`associate-*r/` `associate-/r/`
38×	`add-exp-log` `add-cbrt-cube`
36×	`cbrt-prod`
30×	`unpow-prod-down` `flip3--` `sqrt-div` `cube-prod` `flip--`
20×	`frac-times`
18×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
15×	`times-frac` `prod-exp` `cbrt-unprod`
10×	`pow1` `associate-*l/`
8×	`cbrt-undiv` `div-exp`
5×	`pow-exp` `div-inv` `rem-cube-cbrt`
4×	`add-log-exp`
3×	`pow-unpow` `associate-l` `pow-prod-down` `associate-/l*`
2×	`cube-div` `cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `associate-r` `clear-num` `associate-/r` `-commutative` `rem-cbrt-cube` `unswap-sqr`

Counts

4 → 154

Calls

4 calls:

9.0ms	(cbrt (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3))
7.0ms	(* 6.0 (* v v))
15.0ms	(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))
16.0ms	(pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3)

series85.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(cbrt (pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3))
3.0ms	(* 6.0 (* v v))
19.0ms	(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))
46.0ms	(pow (/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))) 3)

simplify9.2min

Counts

166 → 166

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	23	27
1	42	27
2	102	27
3	249	27
4	701	27
5	1597	27
6	2960	27
7	4997	27
done	5000	27
0	22	26
1	42	26
2	93	26
3	220	26
4	606	26
5	1482	26
6	2828	26
7	4907	26
done	5000	26
0	21	25
1	41	25
2	102	25
3	242	25
4	597	25
5	1368	25
6	2508	25
7	4223	25
done	5000	25
0	20	24
1	40	24
2	109	24
3	284	24
4	747	24
5	1592	24
6	2830	24
7	4392	24
done	5001	24
0	19	23
1	39	23
2	106	23
3	305	23
4	739	23
5	1529	23
6	2615	23
7	3988	23
done	5000	23
0	19	23
1	39	23
2	106	23
3	305	23
4	739	23
5	1529	23
6	2615	23
7	3988	23
done	5000	23
0	3	3
1	6	1
done	6	1
0	20	26
1	40	26
2	103	26
3	274	26
4	559	26
5	978	26
6	1803	26
7	4250	26
done	5000	26
0	19	23
1	39	23
2	100	23
3	264	23
4	531	23
5	909	23
6	1445	23
7	3080	23
done	5000	23
0	18	22
1	41	20
2	104	20
3	260	20
4	515	20
5	845	20
6	1239	20
7	2192	20
done	5000	20
0	20	45
1	46	45
2	123	23
3	330	23
4	1270	23
done	5001	23
0	19	23
1	43	20
2	105	20
3	263	20
4	514	20
5	818	20
6	1210	20
7	2154	20
done	5001	20
0	19	23
1	43	23
2	105	23
3	280	23
4	683	23
5	1501	23
6	2713	23
7	4867	23
done	5000	23
0	19	23
1	43	23
2	105	23
3	280	23
4	683	23
5	1501	23
6	2713	23
7	4867	23
done	5000	23
0	14	17
1	38	17
2	154	17
3	931	15
done	5000	15
0	12	13
1	28	13
2	65	12
3	113	12
4	184	12
5	364	12
6	810	12
7	2510	12
done	5001	12
0	13	14
1	32	14
2	102	14
3	483	14
4	3930	14
done	5000	14
0	12	13
1	28	13
2	65	13
3	135	13
4	299	13
5	833	13
6	3614	13
done	5001	13
0	12	13
1	33	13
2	98	13
3	422	13
4	3127	13
done	5000	13
0	11	12
1	27	12
2	64	12
3	134	12
4	307	12
5	871	12
6	3781	12
done	5001	12
0	3	3
1	13	1
done	13	1
0	18	22
1	45	22
2	142	22
3	703	22
done	5001	22
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	18	22
1	47	22
2	139	22
3	639	22
done	5000	22
0	22	30
1	73	30
2	263	28
3	1422	28
done	5000	28
0	20	44
1	63	34
2	186	34
3	599	32
4	2937	32
done	5000	32
0	22	34
1	70	34
2	232	30
3	1129	28
done	5001	28
0	16	28
1	45	24
2	113	24
3	450	22
4	2637	22
done	5000	22
0	22	32
1	69	32
2	241	30
3	1306	28
done	5001	28
0	16	32
1	48	26
2	148	26
3	395	26
4	1085	26
5	4956	26
done	5000	26
0	22	36
1	65	36
2	215	32
3	1068	28
done	5000	28
0	12	16
1	29	16
2	74	16
3	238	16
4	782	16
5	2896	16
done	5000	16
0	20	26
1	60	26
2	214	26
3	1097	26
done	5000	26
0	13	26
1	40	20
2	103	20
3	222	20
4	402	20
5	855	20
6	1289	20
7	3038	20
done	5000	20
0	20	30
1	57	30
2	188	30
3	882	28
done	5000	28
0	9	10
1	21	10
2	29	10
3	48	10
4	85	10
5	158	10
6	371	10
7	1292	10
done	5000	10
0	20	26
1	59	26
2	193	24
3	967	24
done	5001	24
0	10	19
1	31	15
2	82	15
3	345	13
4	2002	13
done	5000	13
0	20	28
1	54	28
2	171	26
3	897	24
done	5001	24
0	6	7
1	15	7
2	37	7
3	89	7
4	215	7
5	541	7
6	1572	7
7	4154	7
done	5001	7
0	17	41
1	37	41
2	124	41
3	546	41
4	3497	31
done	5000	31
0	19	23
1	48	23
2	160	23
3	800	23
done	5000	23
0	19	23
1	46	23
2	149	23
3	724	23
done	5001	23
0	20	47
1	46	41
2	143	41
3	706	41
done	5000	41
0	19	23
1	46	20
2	143	20
3	706	20
done	5000	20
0	20	68
1	51	45
2	189	24
3	1199	24
done	5001	24
0	20	45
1	46	45
2	123	23
3	330	23
4	1270	23
done	5001	23
0	19	23
1	43	20
2	105	20
3	263	20
4	514	20
5	818	20
6	1210	20
7	2154	20
done	5001	20
0	19	23
1	43	23
2	105	23
3	280	23
4	683	23
5	1501	23
6	2713	23
7	4867	23
done	5000	23
0	19	23
1	43	23
2	105	23
3	280	23
4	683	23
5	1501	23
6	2713	23
7	4867	23
done	5000	23
0	14	17
1	38	17
2	154	17
3	931	15
done	5000	15
0	12	13
1	28	13
2	65	12
3	113	12
4	184	12
5	364	12
6	810	12
7	2510	12
done	5001	12
0	13	14
1	32	14
2	102	14
3	483	14
4	3930	14
done	5000	14
0	12	13
1	28	13
2	65	13
3	135	13
4	299	13
5	833	13
6	3614	13
done	5001	13
0	12	13
1	33	13
2	98	13
3	422	13
4	3127	13
done	5000	13
0	11	12
1	27	12
2	64	12
3	134	12
4	307	12
5	871	12
6	3781	12
done	5001	12
0	3	3
1	13	1
done	13	1
0	18	22
1	45	22
2	142	22
3	703	22
done	5001	22
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	18	22
1	47	22
2	139	22
3	639	22
done	5000	22
0	22	30
1	73	30
2	263	28
3	1422	28
done	5000	28
0	20	44
1	63	34
2	186	34
3	599	32
4	2937	32
done	5000	32
0	22	34
1	70	34
2	232	30
3	1129	28
done	5001	28
0	16	28
1	45	24
2	113	24
3	450	22
4	2637	22
done	5000	22
0	22	32
1	69	32
2	241	30
3	1306	28
done	5001	28
0	16	32
1	48	26
2	148	26
3	395	26
4	1085	26
5	4956	26
done	5000	26
0	22	36
1	65	36
2	215	32
3	1068	28
done	5000	28
0	12	16
1	29	16
2	74	16
3	238	16
4	782	16
5	2896	16
done	5000	16
0	20	26
1	60	26
2	214	26
3	1097	26
done	5000	26
0	13	26
1	40	20
2	103	20
3	222	20
4	402	20
5	855	20
6	1289	20
7	3038	20
done	5000	20
0	20	30
1	57	30
2	188	30
3	882	28
done	5000	28
0	9	10
1	21	10
2	29	10
3	48	10
4	85	10
5	158	10
6	371	10
7	1292	10
done	5000	10
0	20	26
1	59	26
2	193	24
3	967	24
done	5001	24
0	10	19
1	31	15
2	82	15
3	345	13
4	2002	13
done	5000	13
0	20	28
1	54	28
2	171	26
3	897	24
done	5001	24
0	6	7
1	15	7
2	37	7
3	89	7
4	215	7
5	541	7
6	1572	7
7	4154	7
done	5001	7
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	16	20
1	41	20
2	143	20
3	752	20
done	5001	20
0	17	41
1	37	41
2	124	41
3	546	41
4	3497	31
done	5000	31
0	19	23
1	46	23
2	144	23
3	707	23
done	5000	23
0	19	23
1	46	23
2	144	23
3	707	23
done	5000	23
0	20	24
1	40	22
2	102	22
3	263	22
4	516	22
5	829	22
6	1239	22
7	2193	22
done	5000	22
0	20	24
1	40	22
2	102	22
3	263	22
4	516	22
5	829	22
6	1239	22
7	2193	22
done	5000	22
0	21	25
1	39	25
2	93	25
3	216	25
4	511	25
5	1002	25
6	1891	25
7	3049	25
8	3181	25
done	3181	25
0	20	24
1	39	24
2	84	24
3	188	24
4	445	24
5	955	24
6	1773	24
7	3010	24
8	3150	24
done	3150	24
0	19	23
1	38	23
2	93	23
3	216	23
4	476	23
5	955	23
6	1575	23
7	2679	23
8	2821	23
done	2821	23
0	18	22
1	37	22
2	100	22
3	263	22
4	621	22
5	1210	22
6	1937	22
7	3006	22
8	3963	22
9	4007	22
done	4007	22
0	17	21
1	36	21
2	103	21
3	297	21
4	704	21
5	1319	21
6	1963	21
7	2881	21
8	4032	21
9	4163	21
done	4163	21
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	26	62
1	60	52
2	298	30
3	2582	30
done	5001	30
0	24	62
1	62	52
2	300	28
3	2626	28
done	5000	28
0	22	62
1	57	52
2	298	26
3	2576	26
done	5001	26
0	20	62
1	52	62
2	253	24
3	2500	22
done	5000	22
0	18	43
1	34	43
2	90	43
3	238	43
4	461	43
5	714	43
6	914	43
7	931	43
done	931	43
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	18	62
1	41	62
2	154	22
3	1082	22
done	5001	22
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	2	2
done	2	2
0	15	19
1	33	19
2	101	19
3	315	19
4	849	18
5	1716	18
6	2534	18
7	2839	18
8	3056	18
9	3333	18
10	3346	18
done	3346	18
0	12	15
1	25	15
2	74	15
3	195	15
4	335	15
5	500	15
6	742	15
7	980	15
8	1050	15
done	1050	15
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	11	12
1	19	12
2	48	12
3	103	12
4	154	12
5	192	12
6	204	12
done	204	12
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	10	11
1	20	11
2	49	11
3	102	11
4	155	11
5	195	11
6	207	11
done	207	11
0	9	10
1	14	10
2	27	10
3	39	10
done	39	10
0	16	20
1	34	20
2	90	20
3	239	20
4	461	20
5	690	20
6	870	20
7	885	20
done	885	20
0	16	20
1	32	20
2	91	20
3	253	20
4	611	20
5	1280	20
6	2523	20
7	3807	20
8	4184	20
9	4194	20
done	4194	20
0	10	11
1	18	11
2	47	11
3	100	11
4	154	11
5	196	11
6	208	11
done	208	11
0	17	21
1	33	21
2	92	21
3	255	21
4	618	21
5	1294	21
6	2475	21
7	3729	21
8	4102	21
9	4110	21
done	4110	21
0	17	21
1	33	21
2	92	21
3	255	21
4	618	21
5	1294	21
6	2475	21
7	3729	21
8	4102	21
9	4110	21
done	4110	21
0	16	20
1	32	20
2	91	20
3	253	20
4	611	20
5	1280	20
6	2523	20
7	3807	20
8	4184	20
9	4194	20
done	4194	20
0	21	28
1	64	28
2	216	26
3	945	26
4	4130	26
done	5000	26
0	21	32
1	61	32
2	185	28
3	671	26
4	2699	26
done	5000	26
0	21	30
1	60	30
2	194	28
3	835	26
4	2894	26
done	5000	26
0	20	34
1	52	34
2	160	30
3	590	26
4	1861	26
5	4612	26
done	5000	26
0	19	24
1	51	24
2	167	24
3	642	24
4	2015	24
5	4995	24
done	5000	24
0	18	28
1	44	28
2	134	28
3	413	26
4	901	24
5	1377	24
6	1981	24
7	3246	24
done	5000	24
0	19	24
1	50	24
2	146	22
3	509	22
4	2271	22
done	5001	22
0	18	26
1	41	26
2	116	24
3	420	22
4	1473	22
5	3848	22
done	5000	22
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	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	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	224	7
4	365	7
5	531	7
6	1425	7
7	4784	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	3	3
1	4	3
done	4	3
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	5
1	7	5
2	9	5
done	9	5
0	20	24
1	47	21
2	150	21
3	748	21
done	5001	21
0	20	24
1	47	21
2	144	21
3	708	21
done	5000	21
0	21	46
1	47	43
2	124	24
3	330	24
4	1271	24
done	5001	24
0	20	24
1	44	21
2	106	21
3	261	21
4	510	21
5	820	21
6	1212	21
7	2157	21
done	5000	21
0	20	24
1	44	21
2	106	21
3	278	21
4	693	21
5	1511	21
6	2732	21
7	4886	21
done	5000	21
0	20	24
1	44	21
2	106	21
3	278	21
4	693	21
5	1511	21
6	2732	21
7	4886	21
done	5000	21
0	15	18
1	39	15
2	155	15
3	940	15
done	5000	15
0	13	14
1	29	11
2	66	11
3	114	11
4	185	11
5	370	11
6	818	11
7	2509	11
done	5001	11
0	14	15
1	33	12
2	103	12
3	486	12
4	3891	12
done	5000	12
0	13	14
1	29	11
2	66	11
3	136	11
4	300	11
5	836	11
6	3613	11
done	5001	11
0	13	14
1	34	11
2	99	11
3	425	11
4	3116	11
done	5000	11
0	12	13
1	28	10
2	65	10
3	135	10
4	308	10
5	872	10
6	3774	10
done	5000	10
0	4	4
1	14	1
2	18	1
done	18	1
0	19	23
1	46	20
2	143	20
3	706	20
done	5000	20
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	19	23
1	48	20
2	140	20
3	641	20
done	5000	20
0	23	31
1	74	28
2	264	26
3	1422	26
done	5000	26
0	21	45
1	64	32
2	187	32
3	596	30
4	2940	30
done	5001	30
0	23	35
1	71	32
2	233	28
3	1128	26
done	5000	26
0	17	29
1	46	22
2	114	22
3	450	20
4	2650	20
done	5001	20
0	23	33
1	70	30
2	240	28
3	1299	26
done	5000	26
0	17	33
1	49	24
2	149	24
3	405	24
4	1096	24
5	4932	24
done	5000	24
0	23	37
1	66	34
2	216	30
3	1068	26
done	5000	26
0	13	17
1	30	14
2	75	14
3	233	14
4	783	14
5	2863	14
done	5001	14
0	21	27
1	61	24
2	215	24
3	1097	24
done	5000	24
0	14	27
1	41	18
2	104	18
3	228	18
4	396	18
5	905	18
6	1359	18
7	3097	18
done	5000	18
0	21	31
1	58	28
2	189	28
3	881	26
done	5001	26
0	10	11
1	22	8
2	30	8
3	49	8
4	86	8
5	161	8
6	375	8
7	1287	8
done	5000	8
0	21	27
1	60	24
2	194	22
3	973	22
done	5001	22
0	11	20
1	32	13
2	85	13
3	346	11
4	2003	11
done	5000	11
0	21	29
1	55	26
2	170	24
3	899	22
done	5000	22
0	7	8
1	16	5
2	38	5
3	90	5
4	219	5
5	552	5
6	1598	5
7	4077	5
done	5000	5
0	18	42
1	38	42
2	125	42
3	546	42
4	3503	32
done	5000	32
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	21	48
1	47	42
2	144	42
3	708	42
done	5001	42
0	20	24
1	47	21
2	144	21
3	708	21
done	5000	21
0	21	46
1	47	43
2	124	24
3	330	24
4	1271	24
done	5001	24
0	20	24
1	44	21
2	106	21
3	261	21
4	510	21
5	820	21
6	1212	21
7	2157	21
done	5000	21
0	20	24
1	44	21
2	106	21
3	278	21
4	693	21
5	1511	21
6	2732	21
7	4886	21
done	5000	21
0	20	24
1	44	21
2	106	21
3	278	21
4	693	21
5	1511	21
6	2732	21
7	4886	21
done	5000	21
0	15	18
1	39	15
2	155	15
3	940	15
done	5000	15
0	13	14
1	29	11
2	66	11
3	114	11
4	185	11
5	370	11
6	818	11
7	2509	11
done	5001	11
0	14	15
1	33	12
2	103	12
3	486	12
4	3891	12
done	5000	12
0	13	14
1	29	11
2	66	11
3	136	11
4	300	11
5	836	11
6	3613	11
done	5001	11
0	13	14
1	34	11
2	99	11
3	425	11
4	3116	11
done	5000	11
0	12	13
1	28	10
2	65	10
3	135	10
4	308	10
5	872	10
6	3774	10
done	5000	10
0	4	4
1	14	1
2	18	1
done	18	1
0	19	23
1	46	20
2	143	20
3	706	20
done	5000	20
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	19	23
1	48	20
2	140	20
3	641	20
done	5000	20
0	23	31
1	74	28
2	264	26
3	1422	26
done	5000	26
0	21	45
1	64	32
2	187	32
3	596	30
4	2940	30
done	5001	30
0	23	35
1	71	32
2	233	28
3	1128	26
done	5000	26
0	17	29
1	46	22
2	114	22
3	450	20
4	2650	20
done	5001	20
0	23	33
1	70	30
2	240	28
3	1299	26
done	5000	26
0	17	33
1	49	24
2	149	24
3	405	24
4	1096	24
5	4932	24
done	5000	24
0	23	37
1	66	34
2	216	30
3	1068	26
done	5000	26
0	13	17
1	30	14
2	75	14
3	233	14
4	783	14
5	2863	14
done	5001	14
0	21	27
1	61	24
2	215	24
3	1097	24
done	5000	24
0	14	27
1	41	18
2	104	18
3	228	18
4	396	18
5	905	18
6	1359	18
7	3097	18
done	5000	18
0	21	31
1	58	28
2	189	28
3	881	26
done	5001	26
0	10	11
1	22	8
2	30	8
3	49	8
4	86	8
5	161	8
6	375	8
7	1287	8
done	5000	8
0	21	27
1	60	24
2	194	22
3	973	22
done	5001	22
0	11	20
1	32	13
2	85	13
3	346	11
4	2003	11
done	5000	11
0	21	29
1	55	26
2	170	24
3	899	22
done	5000	22
0	7	8
1	16	5
2	38	5
3	90	5
4	219	5
5	552	5
6	1598	5
7	4077	5
done	5000	5
0	17	21
1	33	21
2	89	21
3	233	21
4	461	21
5	724	21
6	917	21
7	940	21
done	940	21
0	18	42
1	38	42
2	125	42
3	546	42
4	3503	32
done	5000	32
0	20	24
1	47	24
2	145	24
3	709	24
done	5000	24
0	20	24
1	47	24
2	145	24
3	709	24
done	5000	24
0	2	2
1	4	1
done	4	1
0	19	23
1	46	20
2	143	20
3	706	20
done	5000	20
0	21	25
1	42	23
2	104	23
3	260	23
4	504	23
5	823	23
6	1220	23
7	2156	23
done	5000	23
0	21	25
1	42	23
2	104	23
3	260	23
4	504	23
5	823	23
6	1220	23
7	2156	23
done	5000	23
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	17	21
1	42	18
2	144	18
3	753	18
done	5000	18
0	21	49
1	48	43
2	145	43
3	705	43
done	5000	43
0	20	24
1	47	21
2	144	21
3	708	21
done	5000	21
0	21	71
1	46	22
2	143	22
3	707	22
done	5000	22
0	20	24
1	47	21
2	144	21
3	708	21
done	5000	21
0	20	24
1	47	21
2	144	21
3	708	21
done	5000	21
0	39	79
1	103	79
2	524	79
3	2933	79
done	5001	79
0	42	85
1	120	85
2	534	83
3	3378	67
done	5000	67
0	42	85
1	120	85
2	532	83
3	3412	67
done	5000	67
0	35	63
1	98	61
2	336	59
3	1276	48
done	5000	45
0	41	73
1	121	71
2	399	63
3	1487	59
done	5001	59
0	41	73
1	121	71
2	399	63
3	1483	59
done	5001	59
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	35	63
1	98	61
2	336	59
3	1276	48
done	5000	45
0	41	73
1	121	71
2	399	63
3	1487	59
done	5001	59
0	41	73
1	121	71
2	399	63
3	1483	59
done	5001	59

prune416.0ms

Filtered

120 candidates to 166 candidates (-38.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	166	3	169

Merged error: 0b

Counts

169 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (/ 1 PI) (* (- 1.0 (* v v)) 3.0))
0.2b	(* 6.0 (* v v))
1.0b	(/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))
1.0b	(* (/ (/ 1 PI) (* (- 1.0 (* v v)) 3.0)) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

106×	`add-exp-log`
91×	`times-frac`
64×	`add-sqr-sqrt` `add-cbrt-cube`
55×	`add-cube-cbrt` `*-un-lft-identity`
46×	`div-exp`
33×	`prod-exp`
25×	`associate-r`
24×	`cbrt-undiv`
22×	`associate-l` `sqrt-prod`
19×	`cbrt-unprod`
16×	`associate-/l*`
11×	`pow1`
8×	`associate-/r/`
7×	`associate-/r*` `div-inv`
6×	`rec-exp` `1-exp`
5×	`associate-*l/`
4×	`flip3--` `sqrt-div` `pow-prod-down` `flip--` `add-log-exp` `unswap-sqr`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`frac-times` `associate-*r/` `associate-/l/`

Counts

4 → 198

Calls

4 calls:

10.0ms	(/ (/ 1 PI) (* (- 1.0 (* v v)) 3.0))
6.0ms	(* 6.0 (* v v))
7.0ms	(/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))
29.0ms	(* (/ (/ 1 PI) (* (- 1.0 (* v v)) 3.0)) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))))

series42.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ (/ 1 PI) (* (- 1.0 (* v v)) 3.0))
4.0ms	(* 6.0 (* v v))
9.0ms	(/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))
19.0ms	(* (/ (/ 1 PI) (* (- 1.0 (* v v)) 3.0)) (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify8.6min

Counts

210 → 210

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	22
1	37	22
2	98	22
3	262	20
4	814	20
5	2243	20
6	4128	20
done	5000	20
0	22	26
1	41	26
2	98	26
3	259	25
4	727	25
5	1737	25
6	2003	25
done	2003	25
0	21	25
1	39	25
2	89	25
3	211	24
4	581	24
5	1526	24
6	1773	24
7	1775	24
done	1775	24
0	21	25
1	41	25
2	95	25
3	233	24
4	622	24
5	1452	24
6	1749	24
7	1765	24
done	1765	24
0	20	24
1	39	24
2	88	24
3	200	23
4	502	23
5	1297	23
6	1598	23
7	1615	23
done	1615	23
0	23	27
1	46	26
2	126	26
3	406	25
4	1628	25
5	3461	25
6	4038	25
7	4071	25
done	4071	25
0	22	26
1	44	25
2	115	25
3	334	24
4	1252	24
5	2946	24
6	3524	24
7	3553	24
done	3553	24
0	22	26
1	46	25
2	119	25
3	357	24
4	1345	24
5	3116	24
6	3716	24
7	3749	24
done	3749	24
0	21	25
1	44	24
2	110	24
3	302	23
4	1040	23
5	2623	23
6	3181	23
7	3208	23
done	3208	23
0	24	28
1	49	27
2	131	26
3	422	25
4	1646	25
5	3459	25
6	4045	25
7	4078	25
done	4078	25
0	23	27
1	47	26
2	120	25
3	350	24
4	1264	24
5	3000	24
6	3606	24
7	3635	24
done	3635	24
0	23	27
1	49	26
2	123	25
3	370	24
4	1366	24
5	3163	24
6	3781	24
7	3814	24
done	3814	24
0	22	26
1	47	25
2	114	24
3	315	23
4	1050	23
5	2643	23
6	3201	23
7	3228	23
done	3228	23
0	23	27
1	48	26
2	113	26
3	341	25
4	1170	25
5	3204	25
6	3820	25
7	3868	25
done	3868	25
0	22	26
1	46	25
2	104	25
3	279	24
4	918	24
5	2986	24
6	3801	24
7	3847	24
done	3847	24
0	22	26
1	48	25
2	108	25
3	299	24
4	965	24
5	2616	24
6	3343	24
7	3391	24
done	3391	24
0	21	25
1	46	24
2	101	24
3	255	23
4	770	23
5	2435	23
6	3312	23
7	3369	23
done	3369	23
0	21	25
1	43	25
2	102	24
3	256	23
4	763	23
5	2054	23
6	3111	23
7	3366	23
done	3366	23
0	20	24
1	41	24
2	97	23
3	224	22
4	620	22
5	1888	22
6	3345	22
7	3633	22
8	3635	22
done	3635	22
0	19	23
1	41	23
2	120	23
3	350	21
4	1222	21
5	4143	21
done	5000	21
0	19	23
1	40	23
2	107	23
3	285	21
4	919	21
5	2681	21
done	5001	21
0	30	68
1	72	54
2	302	32
3	2420	28
done	5000	28
0	28	68
1	68	64
2	262	30
3	1804	28
done	5001	28
0	28	68
1	74	54
2	317	30
3	2555	26
done	5000	26
0	26	68
1	70	64
2	277	28
3	1985	26
done	5001	26
0	28	68
1	72	58
2	327	32
3	2979	30
done	5001	30
0	26	68
1	68	68
2	287	30
3	2302	30
done	5001	30
0	26	68
1	74	58
2	351	30
3	3267	26
done	5000	26
0	24	68
1	70	68
2	311	28
3	2617	26
done	5000	26
0	24	68
1	59	58
2	248	28
3	1687	26
done	5001	26
0	22	68
1	55	68
2	208	26
3	1257	26
done	5000	26
0	20	47
1	39	47
2	100	47
3	264	43
4	808	43
5	2236	43
6	4020	43
done	5000	43
0	19	23
1	38	23
2	99	23
3	263	21
4	814	21
5	2248	21
6	4126	21
done	5000	21
0	20	68
1	49	68
2	203	24
3	1469	22
done	5000	22
0	19	23
1	38	23
2	99	23
3	263	21
4	814	21
5	2248	21
6	4126	21
done	5000	21
0	19	23
1	38	23
2	99	23
3	263	21
4	814	21
5	2248	21
6	4126	21
done	5000	21
0	5	5
1	10	5
2	13	3
done	13	3
0	12	16
1	23	16
2	50	16
3	96	16
4	150	16
5	201	16
6	228	16
done	228	16
0	20	24
1	35	24
2	66	24
3	108	24
4	158	24
5	208	24
6	241	24
7	243	24
done	243	24
0	20	24
1	35	24
2	66	24
3	108	24
4	158	24
5	208	24
6	241	24
7	243	24
done	243	24
0	21	25
1	38	25
2	72	25
3	118	25
4	169	25
5	221	25
6	250	25
7	252	25
done	252	25
0	21	25
1	38	25
2	72	25
3	118	25
4	169	25
5	221	25
6	250	25
7	252	25
done	252	25
0	21	25
1	38	25
2	72	25
3	118	25
4	169	25
5	221	25
6	250	25
7	252	25
done	252	25
0	21	25
1	38	25
2	72	25
3	118	25
4	169	25
5	221	25
6	250	25
7	252	25
done	252	25
0	20	35
1	39	35
2	99	35
3	251	33
4	760	33
5	1714	33
6	2527	33
7	3967	33
done	5001	33
0	19	23
1	36	23
2	87	23
3	182	21
4	441	21
5	982	21
6	1437	21
7	2138	21
8	3804	21
9	4253	21
10	4342	21
done	4342	21
0	22	37
1	47	37
2	140	37
3	497	35
4	2520	35
done	5000	35
0	22	36
1	44	27
2	114	27
3	347	25
4	1560	25
done	5000	25
0	21	27
1	42	27
2	112	27
3	345	25
4	1549	25
done	5002	25
0	16	20
1	32	19
2	91	19
3	304	15
4	1344	15
5	3609	15
done	5000	15
0	21	27
1	42	27
2	112	27
3	345	25
4	1549	25
done	5002	25
0	15	19
1	31	17
2	94	17
3	368	15
4	1574	15
5	3211	15
done	5001	15
0	21	34
1	42	34
2	113	34
3	337	32
4	1324	32
done	5002	32
0	21	33
1	41	24
2	102	24
3	266	22
4	904	22
5	2825	22
6	4807	22
done	5001	22
0	20	24
1	39	24
2	100	24
3	264	22
4	905	22
5	2828	22
6	4844	22
done	5000	22
0	15	17
1	29	16
2	79	16
3	230	12
4	924	12
5	2203	12
6	3534	12
done	5000	12
0	20	24
1	39	24
2	100	24
3	264	22
4	905	22
5	2828	22
6	4844	22
done	5000	22
0	14	16
1	28	14
2	78	14
3	238	12
4	898	12
5	1782	12
6	2938	12
done	5000	12
0	19	33
1	40	33
2	110	31
3	334	31
4	1180	31
5	2432	31
6	3927	31
done	5000	31
0	19	32
1	39	23
2	100	21
3	262	21
4	723	21
5	1282	21
6	2032	21
7	3770	21
done	5000	21
0	18	23
1	37	23
2	98	21
3	262	21
4	717	21
5	1286	21
6	2024	21
7	3696	21
done	5000	21
0	13	16
1	27	15
2	76	13
3	223	11
4	654	11
5	1063	11
6	1527	11
7	2389	11
8	3058	11
9	3541	11
done	3541	11
0	18	23
1	37	23
2	98	21
3	262	21
4	717	21
5	1286	21
6	2024	21
7	3696	21
done	5000	21
0	12	15
1	26	13
2	70	11
3	194	11
4	602	11
5	859	11
6	1248	11
7	2321	11
8	2932	11
9	3173	11
done	3173	11
0	11	13
1	23	11
2	67	11
3	140	11
4	265	11
5	374	11
6	601	11
7	1080	11
8	1240	11
done	1240	11
0	12	13
1	24	13
2	64	13
3	148	11
4	326	11
5	726	11
6	1307	11
7	1941	11
8	3623	11
9	4369	11
done	4369	11
0	21	26
1	56	26
2	177	26
3	660	24
4	2321	24
done	5000	24
0	20	30
1	49	30
2	144	30
3	439	26
4	1238	24
5	2939	24
done	5000	24
0	19	23
1	36	23
2	70	23
3	116	23
4	165	23
5	215	23
6	250	23
7	254	23
done	254	23
0	19	23
1	36	23
2	70	23
3	116	23
4	165	23
5	215	23
6	250	23
7	254	23
done	254	23
0	16	17
1	28	17
2	50	17
3	79	17
4	100	17
5	112	17
6	114	17
done	114	17
0	16	17
1	28	17
2	50	17
3	79	17
4	100	17
5	112	17
6	114	17
done	114	17
0	17	18
1	31	17
2	63	17
3	130	15
4	268	15
5	477	15
6	615	15
7	625	15
done	625	15
0	17	18
1	31	17
2	63	17
3	130	15
4	268	15
5	477	15
6	615	15
7	625	15
done	625	15
0	16	17
1	30	16
2	62	16
3	129	14
4	267	14
5	478	14
6	614	14
7	623	14
done	623	14
0	17	18
1	31	17
2	63	17
3	130	15
4	268	15
5	477	15
6	615	15
7	625	15
done	625	15
0	17	18
1	31	17
2	63	17
3	130	15
4	268	15
5	477	15
6	615	15
7	625	15
done	625	15
0	16	17
1	30	16
2	62	16
3	129	14
4	267	14
5	478	14
6	614	14
7	623	14
done	623	14
0	16	17
1	30	17
2	62	17
3	129	15
4	267	15
5	478	15
6	614	15
7	623	15
done	623	15
0	16	17
1	30	17
2	62	17
3	129	15
4	267	15
5	478	15
6	614	15
7	623	15
done	623	15
0	15	16
1	29	16
2	61	16
3	128	14
4	261	14
5	462	14
6	594	14
7	605	14
done	605	14
0	15	16
1	29	16
2	61	16
3	128	14
4	261	14
5	462	14
6	594	14
7	605	14
done	605	14
0	15	16
1	29	16
2	61	16
3	128	14
4	261	14
5	462	14
6	594	14
7	605	14
done	605	14
0	18	22
1	37	22
2	98	22
3	262	20
4	814	20
5	2243	20
6	4128	20
done	5000	20
0	16	20
1	33	20
2	77	18
3	202	18
4	426	18
5	791	18
6	1330	18
7	2350	18
8	4050	18
9	4610	18
done	4610	18
0	16	28
1	37	24
2	85	24
3	194	22
4	321	22
5	541	22
6	997	22
7	2521	22
done	5000	22
0	12	16
1	21	16
2	45	16
3	77	16
4	90	16
5	103	16
6	115	16
7	122	16
done	122	16
0	12	13
1	24	13
2	64	13
3	148	11
4	326	11
5	726	11
6	1307	11
7	1941	11
8	3623	11
9	4369	11
done	4369	11
0	13	14
1	25	14
2	47	12
3	98	12
4	126	12
5	157	12
6	167	12
done	167	12
0	11	12
1	18	12
2	32	12
3	44	12
done	44	12
0	10	11
1	18	11
2	33	11
3	46	11
done	46	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	13	32
1	27	22
2	79	14
3	196	12
4	390	12
5	737	12
6	1799	12
done	5000	12
0	11	23
1	16	23
2	29	23
3	41	23
done	41	23
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	11	32
1	23	32
2	52	12
3	102	12
4	167	12
5	261	12
6	567	12
7	1596	12
done	5000	12
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	2	2
done	2	2
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	13	25
1	24	25
2	46	25
3	64	25
done	64	25
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	13	24
1	21	15
2	36	15
3	49	15
done	49	15
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	12	15
1	19	15
2	34	15
3	47	15
done	47	15
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	12	15
1	19	15
2	34	15
3	47	15
done	47	15
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	12	22
1	19	22
2	32	22
3	44	22
done	44	22
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	12	21
1	18	12
2	31	12
3	43	12
done	43	12
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	5	5
1	7	4
done	7	4
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	11	12
1	16	12
2	29	12
3	41	12
done	41	12
0	4	4
1	6	2
2	8	2
done	8	2
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	11	21
1	20	21
2	33	21
3	45	21
done	45	21
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	11	20
1	19	11
2	32	11
3	44	11
done	44	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	10	11
1	17	11
2	30	11
3	42	11
done	42	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	3	4
1	5	3
done	5	3
0	9	10
1	14	10
2	27	10
3	39	10
done	39	10
0	10	11
1	17	11
2	30	11
3	42	11
done	42	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	2	3
1	4	1
done	4	1
0	9	10
1	14	10
2	27	10
3	39	10
done	39	10
0	9	10
1	16	10
2	29	10
3	41	10
done	41	10
0	9	10
1	14	10
2	27	10
3	39	10
done	39	10
0	11	21
1	18	21
2	31	21
3	43	21
done	43	21
0	11	20
1	17	11
2	30	11
3	42	11
done	42	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	4	4
1	6	3
done	6	3
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	3	3
1	5	1
done	5	1
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	10	11
1	15	11
2	28	11
3	40	11
done	40	11
0	9	10
1	14	10
2	27	10
3	39	10
done	39	10
0	12	14
1	33	14
2	104	14
3	442	14
4	1565	14
5	4323	14
done	5001	14
0	11	18
1	26	18
2	72	18
3	218	16
4	439	14
5	696	14
6	1113	14
7	2298	14
done	5000	14
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	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	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	224	7
4	365	7
5	531	7
6	1425	7
7	4784	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	3	3
1	4	3
done	4	3
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	5
1	7	5
2	9	5
done	9	5
0	12	13
1	19	13
2	34	13
3	51	13
4	70	13
5	92	13
6	118	13
7	124	13
done	124	13
0	11	12
1	19	12
2	38	12
3	65	12
4	91	12
5	111	12
6	137	12
7	156	12
8	159	12
done	159	12
0	13	14
1	24	13
2	53	13
3	104	13
4	255	13
5	445	13
6	507	13
7	514	13
done	514	13
0	12	13
1	24	12
2	53	12
3	105	12
4	228	12
5	416	12
6	471	12
7	480	12
done	480	12
0	14	15
1	27	14
2	57	13
3	117	13
4	267	13
5	451	13
6	509	13
7	516	13
done	516	13
0	13	14
1	27	13
2	56	12
3	115	12
4	236	12
5	423	12
6	476	12
7	485	12
done	485	12
0	13	14
1	26	13
2	47	13
3	88	13
4	177	13
5	383	13
6	449	13
7	460	13
done	460	13
0	12	13
1	26	12
2	49	12
3	92	12
4	171	12
5	343	12
6	436	12
7	453	12
8	455	12
done	455	12
0	11	12
1	23	12
2	58	11
3	117	11
4	237	11
5	423	11
6	687	11
7	773	11
8	779	11
done	779	11
0	11	12
1	20	12
2	40	12
3	71	12
4	121	12
5	169	12
6	204	12
7	206	12
done	206	12
0	18	35
1	41	31
2	150	17
3	757	17
4	4791	15
done	5000	15
0	16	35
1	43	31
2	169	15
3	960	15
done	5002	15
0	16	35
1	41	35
2	170	17
3	1101	17
done	5000	17
0	14	35
1	43	35
2	198	15
3	1424	13
done	5000	13
0	12	25
1	21	25
2	41	25
3	72	25
4	118	25
5	174	25
6	211	25
7	217	25
done	217	25
0	11	12
1	20	12
2	40	12
3	71	12
4	121	12
5	169	12
6	204	12
7	206	12
done	206	12
0	12	35
1	28	35
2	109	13
3	575	13
4	4287	13
done	5000	13
0	11	12
1	20	12
2	40	12
3	71	12
4	121	12
5	169	12
6	204	12
7	206	12
done	206	12
0	11	12
1	20	12
2	40	12
3	71	12
4	121	12
5	169	12
6	204	12
7	206	12
done	206	12
0	4	4
1	9	3
done	9	3
0	7	8
1	14	8
2	29	8
3	65	8
4	101	7
5	114	7
6	131	7
done	131	7
0	10	15
1	16	15
2	25	15
3	30	15
4	35	15
5	43	15
6	46	15
done	46	15
0	6	6
1	8	6
done	8	6
0	9	10
1	13	10
2	17	10
done	17	10
0	6	6
1	8	6
done	8	6
0	12	17
1	24	15
2	51	13
3	101	13
4	185	13
5	324	13
6	519	13
7	761	13
8	773	13
done	773	13
0	7	7
1	11	6
2	14	6
done	14	6
0	11	14
1	19	12
2	34	10
3	54	10
4	94	10
5	137	10
6	210	10
7	291	10
8	337	10
done	337	10
0	7	7
1	11	6
2	14	6
done	14	6
0	9	13
1	17	9
2	39	7
3	54	7
4	78	7
5	108	7
6	150	7
7	215	7
8	244	7
done	244	7
0	6	6
1	10	5
2	13	5
done	13	5
0	11	14
1	19	13
2	29	13
3	45	13
4	69	13
5	100	13
6	129	13
7	141	13
done	141	13
0	7	7
1	11	6
2	14	6
done	14	6
0	10	11
1	16	10
2	23	10
3	31	10
4	43	10
5	50	10
6	54	10
done	54	10
0	7	7
1	11	6
2	14	6
done	14	6
0	8	10
1	14	7
2	20	7
3	32	7
4	52	7
5	76	7
6	86	7
7	90	7
done	90	7
0	6	6
1	10	5
2	13	5
done	13	5
0	10	13
1	18	13
2	28	13
3	44	13
4	68	13
5	95	13
6	122	13
7	134	13
done	134	13
0	6	6
1	10	6
2	13	6
done	13	6
0	9	10
1	15	10
2	22	10
3	30	10
4	42	10
5	49	10
6	53	10
done	53	10
0	6	6
1	10	6
2	13	6
done	13	6
0	7	9
1	13	7
2	19	7
3	31	7
4	51	7
5	77	7
6	87	7
7	93	7
done	93	7
0	5	5
1	9	5
2	12	5
done	12	5
0	6	7
1	10	7
2	14	7
done	14	7
0	5	5
1	9	5
2	12	5
done	12	5
0	6	7
1	10	7
2	14	7
done	14	7
0	5	5
1	9	5
2	12	5
done	12	5
0	8	9
1	15	9
2	27	9
3	40	9
4	47	9
5	51	9
done	51	9
0	10	11
1	19	11
2	45	9
3	126	9
4	329	9
5	560	9
6	1023	9
7	1322	9
8	1370	9
done	1370	9
0	8	9
1	14	9
2	21	9
3	29	9
4	41	9
5	50	9
6	54	9
done	54	9
0	11	12
1	18	12
2	35	12
3	60	12
4	94	12
5	138	12
6	177	12
7	200	12
done	200	12
0	11	12
1	18	12
2	35	12
3	60	12
4	94	12
5	138	12
6	177	12
7	200	12
done	200	12
0	12	13
1	21	12
2	47	12
3	96	10
4	224	10
5	440	10
6	814	10
7	1180	10
8	1266	10
done	1266	10
0	12	13
1	21	12
2	47	12
3	96	10
4	224	10
5	440	10
6	814	10
7	1180	10
8	1266	10
done	1266	10
0	11	12
1	20	11
2	46	11
3	95	9
4	225	9
5	441	9
6	816	9
7	1176	9
8	1252	9
done	1252	9
0	12	13
1	21	12
2	47	12
3	96	10
4	224	10
5	440	10
6	814	10
7	1180	10
8	1266	10
done	1266	10
0	12	13
1	21	12
2	47	12
3	96	10
4	224	10
5	440	10
6	814	10
7	1180	10
8	1266	10
done	1266	10
0	11	12
1	20	11
2	46	11
3	95	9
4	225	9
5	441	9
6	816	9
7	1176	9
8	1252	9
done	1252	9
0	11	12
1	20	12
2	46	10
3	127	10
4	328	10
5	557	10
6	1018	10
7	1311	10
8	1359	10
done	1359	10
0	11	12
1	20	12
2	46	10
3	127	10
4	328	10
5	557	10
6	1018	10
7	1311	10
8	1359	10
done	1359	10
0	10	11
1	19	11
2	45	9
3	126	9
4	329	9
5	560	9
6	1023	9
7	1322	9
8	1370	9
done	1370	9
0	10	11
1	19	11
2	45	9
3	126	9
4	329	9
5	560	9
6	1023	9
7	1322	9
8	1370	9
done	1370	9
0	10	11
1	19	11
2	45	9
3	126	9
4	329	9
5	560	9
6	1023	9
7	1322	9
8	1370	9
done	1370	9
0	13	15
1	37	15
2	96	13
3	286	13
4	970	13
5	4251	13
done	5000	13
0	12	17
1	28	17
2	65	15
3	194	13
4	529	13
5	1301	13
6	2990	13
done	5000	13
0	8	9
1	14	9
2	30	9
3	65	9
4	119	9
5	162	9
6	193	9
done	193	9
0	35	63
1	98	61
2	336	59
3	1276	48
done	5000	45
0	41	73
1	121	71
2	399	63
3	1487	59
done	5001	59
0	41	73
1	121	71
2	399	63
3	1483	59
done	5001	59
0	23	33
1	56	33
2	158	33
3	496	26
4	1913	26
done	5000	26
0	27	41
1	74	41
2	207	35
3	619	33
4	2461	30
done	5001	30
0	27	41
1	74	41
2	211	35
3	603	33
4	2058	30
done	5000	30
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	16	21
1	40	19
2	93	17
3	212	17
4	701	15
5	2185	13
done	5000	13
0	22	30
1	60	28
2	179	24
3	583	24
4	2820	21
done	5000	21
0	22	30
1	60	28
2	179	24
3	583	24
4	2820	21
done	5000	21

prune432.0ms

Filtered

163 candidates to 210 candidates (-28.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	210	3	213

Merged error: 0b

Counts

213 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 2.0 (* 6.0 (* v v)))
0.2b	(* 6.0 (* v v))
1.0b	(* (* (- 1.0 (* v v)) 3.0) (sqrt (- 2.0 (* 6.0 (* v v)))))
1.0b	(/ (/ 4.0 PI) (* (* (- 1.0 (* v v)) 3.0) (sqrt (- 2.0 (* 6.0 (* v v))))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 118

Calls

4 calls:

3.0ms	(- 2.0 (* 6.0 (* v v)))
6.0ms	(* 6.0 (* v v))
11.0ms	(* (* (- 1.0 (* v v)) 3.0) (sqrt (- 2.0 (* 6.0 (* v v)))))
15.0ms	(/ (/ 4.0 PI) (* (* (- 1.0 (* v v)) 3.0) (sqrt (- 2.0 (* 6.0 (* v v))))))

series41.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- 2.0 (* 6.0 (* v v)))
3.0ms	(* 6.0 (* v v))
12.0ms	(* (* (- 1.0 (* v v)) 3.0) (sqrt (- 2.0 (* 6.0 (* v v)))))
19.0ms	(/ (/ 4.0 PI) (* (* (- 1.0 (* v v)) 3.0) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify6.8min

Counts

130 → 130

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	25
1	40	25
2	97	25
3	247	25
4	607	25
5	1335	25
6	1917	25
7	2361	25
8	2382	25
done	2382	25
0	20	24
1	40	24
2	94	24
3	229	24
4	533	24
5	1173	24
6	1732	24
7	2174	24
8	2199	24
done	2199	24
0	19	23
1	39	23
2	91	23
3	215	23
4	493	23
5	1080	23
6	1711	23
7	2202	23
8	2247	23
done	2247	23
0	20	24
1	38	24
2	84	24
3	191	24
4	502	24
5	1185	24
6	1605	24
7	2408	24
8	2449	24
done	2449	24
0	19	23
1	38	23
2	83	23
3	188	23
4	458	23
5	1048	23
6	1466	23
7	2212	23
8	2272	23
done	2272	23
0	18	22
1	37	22
2	83	22
3	186	22
4	428	22
5	930	22
6	1463	22
7	2140	22
8	2257	22
9	2258	22
done	2258	22
0	17	21
1	35	21
2	95	21
3	244	21
4	561	21
5	1226	21
6	2151	21
7	2819	21
8	3276	21
9	3312	21
done	3312	21
0	17	21
1	32	21
2	76	21
3	179	21
4	329	21
5	559	21
6	828	21
7	936	21
done	936	21
0	26	62
1	59	52
2	271	30
3	2323	28
done	5000	28
0	24	62
1	61	52
2	282	28
3	2423	26
done	5001	26
0	22	62
1	56	62
2	247	26
3	2233	24
done	5000	24
0	24	62
1	58	52
2	271	28
3	1973	28
done	5000	28
0	22	62
1	60	52
2	277	26
3	2047	26
done	5000	26
0	20	62
1	55	62
2	248	24
3	1989	22
done	5000	22
0	18	43
1	33	43
2	77	43
3	178	43
4	331	43
5	561	43
6	826	43
7	932	43
done	932	43
0	17	21
1	32	21
2	76	21
3	179	21
4	329	21
5	559	21
6	828	21
7	936	21
done	936	21
0	18	62
1	40	62
2	156	22
3	1023	22
done	5001	22
0	17	21
1	32	21
2	76	21
3	179	21
4	329	21
5	559	21
6	828	21
7	936	21
done	936	21
0	17	21
1	32	21
2	76	21
3	179	21
4	329	21
5	559	21
6	828	21
7	936	21
done	936	21
0	4	4
1	6	4
done	6	4
0	13	17
1	28	17
2	70	17
3	155	17
4	322	16
5	554	16
6	666	16
7	719	16
8	773	16
9	876	16
10	882	16
done	882	16
0	12	17
1	22	17
2	45	17
3	76	17
4	103	17
5	141	17
6	190	17
7	231	17
done	231	17
0	12	13
1	17	13
2	30	13
3	42	13
done	42	13
0	11	12
1	16	12
2	28	12
3	41	12
4	52	12
5	56	12
done	56	12
0	12	13
1	17	13
2	30	13
3	42	13
done	42	13
0	14	19
1	27	19
2	77	19
3	212	19
4	519	19
5	924	19
6	1550	19
7	2405	19
8	2745	19
9	2749	19
done	2749	19
0	13	14
1	20	14
2	36	14
3	48	14
done	48	14
0	13	16
1	22	16
2	52	16
3	126	16
4	275	16
5	442	16
6	677	16
7	965	16
8	1078	16
9	1087	16
done	1087	16
0	13	14
1	20	14
2	36	14
3	48	14
done	48	14
0	12	15
1	23	13
2	68	13
3	175	13
4	278	13
5	468	13
6	650	13
7	876	13
8	896	13
9	900	13
done	900	13
0	12	13
1	19	13
2	35	13
3	47	13
done	47	13
0	13	16
1	22	16
2	47	16
3	97	16
4	182	16
5	298	16
6	426	16
7	482	16
done	482	16
0	13	14
1	20	14
2	36	14
3	48	14
done	48	14
0	12	13
1	19	13
2	39	13
3	70	13
4	117	13
5	171	13
6	202	13
7	204	13
done	204	13
0	13	14
1	20	14
2	36	14
3	48	14
done	48	14
0	11	12
1	20	10
2	43	10
3	77	10
4	121	10
5	207	10
6	247	10
7	271	10
done	271	10
0	12	13
1	19	13
2	35	13
3	47	13
done	47	13
0	12	15
1	23	15
2	48	15
3	98	15
4	188	15
5	313	15
6	431	15
7	494	15
done	494	15
0	12	13
1	19	13
2	35	13
3	47	13
done	47	13
0	11	12
1	20	12
2	40	12
3	71	12
4	120	12
5	170	12
6	197	12
7	199	12
done	199	12
0	12	13
1	19	13
2	35	13
3	47	13
done	47	13
0	9	11
1	18	9
2	36	9
3	71	9
4	116	9
5	191	9
6	224	9
7	244	9
done	244	9
0	11	12
1	18	12
2	34	12
3	46	12
done	46	12
0	8	9
1	15	9
2	27	9
3	40	9
4	47	9
5	51	9
done	51	9
0	11	12
1	18	12
2	34	12
3	46	12
done	46	12
0	8	9
1	13	9
2	25	9
3	38	9
4	45	9
5	49	9
done	49	9
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	14	18
1	29	18
2	63	18
3	120	18
4	173	18
5	220	18
6	247	18
done	247	18
0	16	20
1	31	20
2	79	20
3	198	20
4	465	20
5	994	20
6	2070	20
7	3308	20
8	3952	20
9	3972	20
done	3972	20
0	10	11
1	17	11
2	37	11
3	68	11
4	118	11
5	174	11
6	209	11
7	213	11
done	213	11
0	17	21
1	30	21
2	67	21
3	135	21
4	246	21
5	427	21
6	697	21
7	954	21
8	1024	21
9	1025	21
done	1025	21
0	17	21
1	30	21
2	67	21
3	135	21
4	246	21
5	427	21
6	697	21
7	954	21
8	1024	21
9	1025	21
done	1025	21
0	18	22
1	33	22
2	81	22
3	200	22
4	471	22
5	1002	22
6	2041	22
7	3327	22
8	3952	22
9	3976	22
done	3976	22
0	18	22
1	33	22
2	81	22
3	200	22
4	471	22
5	1002	22
6	2041	22
7	3327	22
8	3952	22
9	3976	22
done	3976	22
0	17	21
1	32	21
2	80	21
3	199	21
4	464	21
5	990	21
6	2016	21
7	3267	21
8	3892	21
9	3907	21
done	3907	21
0	18	22
1	33	22
2	81	22
3	200	22
4	471	22
5	1002	22
6	2041	22
7	3327	22
8	3952	22
9	3976	22
done	3976	22
0	18	22
1	33	22
2	81	22
3	200	22
4	471	22
5	1002	22
6	2041	22
7	3327	22
8	3952	22
9	3976	22
done	3976	22
0	17	21
1	32	21
2	80	21
3	199	21
4	464	21
5	990	21
6	2016	21
7	3267	21
8	3892	21
9	3907	21
done	3907	21
0	17	21
1	32	21
2	80	21
3	199	21
4	464	21
5	990	21
6	2008	21
7	3257	21
8	3892	21
9	3912	21
done	3912	21
0	17	21
1	32	21
2	80	21
3	199	21
4	464	21
5	990	21
6	2008	21
7	3257	21
8	3892	21
9	3912	21
done	3912	21
0	16	20
1	31	20
2	79	20
3	198	20
4	465	20
5	994	20
6	2070	20
7	3308	20
8	3952	20
9	3972	20
done	3972	20
0	16	20
1	31	20
2	79	20
3	198	20
4	465	20
5	994	20
6	2070	20
7	3308	20
8	3952	20
9	3972	20
done	3972	20
0	16	20
1	33	20
2	81	18
3	240	18
4	713	18
5	1446	18
6	2420	18
7	4296	18
done	5000	18
0	21	28
1	63	28
2	203	26
3	848	26
4	3409	26
done	5000	26
0	21	32
1	60	32
2	172	28
3	568	26
4	1959	26
done	5001	26
0	21	30
1	59	30
2	177	28
3	733	26
4	2493	26
done	5001	26
0	20	34
1	51	34
2	147	30
3	494	26
4	1421	26
5	3740	26
done	5000	26
0	19	24
1	50	24
2	154	24
3	581	24
4	1903	24
5	4935	24
done	5000	24
0	18	28
1	43	28
2	121	28
3	353	26
4	740	24
5	1219	24
6	1846	24
7	3204	24
done	5000	24
0	19	24
1	49	24
2	133	22
3	405	22
4	1594	22
done	5000	22
0	18	26
1	40	26
2	101	24
3	328	22
4	1063	22
5	3045	22
done	5001	22
0	14	18
1	28	18
2	69	18
3	160	18
4	323	18
5	538	18
6	696	18
7	713	18
done	713	18
0	12	16
1	23	16
2	50	16
3	96	16
4	150	16
5	201	16
6	228	16
done	228	16
0	12	16
1	23	16
2	50	16
3	96	16
4	150	16
5	201	16
6	228	16
done	228	16
0	15	19
1	26	19
2	47	19
3	58	19
done	58	19
0	14	18
1	26	18
2	52	18
3	80	18
4	87	18
5	91	18
done	91	18
0	13	17
1	27	17
2	61	17
3	119	17
4	175	17
5	220	17
6	251	17
done	251	17
0	13	17
1	26	17
2	64	17
3	141	17
4	284	17
5	575	17
6	1329	17
7	4223	17
done	5000	17
0	18	50
1	38	40
2	143	22
3	740	22
4	4722	20
done	5000	20
0	16	50
1	40	40
2	159	20
3	859	20
done	5000	20
0	14	35
1	25	35
2	52	35
3	100	35
4	152	35
5	198	35
6	223	35
done	223	35
0	13	17
1	24	17
2	51	17
3	97	17
4	151	17
5	192	17
6	217	17
done	217	17
0	14	50
1	35	50
2	126	18
3	642	18
4	3573	18
done	5000	18
0	13	17
1	24	17
2	51	17
3	97	17
4	151	17
5	192	17
6	217	17
done	217	17
0	13	17
1	24	17
2	51	17
3	97	17
4	151	17
5	192	17
6	217	17
done	217	17
0	17	24
1	55	24
2	178	22
3	749	22
4	2991	22
done	5000	22
0	18	42
1	50	32
2	139	32
3	278	30
4	369	30
5	499	30
6	887	30
7	2257	30
done	5000	30
0	17	28
1	52	28
2	147	24
3	468	22
4	1570	22
done	5001	22
0	14	26
1	32	22
2	66	22
3	127	20
4	191	20
5	250	20
6	415	20
7	976	20
8	3361	20
done	5000	20
0	17	26
1	51	26
2	152	24
3	616	22
4	2144	22
done	5000	22
0	14	30
1	35	24
2	100	24
3	194	24
4	222	24
5	255	24
6	363	24
7	676	24
8	1756	24
done	5001	24
0	16	30
1	43	30
2	122	26
3	379	22
4	975	22
5	2162	22
6	4841	22
done	5000	22
0	10	14
1	16	14
2	26	14
3	30	14
done	30	14
0	14	27
1	27	27
2	61	27
3	123	27
4	228	27
5	362	27
6	458	27
7	469	27
done	469	27
0	14	26
1	26	17
2	53	17
3	99	17
4	153	17
5	198	17
6	223	17
done	223	17
0	13	17
1	24	17
2	51	17
3	97	17
4	151	17
5	192	17
6	219	17
done	219	17
0	9	10
1	17	9
2	33	9
3	68	7
4	121	7
5	194	7
6	232	7
7	253	7
done	253	7
0	13	17
1	24	17
2	51	17
3	97	17
4	151	17
5	192	17
6	219	17
done	219	17
0	8	9
1	16	7
2	38	7
3	69	7
4	119	7
5	178	7
6	214	7
7	235	7
done	235	7
0	9	10
1	15	10
2	28	10
3	40	10
done	40	10
0	15	20
1	42	20
2	129	20
3	498	20
4	1690	20
5	4529	20
done	5000	20
0	14	24
1	35	24
2	96	24
3	271	22
4	550	20
5	855	20
6	1314	20
7	2517	20
done	5001	20
0	15	20
1	41	20
2	108	18
3	310	18
4	1144	18
done	5000	18
0	14	22
1	32	22
2	78	20
3	214	18
4	608	18
5	1501	18
6	3379	18
done	5001	18
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	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	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	224	7
4	365	7
5	531	7
6	1425	7
7	4784	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	3	3
1	4	3
done	4	3
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	5
1	7	5
2	9	5
done	9	5
0	8	9
1	15	8
2	27	8
3	62	8
4	139	8
5	315	8
6	872	8
7	3008	8
done	5001	8
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	7	8
1	15	8
2	36	8
3	75	8
4	146	8
5	355	8
6	1034	8
7	3887	8
done	5000	8
0	8	17
1	13	17
2	26	17
3	38	17
done	38	17
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	8	23
1	14	23
2	41	9
3	144	9
4	642	9
5	2691	9
done	5000	9
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	9	11
1	30	11
2	101	11
3	449	11
4	1570	11
5	4320	11
done	5001	11
0	10	23
1	29	17
2	86	17
3	170	17
4	191	17
5	224	17
6	324	17
7	628	17
8	1692	17
done	5000	17
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	8	15
1	23	15
2	69	15
3	212	13
4	463	11
5	716	11
6	1151	11
7	2343	11
done	5000	11
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	35	63
1	98	61
2	336	59
3	1276	48
done	5000	45
0	41	73
1	121	71
2	399	63
3	1487	59
done	5001	59
0	41	73
1	121	71
2	399	63
3	1483	59
done	5001	59
0	25	42
1	65	42
2	193	42
3	574	39
4	2057	31
done	5000	31
0	25	47
1	73	45
2	197	41
3	559	37
4	1561	32
5	4986	32
done	5000	32
0	25	47
1	75	43
2	199	41
3	546	39
4	1575	33
done	5000	33
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	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7

prune287.0ms

Filtered

110 candidates to 130 candidates (-18.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	130	3	133

Merged error: 0b

Counts

133 → 3

regimes118.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	20
1	19	20
done	19	20

end0.0ms

sample1.2s

Algorithm

intervals

Results

468.0ms	8000×	body	80	valid
415.0ms	8034×	body	80	nan

Details

sample41.0ms

simplify1.3s

prune3.0ms

localize17.0ms

rewrite47.0ms

series52.0ms

simplify4.9min

prune283.0ms

localize16.0ms

rewrite56.0ms

series85.0ms

simplify9.2min

prune416.0ms

localize14.0ms

rewrite62.0ms

series42.0ms

simplify8.6min

prune432.0ms

localize19.0ms

rewrite41.0ms

series41.0ms

simplify6.8min

prune287.0ms

regimes118.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling