Details

sample55.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
17.0ms	253×	body	80	nan

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	28
1	44	28
2	161	28
3	780	28
4	3422	28
done	5000	28

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.5b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.2b	(* PI t)
0.4b	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
0.4b	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
18×	`associate-*r/`
16×	`pow1`
13×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`flip3--` `sqrt-div` `associate-r` `associate-/r/` `flip--`
7×	`associate-l` `pow-prod-down`
4×	`cbrt-undiv` `frac-times` `div-exp` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l`
2×	`associate-*l/` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `div-sub` `clear-num` `associate-/r*` `sqrt-prod` `div-inv`

Counts

4 → 94

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
4.0ms	(* PI t)
10.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
25.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))

series83.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 5.0 (* v v))
3.0ms	(* PI t)
29.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
48.0ms	(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))

simplify3.5min

Counts

106 → 106

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	24	33
1	48	33
2	119	33
3	287	33
4	648	33
5	1155	33
6	2038	33
7	3197	33
8	3327	33
done	3327	33
0	23	32
1	48	32
2	110	32
3	254	32
4	574	32
5	1108	32
6	1943	32
7	3179	32
8	3318	32
done	3318	32
0	22	31
1	47	31
2	107	31
3	228	31
4	497	31
5	950	31
6	1566	31
7	2668	31
8	2811	31
done	2811	31
0	21	30
1	46	30
2	126	30
3	346	30
4	787	30
5	1341	30
6	2081	30
7	3126	30
8	4087	30
9	4132	30
done	4132	30
0	20	29
1	48	29
2	176	29
3	847	29
4	3680	29
done	5000	29
0	20	29
1	45	29
2	165	29
3	806	29
4	3610	29
done	5001	29
0	29	86
1	69	74
2	339	38
3	2874	38
done	5000	38
0	27	86
1	71	74
2	341	36
3	2940	36
done	5000	36
0	25	86
1	66	86
2	314	34
3	2488	34
done	5001	34
0	23	86
1	61	86
2	312	32
3	2961	30
done	5001	30
0	21	59
1	46	59
2	163	59
3	784	59
4	3453	59
done	5001	59
0	20	29
1	45	29
2	162	29
3	783	29
4	3438	29
done	5001	29
0	21	86
1	53	86
2	239	30
3	1892	30
done	5001	30
0	20	29
1	45	29
2	162	29
3	783	29
4	3438	29
done	5001	29
0	20	29
1	45	29
2	162	29
3	783	29
4	3438	29
done	5001	29
0	7	8
1	12	8
2	28	8
3	55	8
4	92	7
done	92	7
0	16	21
1	35	21
2	118	21
3	436	21
4	1287	20
5	2181	20
6	3515	20
7	3768	20
8	4012	20
9	4025	20
done	4025	20
0	16	22
1	33	22
2	95	22
3	287	22
4	582	22
5	820	22
6	1004	22
done	1004	22
0	18	26
1	43	26
2	177	26
3	829	26
4	3071	26
done	5000	26
0	19	32
1	41	32
2	104	32
3	233	32
4	348	32
5	385	32
done	385	32
0	9	14
1	16	14
2	31	14
3	42	14
done	42	14
0	18	23
1	35	23
2	78	23
3	140	23
4	202	23
5	224	23
done	224	23
0	9	14
1	16	14
2	31	14
3	42	14
done	42	14
0	15	16
1	29	16
2	61	16
3	113	16
4	176	16
5	193	16
done	193	16
0	8	13
1	18	13
2	41	13
3	80	13
4	150	13
5	235	13
6	328	13
7	734	13
8	2682	13
done	5001	13
0	17	22
1	36	22
2	98	22
3	293	22
4	578	22
5	809	22
6	983	22
done	983	22
0	19	28
1	41	28
2	120	28
3	373	28
4	1017	28
5	2755	28
done	5000	28
0	17	22
1	37	22
2	124	22
3	430	22
4	1326	22
5	2758	22
6	3663	22
7	3816	22
done	3816	22
0	20	29
1	42	29
2	118	29
3	346	29
4	785	29
5	1628	29
6	3140	29
7	4077	29
8	4154	29
done	4154	29
0	20	29
1	42	29
2	118	29
3	346	29
4	785	29
5	1628	29
6	3140	29
7	4077	29
8	4154	29
done	4154	29
0	19	28
1	41	28
2	120	28
3	373	28
4	1017	28
5	2755	28
done	5000	28
0	23	36
1	70	36
2	281	34
3	1560	34
done	5001	34
0	24	38
1	71	38
2	266	36
3	1490	34
done	5000	34
0	24	40
1	72	40
2	262	36
3	1297	34
done	5001	34
0	22	42
1	63	42
2	236	38
3	1253	34
done	5000	34
0	22	32
1	62	32
2	219	30
3	1105	30
done	5000	30
0	21	34
1	53	34
2	189	32
3	1059	30
done	5000	30
0	22	32
1	63	32
2	240	32
3	1231	32
done	5000	32
0	21	36
1	56	36
2	211	36
3	989	34
4	4198	32
done	5000	32
0	23	44
1	66	38
2	247	38
3	1303	38
done	5000	38
0	19	28
1	47	28
2	157	28
3	792	28
4	3231	28
done	5000	28
0	13	14
1	23	14
2	48	14
3	89	14
4	139	14
5	155	14
done	155	14
0	13	14
1	23	14
2	48	14
3	89	14
4	139	14
5	155	14
done	155	14
0	16	17
1	26	17
2	51	17
3	94	17
4	144	17
5	162	17
done	162	17
0	15	16
1	26	16
2	50	16
3	95	16
4	156	16
5	175	16
done	175	16
0	14	15
1	27	15
2	59	15
3	112	15
4	162	15
5	178	15
done	178	15
0	14	15
1	26	15
2	62	15
3	125	15
4	238	15
5	398	15
6	745	15
7	1712	15
done	5000	15
0	19	44
1	38	32
2	135	20
3	656	20
4	3664	18
done	5000	18
0	17	44
1	40	32
2	139	18
3	655	18
4	3796	16
done	5001	16
0	15	31
1	25	31
2	50	31
3	91	31
4	152	31
5	172	31
done	172	31
0	14	15
1	24	15
2	49	15
3	90	15
4	150	15
5	168	15
done	168	15
0	15	44
1	35	44
2	124	16
3	548	16
4	2257	16
done	5001	16
0	14	15
1	24	15
2	49	15
3	90	15
4	150	15
5	168	15
done	168	15
0	14	15
1	24	15
2	49	15
3	90	15
4	150	15
5	168	15
done	168	15
0	15	27
1	27	27
2	59	27
3	110	27
4	167	27
5	183	27
done	183	27
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	14	15
1	24	15
2	49	15
3	92	15
4	153	15
5	173	15
done	173	15
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	11	12
1	18	12
2	37	12
3	78	12
4	133	12
5	155	12
done	155	12
0	16	18
1	42	18
2	125	18
3	513	18
4	2283	18
done	5001	18
0	15	22
1	35	22
2	97	22
3	294	20
4	908	18
5	1856	18
6	3123	18
done	5000	18
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
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	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	47	93
1	133	93
2	603	93
3	3362	79
done	5000	79
0	30	47
1	81	47
2	292	45
3	1544	37
done	5000	37
0	31	47
1	84	47
2	293	45
3	1462	40
done	5001	40
0	9	9
1	16	9
2	36	9
3	58	9
4	61	9
done	61	9
0	18	27
1	42	27
2	154	27
3	533	27
4	1367	20
5	2121	20
6	2251	20
7	2255	20
done	2255	20
0	20	28
1	48	28
2	178	28
3	787	28
4	2782	21
done	5000	21
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	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

prune302.0ms

Filtered

87 candidates to 106 candidates (-21.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	96	10	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	10	107

Merged error: 0.0b

Counts

107 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.2b	(* PI t)
0.4b	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
0.4b	(/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-exp-log`
25×	`add-cbrt-cube`
22×	`pow1`
16×	`prod-exp`
13×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity` `pow-prod-down` `cbrt-unprod`
8×	`associate-r/` `associate-r*`
7×	`associate-l`
6×	`div-exp`
4×	`sqrt-div` `add-log-exp`
3×	`cbrt-undiv` `rec-exp` `pow-flip` `times-frac` `1-exp` `-commutative` `associate-/l`
2×	`flip3--` `associate-/r/` `flip--` `unswap-sqr`
1×	`frac-2neg` `clear-num` `associate-/r*` `sqrt-prod` `div-inv` `inv-pow`

Counts

4 → 93

Calls

4 calls:

6.0ms	(* 5.0 (* v v))
4.0ms	(* PI t)
10.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
12.0ms	(/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))

series71.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 5.0 (* v v))
7.0ms	(* PI t)
23.0ms	(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
36.0ms	(/ 1 (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))

simplify1.8min

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	17	18
1	30	18
2	63	18
3	126	18
4	195	18
5	231	18
6	257	18
7	286	18
8	291	18
done	291	18
0	16	17
1	30	17
2	59	17
3	117	17
4	187	17
5	216	17
6	238	17
7	262	17
8	269	17
done	269	17
0	15	16
1	28	16
2	63	16
3	124	16
4	208	16
5	240	16
6	255	16
7	281	16
8	310	16
9	315	16
done	315	16
0	18	19
1	32	18
2	79	18
3	183	18
4	349	18
5	535	18
6	630	18
7	633	18
done	633	18
0	17	18
1	32	17
2	72	17
3	160	17
4	329	17
5	493	17
6	588	17
7	593	17
done	593	17
0	16	17
1	31	16
2	72	16
3	152	16
4	319	16
5	450	16
6	533	16
7	627	16
8	628	16
done	628	16
0	19	20
1	35	19
2	77	18
3	187	18
4	349	18
5	532	18
6	631	18
7	634	18
done	634	18
0	18	19
1	35	18
2	70	17
3	164	17
4	328	17
5	494	17
6	589	17
7	594	17
done	594	17
0	17	18
1	34	17
2	72	16
3	154	16
4	322	16
5	457	16
6	538	16
7	631	16
8	632	16
done	632	16
0	16	17
1	34	16
2	76	16
3	164	16
4	314	16
5	451	16
6	612	16
7	710	16
8	713	16
done	713	16
0	16	17
1	30	17
2	62	17
3	114	17
4	169	17
5	187	17
done	187	17
0	23	50
1	51	34
2	179	22
3	982	22
done	5000	22
0	21	50
1	53	34
2	181	20
3	1009	20
done	5001	20
0	19	50
1	48	46
2	167	18
3	860	18
done	5000	18
0	17	35
1	31	35
2	63	35
3	115	35
4	167	35
5	184	35
done	184	35
0	16	17
1	30	17
2	62	17
3	114	17
4	169	17
5	187	17
done	187	17
0	17	50
1	38	50
2	121	18
3	693	18
4	4282	18
done	5000	18
0	16	17
1	30	17
2	62	17
3	114	17
4	169	17
5	187	17
done	187	17
0	16	17
1	30	17
2	62	17
3	114	17
4	169	17
5	187	17
done	187	17
0	2	2
1	5	1
done	5	1
0	14	15
1	28	15
2	68	15
3	127	15
4	179	15
5	197	15
done	197	15
0	7	9
1	17	7
2	30	5
3	43	5
4	49	5
done	49	5
0	12	13
1	20	12
2	39	12
3	80	12
4	142	12
5	163	12
done	163	12
0	6	6
1	11	5
2	13	5
done	13	5
0	12	13
1	20	12
2	39	12
3	80	12
4	142	12
5	163	12
done	163	12
0	5	5
1	10	5
2	12	5
done	12	5
0	11	12
1	19	12
2	38	12
3	79	12
4	129	12
5	146	12
done	146	12
0	15	16
1	29	16
2	61	16
3	113	16
4	176	16
5	193	16
done	193	16
0	15	16
1	29	14
2	68	14
3	147	14
4	266	14
5	320	14
done	320	14
0	5	5
1	10	5
2	12	5
done	12	5
0	16	17
1	30	16
2	65	16
3	125	14
4	235	14
5	320	14
done	320	14
0	16	17
1	30	16
2	65	16
3	125	14
4	235	14
5	320	14
done	320	14
0	15	16
1	29	14
2	68	14
3	147	14
4	266	14
5	320	14
done	320	14
0	18	20
1	48	20
2	138	20
3	544	20
4	2372	20
done	5001	20
0	17	24
1	41	24
2	110	24
3	316	22
4	925	20
5	1853	20
6	3081	20
done	5001	20
0	13	14
1	23	14
2	48	14
3	89	14
4	139	14
5	155	14
done	155	14
0	13	14
1	23	14
2	48	14
3	89	14
4	139	14
5	155	14
done	155	14
0	16	17
1	26	17
2	51	17
3	94	17
4	144	17
5	162	17
done	162	17
0	15	16
1	26	16
2	50	16
3	95	16
4	156	16
5	175	16
done	175	16
0	14	15
1	27	15
2	59	15
3	112	15
4	162	15
5	178	15
done	178	15
0	14	15
1	26	15
2	62	15
3	125	15
4	238	15
5	398	15
6	745	15
7	1712	15
done	5000	15
0	19	44
1	38	32
2	135	20
3	656	20
4	3664	18
done	5000	18
0	17	44
1	40	32
2	139	18
3	655	18
4	3796	16
done	5001	16
0	15	31
1	25	31
2	50	31
3	91	31
4	152	31
5	172	31
done	172	31
0	14	15
1	24	15
2	49	15
3	90	15
4	150	15
5	168	15
done	168	15
0	15	44
1	35	44
2	124	16
3	548	16
4	2257	16
done	5001	16
0	14	15
1	24	15
2	49	15
3	90	15
4	150	15
5	168	15
done	168	15
0	14	15
1	24	15
2	49	15
3	90	15
4	150	15
5	168	15
done	168	15
0	15	27
1	27	27
2	59	27
3	110	27
4	167	27
5	183	27
done	183	27
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	14	15
1	24	15
2	49	15
3	92	15
4	153	15
5	173	15
done	173	15
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	11	12
1	18	12
2	37	12
3	78	12
4	133	12
5	155	12
done	155	12
0	16	18
1	42	18
2	125	18
3	513	18
4	2283	18
done	5001	18
0	15	22
1	35	22
2	97	22
3	294	20
4	908	18
5	1856	18
6	3123	18
done	5000	18
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
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	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	19	25
1	42	25
2	135	25
3	494	25
4	1864	25
5	4175	25
done	5000	25
0	22	29
1	58	29
2	188	27
3	881	27
done	5000	27
0	21	29
1	56	29
2	182	27
3	878	27
4	4153	27
done	5001	27
0	9	9
1	16	9
2	36	9
3	58	9
4	61	9
done	61	9
0	18	27
1	42	27
2	154	27
3	533	27
4	1367	20
5	2121	20
6	2251	20
7	2255	20
done	2255	20
0	20	28
1	48	28
2	178	28
3	787	28
4	2782	21
done	5000	21
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	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

prune224.0ms

Filtered

73 candidates to 105 candidates (-43.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	107	8	115

Merged error: 0.0b

Counts

115 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 5.0 (* v v))
0.2b	(* PI t)
0.4b	(/ (/ 1 (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
0.4b	(/ 1 (* PI t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

46×	`times-frac`
41×	`add-exp-log`
30×	`add-sqr-sqrt`
27×	`add-cube-cbrt` `*-un-lft-identity`
25×	`add-cbrt-cube`
15×	`div-exp`
14×	`pow1`
10×	`prod-exp` `associate-/l*`
8×	`sqrt-prod`
7×	`cbrt-undiv` `div-inv`
6×	`associate-l` `cbrt-unprod`
5×	`pow-prod-down` `associate-/r*`
4×	`rec-exp` `1-exp` `associate-r` `add-log-exp`
2×	`pow-flip` `frac-2neg` `sqrt-div` `associate-r/` `clear-num` `associate-/r/` `-commutative` `unswap-sqr`
1×	`flip3--` `flip--` `associate-/l/` `inv-pow`

Counts

4 → 127

Calls

4 calls:

7.0ms	(* 5.0 (* v v))
5.0ms	(* PI t)
13.0ms	(/ (/ 1 (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
5.0ms	(/ 1 (* PI t))

series50.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 5.0 (* v v))
3.0ms	(* PI t)
40.0ms	(/ (/ 1 (* PI t)) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))
4.0ms	(/ 1 (* PI t))

simplify1.6min

Counts

139 → 139

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	5	5
1	9	5
2	13	5
3	15	5
4	16	5
done	16	5
0	7	7
1	12	6
2	26	6
3	44	6
4	77	6
5	110	6
6	122	6
7	123	6
done	123	6
0	6	6
1	12	5
2	22	5
3	36	5
4	65	5
5	97	5
6	119	5
7	135	5
8	136	5
done	136	5
0	8	8
1	15	7
2	24	6
3	48	6
4	81	6
5	114	6
6	127	6
7	128	6
done	128	6
0	7	7
1	15	6
2	22	5
3	40	5
4	68	5
5	99	5
6	121	5
7	136	5
8	137	5
done	137	5
0	6	6
1	15	5
2	24	5
3	41	5
4	62	5
5	96	5
6	129	5
7	143	5
8	144	5
done	144	5
0	6	6
1	11	6
2	13	6
done	13	6
0	11	17
1	27	13
2	79	9
3	231	9
4	697	7
5	1767	7
6	4046	7
done	5000	7
0	9	17
1	29	13
2	84	7
3	276	7
4	786	7
5	1534	7
6	2152	7
7	4661	7
done	5000	7
0	7	13
1	12	13
2	14	13
done	14	13
0	6	6
1	11	6
2	13	6
done	13	6
0	7	17
1	19	17
2	63	7
3	285	7
4	882	7
5	1194	7
6	2048	7
done	5001	7
0	6	6
1	11	6
2	13	6
done	13	6
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
1	5	1
done	5	1
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	4	4
1	6	3
done	6	3
0	3	3
1	5	3
done	5	3
0	3	3
1	5	3
done	5	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
1	5	3
done	5	3
0	6	6
1	11	5
2	15	5
3	18	3
4	30	3
5	34	3
done	34	3
0	6	6
1	11	5
2	15	5
3	18	3
4	30	3
5	34	3
done	34	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	17	18
1	29	18
2	57	18
3	119	18
4	200	18
5	239	18
6	260	18
7	280	18
8	281	18
done	281	18
0	16	17
1	28	17
2	54	17
3	109	17
4	191	17
5	220	17
6	242	17
7	266	17
8	273	17
done	273	17
0	18	19
1	33	18
2	80	18
3	186	18
4	398	18
5	521	18
6	585	18
7	587	18
done	587	18
0	17	18
1	33	17
2	71	17
3	163	17
4	359	17
5	470	17
6	550	17
7	605	17
done	605	17
0	19	20
1	36	19
2	81	18
3	196	18
4	415	18
5	538	18
6	606	18
7	608	18
done	608	18
0	18	19
1	36	18
2	74	17
3	173	17
4	369	17
5	483	17
6	565	17
7	621	17
done	621	17
0	17	18
1	34	17
2	68	17
3	148	17
4	289	17
5	384	17
6	458	17
7	511	17
8	512	17
done	512	17
0	16	17
1	32	17
2	73	16
3	158	16
4	290	16
5	414	16
6	577	16
7	670	16
8	677	16
done	677	16
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	23	50
1	50	34
2	178	22
3	836	22
done	5000	22
0	21	50
1	52	34
2	181	20
3	870	20
done	5001	20
0	19	50
1	45	38
2	178	20
3	1341	18
done	5001	18
0	17	35
1	30	35
2	59	35
3	115	35
4	166	35
5	183	35
done	183	35
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	17	50
1	37	50
2	103	18
3	417	18
4	2781	18
done	5000	18
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	6	6
1	14	5
2	22	5
3	24	5
done	24	5
0	10	11
1	16	11
2	35	11
3	76	11
4	128	11
5	144	11
done	144	11
0	19	37
1	36	37
2	66	37
3	113	37
4	166	37
5	183	37
done	183	37
0	17	18
1	28	18
2	49	18
3	90	18
4	147	18
5	164	18
done	164	18
0	10	16
1	17	16
2	21	16
3	22	16
done	22	16
0	14	15
1	24	15
2	39	15
3	51	15
done	51	15
0	18	25
1	31	25
2	54	25
3	96	25
4	150	25
5	172	25
done	172	25
0	17	18
1	28	18
2	49	18
3	90	18
4	147	18
5	164	18
done	164	18
0	8	15
1	15	13
2	23	13
3	28	13
done	28	13
0	16	17
1	27	17
2	48	17
3	89	17
4	137	17
5	153	17
done	153	17
0	18	30
1	31	30
2	52	30
3	93	30
4	150	30
5	169	30
done	169	30
0	17	18
1	28	18
2	49	18
3	90	18
4	147	18
5	164	18
done	164	18
0	9	9
1	14	9
2	16	9
done	16	9
0	14	15
1	24	15
2	39	15
3	51	15
done	51	15
0	17	18
1	28	18
2	49	18
3	90	18
4	147	18
5	164	18
done	164	18
0	17	18
1	28	18
2	49	18
3	90	18
4	147	18
5	164	18
done	164	18
0	7	8
1	12	6
2	16	6
done	16	6
0	16	17
1	27	17
2	48	17
3	89	17
4	137	17
5	153	17
done	153	17
0	17	31
1	31	29
2	66	27
3	134	27
4	256	27
5	286	27
done	286	27
0	15	16
1	25	15
2	47	15
3	88	15
4	150	15
5	172	15
done	172	15
0	8	10
1	14	8
2	25	6
3	37	6
4	51	6
done	51	6
0	12	13
1	21	12
2	37	12
3	49	12
done	49	12
0	16	19
1	28	17
2	58	15
3	111	15
4	182	15
5	203	15
done	203	15
0	15	16
1	25	15
2	47	15
3	88	15
4	150	15
5	172	15
done	172	15
0	6	9
1	12	5
2	26	3
3	31	3
done	31	3
0	14	15
1	24	14
2	46	14
3	87	14
4	145	14
5	165	14
done	165	14
0	16	28
1	28	27
2	53	27
3	100	27
4	149	27
5	165	27
done	165	27
0	15	16
1	25	15
2	47	15
3	88	15
4	150	15
5	172	15
done	172	15
0	7	7
1	11	6
2	14	6
done	14	6
0	12	13
1	21	12
2	37	12
3	49	12
done	49	12
0	15	16
1	25	15
2	47	15
3	88	15
4	150	15
5	172	15
done	172	15
0	15	16
1	25	15
2	47	15
3	88	15
4	150	15
5	172	15
done	172	15
0	5	6
1	9	3
2	16	3
done	16	3
0	14	15
1	24	14
2	46	14
3	87	14
4	145	14
5	165	14
done	165	14
0	15	27
1	27	27
2	52	27
3	99	27
4	158	27
5	177	27
done	177	27
0	14	15
1	24	15
2	46	15
3	87	15
4	144	15
5	163	15
done	163	15
0	6	6
1	10	6
2	13	6
done	13	6
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	14	15
1	24	15
2	46	15
3	87	15
4	144	15
5	163	15
done	163	15
0	14	15
1	24	15
2	46	15
3	87	15
4	144	15
5	163	15
done	163	15
0	4	5
1	8	3
2	15	3
done	15	3
0	13	14
1	23	14
2	45	14
3	86	14
4	142	14
5	162	14
done	162	14
0	13	25
1	23	25
2	42	25
3	83	25
4	139	25
5	159	25
done	159	25
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	4	4
1	6	4
done	6	4
0	13	14
1	25	14
2	48	14
3	75	14
4	76	14
done	76	14
0	12	13
1	20	13
2	39	13
3	80	13
4	142	13
5	164	13
done	164	13
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	2	3
1	4	1
done	4	1
0	15	16
1	28	16
2	57	16
3	113	16
4	173	16
5	194	16
done	194	16
0	13	25
1	23	25
2	42	25
3	83	25
4	139	25
5	159	25
done	159	25
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	4	4
1	6	4
done	6	4
0	13	14
1	25	14
2	48	14
3	75	14
4	76	14
done	76	14
0	12	13
1	20	13
2	39	13
3	80	13
4	142	13
5	164	13
done	164	13
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	2	3
1	4	1
done	4	1
0	15	16
1	28	16
2	57	16
3	113	16
4	173	16
5	194	16
done	194	16
0	11	12
1	19	12
2	38	12
3	79	12
4	129	12
5	146	12
done	146	12
0	15	16
1	28	16
2	58	14
3	121	14
4	222	14
5	295	14
6	335	14
done	335	14
0	17	29
1	32	29
2	66	29
3	139	29
4	212	29
5	232	29
done	232	29
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	16	17
1	29	17
2	58	17
3	114	17
4	177	17
5	199	17
done	199	17
0	6	7
1	13	5
2	27	5
3	45	5
4	47	5
done	47	5
0	16	17
1	27	17
2	48	17
3	89	17
4	137	17
5	153	17
done	153	17
0	16	17
1	27	17
2	48	17
3	89	17
4	137	17
5	153	17
done	153	17
0	14	15
1	24	14
2	46	14
3	88	12
4	156	12
5	190	12
6	198	12
done	198	12
0	14	15
1	24	14
2	46	14
3	88	12
4	156	12
5	190	12
6	198	12
done	198	12
0	13	14
1	23	14
2	45	12
3	95	12
4	162	12
5	185	12
done	185	12
0	15	16
1	28	16
2	58	14
3	121	14
4	222	14
5	295	14
6	335	14
done	335	14
0	15	16
1	28	16
2	58	14
3	121	14
4	222	14
5	295	14
6	335	14
done	335	14
0	18	20
1	47	20
2	134	20
3	540	20
4	2302	20
done	5001	20
0	17	24
1	40	24
2	106	24
3	316	22
4	944	20
5	1917	20
6	3189	20
done	5000	20
0	13	14
1	23	14
2	48	14
3	89	14
4	137	14
5	153	14
done	153	14
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
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	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	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	10	5
2	12	5
done	12	5
0	19	25
1	42	25
2	136	25
3	493	25
4	1863	25
5	4147	25
done	5001	25
0	22	29
1	58	29
2	188	27
3	881	27
done	5000	27
0	21	29
1	56	29
2	182	27
3	878	27
4	4153	27
done	5001	27
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	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

prune270.0ms

Filtered

92 candidates to 139 candidates (-51.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	6	1	7
Picked	0	1	1
Done	0	0	0
Total	143	4	147

Merged error: 0b

Counts

147 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.2b	(* 3.0 (* v v))
0.2b	(* 5.0 (* v v))
0.3b	(* (/ 1 (* (sqrt 2.0) PI)) (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v))))))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

286×	`times-frac`
178×	`add-sqr-sqrt`
156×	`*-un-lft-identity`
154×	`add-cube-cbrt`
153×	`add-exp-log`
86×	`associate-r`
84×	`sqrt-prod`
68×	`div-exp`
56×	`prod-exp`
55×	`add-cbrt-cube`
18×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod`
16×	`pow1` `div-inv`
13×	`associate-l` `associate-/l*`
9×	`unswap-sqr`
7×	`pow-prod-down`
6×	`associate-/r*`
4×	`sqrt-div` `associate-/r/` `add-log-exp`
3×	`*-commutative`
2×	`flip3--` `flip--`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num` `associate-/l/`

Counts

4 → 308

Calls

4 calls:

11.0ms	(/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v)))))
7.0ms	(* 3.0 (* v v))
7.0ms	(* 5.0 (* v v))
38.0ms	(* (/ 1 (* (sqrt 2.0) PI)) (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v))))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v)))))
3.0ms	(* 3.0 (* v v))
4.0ms	(* 5.0 (* v v))
36.0ms	(* (/ 1 (* (sqrt 2.0) PI)) (/ (/ 1 t) (sqrt (- 1.0 (* 3.0 (* v v))))))

simplify5.4min

Counts

320 → 320

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	17	19
1	34	19
2	80	17
3	233	17
4	659	17
5	784	17
done	784	17
0	20	21
1	34	21
2	68	20
3	159	20
4	307	20
5	571	20
6	615	20
done	615	20
0	21	22
1	39	21
2	87	20
3	244	20
4	710	20
5	1170	20
6	1239	20
7	1246	20
done	1246	20
0	22	23
1	42	22
2	87	20
3	246	20
4	709	20
5	1167	20
6	1236	20
7	1243	20
done	1243	20
0	21	22
1	41	21
2	81	20
3	216	20
4	606	20
5	1091	20
6	1175	20
7	1183	20
done	1183	20
0	20	21
1	37	21
2	73	19
3	160	19
4	405	19
5	898	19
6	1097	19
7	1116	19
done	1116	19
0	19	20
1	33	20
2	63	19
3	125	19
4	253	19
5	464	19
6	574	19
7	584	19
done	584	19
0	20	21
1	38	20
2	82	19
3	193	19
4	528	19
5	1001	19
6	1281	19
7	1326	19
done	1326	19
0	21	22
1	41	21
2	82	19
3	195	19
4	531	19
5	1004	19
6	1277	19
7	1324	19
done	1324	19
0	20	21
1	40	20
2	76	19
3	170	19
4	456	19
5	964	19
6	1284	19
7	1324	19
done	1324	19
0	19	20
1	36	20
2	70	18
3	135	18
4	328	18
5	756	18
6	1106	18
7	1192	18
8	1201	18
done	1201	18
0	21	22
1	38	21
2	100	20
3	294	20
4	849	20
5	1211	20
6	1295	20
done	1295	20
0	21	23
1	42	21
2	116	20
3	361	20
4	1102	20
5	1402	20
6	1465	20
done	1465	20
0	23	24
1	45	22
2	119	20
3	362	20
4	1090	20
5	1389	20
6	1455	20
done	1455	20
0	22	23
1	44	21
2	110	20
3	312	20
4	987	20
5	1303	20
6	1377	20
done	1377	20
0	21	22
1	40	21
2	101	19
3	249	19
4	723	19
5	1054	19
6	1117	19
done	1117	19
0	20	21
1	38	20
2	89	19
3	246	19
4	727	19
5	1139	19
6	1242	19
7	1249	19
done	1249	19
0	20	22
1	42	20
2	105	19
3	300	19
4	950	19
5	1268	19
6	1365	19
done	1365	19
0	22	23
1	45	21
2	108	19
3	301	19
4	941	19
5	1253	19
6	1351	19
done	1351	19
0	21	22
1	44	20
2	99	19
3	259	19
4	839	19
5	1232	19
6	1338	19
7	1340	19
done	1340	19
0	20	21
1	40	20
2	92	18
3	216	18
4	635	18
5	1030	18
6	1116	18
7	1118	18
done	1118	18
0	22	23
1	41	22
2	97	20
3	297	20
4	857	20
5	1227	20
6	1317	20
done	1317	20
0	23	24
1	45	22
2	117	20
3	356	20
4	1082	20
5	1381	20
6	1450	20
done	1450	20
0	22	25
1	45	23
2	116	20
3	372	20
4	1089	20
5	1393	20
6	1461	20
done	1461	20
0	22	24
1	44	22
2	106	20
3	316	20
4	988	20
5	1288	20
6	1362	20
done	1362	20
0	21	23
1	41	22
2	96	20
3	248	19
4	714	19
5	1047	19
6	1109	19
done	1109	19
0	21	22
1	41	21
2	88	19
3	247	19
4	732	19
5	1148	19
6	1253	19
7	1260	19
done	1260	19
0	22	23
1	45	21
2	108	19
3	297	19
4	933	19
5	1260	19
6	1358	19
done	1358	19
0	21	24
1	45	22
2	107	19
3	312	19
4	944	19
5	1266	19
6	1363	19
done	1363	19
0	21	23
1	44	21
2	97	19
3	262	19
4	842	19
5	1225	19
6	1328	19
7	1330	19
done	1330	19
0	20	22
1	41	21
2	89	19
3	215	18
4	628	18
5	1019	18
6	1106	18
7	1108	18
done	1108	18
0	20	21
1	39	20
2	80	19
3	195	19
4	562	19
5	1045	19
6	1122	19
7	1130	19
done	1130	19
0	21	22
1	43	20
2	98	19
3	249	19
4	831	19
5	1187	19
6	1252	19
7	1254	19
done	1254	19
0	21	23
1	43	21
2	95	19
3	250	19
4	823	19
5	1175	19
6	1239	19
7	1241	19
done	1241	19
0	20	22
1	42	20
2	89	19
3	227	19
4	752	19
5	1108	19
6	1173	19
7	1175	19
done	1175	19
0	19	21
1	39	20
2	81	18
3	181	18
4	535	18
5	1165	18
6	1267	18
7	1273	18
done	1273	18
0	18	20
1	38	20
2	101	18
3	315	18
4	1004	17
5	1849	17
6	2364	17
7	2484	17
done	2484	17
0	18	20
1	37	20
2	89	18
3	266	18
4	786	18
5	1253	18
6	2752	18
done	5000	18
0	27	59
1	65	37
2	237	25
3	1549	25
done	5000	25
0	27	59
1	68	41
2	253	25
3	1900	23
done	5000	23
0	25	59
1	60	51
2	207	23
3	1166	23
done	5000	23
0	25	59
1	67	41
2	241	23
3	1563	23
done	5000	23
0	25	59
1	70	45
2	254	23
3	1908	21
done	5000	21
0	23	59
1	62	55
2	211	21
3	1188	21
done	5001	21
0	25	59
1	60	45
2	210	25
3	1244	23
done	5000	23
0	23	59
1	60	49
2	238	25
3	1503	23
done	5000	23
0	21	59
1	52	59
2	188	23
3	979	23
done	5000	21
0	19	41
1	36	41
2	82	37
3	231	37
4	654	37
5	771	37
done	771	37
0	18	20
1	35	20
2	81	18
3	236	18
4	665	18
5	783	18
done	783	18
0	19	59
1	46	59
2	180	19
3	1093	19
done	5001	19
0	18	20
1	35	20
2	81	18
3	236	18
4	665	18
5	783	18
done	783	18
0	18	20
1	35	20
2	81	18
3	236	18
4	665	18
5	783	18
done	783	18
0	4	5
1	9	3
done	9	3
0	12	13
1	21	13
2	40	13
3	52	13
done	52	13
0	19	21
1	32	21
2	50	21
3	62	21
done	62	21
0	19	21
1	32	21
2	50	21
3	62	21
done	62	21
0	20	22
1	33	22
2	51	22
3	67	22
4	68	22
done	68	22
0	20	22
1	33	22
2	51	22
3	67	22
4	68	22
done	68	22
0	20	22
1	33	22
2	51	22
3	67	22
4	68	22
done	68	22
0	20	22
1	33	22
2	51	22
3	67	22
4	68	22
done	68	22
0	21	23
1	36	22
2	62	22
3	95	20
4	156	20
5	165	20
done	165	20
0	21	23
1	36	22
2	62	22
3	95	20
4	156	20
5	165	20
done	165	20
0	21	23
1	36	22
2	62	22
3	95	20
4	156	20
5	165	20
done	165	20
0	21	23
1	36	22
2	62	22
3	95	20
4	156	20
5	165	20
done	165	20
0	20	22
1	35	22
2	61	22
3	94	20
4	150	20
5	157	20
done	157	20
0	20	22
1	35	22
2	61	22
3	94	20
4	150	20
5	157	20
done	157	20
0	20	22
1	35	22
2	61	22
3	94	20
4	150	20
5	157	20
done	157	20
0	20	22
1	35	22
2	61	22
3	94	20
4	150	20
5	157	20
done	157	20
0	19	34
1	36	34
2	74	32
3	175	32
4	320	32
5	331	32
done	331	32
0	18	20
1	33	20
2	64	18
3	121	18
4	195	18
5	197	18
done	197	18
0	21	36
1	42	36
2	110	34
3	423	34
4	1344	34
5	2661	34
6	2895	34
done	2895	34
0	21	35
1	39	26
2	84	24
3	273	24
4	750	24
5	1140	24
6	1255	24
done	1255	24
0	20	26
1	37	26
2	82	24
3	271	24
4	739	24
5	1130	24
6	1269	24
done	1269	24
0	13	19
1	25	18
2	57	16
3	228	14
4	700	14
5	825	14
done	825	14
0	20	26
1	37	26
2	82	24
3	271	24
4	739	24
5	1130	24
6	1269	24
done	1269	24
0	12	18
1	24	16
2	62	14
3	289	14
4	703	14
5	755	14
done	755	14
0	20	31
1	37	31
2	83	29
3	254	29
4	685	29
5	1300	29
6	1408	29
done	1408	29
0	20	30
1	36	21
2	72	19
3	185	19
4	409	19
5	596	19
6	650	19
done	650	19
0	19	21
1	34	21
2	70	19
3	183	19
4	406	19
5	596	19
6	639	19
done	639	19
0	12	14
1	22	13
2	45	11
3	144	9
4	394	9
5	457	9
done	457	9
0	19	21
1	34	21
2	70	19
3	183	19
4	406	19
5	596	19
6	639	19
done	639	19
0	11	13
1	21	11
2	46	9
3	146	9
4	359	9
5	374	9
done	374	9
0	23	38
1	48	36
2	142	32
3	543	32
4	2314	32
5	3612	32
6	3759	32
done	3759	32
0	23	37
1	47	26
2	119	22
3	374	22
4	1288	22
5	1696	22
6	1734	22
done	1734	22
0	22	28
1	45	26
2	117	22
3	370	22
4	1295	22
5	1680	22
6	1716	22
done	1716	22
0	15	21
1	33	18
2	92	12
3	316	12
4	848	12
5	944	12
done	944	12
0	22	28
1	45	26
2	117	22
3	370	22
4	1295	22
5	1680	22
6	1716	22
done	1716	22
0	14	20
1	32	16
2	106	12
3	359	12
4	790	12
5	823	12
done	823	12
0	22	35
1	43	33
2	114	29
3	370	29
4	1446	29
5	2021	29
6	2030	29
done	2030	29
0	22	34
1	42	23
2	98	19
3	279	19
4	817	19
5	902	19
done	902	19
0	21	25
1	40	23
2	96	19
3	280	19
4	827	19
5	925	19
done	925	19
0	14	18
1	28	15
2	71	9
3	206	9
4	484	9
5	522	9
done	522	9
0	21	25
1	40	23
2	96	19
3	280	19
4	827	19
5	925	19
done	925	19
0	13	17
1	27	13
2	78	9
3	213	9
4	436	9
5	441	9
done	441	9
0	20	34
1	41	30
2	120	26
3	295	26
4	807	26
5	935	26
done	935	26
0	20	33
1	40	20
2	100	16
3	214	16
4	450	16
5	487	16
done	487	16
0	19	24
1	38	20
2	98	16
3	212	16
4	449	16
5	500	16
done	500	16
0	12	17
1	26	10
2	62	6
3	98	6
4	160	6
5	162	6
done	162	6
0	19	24
1	38	20
2	98	16
3	212	16
4	449	16
5	500	16
done	500	16
0	11	16
1	25	8
2	39	6
3	78	6
4	146	6
5	148	6
done	148	6
0	22	35
1	43	34
2	110	32
3	388	32
4	1626	32
5	3703	32
6	3955	32
done	3955	32
0	22	34
1	42	24
2	93	22
3	289	22
4	1037	22
5	1575	22
6	1626	22
done	1626	22
0	21	25
1	40	24
2	91	22
3	289	22
4	1019	22
5	1568	22
6	1628	22
done	1628	22
0	13	18
1	27	16
2	65	12
3	225	12
4	701	12
5	849	12
6	850	12
done	850	12
0	21	25
1	40	24
2	91	22
3	289	22
4	1019	22
5	1568	22
6	1628	22
done	1628	22
0	13	17
1	27	14
2	74	12
3	262	12
4	666	12
5	749	12
done	749	12
0	21	32
1	40	31
2	99	29
3	319	29
4	1088	29
5	1878	29
6	1893	29
done	1893	29
0	21	31
1	39	21
2	85	19
3	240	19
4	673	19
5	800	19
done	800	19
0	20	22
1	37	21
2	83	19
3	236	19
4	656	19
5	780	19
done	780	19
0	12	15
1	24	13
2	57	9
3	165	9
4	451	9
5	485	9
done	485	9
0	20	22
1	37	21
2	83	19
3	236	19
4	656	19
5	780	19
done	780	19
0	12	14
1	24	11
2	62	9
3	173	9
4	387	9
5	392	9
done	392	9
0	19	31
1	38	28
2	89	26
3	247	26
4	653	26
5	802	26
done	802	26
0	19	30
1	37	18
2	77	16
3	174	16
4	400	16
5	462	16
done	462	16
0	18	21
1	35	18
2	75	16
3	172	16
4	400	16
5	463	16
done	463	16
0	10	14
1	22	8
2	42	6
3	80	6
4	147	6
5	149	6
done	149	6
0	18	21
1	35	18
2	75	16
3	172	16
4	400	16
5	463	16
done	463	16
0	10	13
1	22	6
2	34	6
3	67	6
4	110	6
done	110	6
0	21	34
1	42	34
2	109	32
3	392	32
4	1656	32
5	3768	32
6	4004	32
done	4004	32
0	21	33
1	41	24
2	92	22
3	286	22
4	1026	22
5	1585	22
6	1650	22
done	1650	22
0	20	24
1	39	24
2	90	22
3	284	22
4	1025	22
5	1565	22
6	1627	22
done	1627	22
0	13	17
1	27	16
2	65	12
3	225	12
4	690	12
5	846	12
6	854	12
done	854	12
0	20	24
1	39	24
2	90	22
3	284	22
4	1025	22
5	1565	22
6	1627	22
done	1627	22
0	12	16
1	26	14
2	73	12
3	262	12
4	657	12
5	750	12
done	750	12
0	20	31
1	39	31
2	98	29
3	317	29
4	1098	29
5	1839	29
6	1856	29
done	1856	29
0	20	30
1	38	21
2	84	19
3	237	19
4	662	19
5	782	19
done	782	19
0	19	21
1	36	21
2	82	19
3	235	19
4	659	19
5	796	19
done	796	19
0	12	14
1	24	13
2	57	9
3	165	9
4	451	9
5	479	9
done	479	9
0	19	21
1	36	21
2	82	19
3	235	19
4	659	19
5	796	19
done	796	19
0	11	13
1	23	11
2	61	9
3	172	9
4	389	9
5	394	9
done	394	9
0	18	30
1	37	28
2	88	26
3	250	26
4	655	26
5	817	26
done	817	26
0	18	29
1	36	18
2	76	16
3	175	16
4	405	16
5	465	16
done	465	16
0	17	20
1	34	18
2	74	16
3	171	16
4	396	16
5	461	16
done	461	16
0	10	13
1	22	8
2	42	6
3	80	6
4	147	6
5	149	6
done	149	6
0	17	20
1	34	18
2	74	16
3	171	16
4	396	16
5	461	16
done	461	16
0	9	12
1	21	6
2	33	6
3	68	6
4	110	6
done	110	6
0	17	28
1	34	28
2	79	26
3	213	26
4	458	26
5	510	26
done	510	26
0	17	27
1	33	18
2	69	16
3	151	16
4	254	16
5	256	16
done	256	16
0	16	18
1	31	18
2	67	16
3	151	16
4	251	16
5	253	16
done	253	16
0	9	11
1	19	10
2	41	8
3	113	6
4	189	6
5	206	6
done	206	6
0	16	18
1	31	18
2	67	16
3	151	16
4	251	16
5	253	16
done	253	16
0	8	10
1	18	6
2	30	6
3	65	6
4	109	6
done	109	6
0	17	28
1	34	28
2	79	26
3	213	26
4	458	26
5	510	26
done	510	26
0	17	27
1	33	18
2	69	16
3	151	16
4	254	16
5	256	16
done	256	16
0	16	18
1	31	18
2	67	16
3	151	16
4	251	16
5	253	16
done	253	16
0	9	11
1	19	10
2	41	8
3	113	6
4	189	6
5	206	6
done	206	6
0	16	18
1	31	18
2	67	16
3	151	16
4	251	16
5	253	16
done	253	16
0	8	10
1	18	6
2	30	6
3	65	6
4	109	6
done	109	6
0	7	8
1	15	6
2	21	6
3	29	6
4	41	6
5	48	6
done	48	6
0	9	10
1	19	10
2	42	8
3	114	8
4	223	8
5	227	8
done	227	8
0	20	23
1	53	23
2	157	21
3	631	21
4	2187	21
done	5000	21
0	19	27
1	46	27
2	125	25
3	410	23
4	1102	21
5	1451	21
6	1900	21
7	3098	21
done	5000	21
0	18	20
1	33	20
2	59	20
3	92	18
4	153	18
5	165	18
done	165	18
0	18	20
1	33	20
2	59	20
3	92	18
4	153	18
5	165	18
done	165	18
0	15	17
1	29	16
2	61	14
3	129	14
4	246	14
done	246	14
0	15	17
1	29	16
2	61	14
3	129	14
4	246	14
done	246	14
0	14	16
1	28	16
2	60	14
3	128	14
4	235	14
done	235	14
0	17	19
1	34	19
2	80	17
3	233	17
4	659	17
5	784	17
done	784	17
0	17	19
1	34	19
2	80	17
3	233	17
4	659	17
5	784	17
done	784	17
0	9	10
1	19	10
2	42	8
3	114	8
4	223	8
5	227	8
done	227	8
0	12	14
1	24	12
2	52	12
3	74	12
4	88	12
5	94	12
done	94	12
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	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	35	13
3	49	13
done	49	13
0	13	14
1	24	13
2	48	13
3	77	13
4	114	13
5	138	13
6	149	13
7	161	13
done	161	13
0	14	15
1	27	14
2	51	13
3	87	13
4	124	13
5	148	13
6	159	13
7	171	13
done	171	13
0	13	14
1	26	13
2	46	13
3	72	13
4	90	13
5	106	13
6	123	13
7	132	13
8	149	13
done	149	13
0	12	13
1	24	13
2	49	12
3	72	12
4	95	12
5	113	12
6	146	12
7	175	12
8	177	12
done	177	12
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	17	38
1	37	24
2	103	16
3	302	16
4	1073	16
5	2811	14
done	5000	14
0	15	38
1	37	28
2	114	16
3	437	14
4	1305	14
5	2982	14
done	5000	14
0	13	27
1	22	27
2	38	27
3	50	27
done	50	27
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	13	38
1	29	38
2	76	14
3	228	14
4	799	14
5	1230	14
6	2388	14
done	5000	14
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	4	4
1	9	3
done	9	3
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	15	29
1	28	29
2	50	29
3	68	29
done	68	29
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	15	28
1	25	19
2	40	19
3	53	19
done	53	19
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	14	19
1	23	19
2	38	19
3	51	19
done	51	19
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	7	12
1	11	11
2	13	11
3	14	9
4	21	9
done	21	9
0	12	13
1	19	13
2	32	13
3	44	13
done	44	13
0	14	19
1	23	19
2	38	19
3	51	19
done	51	19
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	6	11
1	10	9
2	16	9
3	21	9
done	21	9
0	12	13
1	19	13
2	32	13
3	44	13
done	44	13
0	14	24
1	23	24
2	36	24
3	48	24
done	48	24
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	14	23
1	22	14
2	35	14
3	47	14
done	47	14
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	6	7
1	8	6
done	8	6
0	12	13
1	19	13
2	32	13
3	44	13
done	44	13
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	13	14
1	20	14
2	33	14
3	45	14
done	45	14
0	5	6
1	7	4
2	9	4
done	9	4
0	12	13
1	19	13
2	32	13
3	44	13
done	44	13
0	17	31
1	34	29
2	82	27
3	179	27
4	298	27
5	326	27
done	326	27
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	17	30
1	33	19
2	69	17
3	120	17
4	156	17
5	161	17
done	161	17
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	16	21
1	31	19
2	67	17
3	118	17
4	152	17
5	157	17
done	157	17
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	9	14
1	19	11
2	42	7
3	75	7
4	76	7
done	76	7
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	16	21
1	31	19
2	67	17
3	118	17
4	152	17
5	157	17
done	157	17
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	8	13
1	18	9
2	44	7
3	76	7
4	77	7
done	77	7
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	16	28
1	29	26
2	58	24
3	97	24
4	156	24
5	165	24
done	165	24
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	16	27
1	28	16
2	52	14
3	76	14
4	93	14
done	93	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	15	18
1	26	16
2	50	14
3	74	14
4	91	14
5	93	14
done	93	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	8	11
1	14	8
2	25	4
3	34	4
done	34	4
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	15	18
1	26	16
2	50	14
3	74	14
4	91	14
5	93	14
done	93	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	7	10
1	13	6
2	27	4
3	32	4
done	32	4
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	14	27
1	27	23
2	67	21
3	101	21
4	108	21
done	108	21
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	14	26
1	26	13
2	57	11
3	73	11
done	73	11
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	13	17
1	24	13
2	55	11
3	71	11
done	71	11
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	6	10
1	12	3
2	23	1
done	23	1
0	12	13
1	21	12
2	37	12
3	49	12
done	49	12
0	13	17
1	24	13
2	55	11
3	71	11
done	71	11
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	5	9
1	11	1
done	11	1
0	12	13
1	21	12
2	37	12
3	49	12
done	49	12
0	16	28
1	29	27
2	54	27
3	93	27
4	97	27
done	97	27
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	16	27
1	28	17
2	47	17
3	67	17
done	67	17
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	15	18
1	26	17
2	45	17
3	65	17
done	65	17
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	7	11
1	13	9
2	19	7
3	31	7
done	31	7
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	15	18
1	26	17
2	45	17
3	65	17
done	65	17
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	7	10
1	13	7
2	23	7
3	33	7
done	33	7
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	15	25
1	26	24
2	45	24
3	63	24
done	63	24
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	15	24
1	25	14
2	41	14
3	53	14
done	53	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	6	8
1	10	6
2	13	4
3	17	4
done	17	4
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	14	15
1	23	14
2	39	14
3	51	14
done	51	14
0	6	7
1	10	4
2	17	4
done	17	4
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	13	24
1	24	21
2	41	21
3	63	21
4	65	21
done	65	21
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	13	23
1	23	11
2	38	11
3	54	11
done	54	11
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	12	14
1	21	11
2	36	11
3	52	11
done	52	11
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	4	7
1	8	1
done	8	1
0	12	13
1	21	12
2	37	12
3	49	12
done	49	12
0	12	14
1	21	11
2	36	11
3	52	11
done	52	11
0	13	14
1	22	13
2	38	13
3	50	13
done	50	13
0	4	6
1	8	1
done	8	1
0	12	13
1	21	12
2	37	12
3	49	12
done	49	12
0	15	27
1	28	27
2	53	27
3	92	27
4	97	27
done	97	27
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	15	26
1	27	17
2	46	17
3	66	17
done	66	17
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	14	17
1	25	17
2	44	17
3	64	17
done	64	17
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	7	10
1	13	9
2	19	7
3	31	7
done	31	7
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	14	17
1	25	17
2	44	17
3	64	17
done	64	17
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	14	24
1	25	24
2	44	24
3	62	24
done	62	24
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	14	23
1	24	14
2	40	14
3	52	14
done	52	14
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	6	7
1	10	6
2	13	4
3	17	4
done	17	4
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	13	14
1	22	14
2	38	14
3	50	14
done	50	14
0	5	6
1	9	4
2	16	4
done	16	4
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	12	23
1	23	21
2	40	21
3	62	21
4	63	21
done	63	21
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	12	22
1	22	11
2	37	11
3	53	11
done	53	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	11	13
1	20	11
2	35	11
3	51	11
done	51	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	4	6
1	8	1
done	8	1
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	11	13
1	20	11
2	35	11
3	51	11
done	51	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	3	5
1	7	1
done	7	1
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	11	21
1	20	21
2	33	21
3	45	21
done	45	21
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	11	20
1	19	11
2	32	11
3	44	11
done	44	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	10	11
1	17	11
2	30	11
3	42	11
done	42	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	3	4
1	5	3
done	5	3
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	10	11
1	17	11
2	30	11
3	42	11
done	42	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	2	3
1	4	1
done	4	1
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	11	21
1	20	21
2	33	21
3	45	21
done	45	21
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	11	20
1	19	11
2	32	11
3	44	11
done	44	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	10	11
1	17	11
2	30	11
3	42	11
done	42	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	3	4
1	5	3
done	5	3
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	10	11
1	17	11
2	30	11
3	42	11
done	42	11
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	2	3
1	4	1
done	4	1
0	11	12
1	20	12
2	36	12
3	48	12
done	48	12
0	9	10
1	16	10
2	29	10
3	41	10
done	41	10
0	11	12
1	20	12
2	36	10
3	57	10
4	66	10
5	68	10
done	68	10
0	13	23
1	24	23
2	43	23
3	61	23
done	61	23
0	13	22
1	23	13
2	39	13
3	51	13
done	51	13
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	5	6
1	9	5
2	12	3
3	16	3
done	16	3
0	12	13
1	21	13
2	37	13
3	49	13
done	49	13
0	4	5
1	8	3
2	15	3
done	15	3
0	12	13
1	19	13
2	32	13
3	44	13
done	44	13
0	12	13
1	19	13
2	32	13
3	44	13
done	44	13
0	13	14
1	22	13
2	38	13
3	51	11
4	60	11
5	74	11
6	82	11
done	82	11
0	13	14
1	22	13
2	38	13
3	51	11
4	60	11
5	74	11
6	82	11
done	82	11
0	12	13
1	21	12
2	37	12
3	50	10
4	59	10
5	73	10
6	81	10
done	81	10
0	13	14
1	22	13
2	38	13
3	51	11
4	60	11
5	74	11
6	82	11
done	82	11
0	13	14
1	22	13
2	38	13
3	51	11
4	60	11
5	74	11
6	82	11
done	82	11
0	12	13
1	21	12
2	37	12
3	50	10
4	59	10
5	73	10
6	81	10
done	81	10
0	12	13
1	21	13
2	37	11
3	58	11
4	67	11
5	69	11
done	69	11
0	12	13
1	21	13
2	37	11
3	58	11
4	67	11
5	69	11
done	69	11
0	11	12
1	20	12
2	36	10
3	57	10
4	66	10
5	68	10
done	68	10
0	11	12
1	20	12
2	36	10
3	57	10
4	66	10
5	68	10
done	68	10
0	11	12
1	20	12
2	36	10
3	57	10
4	66	10
5	68	10
done	68	10
0	14	16
1	39	16
2	113	16
3	446	16
4	1557	16
5	4262	16
done	5001	16
0	13	20
1	32	20
2	81	20
3	227	18
4	450	16
5	699	16
6	1117	16
7	2294	16
done	5000	16
0	9	10
1	15	10
2	28	10
3	40	10
done	40	10
0	19	25
1	42	25
2	135	25
3	494	25
4	1864	25
5	4175	25
done	5000	25
0	22	29
1	58	29
2	188	27
3	881	27
done	5000	27
0	21	29
1	56	29
2	182	27
3	878	27
4	4153	27
done	5001	27
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	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	12	15
1	24	15
2	69	15
3	137	15
4	246	15
5	321	15
6	348	15
7	414	15
8	624	15
9	1562	15
done	5000	15
0	6	6
1	9	6
2	11	6
done	11	6
0	8	8
1	15	7
2	36	7
3	63	7
4	85	7
5	86	7
done	86	7

prune717.0ms

Filtered

186 candidates to 320 candidates (-72.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	320	0	320
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	320	4	324

Merged error: 0b

Counts

324 → 4

regimes178.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	33
1	30	33
done	30	33

end0.0ms

sample1.7s

Algorithm

intervals

Results

616.0ms	8000×	body	80	valid
598.0ms	8227×	body	80	nan

Details

sample55.0ms

simplify2.6s

prune4.0ms

localize18.0ms

rewrite50.0ms

series83.0ms

simplify3.5min

prune302.0ms

localize24.0ms

rewrite36.0ms

series71.0ms

simplify1.8min

prune224.0ms

localize18.0ms

rewrite34.0ms

series50.0ms

simplify1.6min

prune270.0ms

localize26.0ms

rewrite88.0ms

series63.0ms

simplify5.4min

prune717.0ms

regimes178.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling