Details

sample208.0ms

Algorithm

intervals

Results

77.0ms	880×	body	80	nan
29.0ms	351×	body	80	valid
20.0ms	31×	body	1280	nan
12.0ms	83×	body	80	overflowed
11.0ms	24×	body	640	nan
4.0ms	12×	body	320	nan
2.0ms	9×	body	160	nan

simplify2.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	16
1	29	16
2	57	16
3	113	16
4	291	16
5	793	16
6	3005	16
done	5000	16

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: 0.7b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
0.3b	(* (* 2.0 PI) n)
0.3b	(/ 1.0 (sqrt k))
0.5b	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
55×	`times-frac`
49×	`*-un-lft-identity`
46×	`add-exp-log`
43×	`add-cube-cbrt`
23×	`associate-l` `sqrt-prod`
22×	`prod-exp`
19×	`pow-unpow`
16×	`add-cbrt-cube`
15×	`pow1`
9×	`pow-exp`
8×	`associate-r`
6×	`div-exp` `pow-prod-down` `associate-/r*` `unswap-sqr`
5×	`cbrt-unprod` `sqr-pow`
4×	`add-log-exp`
3×	`pow-to-exp` `pow-pow` `div-sub` `div-inv` `associate-/l*` `distribute-lft-out--` `pow-sub` `difference-of-squares`
2×	`cbrt-undiv` `unpow-prod-down` `*-commutative`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num`

Counts

4 → 149

Calls

4 calls:

14.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
6.0ms	(* (* 2.0 PI) n)
5.0ms	(/ 1.0 (sqrt k))
11.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))

series107.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
4.0ms	(* (* 2.0 PI) n)
13.0ms	(/ 1.0 (sqrt k))
19.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))

simplify5.5min

Counts

161 → 161

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	14
1	25	14
2	57	14
3	195	14
4	452	14
5	1215	14
6	2798	14
done	5000	14
0	12	13
1	25	13
2	50	13
3	163	13
4	392	13
5	1047	13
6	2509	13
done	5000	13
0	11	12
1	26	12
2	57	12
3	157	12
4	442	12
5	1035	12
6	2412	12
done	5000	12
0	11	12
1	26	12
2	57	12
3	157	12
4	442	12
5	1035	12
6	2412	12
done	5000	12
0	7	7
1	17	5
2	36	5
3	61	5
4	98	5
5	123	5
6	138	5
7	140	5
done	140	5
0	7	7
1	17	5
2	36	5
3	61	5
4	98	5
5	123	5
6	138	5
7	140	5
done	140	5
0	7	7
1	17	5
2	36	5
3	61	5
4	98	5
5	123	5
6	138	5
7	140	5
done	140	5
0	8	9
1	16	9
2	29	9
3	54	9
4	115	9
5	285	9
6	1146	9
done	5000	9
0	8	9
1	16	9
2	29	9
3	54	9
4	115	9
5	285	9
6	1146	9
done	5000	9
0	12	19
1	25	19
2	41	19
3	67	19
4	124	19
5	283	19
6	900	19
7	3331	19
done	5000	19
0	11	12
1	24	12
2	38	12
3	58	12
4	98	12
5	200	12
6	567	12
7	2201	12
done	5000	12
0	14	21
1	30	21
2	59	21
3	124	21
4	342	21
5	984	21
6	3895	21
done	5000	21
0	13	18
1	25	18
2	43	18
3	83	18
4	199	18
5	525	18
6	2174	18
done	5001	18
0	13	17
1	27	15
2	51	15
3	88	15
4	171	15
5	386	15
6	1368	15
7	4968	15
done	5000	15
0	13	16
1	25	16
2	41	16
3	75	16
4	167	16
5	427	16
6	1820	16
done	5000	16
0	12	13
1	22	13
2	36	13
3	61	13
4	122	13
5	287	13
6	1149	13
done	5000	13
0	12	12
1	24	10
2	40	10
3	60	10
4	102	10
5	200	10
6	645	10
7	2410	10
done	5000	10
0	10	13
1	22	13
2	37	13
3	72	13
4	156	13
5	459	13
6	1685	13
done	5000	13
0	9	10
1	19	10
2	32	10
3	58	10
4	115	10
5	290	10
6	839	10
7	2580	10
done	5001	10
0	8	9
1	19	7
2	32	5
3	43	5
4	65	5
5	124	5
6	342	5
7	1266	5
done	5000	5
0	14	17
1	25	17
2	40	17
3	76	17
4	178	17
5	439	17
6	1884	17
done	5001	17
0	13	14
1	22	14
2	35	14
3	60	14
4	129	14
5	293	14
6	1175	14
done	5000	14
0	13	13
1	24	11
2	39	11
3	57	11
4	107	11
5	205	11
6	662	11
7	2503	11
done	5001	11
0	10	13
1	22	13
2	37	13
3	72	13
4	156	13
5	459	13
6	1685	13
done	5000	13
0	9	10
1	19	10
2	32	10
3	58	10
4	115	10
5	290	10
6	839	10
7	2580	10
done	5001	10
0	8	9
1	19	7
2	32	5
3	43	5
4	65	5
5	124	5
6	342	5
7	1266	5
done	5000	5
0	7	7
1	18	5
2	31	5
3	42	5
4	64	5
5	121	5
6	333	5
7	1253	5
done	5000	5
0	9	9
1	19	9
2	34	9
3	57	9
4	120	9
5	263	9
6	754	9
7	2676	9
done	5000	9
0	8	9
1	18	9
2	31	9
3	65	9
4	165	9
5	400	9
6	1531	9
done	5001	9
0	7	7
1	16	7
2	29	7
3	63	7
4	165	7
5	396	7
6	1536	7
done	5001	7
0	11	12
1	26	12
2	57	12
3	142	12
4	485	12
5	1685	12
done	5001	12
0	11	12
1	24	12
2	45	12
3	86	12
4	203	12
5	499	12
6	1878	12
done	5000	12
0	12	25
1	25	25
2	44	25
3	78	25
4	180	25
5	419	25
6	1546	25
done	5000	25
0	11	12
1	24	12
2	43	12
3	79	12
4	181	12
5	415	12
6	1555	12
done	5000	12
0	12	35
1	28	25
2	65	13
3	148	13
4	364	13
5	1302	13
done	5001	13
0	11	12
1	24	12
2	44	12
3	80	12
4	182	12
5	420	12
6	1548	12
done	5001	12
0	11	12
1	24	12
2	44	12
3	80	12
4	182	12
5	420	12
6	1548	12
done	5001	12
0	12	13
1	26	13
2	54	13
3	103	13
4	238	13
5	580	13
6	2146	13
done	5000	13
0	12	13
1	26	13
2	54	13
3	103	13
4	238	13
5	580	13
6	2146	13
done	5000	13
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	18	21
1	35	21
2	77	21
3	270	21
4	884	21
5	3654	21
done	5000	21
0	17	20
1	35	20
2	70	20
3	225	20
4	735	20
5	3056	20
done	5000	20
0	16	19
1	36	19
2	77	19
3	208	19
4	717	19
5	2725	19
done	5000	19
0	16	19
1	36	19
2	77	19
3	208	19
4	717	19
5	2725	19
done	5000	19
0	16	19
1	36	19
2	77	19
3	191	19
4	736	19
5	3758	19
done	5000	19
0	17	20
1	33	20
2	71	20
3	242	20
4	715	20
5	2860	20
done	5001	20
0	16	19
1	33	19
2	64	19
3	202	19
4	597	19
5	2368	19
done	5001	19
0	15	18
1	34	18
2	71	18
3	190	18
4	588	18
5	2080	18
done	5000	18
0	15	18
1	34	18
2	71	18
3	190	18
4	588	18
5	2080	18
done	5000	18
0	15	18
1	34	18
2	71	18
3	175	18
4	635	18
5	3054	18
done	5000	18
0	14	17
1	33	17
2	71	17
3	164	17
4	543	17
5	2544	17
done	5001	17
0	14	17
1	32	17
2	65	17
3	136	17
4	369	17
5	1134	17
6	4814	17
done	5000	17
0	19	50
1	49	36
2	157	22
3	682	22
4	3882	22
done	5001	22
0	17	50
1	45	40
2	131	20
3	463	20
4	2260	18
done	5001	18
0	15	35
1	31	35
2	59	35
3	113	35
4	286	35
5	793	35
6	3024	35
done	5001	35
0	14	17
1	30	17
2	58	17
3	112	17
4	287	17
5	800	17
6	3028	17
done	5000	17
0	15	50
1	41	50
2	132	18
3	556	18
4	2816	18
done	5001	18
0	14	17
1	30	17
2	58	17
3	112	17
4	287	17
5	800	17
6	3028	17
done	5000	17
0	14	17
1	30	17
2	58	17
3	112	17
4	287	17
5	800	17
6	3028	17
done	5000	17
0	9	11
1	18	11
2	35	11
3	70	11
4	157	11
5	408	11
6	1567	11
done	5000	11
0	10	12
1	19	12
2	36	12
3	71	12
4	158	12
5	410	12
6	1574	12
done	5000	12
0	15	18
1	29	18
2	49	18
3	85	18
4	185	18
5	414	18
6	1554	18
done	5000	18
0	15	18
1	29	18
2	49	18
3	85	18
4	185	18
5	414	18
6	1554	18
done	5000	18
0	16	19
1	31	19
2	63	19
3	120	19
4	280	19
5	711	19
6	2610	19
done	5001	19
0	16	19
1	31	19
2	63	19
3	120	19
4	280	19
5	711	19
6	2610	19
done	5001	19
0	16	19
1	32	19
2	55	19
3	91	19
4	193	19
5	427	19
6	1569	19
done	5000	19
0	16	19
1	32	19
2	55	19
3	91	19
4	193	19
5	427	19
6	1569	19
done	5000	19
0	17	20
1	34	20
2	71	20
3	140	20
4	350	20
5	969	20
6	3624	20
done	5000	20
0	17	20
1	34	20
2	71	20
3	140	20
4	350	20
5	969	20
6	3624	20
done	5000	20
0	16	19
1	32	19
2	55	19
3	91	19
4	193	19
5	427	19
6	1569	19
done	5000	19
0	16	19
1	32	19
2	55	19
3	91	19
4	193	19
5	427	19
6	1569	19
done	5000	19
0	17	20
1	34	20
2	71	20
3	140	20
4	350	20
5	969	20
6	3624	20
done	5000	20
0	17	20
1	34	20
2	71	20
3	140	20
4	350	20
5	969	20
6	3624	20
done	5000	20
0	11	14
1	24	14
2	46	14
3	100	14
4	275	14
5	780	14
6	2998	14
done	5000	14
0	15	30
1	33	30
2	60	30
3	102	30
4	211	30
5	446	30
6	1588	30
done	5000	30
0	14	17
1	30	17
2	53	17
3	89	17
4	191	17
5	423	17
6	1556	17
done	5001	17
0	6	6
1	11	4
2	21	4
done	21	4
0	15	18
1	32	18
2	69	18
3	140	18
4	350	18
5	959	18
6	3611	18
done	5000	18
0	14	17
1	28	17
2	51	17
3	97	17
4	223	17
5	540	17
6	1988	17
done	5000	17
0	14	17
1	28	17
2	51	17
3	97	17
4	223	17
5	540	17
6	1988	17
done	5000	17
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3003	17
done	5001	17
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3003	17
done	5001	17
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3003	17
done	5001	17
0	15	18
1	31	18
2	59	18
3	115	18
4	289	18
5	796	18
6	3014	18
done	5001	18
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3003	17
done	5001	17
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3007	17
done	5000	17
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3007	17
done	5000	17
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3007	17
done	5000	17
0	13	16
1	29	16
2	57	16
3	113	16
4	291	16
5	793	16
6	3005	16
done	5000	16
0	14	17
1	30	17
2	58	17
3	114	17
4	289	17
5	792	17
6	3007	17
done	5000	17
0	13	16
1	29	16
2	57	16
3	113	16
4	291	16
5	793	16
6	3005	16
done	5000	16
0	13	16
1	29	16
2	57	16
3	113	16
4	291	16
5	793	16
6	3005	16
done	5000	16
0	14	16
1	32	16
2	60	14
3	136	14
4	334	14
5	797	14
6	2482	14
done	5000	14
0	12	14
1	23	14
2	45	14
3	90	14
4	226	14
5	662	14
6	2590	14
done	5000	14
0	11	13
1	25	13
2	48	13
3	90	13
4	215	13
5	530	13
6	1992	13
done	5000	13
0	38	119
1	113	117
2	419	115
3	1686	75
done	5001	75
0	16	16
1	36	15
2	84	14
3	299	14
4	987	14
5	3016	11
done	5000	11
0	16	16
1	33	16
2	82	16
3	305	16
4	1102	16
5	3934	13
done	5001	13
0	16	21
1	47	19
2	136	17
3	289	17
4	622	15
5	1653	15
done	5000	15
0	18	25
1	53	23
2	166	21
3	437	21
4	1480	21
done	5000	21
0	9	11
1	20	9
2	28	9
3	33	9
4	46	9
5	69	9
6	98	9
7	122	9
done	122	9
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	83	323
1	252	311
2	1039	251
done	5000	251
0	35	76
1	98	71
2	301	66
3	1351	51
done	5000	51
0	23	43
1	52	41
2	119	41
3	385	41
4	1406	26
done	5000	26

prune402.0ms

Filtered

128 candidates to 161 candidates (-25.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	151	10	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	10	162

Merged error: 0.0b

Counts

162 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (* (* 2.0 PI) n) (/ k 2.0))
0.3b	(* (* 2.0 PI) n)
0.3b	(* (* 2.0 PI) n)
0.3b	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

26×	`pow1` `add-exp-log` `pow-unpow`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac`
14×	`add-cbrt-cube`
12×	`pow-prod-down` `prod-exp`
6×	`pow-pow` `associate-r` `pow-exp` `cbrt-unprod`
4×	`add-log-exp`
2×	`pow-to-exp` `unpow-prod-down` `associate-l` `*-commutative` `div-inv` `sqr-pow`

Counts

4 → 94

Calls

4 calls:

8.0ms	(pow (* (* 2.0 PI) n) (/ k 2.0))
6.0ms	(* (* 2.0 PI) n)
6.0ms	(* (* 2.0 PI) n)
8.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

series55.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(pow (* (* 2.0 PI) n) (/ k 2.0))
4.0ms	(* (* 2.0 PI) n)
4.0ms	(* (* 2.0 PI) n)
32.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

simplify3.7min

Counts

106 → 106

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	18	12
2	41	12
3	94	12
4	121	12
5	135	12
6	155	12
7	175	12
8	193	12
9	199	12
done	199	12
0	10	11
1	18	11
2	34	11
3	82	11
4	111	11
5	127	11
6	141	11
7	167	11
8	189	11
9	195	11
done	195	11
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	10	15
1	18	15
2	31	15
3	55	15
4	114	15
5	272	15
6	899	15
7	3343	15
done	5000	15
0	9	10
1	17	10
2	28	10
3	46	10
4	86	10
5	195	10
6	569	10
7	2190	10
done	5000	10
0	12	17
1	26	17
2	54	17
3	119	17
4	337	17
5	991	17
6	3926	17
done	5001	17
0	11	14
1	21	14
2	38	14
3	76	14
4	192	14
5	517	14
6	2166	14
done	5001	14
0	11	13
1	23	11
2	46	11
3	82	11
4	165	11
5	380	11
6	1356	11
7	4854	11
done	5000	11
0	11	14
1	21	14
2	36	14
3	70	14
4	162	14
5	421	14
6	1809	14
done	5001	14
0	10	11
1	18	11
2	31	11
3	56	11
4	117	11
5	287	11
6	1153	11
done	5000	11
0	10	10
1	20	8
2	35	8
3	53	8
4	97	8
5	202	8
6	646	8
7	2379	8
done	5000	8
0	10	13
1	22	13
2	37	13
3	72	13
4	156	13
5	459	13
6	1685	13
done	5000	13
0	9	10
1	19	10
2	32	10
3	58	10
4	115	10
5	290	10
6	839	10
7	2580	10
done	5001	10
0	8	9
1	19	7
2	32	5
3	43	5
4	65	5
5	124	5
6	342	5
7	1266	5
done	5000	5
0	7	7
1	18	5
2	31	5
3	42	5
4	64	5
5	121	5
6	333	5
7	1253	5
done	5000	5
0	7	7
1	15	7
2	26	7
3	44	7
4	84	7
5	189	7
6	571	7
7	1975	7
done	5001	7
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1131	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	9	10
1	19	10
2	44	10
3	114	10
4	300	10
5	1016	10
done	5001	10
0	9	10
1	17	10
2	32	10
3	62	10
4	140	10
5	369	10
6	1461	10
done	5000	10
0	10	21
1	18	21
2	31	21
3	56	21
4	117	21
5	289	21
6	1147	21
done	5000	21
0	9	10
1	17	10
2	30	10
3	55	10
4	116	10
5	287	10
6	1142	10
done	5000	10
0	10	29
1	21	21
2	52	11
3	116	11
4	303	11
5	1107	11
done	5001	11
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	11	12
1	18	12
2	41	12
3	94	12
4	121	12
5	135	12
6	155	12
7	175	12
8	193	12
9	199	12
done	199	12
0	10	11
1	18	11
2	34	11
3	82	11
4	111	11
5	127	11
6	141	11
7	167	11
8	189	11
9	195	11
done	195	11
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	10	15
1	18	15
2	31	15
3	55	15
4	114	15
5	272	15
6	899	15
7	3343	15
done	5000	15
0	9	10
1	17	10
2	28	10
3	46	10
4	86	10
5	195	10
6	569	10
7	2190	10
done	5000	10
0	12	17
1	26	17
2	54	17
3	119	17
4	337	17
5	991	17
6	3926	17
done	5001	17
0	11	14
1	21	14
2	38	14
3	76	14
4	192	14
5	517	14
6	2166	14
done	5001	14
0	11	13
1	23	11
2	46	11
3	82	11
4	165	11
5	380	11
6	1356	11
7	4854	11
done	5000	11
0	11	14
1	21	14
2	36	14
3	70	14
4	162	14
5	421	14
6	1809	14
done	5001	14
0	10	11
1	18	11
2	31	11
3	56	11
4	117	11
5	287	11
6	1153	11
done	5000	11
0	10	10
1	20	8
2	35	8
3	53	8
4	97	8
5	202	8
6	646	8
7	2379	8
done	5000	8
0	10	13
1	22	13
2	37	13
3	72	13
4	156	13
5	459	13
6	1685	13
done	5000	13
0	9	10
1	19	10
2	32	10
3	58	10
4	115	10
5	290	10
6	839	10
7	2580	10
done	5001	10
0	8	9
1	19	7
2	32	5
3	43	5
4	65	5
5	124	5
6	342	5
7	1266	5
done	5000	5
0	7	7
1	18	5
2	31	5
3	42	5
4	64	5
5	121	5
6	333	5
7	1253	5
done	5000	5
0	7	7
1	15	7
2	26	7
3	44	7
4	84	7
5	189	7
6	571	7
7	1975	7
done	5001	7
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1131	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	9	10
1	19	10
2	44	10
3	114	10
4	300	10
5	1016	10
done	5001	10
0	9	10
1	17	10
2	32	10
3	62	10
4	140	10
5	369	10
6	1461	10
done	5000	10
0	10	21
1	18	21
2	31	21
3	56	21
4	117	21
5	289	21
6	1147	21
done	5000	21
0	9	10
1	17	10
2	30	10
3	55	10
4	116	10
5	287	10
6	1142	10
done	5000	10
0	10	29
1	21	21
2	52	11
3	116	11
4	303	11
5	1107	11
done	5001	11
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	10	10
1	24	10
2	45	10
3	90	9
4	152	7
5	310	7
6	812	7
7	3591	7
done	5000	7
0	12	12
1	27	11
2	48	10
3	116	10
4	262	7
5	560	7
6	1299	7
7	4060	7
done	5000	7
0	12	12
1	24	12
2	46	12
3	117	12
4	285	9
5	727	9
6	1683	8
done	5000	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	31	55
1	81	55
2	298	55
3	1157	49
4	4464	41
done	5000	41
0	14	14
1	32	13
2	67	12
3	190	12
4	491	11
5	1095	9
6	3100	9
done	5001	9
0	14	14
1	29	14
2	65	14
3	192	14
4	533	14
5	1390	11
6	3914	11
done	5000	11

prune256.0ms

Filtered

82 candidates to 106 candidates (-29.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	106	10	116

Merged error: 0.0b

Counts

116 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2.0 PI) n)
0.3b	(* (* 2.0 PI) n)
0.3b	(/ 1.0 (sqrt k))
0.3b	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`times-frac`
22×	`add-exp-log`
20×	`pow1`
16×	`add-cbrt-cube`
13×	`pow-unpow`
12×	`sqrt-prod`
9×	`pow-prod-down` `prod-exp`
6×	`associate-r` `associate-/r*` `cbrt-unprod`
4×	`add-log-exp`
3×	`pow-pow` `pow-exp` `associate-/l*`
2×	`associate-l` `*-commutative` `div-inv`
1×	`cbrt-undiv` `pow-to-exp` `unpow-prod-down` `frac-2neg` `div-exp` `clear-num` `sqr-pow`

Counts

4 → 104

Calls

4 calls:

6.0ms	(* (* 2.0 PI) n)
6.0ms	(* (* 2.0 PI) n)
5.0ms	(/ 1.0 (sqrt k))
8.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

series48.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* 2.0 PI) n)
4.0ms	(* (* 2.0 PI) n)
12.0ms	(/ 1.0 (sqrt k))
28.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))

simplify2.3min

Counts

116 → 116

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	18	12
2	41	12
3	94	12
4	121	12
5	135	12
6	155	12
7	175	12
8	193	12
9	199	12
done	199	12
0	10	11
1	18	11
2	34	11
3	82	11
4	111	11
5	127	11
6	141	11
7	167	11
8	189	11
9	195	11
done	195	11
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	10	15
1	18	15
2	31	15
3	55	15
4	114	15
5	272	15
6	899	15
7	3343	15
done	5000	15
0	9	10
1	17	10
2	28	10
3	46	10
4	86	10
5	195	10
6	569	10
7	2190	10
done	5000	10
0	12	17
1	26	17
2	54	17
3	119	17
4	337	17
5	991	17
6	3926	17
done	5001	17
0	11	14
1	21	14
2	38	14
3	76	14
4	192	14
5	517	14
6	2166	14
done	5001	14
0	11	13
1	23	11
2	46	11
3	82	11
4	165	11
5	380	11
6	1356	11
7	4854	11
done	5000	11
0	11	14
1	21	14
2	36	14
3	70	14
4	162	14
5	421	14
6	1809	14
done	5001	14
0	10	11
1	18	11
2	31	11
3	56	11
4	117	11
5	287	11
6	1153	11
done	5000	11
0	10	10
1	20	8
2	35	8
3	53	8
4	97	8
5	202	8
6	646	8
7	2379	8
done	5000	8
0	10	13
1	22	13
2	37	13
3	72	13
4	156	13
5	459	13
6	1685	13
done	5000	13
0	9	10
1	19	10
2	32	10
3	58	10
4	115	10
5	290	10
6	839	10
7	2580	10
done	5001	10
0	8	9
1	19	7
2	32	5
3	43	5
4	65	5
5	124	5
6	342	5
7	1266	5
done	5000	5
0	7	7
1	18	5
2	31	5
3	42	5
4	64	5
5	121	5
6	333	5
7	1253	5
done	5000	5
0	7	7
1	15	7
2	26	7
3	44	7
4	84	7
5	189	7
6	571	7
7	1975	7
done	5001	7
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1131	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	9	10
1	19	10
2	44	10
3	114	10
4	300	10
5	1016	10
done	5001	10
0	9	10
1	17	10
2	32	10
3	62	10
4	140	10
5	369	10
6	1461	10
done	5000	10
0	10	21
1	18	21
2	31	21
3	56	21
4	117	21
5	289	21
6	1147	21
done	5000	21
0	9	10
1	17	10
2	30	10
3	55	10
4	116	10
5	287	10
6	1142	10
done	5000	10
0	10	29
1	21	21
2	52	11
3	116	11
4	303	11
5	1107	11
done	5001	11
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	10	10
1	24	10
2	45	10
3	90	9
4	152	7
5	310	7
6	812	7
7	3591	7
done	5000	7
0	12	12
1	27	11
2	48	10
3	116	10
4	262	7
5	560	7
6	1299	7
7	4060	7
done	5000	7
0	12	12
1	24	12
2	46	12
3	117	12
4	285	9
5	727	9
6	1683	8
done	5000	8
0	16	21
1	47	19
2	136	17
3	289	17
4	622	15
5	1653	15
done	5000	15
0	18	25
1	53	23
2	166	21
3	437	21
4	1480	21
done	5000	21
0	9	11
1	20	9
2	28	9
3	33	9
4	46	9
5	69	9
6	98	9
7	122	9
done	122	9
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune267.0ms

Filtered

90 candidates to 116 candidates (-28.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	116	10	126

Merged error: 0.0b

Counts

126 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2.0 PI) n)
0.3b	(/ 1.0 (sqrt k))
0.3b	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
0.4b	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
49×	`times-frac`
46×	`add-exp-log`
41×	`add-cube-cbrt` `*-un-lft-identity`
23×	`associate-l` `sqrt-prod`
22×	`prod-exp`
16×	`add-cbrt-cube`
15×	`pow1`
13×	`pow-unpow`
9×	`pow-exp`
8×	`associate-r`
6×	`div-exp` `pow-prod-down` `associate-/r*` `unswap-sqr`
5×	`cbrt-unprod` `sqr-pow`
4×	`add-log-exp`
3×	`pow-to-exp` `pow-pow` `div-inv` `associate-/l*`
2×	`cbrt-undiv` `unpow-prod-down` `*-commutative`
1×	`frac-2neg` `associate-*l/` `clear-num`

Counts

4 → 140

Calls

4 calls:

6.0ms	(* (* 2.0 PI) n)
5.0ms	(/ 1.0 (sqrt k))
8.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
13.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

series141.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* 2.0 PI) n)
8.0ms	(/ 1.0 (sqrt k))
28.0ms	(pow (* (* 2.0 PI) n) (/ 1.0 2.0))
101.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ 1.0 2.0)))

simplify5.3min

Counts

152 → 152

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	19
1	29	19
2	62	19
3	170	19
4	451	19
5	1045	19
6	1919	19
7	2594	19
8	3510	19
9	3577	19
done	3577	19
0	16	18
1	29	18
2	55	18
3	145	18
4	377	18
5	965	18
6	1909	18
7	2536	18
8	3429	18
9	3497	18
done	3497	18
0	15	17
1	30	17
2	62	17
3	140	17
4	363	17
5	924	17
6	1883	17
7	2508	17
8	3336	17
9	3407	17
done	3407	17
0	15	17
1	30	17
2	62	17
3	140	17
4	363	17
5	924	17
6	1883	17
7	2508	17
8	3336	17
9	3407	17
done	3407	17
0	15	17
1	30	17
2	65	17
3	164	17
4	525	17
5	2478	17
done	5001	17
0	16	18
1	27	18
2	56	18
3	144	18
4	321	18
5	678	18
6	1379	18
7	2132	18
8	2999	18
9	3612	18
10	3644	18
done	3644	18
0	15	17
1	27	17
2	49	17
3	122	17
4	269	17
5	611	17
6	1228	17
7	1936	17
8	2759	17
9	3438	17
10	3470	17
done	3470	17
0	14	16
1	28	16
2	56	16
3	122	16
4	262	16
5	596	16
6	1220	16
7	2076	16
8	2853	16
9	3710	16
10	3744	16
done	3744	16
0	14	16
1	28	16
2	56	16
3	122	16
4	262	16
5	596	16
6	1220	16
7	2076	16
8	2853	16
9	3710	16
10	3744	16
done	3744	16
0	14	16
1	28	16
2	59	16
3	148	16
4	438	16
5	1989	16
done	5000	16
0	13	15
1	27	15
2	59	15
3	143	15
4	475	15
5	2118	15
done	5000	15
0	13	15
1	26	15
2	53	15
3	115	15
4	307	15
5	1003	15
6	4421	15
done	5000	15
0	18	44
1	43	32
2	145	20
3	641	20
4	3821	20
done	5000	20
0	16	44
1	39	36
2	119	18
3	424	18
4	2206	16
done	5000	16
0	14	31
1	25	31
2	47	31
3	92	31
4	228	31
5	664	31
6	2605	31
done	5000	31
0	13	15
1	24	15
2	46	15
3	93	15
4	227	15
5	666	15
6	2593	15
done	5000	15
0	14	44
1	35	44
2	120	16
3	534	16
4	2755	16
done	5000	16
0	13	15
1	24	15
2	46	15
3	93	15
4	227	15
5	666	15
6	2593	15
done	5000	15
0	13	15
1	24	15
2	46	15
3	93	15
4	227	15
5	666	15
6	2593	15
done	5000	15
0	14	16
1	23	16
2	37	16
3	64	16
4	125	16
5	288	16
6	1140	16
done	5000	16
0	14	16
1	23	16
2	37	16
3	64	16
4	125	16
5	288	16
6	1140	16
done	5000	16
0	15	17
1	25	17
2	48	17
3	89	17
4	195	17
5	516	17
6	2014	17
done	5000	17
0	15	17
1	25	17
2	48	17
3	89	17
4	195	17
5	516	17
6	2014	17
done	5000	17
0	15	17
1	26	17
2	43	17
3	70	17
4	133	17
5	300	17
6	1156	17
done	5000	17
0	15	17
1	26	17
2	43	17
3	70	17
4	133	17
5	300	17
6	1156	17
done	5000	17
0	16	18
1	28	18
2	56	18
3	107	18
4	268	18
5	779	18
6	3045	18
done	5000	18
0	16	18
1	28	18
2	56	18
3	107	18
4	268	18
5	779	18
6	3045	18
done	5000	18
0	15	17
1	26	17
2	43	17
3	70	17
4	133	17
5	300	17
6	1156	17
done	5000	17
0	15	17
1	26	17
2	43	17
3	70	17
4	133	17
5	300	17
6	1156	17
done	5000	17
0	16	18
1	28	18
2	56	18
3	107	18
4	268	18
5	779	18
6	3045	18
done	5000	18
0	16	18
1	28	18
2	56	18
3	107	18
4	268	18
5	779	18
6	3045	18
done	5000	18
0	10	12
1	18	12
2	34	12
3	81	12
4	220	12
5	666	12
6	2612	12
done	5000	12
0	14	26
1	27	26
2	48	26
3	83	26
4	153	26
5	325	26
6	1187	26
done	5001	26
0	13	15
1	24	15
2	41	15
3	70	15
4	133	15
5	302	15
6	1163	15
done	5001	15
0	6	6
1	11	4
2	21	4
done	21	4
0	14	16
1	26	16
2	54	16
3	105	16
4	264	16
5	776	16
6	3060	16
done	5001	16
0	13	15
1	22	15
2	39	15
3	74	15
4	160	15
5	406	15
6	1579	15
done	5001	15
0	13	15
1	22	15
2	39	15
3	74	15
4	160	15
5	406	15
6	1579	15
done	5001	15
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5000	15
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5000	15
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5000	15
0	14	16
1	25	16
2	47	16
3	92	16
4	229	16
5	666	16
6	2617	16
done	5001	16
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5000	15
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5001	15
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5001	15
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5001	15
0	12	14
1	23	14
2	45	14
3	90	14
4	226	14
5	662	14
6	2590	14
done	5000	14
0	13	15
1	24	15
2	46	15
3	93	15
4	228	15
5	663	15
6	2600	15
done	5001	15
0	12	14
1	23	14
2	45	14
3	90	14
4	226	14
5	662	14
6	2590	14
done	5000	14
0	12	14
1	23	14
2	45	14
3	90	14
4	226	14
5	662	14
6	2590	14
done	5000	14
0	13	14
1	26	14
2	48	12
3	113	12
4	278	12
5	667	12
6	2066	12
done	5000	12
0	9	11
1	18	11
2	35	11
3	70	11
4	157	11
5	408	11
6	1567	11
done	5000	11
0	11	12
1	18	12
2	41	12
3	94	12
4	121	12
5	135	12
6	155	12
7	175	12
8	193	12
9	199	12
done	199	12
0	10	11
1	18	11
2	34	11
3	82	11
4	111	11
5	127	11
6	141	11
7	167	11
8	189	11
9	195	11
done	195	11
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	9	10
1	19	10
2	41	10
3	88	10
4	143	10
5	163	10
6	178	10
7	201	10
8	226	10
9	234	10
done	234	10
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	10	15
1	18	15
2	31	15
3	55	15
4	114	15
5	272	15
6	899	15
7	3343	15
done	5000	15
0	9	10
1	17	10
2	28	10
3	46	10
4	86	10
5	195	10
6	569	10
7	2190	10
done	5000	10
0	12	17
1	26	17
2	54	17
3	119	17
4	337	17
5	991	17
6	3926	17
done	5001	17
0	11	14
1	21	14
2	38	14
3	76	14
4	192	14
5	517	14
6	2166	14
done	5001	14
0	11	13
1	23	11
2	46	11
3	82	11
4	165	11
5	380	11
6	1356	11
7	4854	11
done	5000	11
0	11	14
1	21	14
2	36	14
3	70	14
4	162	14
5	421	14
6	1809	14
done	5001	14
0	10	11
1	18	11
2	31	11
3	56	11
4	117	11
5	287	11
6	1153	11
done	5000	11
0	10	10
1	20	8
2	35	8
3	53	8
4	97	8
5	202	8
6	646	8
7	2379	8
done	5000	8
0	10	13
1	22	13
2	37	13
3	72	13
4	156	13
5	459	13
6	1685	13
done	5000	13
0	9	10
1	19	10
2	32	10
3	58	10
4	115	10
5	290	10
6	839	10
7	2580	10
done	5001	10
0	8	9
1	19	7
2	32	5
3	43	5
4	65	5
5	124	5
6	342	5
7	1266	5
done	5000	5
0	7	7
1	18	5
2	31	5
3	42	5
4	64	5
5	121	5
6	333	5
7	1253	5
done	5000	5
0	7	7
1	15	7
2	26	7
3	44	7
4	84	7
5	189	7
6	571	7
7	1975	7
done	5001	7
0	6	7
1	11	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1131	7
done	5000	7
0	5	5
1	9	5
2	16	5
3	41	5
4	102	5
5	270	5
6	1122	5
done	5000	5
0	9	10
1	19	10
2	44	10
3	114	10
4	300	10
5	1016	10
done	5001	10
0	9	10
1	17	10
2	32	10
3	62	10
4	140	10
5	369	10
6	1461	10
done	5000	10
0	10	21
1	18	21
2	31	21
3	56	21
4	117	21
5	289	21
6	1147	21
done	5000	21
0	9	10
1	17	10
2	30	10
3	55	10
4	116	10
5	287	10
6	1142	10
done	5000	10
0	10	29
1	21	21
2	52	11
3	116	11
4	303	11
5	1107	11
done	5001	11
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	9	10
1	17	10
2	31	10
3	56	10
4	117	10
5	288	10
6	1147	10
done	5001	10
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	10	11
1	19	11
2	38	11
3	67	11
4	152	11
5	393	11
6	1581	11
done	5001	11
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	29	3
done	29	3
0	3	3
1	4	3
done	4	3
0	38	84
1	104	79
2	306	57
3	1244	35
done	5000	35
0	41	94
1	111	86
2	354	59
3	1695	39
done	5001	39
0	28	57
1	72	53
2	182	29
3	633	27
4	2798	27
done	5001	27
0	10	10
1	24	10
2	45	10
3	90	9
4	152	7
5	310	7
6	812	7
7	3591	7
done	5000	7
0	12	12
1	27	11
2	48	10
3	116	10
4	262	7
5	560	7
6	1299	7
7	4060	7
done	5000	7
0	12	12
1	24	12
2	46	12
3	117	12
4	285	9
5	727	9
6	1683	8
done	5000	8
0	16	21
1	47	19
2	136	17
3	289	17
4	622	15
5	1653	15
done	5000	15
0	18	25
1	53	23
2	166	21
3	437	21
4	1480	21
done	5000	21
0	9	11
1	20	9
2	28	9
3	33	9
4	46	9
5	69	9
6	98	9
7	122	9
done	122	9
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune344.0ms

Filtered

122 candidates to 152 candidates (-24.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	151	1	152
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	152	10	162

Merged error: 0.0b

Counts

162 → 10

regimes359.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	18	24
done	18	24

end0.0ms

sample6.1s

Algorithm

intervals

Results

2.2s	26913×	body	80	nan
864.0ms	10648×	body	80	valid
681.0ms	1054×	body	1280	nan
418.0ms	879×	body	640	nan
368.0ms	2518×	body	80	overflowed
149.0ms	457×	body	320	nan
45.0ms	210×	body	160	nan

Details

sample208.0ms

simplify2.5s

prune3.0ms

localize13.0ms

rewrite42.0ms

series107.0ms

simplify5.5min

prune402.0ms

localize17.0ms

rewrite31.0ms

series55.0ms

simplify3.7min

prune256.0ms

localize17.0ms

rewrite28.0ms

series48.0ms

simplify2.3min

prune267.0ms

localize21.0ms

rewrite38.0ms

series141.0ms

simplify5.3min

prune344.0ms

regimes359.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.1s

Profiling