Details

sample101.0ms

Algorithm

intervals

Results

19.0ms	119×	body	320	valid
17.0ms	545×	pre	80	true
17.0ms	104×	body	160	valid
16.0ms	289×	body	80	nan
3.0ms	14×	body	640	valid
1.0ms	19×	body	80	valid

simplify58.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	12	17
1	21	17
2	41	16
3	75	16
4	87	16
5	95	16
done	95	16

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 54.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* b b) (* (* 3.0 a) c))
0.2b	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
0.3b	(* (* 3.0 a) c)
29.2b	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 75

Calls

4 calls:

9.0ms	(- (* b b) (* (* 3.0 a) c))
13.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
6.0ms	(* (* 3.0 a) c)
8.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series62.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* (* 3.0 a) c))
30.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
4.0ms	(* (* 3.0 a) c)
18.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify1.4min

Counts

87 → 87

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	20	13
2	39	13
3	67	13
4	74	13
5	80	13
6	84	13
7	100	13
8	104	13
9	109	13
10	116	13
11	134	13
12	155	13
13	172	13
14	175	13
done	175	13
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	11	13
1	22	13
2	42	13
3	70	13
4	80	13
5	84	13
6	100	13
7	104	13
8	109	13
9	116	13
10	134	13
11	155	13
12	173	13
13	176	13
done	176	13
0	12	27
1	20	27
2	38	27
3	63	27
4	67	27
done	67	27
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	12	38
1	21	38
2	53	14
3	121	14
4	231	14
5	605	14
6	2448	14
done	5000	14
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	13	16
1	33	16
2	72	16
3	140	16
4	304	16
5	745	16
6	2570	16
done	5001	16
0	13	38
1	26	24
2	61	24
3	117	22
4	167	22
5	250	22
6	423	22
7	536	22
8	638	22
9	694	22
10	766	22
done	766	22
0	2	2
done	2	2
0	11	25
1	22	13
2	55	13
3	112	13
4	162	7
5	246	6
6	979	6
done	5000	6
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	10	12
1	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	2	2
done	2	2
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	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	15	19
1	28	19
2	55	19
3	90	19
4	104	19
5	120	19
6	139	19
7	155	19
8	160	19
done	160	19
0	13	18
1	26	18
2	51	18
3	84	18
4	95	18
5	107	18
6	126	18
7	152	18
8	162	18
done	162	18
0	12	17
1	28	17
2	67	17
3	114	17
4	137	17
5	148	17
6	164	17
7	183	17
8	199	17
9	204	17
done	204	17
0	12	17
1	25	17
2	59	17
3	94	17
4	107	17
5	114	17
6	118	17
7	134	17
8	138	17
9	149	17
10	166	17
11	195	17
12	231	17
13	261	17
14	278	17
15	304	17
16	306	17
done	306	17
0	18	50
1	41	50
2	161	22
3	686	22
4	2721	20
done	5000	20
0	15	50
1	41	50
2	176	20
3	827	18
4	3200	18
done	5001	18
0	13	35
1	26	35
2	57	35
3	90	35
4	100	35
5	101	35
done	101	35
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	13	50
1	33	50
2	122	18
3	571	18
4	2580	18
done	5000	18
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	11	13
1	19	13
2	40	13
3	67	13
4	72	12
done	72	12
0	4	4
1	9	4
2	11	4
done	11	4
0	10	14
1	18	14
2	37	14
3	62	14
4	64	14
done	64	14
0	5	5
1	8	5
2	10	5
done	10	5
0	13	29
1	23	29
2	43	29
3	69	29
4	73	29
done	73	29
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	3	3
1	5	3
done	5	3
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	24	16
2	44	16
3	71	16
4	73	16
done	73	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	24	16
2	44	16
3	71	16
4	73	16
done	73	16
0	3	3
1	5	3
done	5	3
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	5	5
1	10	5
2	12	5
done	12	5
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	12	17
1	22	17
2	44	17
3	72	17
4	75	17
done	75	17
0	12	17
1	22	17
2	44	17
3	72	17
4	75	17
done	75	17
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	13	18
1	23	18
2	48	18
3	81	18
4	90	18
5	92	18
done	92	18
0	13	18
1	23	18
2	48	18
3	81	18
4	90	18
5	92	18
done	92	18
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	14	42
1	36	28
2	128	28
3	352	26
4	755	26
5	1171	26
6	1759	26
7	2632	26
8	3989	26
done	5000	26
0	11	16
1	27	16
2	71	16
3	106	16
4	108	16
done	108	16
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	13	15
1	31	15
2	71	15
3	124	13
4	220	13
5	294	13
6	409	13
7	706	13
8	1079	13
9	2184	13
done	5000	13
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	10	11
1	19	11
2	41	11
3	62	11
4	91	11
5	102	11
done	102	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	5	5
1	9	5
2	15	5
done	15	5
0	14	17
1	40	15
2	120	15
3	351	15
4	1057	13
5	2942	13
done	5000	13
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	10	11
1	18	11
2	33	11
3	50	11
4	62	11
5	65	11
done	65	11
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9

prune157.0ms

Filtered

66 candidates to 87 candidates (-31.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	83	4	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	4	88

Merged error: 0.1b

Counts

88 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.3b	(* (* 3.0 a) c)
0.3b	(* (* 3.0 a) c)
0.4b	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

102×	`times-frac`
78×	`*-un-lft-identity`
40×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`associate-/l*`
28×	`add-exp-log` `add-cbrt-cube`
19×	`distribute-lft-out`
14×	`pow1`
13×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`associate-r` `pow-prod-down` `associate-/r/`
5×	`associate-/r*`
4×	`div-inv` `add-log-exp`
3×	`flip3-+` `div-sub` `distribute-frac-neg` `flip-+`
2×	`neg-sub0` `frac-2neg` `associate-l` `clear-num` `*-commutative`
1×	`associate-/l/`

Counts

4 → 168

Calls

4 calls:

12.0ms	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
6.0ms	(* (* 3.0 a) c)
6.0ms	(* (* 3.0 a) c)
18.0ms	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

series131.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
4.0ms	(* (* 3.0 a) c)
4.0ms	(* (* 3.0 a) c)
56.0ms	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

simplify4.0min

Counts

180 → 180

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	18	27
1	37	27
2	91	27
3	219	26
4	789	26
5	2843	19
done	5000	19
0	16	26
1	35	26
2	81	26
3	189	26
4	641	26
5	2461	19
done	5000	19
0	17	26
1	37	26
2	91	26
3	235	25
4	829	25
5	3318	25
done	5000	25
0	15	25
1	35	25
2	84	25
3	214	25
4	706	25
5	2800	25
done	5001	25
0	14	24
1	33	24
2	111	24
3	539	17
4	2363	16
done	5000	16
0	14	24
1	30	24
2	95	24
3	472	17
4	2028	16
done	5000	16
0	22	71
1	71	69
2	354	31
3	4963	29
done	5000	29
0	19	71
1	71	69
2	359	29
3	4999	27
done	5000	27
0	20	71
1	53	71
2	229	29
3	1854	29
done	5000	29
0	17	71
1	53	71
2	244	27
3	2037	25
done	5001	25
0	15	49
1	31	49
2	96	49
3	467	35
4	1919	33
done	5001	33
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	15	71
1	38	71
2	170	25
3	1408	18
done	5000	18
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	13	20
1	27	20
2	63	18
3	159	18
4	342	18
5	477	18
6	548	18
7	559	18
done	559	18
0	4	4
1	9	4
2	11	4
done	11	4
0	13	18
1	24	5
2	57	1
3	112	1
4	120	1
done	120	1
0	12	22
1	25	22
2	88	22
3	376	16
4	1066	14
done	5000	14
0	15	43
1	29	43
2	62	43
3	123	43
4	201	43
5	275	43
6	301	43
done	301	43
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	17	45
1	35	45
2	80	45
3	135	45
4	176	45
5	181	45
done	181	45
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	16	31
1	30	31
2	63	31
3	94	31
4	104	31
done	104	31
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	11	19
1	25	17
2	66	17
3	102	17
4	112	17
5	117	17
done	117	17
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	11	19
1	25	17
2	66	17
3	102	17
4	112	17
5	117	17
done	117	17
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	16	37
1	30	37
2	58	37
3	84	37
done	84	37
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	10	11
1	22	9
2	49	9
3	67	9
done	67	9
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	10	11
1	22	9
2	49	9
3	67	9
done	67	9
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	15	31
1	28	31
2	51	31
3	84	31
4	86	31
done	86	31
0	14	22
1	28	22
2	76	22
3	262	22
4	699	19
5	1190	18
done	5000	18
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	22
1	28	22
2	76	22
3	262	22
4	699	19
5	1190	18
done	5000	18
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	15	31
1	26	31
2	49	31
3	82	31
4	84	31
done	84	31
0	13	21
1	24	21
2	70	21
3	200	21
4	385	19
5	499	17
6	1735	17
done	5000	17
0	14	17
1	23	17
2	43	17
3	68	17
4	70	17
done	70	17
0	13	21
1	24	21
2	70	21
3	200	21
4	385	19
5	499	17
6	1735	17
done	5000	17
0	5	5
1	9	3
2	11	3
3	13	3
done	13	3
0	12	20
1	23	20
2	77	20
3	205	20
4	389	18
5	536	16
6	1903	16
done	5000	16
0	5	5
1	9	3
2	11	3
3	13	3
done	13	3
0	12	20
1	23	20
2	77	20
3	205	20
4	389	18
5	536	16
6	1903	16
done	5000	16
0	15	34
1	32	34
2	91	34
3	246	31
4	472	30
5	1865	30
done	5001	30
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	14	20
1	29	20
2	70	20
3	158	17
4	231	16
5	843	16
6	4504	16
done	5000	16
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	7	8
1	18	6
2	57	6
3	105	2
4	278	2
5	702	2
6	2102	2
done	5000	2
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	7	8
1	18	6
2	57	6
3	105	2
4	278	2
5	702	2
6	2102	2
done	5000	2
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	14	33
1	30	33
2	80	33
3	170	31
4	262	29
5	843	29
6	4351	29
done	5001	29
0	14	18
1	25	18
2	48	18
3	78	18
4	82	18
done	82	18
0	13	19
1	24	19
2	59	19
3	111	17
4	137	15
5	322	15
6	1623	15
done	5000	15
0	14	18
1	25	18
2	48	18
3	78	18
4	82	18
done	82	18
0	6	7
1	13	5
2	41	5
3	74	1
4	80	1
done	80	1
0	13	17
1	24	17
2	55	17
3	83	17
4	87	17
done	87	17
0	6	7
1	13	5
2	41	5
3	74	1
4	80	1
done	80	1
0	13	17
1	24	17
2	55	17
3	83	17
4	87	17
done	87	17
0	3	3
1	5	3
done	5	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	7	8
1	17	8
2	47	8
3	108	8
4	188	5
5	264	4
6	832	4
7	4815	4
done	5000	4
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	16	25
1	42	25
2	107	25
3	343	25
4	943	22
5	1971	21
done	5000	21
0	14	40
1	28	26
2	73	26
3	161	24
4	310	24
5	603	24
6	1189	22
7	2370	22
done	5000	22
0	14	34
1	32	22
2	121	22
3	584	22
4	2436	13
done	5000	13
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	5	5
1	10	5
2	12	5
done	12	5
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	12	22
1	25	22
2	88	22
3	376	16
4	1066	14
done	5000	14
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1210	17
done	5000	17
0	14	24
1	28	24
2	63	24
3	126	24
4	206	24
5	280	24
6	306	24
done	306	24
0	14	24
1	28	24
2	63	24
3	126	24
4	206	24
5	280	24
6	306	24
done	306	24
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	30	24
2	92	24
3	377	18
4	1548	16
done	5000	16
0	14	24
1	30	24
2	92	24
3	377	18
4	1548	16
done	5000	16
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	23
1	26	23
2	89	23
3	351	17
4	949	15
done	5000	15
0	13	23
1	26	23
2	89	23
3	351	17
4	949	15
done	5000	15
0	12	22
1	25	22
2	96	22
3	462	16
4	1484	14
done	5000	14
0	12	22
1	25	22
2	96	22
3	462	16
4	1484	14
done	5000	14
0	13	19
1	24	19
2	54	19
3	99	19
4	126	19
5	135	19
6	138	19
7	140	19
done	140	19
0	13	19
1	24	19
2	54	19
3	99	19
4	126	19
5	135	19
6	138	19
7	140	19
done	140	19
0	12	18
1	23	18
2	61	18
3	140	18
4	223	18
5	275	18
6	288	18
7	300	18
8	302	18
done	302	18
0	12	18
1	23	18
2	61	18
3	140	18
4	223	18
5	275	18
6	288	18
7	300	18
8	302	18
done	302	18
0	14	20
1	27	20
2	58	20
3	110	20
4	139	20
5	154	20
6	157	20
7	159	20
done	159	20
0	14	20
1	27	20
2	58	20
3	110	20
4	139	20
5	154	20
6	157	20
7	159	20
done	159	20
0	13	19
1	26	19
2	65	19
3	149	19
4	234	19
5	305	19
6	330	19
7	342	19
8	344	19
done	344	19
0	13	19
1	26	19
2	65	19
3	149	19
4	234	19
5	305	19
6	330	19
7	342	19
8	344	19
done	344	19
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	18
1	26	18
2	64	16
3	173	16
4	407	16
5	656	16
6	932	16
done	932	16
0	14	42
1	30	28
2	79	28
3	181	26
4	376	26
5	786	26
6	1684	24
7	3860	24
done	5001	24
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	11	16
1	27	16
2	71	16
3	106	16
4	108	16
done	108	16
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	27	3
done	27	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	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	14	21
1	26	21
2	55	21
3	103	21
4	184	21
5	284	21
6	330	21
7	414	21
8	572	21
9	1063	21
10	1239	21
11	1472	21
12	1630	21
done	1630	21
0	13	20
1	28	20
2	67	20
3	158	20
4	348	20
5	624	20
6	845	20
7	1090	20
8	1382	20
9	1525	20
10	1701	20
11	1864	20
done	1864	20
0	13	20
1	25	20
2	59	20
3	121	20
4	209	20
5	331	20
6	491	20
7	856	20
8	1813	20
9	4368	20
done	5000	20
0	16	59
1	54	57
2	241	23
3	2339	21
done	5000	21
0	14	41
1	26	41
2	57	41
3	117	41
4	195	41
5	269	41
6	295	41
done	295	41
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	14	59
1	33	59
2	111	21
3	609	21
done	5002	21
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	7	7
1	15	5
2	41	5
3	91	5
4	141	5
done	141	5
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	12	14
1	19	1
2	36	1
3	61	1
4	63	1
done	63	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	16	43
1	32	43
2	63	43
3	87	43
done	87	43
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	15	29
1	27	29
2	51	29
3	70	29
done	70	29
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	10	17
1	22	15
2	49	15
3	72	15
4	73	15
done	73	15
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	10	17
1	22	15
2	49	15
3	72	15
4	73	15
done	73	15
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	15	35
1	27	35
2	49	35
3	67	35
done	67	35
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	9	9
1	19	7
2	42	7
3	60	7
done	60	7
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	9	9
1	19	7
2	42	7
3	60	7
done	60	7
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	2	3
1	4	1
done	4	1
0	12	19
1	24	19
2	55	19
3	115	19
4	193	19
5	267	19
6	293	19
done	293	19
0	2	3
1	4	1
done	4	1
0	12	19
1	24	19
2	55	19
3	115	19
4	193	19
5	267	19
6	293	19
done	293	19
0	14	29
1	23	29
2	40	29
3	65	29
4	69	29
done	69	29
0	12	19
1	21	19
2	48	19
3	94	19
4	122	19
5	135	19
done	135	19
0	13	15
1	20	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	19
1	21	19
2	48	19
3	94	19
4	122	19
5	135	19
done	135	19
0	3	3
1	5	1
done	5	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	3	3
1	5	1
done	5	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	14	32
1	29	32
2	68	32
3	133	32
4	164	32
5	171	32
done	171	32
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	18
1	26	18
2	50	18
3	84	18
4	97	18
5	100	18
done	100	18
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	13	31
1	27	31
2	58	31
3	96	31
4	104	31
done	104	31
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	12	17
1	21	17
2	42	17
3	70	17
4	75	17
done	75	17
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	19
1	22	19
2	48	19
3	84	19
4	116	19
5	118	19
done	118	19
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	14	34
1	28	34
2	77	34
3	229	34
4	515	34
5	769	34
6	820	34
done	820	34
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	8	8
1	20	6
2	54	6
3	123	6
4	269	6
5	413	6
6	468	6
done	468	6
0	8	8
1	20	6
2	54	6
3	123	6
4	269	6
5	413	6
6	468	6
done	468	6
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	12	19
1	22	19
2	48	19
3	84	19
4	116	19
5	118	19
done	118	19
0	11	18
1	20	18
2	44	18
3	80	18
4	83	18
done	83	18
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	15	23
1	39	23
2	79	23
3	165	23
4	352	23
5	616	23
6	1108	23
7	3933	23
done	5000	23
0	13	32
1	29	20
2	93	20
3	340	20
4	1059	14
5	2526	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	20	29
1	51	29
2	185	29
3	609	27
4	2790	27
done	5000	27
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	1	1
done	1	1
0	1	1
done	1	1
0	19	27
1	51	27
2	181	27
3	594	25
4	2459	23
done	5000	23

prune387.0ms

Filtered

137 candidates to 180 candidates (-31.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	176	4	180
Fresh	3	0	3
Picked	0	1	1
Done	0	0	0
Total	179	5	184

Merged error: 0b

Counts

184 → 5

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.2b	(/ (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a)
0.2b	(* (neg a) (/ (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a))
0.3b	(* (* 3.0 a) c)

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

207×	`times-frac`
161×	`*-un-lft-identity`
120×	`add-sqr-sqrt`
111×	`add-cube-cbrt`
61×	`associate-r`
25×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
21×	`associate-/l*`
16×	`associate-/r/`
11×	`pow1` `associate-l`
10×	`div-inv`
8×	`flip3-+` `flip-+`
7×	`cbrt-undiv` `div-exp` `associate-/r*`
6×	`prod-exp` `cbrt-unprod`
4×	`pow-prod-down` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `unswap-sqr`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`distribute-lft-neg-out` `neg-mul-1` `associate-*r/` `associate-/l/`

Counts

4 → 229

Calls

4 calls:

10.0ms	(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
15.0ms	(/ (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a)
32.0ms	(* (neg a) (/ (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a))
7.0ms	(* (* 3.0 a) c)

series178.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
65.0ms	(/ (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a)
56.0ms	(* (neg a) (/ (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a))
4.0ms	(* (* 3.0 a) c)

simplify3.8min

Counts

241 → 241

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	14	19
1	28	19
2	71	19
3	144	19
4	225	16
5	281	15
6	1035	15
done	5001	15
0	18	23
1	34	23
2	74	23
3	160	23
4	236	23
5	319	23
6	417	23
7	557	23
8	588	23
9	590	23
done	590	23
0	17	22
1	32	22
2	64	22
3	132	22
4	226	22
5	297	22
6	361	22
7	489	22
8	587	22
9	598	22
done	598	22
0	16	21
1	29	21
2	68	21
3	121	21
4	186	21
5	290	21
6	345	21
7	436	21
8	524	21
9	612	21
10	619	21
done	619	21
0	15	20
1	32	20
2	84	20
3	182	20
4	340	17
5	563	16
6	2391	16
done	5001	16
0	15	20
1	31	20
2	85	20
3	175	20
4	343	18
5	619	16
6	2023	16
done	5001	16
0	22	59
1	67	57
2	264	27
3	1701	25
done	5000	25
0	20	59
1	54	57
2	205	25
3	1303	23
done	5000	23
0	18	59
1	47	57
2	164	23
3	675	23
4	4301	21
done	5000	21
0	16	41
1	30	41
2	73	41
3	144	41
4	227	35
5	282	33
6	1036	33
done	5000	33
0	15	20
1	29	20
2	72	20
3	143	20
4	224	17
5	279	16
6	1033	16
done	5000	16
0	16	59
1	40	59
2	168	21
3	856	21
done	5000	21
0	15	20
1	29	20
2	72	20
3	143	20
4	224	17
5	279	16
6	1033	16
done	5000	16
0	15	20
1	29	20
2	72	20
3	143	20
4	224	17
5	279	16
6	1033	16
done	5000	16
0	16	21
1	26	21
2	54	21
3	78	21
4	80	21
done	80	21
0	16	21
1	26	21
2	54	21
3	78	21
4	80	21
done	80	21
0	17	22
1	27	22
2	47	22
3	75	22
4	78	22
done	78	22
0	17	22
1	27	22
2	47	22
3	75	22
4	78	22
done	78	22
0	18	23
1	30	23
2	58	23
3	106	23
4	133	23
5	144	23
done	144	23
0	18	23
1	30	23
2	58	23
3	106	23
4	133	23
5	144	23
done	144	23
0	13	18
1	25	18
2	58	18
3	108	18
4	141	16
5	161	14
6	386	14
7	1884	14
done	5000	14
0	16	38
1	30	38
2	66	38
3	98	38
4	102	38
done	102	38
0	15	20
1	27	20
2	58	20
3	83	20
4	85	20
done	85	20
0	18	40
1	36	40
2	94	40
3	202	40
4	355	40
5	465	40
6	494	40
7	495	40
done	495	40
0	17	37
1	31	37
2	66	37
3	126	37
4	179	37
5	204	37
6	209	37
done	209	37
0	17	36
1	33	34
2	74	34
3	161	34
4	244	34
5	316	34
6	357	34
7	506	34
8	790	34
done	790	34
0	17	24
1	31	24
2	67	24
3	121	24
4	160	24
5	178	24
6	183	24
done	183	24
0	16	21
1	28	21
2	54	21
3	90	21
4	101	21
5	104	21
6	105	21
done	105	21
0	16	20
1	30	18
2	58	18
3	98	18
4	118	18
5	144	18
6	180	18
7	329	18
8	613	18
done	613	18
0	20	42
1	42	42
2	126	42
3	441	42
4	1537	42
5	3525	42
done	5000	42
0	19	39
1	39	39
2	101	39
3	295	39
4	796	39
5	1541	39
6	2036	39
7	2087	39
done	2087	39
0	19	38
1	41	36
2	121	36
3	368	36
4	907	36
5	1363	36
6	1538	36
7	1687	36
8	1971	36
done	1971	36
0	19	28
1	37	28
2	98	28
3	283	28
4	810	28
5	1604	28
6	2093	28
7	2147	28
done	2147	28
0	18	25
1	34	25
2	80	25
3	206	25
4	423	25
5	677	25
6	806	25
7	814	25
done	814	25
0	18	24
1	36	22
2	92	22
3	241	22
4	492	22
5	692	22
6	772	22
7	921	22
8	1205	22
done	1205	22
0	11	16
1	24	14
2	78	14
3	253	14
4	621	14
5	1133	14
6	1568	14
done	1568	14
0	10	13
1	21	11
2	56	11
3	150	11
4	332	11
5	547	11
6	715	11
done	715	11
0	9	12
1	20	8
2	41	8
3	104	8
4	181	8
5	246	8
6	251	8
done	251	8
0	11	16
1	24	14
2	78	14
3	253	14
4	621	14
5	1133	14
6	1568	14
done	1568	14
0	10	13
1	21	11
2	56	11
3	150	11
4	332	11
5	547	11
6	715	11
done	715	11
0	9	12
1	20	8
2	41	8
3	104	8
4	181	8
5	246	8
6	251	8
done	251	8
0	19	39
1	37	39
2	94	39
3	262	39
4	682	39
5	1203	39
6	1499	39
7	1540	39
done	1540	39
0	18	36
1	34	36
2	75	36
3	184	36
4	355	36
5	529	36
6	617	36
7	625	36
done	625	36
0	18	35
1	36	33
2	87	33
3	217	33
4	373	33
5	464	33
6	511	33
7	660	33
8	944	33
done	944	33
0	18	25
1	34	25
2	83	25
3	193	25
4	376	25
5	558	25
6	627	25
7	635	25
done	635	25
0	17	22
1	31	22
2	67	22
3	139	22
4	206	22
5	257	22
6	268	22
done	268	22
0	17	21
1	33	19
2	75	19
3	156	19
4	233	19
5	266	19
6	302	19
7	451	19
8	735	19
done	735	19
0	10	13
1	21	11
2	52	11
3	115	11
4	237	11
5	363	11
6	432	11
done	432	11
0	9	10
1	18	8
2	36	8
3	65	8
4	122	8
5	172	8
6	197	8
done	197	8
0	8	9
1	17	5
2	25	5
3	41	5
4	59	5
5	70	5
done	70	5
0	10	13
1	21	11
2	52	11
3	115	11
4	237	11
5	363	11
6	432	11
done	432	11
0	9	10
1	18	8
2	36	8
3	65	8
4	122	8
5	172	8
6	197	8
done	197	8
0	8	9
1	17	5
2	25	5
3	41	5
4	59	5
5	70	5
done	70	5
0	19	38
1	39	38
2	96	38
3	259	36
4	720	36
5	1620	36
6	2472	36
7	3029	36
8	3107	36
done	3107	36
0	18	35
1	36	35
2	77	35
3	179	33
4	405	33
5	726	33
6	1066	33
7	1240	33
8	1300	33
done	1300	33
0	17	34
1	35	32
2	86	32
3	188	30
4	369	30
5	615	30
6	871	30
7	1402	30
8	1963	30
9	2051	30
done	2051	30
0	18	24
1	36	24
2	85	24
3	193	22
4	441	22
5	835	22
6	1211	22
7	1385	22
8	1411	22
done	1411	22
0	17	21
1	33	21
2	69	21
3	141	19
4	256	19
5	394	19
6	542	19
7	596	19
8	611	19
done	611	19
0	16	20
1	32	18
2	74	18
3	135	16
4	232	16
5	383	16
6	557	16
7	1057	16
8	1622	16
9	1711	16
done	1711	16
0	8	12
1	19	10
2	43	8
3	132	8
4	275	8
5	434	8
6	602	8
7	609	8
done	609	8
0	7	9
1	16	7
2	29	5
3	78	5
4	137	5
5	203	5
6	262	5
7	266	5
done	266	5
0	6	8
1	15	4
2	24	2
3	41	2
4	54	2
5	64	2
6	65	2
7	67	2
done	67	2
0	8	12
1	19	10
2	43	8
3	132	8
4	275	8
5	434	8
6	602	8
7	609	8
done	609	8
0	7	9
1	16	7
2	29	5
3	78	5
4	137	5
5	203	5
6	262	5
7	266	5
done	266	5
0	6	8
1	15	4
2	24	2
3	41	2
4	54	2
5	64	2
6	65	2
7	67	2
done	67	2
0	7	10
1	16	10
2	34	8
3	97	8
4	159	8
5	214	8
6	238	8
7	242	8
done	242	8
0	6	7
1	13	7
2	22	5
3	56	5
4	75	5
5	88	5
6	91	5
7	92	5
done	92	5
0	5	6
1	12	4
2	23	2
3	40	2
4	53	2
5	61	2
6	62	2
7	64	2
done	64	2
0	7	10
1	14	10
2	33	10
3	62	10
4	99	10
5	118	10
6	123	10
done	123	10
0	6	7
1	11	7
2	20	7
3	30	7
4	39	7
5	42	7
6	43	7
done	43	7
0	6	6
1	13	4
2	24	4
3	38	4
4	56	4
5	71	4
6	73	4
done	73	4
0	19	27
1	47	27
2	112	27
3	290	27
4	760	27
5	2000	27
done	5001	27
0	18	24
1	44	24
2	96	24
3	219	24
4	480	24
5	1163	24
6	3451	24
done	5001	24
0	18	23
1	46	21
2	104	21
3	244	21
4	554	21
5	1324	21
done	5000	21
0	17	36
1	37	24
2	111	24
3	359	24
4	1250	18
5	3348	17
done	5000	17
0	16	33
1	34	21
2	95	21
3	277	21
4	834	15
5	1791	14
done	5001	14
0	16	32
1	36	18
2	103	18
3	316	18
4	1014	12
5	2356	11
done	5000	11
0	4	4
1	9	2
2	20	2
3	23	2
4	25	2
done	25	2
0	13	17
1	25	17
2	49	17
3	81	17
4	92	17
5	94	17
6	95	17
done	95	17
0	15	20
1	27	20
2	63	20
3	109	20
4	142	20
5	163	20
6	171	20
7	181	20
8	191	20
9	200	20
10	205	20
11	207	20
done	207	20
0	15	20
1	27	20
2	63	20
3	109	20
4	142	20
5	163	20
6	171	20
7	181	20
8	191	20
9	200	20
10	205	20
11	207	20
done	207	20
0	14	19
1	28	19
2	71	19
3	144	19
4	225	16
5	281	15
6	1035	15
done	5001	15
0	13	18
1	25	18
2	58	18
3	108	18
4	141	16
5	161	14
6	386	14
7	1884	14
done	5000	14
0	14	19
1	26	19
2	62	19
3	109	19
4	141	19
5	162	19
6	170	19
7	180	19
8	190	19
9	199	19
10	204	19
11	206	19
done	206	19
0	14	19
1	26	19
2	62	19
3	109	19
4	141	19
5	162	19
6	170	19
7	180	19
8	190	19
9	199	19
10	204	19
11	206	19
done	206	19
0	13	18
1	25	18
2	58	18
3	108	18
4	141	16
5	161	14
6	386	14
7	1884	14
done	5000	14
0	15	20
1	29	20
2	73	20
3	145	20
4	216	20
5	277	20
6	312	20
7	326	20
8	350	20
9	370	20
10	389	20
11	400	20
12	406	20
13	408	20
done	408	20
0	15	20
1	29	20
2	73	20
3	145	20
4	216	20
5	277	20
6	312	20
7	326	20
8	350	20
9	370	20
10	389	20
11	400	20
12	406	20
13	408	20
done	408	20
0	14	19
1	28	19
2	71	19
3	144	19
4	225	16
5	281	15
6	1035	15
done	5001	15
0	13	17
1	25	17
2	49	17
3	81	17
4	92	17
5	94	17
6	95	17
done	95	17
0	15	19
1	28	19
2	56	19
3	99	19
4	110	19
5	118	19
6	133	19
7	159	19
8	168	19
done	168	19
0	14	18
1	26	18
2	50	18
3	90	18
4	106	18
5	110	18
6	118	18
7	133	18
8	159	18
9	168	18
done	168	18
0	13	17
1	25	17
2	60	17
3	97	17
4	116	17
5	128	17
6	136	17
7	149	17
8	163	17
9	179	17
10	183	17
done	183	17
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	18	50
1	51	50
2	178	22
3	679	20
4	2837	18
done	5001	18
0	16	50
1	38	50
2	112	20
3	409	18
4	1516	18
5	4809	18
done	5000	18
0	14	35
1	23	35
2	51	35
3	76	35
4	80	35
done	80	35
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	14	50
1	30	50
2	89	18
3	259	18
4	1006	18
5	3125	18
done	5001	18
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	12	15
1	21	15
2	37	15
3	62	15
4	64	15
done	64	15
0	2	2
done	2	2
0	16	37
1	29	37
2	55	37
3	86	37
4	88	37
done	88	37
0	14	18
1	21	18
2	38	18
3	63	18
4	65	18
done	65	18
0	15	34
1	24	34
2	43	34
3	69	34
4	71	34
done	71	34
0	14	18
1	21	18
2	38	18
3	63	18
4	65	18
done	65	18
0	15	33
1	26	31
2	49	31
3	79	31
4	81	31
done	81	31
0	13	17
1	20	17
2	37	17
3	62	17
4	66	17
done	66	17
0	15	21
1	24	21
2	41	21
3	66	21
4	68	21
done	68	21
0	14	18
1	21	18
2	38	18
3	63	18
4	65	18
done	65	18
0	14	18
1	21	18
2	38	18
3	63	18
4	65	18
done	65	18
0	14	18
1	21	18
2	38	18
3	63	18
4	65	18
done	65	18
0	14	17
1	23	15
2	42	15
3	67	15
4	71	15
done	71	15
0	13	17
1	20	17
2	37	17
3	62	17
4	66	17
done	66	17
0	18	39
1	35	39
2	87	39
3	200	39
4	327	39
5	365	39
done	365	39
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	17	36
1	32	36
2	72	36
3	136	36
4	179	36
5	183	36
done	183	36
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	17	35
1	34	33
2	78	33
3	154	33
4	188	33
5	189	33
done	189	33
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	17	25
1	30	25
2	63	25
3	124	25
4	167	25
5	177	25
done	177	25
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	16	22
1	27	22
2	55	22
3	95	22
4	107	22
done	107	22
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	16	21
1	29	19
2	61	19
3	105	19
4	117	19
done	117	19
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	17	36
1	30	36
2	59	36
3	111	36
4	120	36
done	120	36
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	16	33
1	27	33
2	50	33
3	83	33
4	85	33
done	85	33
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	16	32
1	29	30
2	56	30
3	99	30
4	101	30
done	101	30
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	16	22
1	27	22
2	50	22
3	81	22
4	83	22
done	83	22
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	15	19
1	24	19
2	44	19
3	69	19
4	71	19
done	71	19
0	15	18
1	26	16
2	50	16
3	77	16
4	79	16
done	79	16
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	7	7
1	11	5
2	17	5
done	17	5
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	5	6
1	9	2
done	9	2
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	7	7
1	11	5
2	17	5
done	17	5
0	14	18
1	23	18
2	51	18
3	76	18
4	80	18
done	80	18
0	5	6
1	9	2
done	9	2
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	17	35
1	32	35
2	61	35
3	115	35
4	124	35
done	124	35
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	16	32
1	29	32
2	52	32
3	87	32
4	89	32
done	89	32
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	15	31
1	28	29
2	55	29
3	90	29
4	92	29
done	92	29
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	16	21
1	29	21
2	52	21
3	85	21
4	87	21
done	87	21
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	15	18
1	26	18
2	46	18
3	71	18
4	73	18
done	73	18
0	14	18
1	23	18
2	43	18
3	68	18
4	70	18
done	70	18
0	14	17
1	25	15
2	49	15
3	74	15
4	76	15
done	76	15
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	3	5
1	7	1
done	7	1
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	3	5
1	7	1
done	7	1
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	5	7
1	9	7
done	9	7
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	4	4
1	6	4
done	6	4
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	2	3
1	4	1
done	4	1
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	5	7
1	7	7
done	7	7
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	4	4
done	4	4
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	3	3
1	5	1
done	5	1
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	17	24
1	40	24
2	80	24
3	181	24
4	441	24
5	1314	24
6	3859	24
done	5001	24
0	15	41
1	29	27
2	74	27
3	164	25
4	314	25
5	607	25
6	1192	25
7	1623	25
8	1896	25
9	1985	25
10	1994	25
done	1994	25
0	16	21
1	37	21
2	74	21
3	149	21
4	326	21
5	849	21
6	2290	21
done	5000	21
0	15	41
1	29	27
2	74	27
3	164	25
4	314	25
5	607	25
6	1192	25
7	1623	25
8	1896	25
9	1985	25
10	1994	25
done	1994	25
0	16	20
1	39	18
2	80	18
3	165	18
4	380	18
5	859	18
6	2105	18
7	4991	18
done	5000	18
0	14	40
1	28	26
2	73	26
3	161	24
4	310	24
5	603	24
6	1189	22
7	2370	22
done	5000	22
0	15	33
1	30	21
2	79	21
3	222	21
4	536	15
5	1052	14
6	3050	14
done	5000	14
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	14	30
1	27	18
2	73	18
3	182	18
4	381	12
5	625	11
6	1970	11
done	5000	11
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	14	29
1	29	15
2	79	15
3	201	15
4	466	9
5	790	8
6	1678	8
done	5000	8
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	3	3
1	5	3
done	5	3
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	14	20
1	25	20
2	56	20
3	101	20
4	107	20
done	107	20
0	13	17
1	22	17
2	50	17
3	75	17
4	79	17
done	79	17
0	13	16
1	24	14
2	56	14
3	91	14
4	95	14
done	95	14
0	13	17
1	20	17
2	37	17
3	62	17
4	64	17
done	64	17
0	13	17
1	20	17
2	37	17
3	62	17
4	64	17
done	64	17
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	13	17
1	22	17
2	42	17
3	68	17
4	72	17
5	74	17
6	75	17
done	75	17
0	13	17
1	22	17
2	42	17
3	68	17
4	72	17
5	74	17
6	75	17
done	75	17
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	14	40
1	28	26
2	70	26
3	142	24
4	238	24
5	397	24
6	665	24
7	739	24
8	767	24
done	767	24
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	11	14
1	25	14
2	43	14
3	68	14
4	72	14
done	72	14
0	13	16
1	22	16
2	40	16
3	65	16
4	67	16
done	67	16
0	12	15
1	22	15
2	41	15
3	67	15
4	71	15
done	71	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	15	44
1	43	44
2	121	18
3	275	16
4	595	16
5	1926	16
done	5000	16
0	13	31
1	20	31
2	37	31
3	62	31
4	66	31
done	66	31
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	44
1	27	44
2	60	16
3	123	16
4	208	16
5	353	16
6	635	16
7	1469	16
done	5000	16
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	2	2
done	2	2
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	15	33
1	28	33
2	54	33
3	85	33
4	87	33
done	87	33
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	14	19
1	23	19
2	42	19
3	68	19
4	72	19
done	72	19
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	14	30
1	23	30
2	40	30
3	65	30
4	67	30
done	67	30
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	2	3
1	4	1
done	4	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	2	3
1	4	1
done	4	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	13	29
1	22	29
2	39	29
3	64	29
4	66	29
done	66	29
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	14	18
1	33	18
2	59	18
3	112	18
4	228	18
5	434	18
6	880	18
7	2758	18
done	5000	18
0	12	27
1	23	15
2	58	15
3	117	15
4	165	9
5	249	8
6	1007	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	1	1
done	1	1
0	1	1
done	1	1
0	16	25
1	41	25
2	136	25
3	366	25
4	1361	21
done	5000	21
0	1	1
done	1	1
0	5	5
1	8	5
2	10	5
done	10	5
0	14	19
1	35	19
2	88	19
3	180	19
4	538	17
5	2044	17
done	5000	17
0	1	1
done	1	1
0	3	3
done	3	3
0	10	13
1	21	13
2	51	13
3	86	13
4	189	13
5	565	13
6	2079	13
done	5000	13

prune461.0ms

Filtered

188 candidates to 241 candidates (-28.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	241	0	241
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	241	5	246

Merged error: 0b

Counts

246 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.3b	(/ (/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a)
0.3b	(* (* 3.0 a) c)
0.4b	(* (neg (* a c)) (/ (/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

209×	`times-frac`
160×	`*-un-lft-identity`
121×	`add-sqr-sqrt`
109×	`add-cube-cbrt`
61×	`associate-r`
37×	`add-exp-log`
25×	`add-cbrt-cube` `distribute-lft-out`
21×	`associate-/l*`
16×	`associate-/r/`
14×	`div-exp`
12×	`pow1`
10×	`div-inv`
8×	`flip3-+` `prod-exp` `flip-+`
7×	`cbrt-undiv` `associate-l` `associate-/r*`
6×	`cbrt-unprod`
4×	`pow-prod-down` `add-log-exp` `unswap-sqr`
3×	`rec-exp` `1-exp`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`distribute-lft-neg-out` `distribute-lft-neg-in` `neg-mul-1` `pow-flip` `distribute-rgt-neg-in` `associate-*r/` `associate-/l/` `inv-pow`

Counts

4 → 234

Calls

4 calls:

10.0ms	(/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
15.0ms	(/ (/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a)
6.0ms	(* (* 3.0 a) c)
34.0ms	(* (neg (* a c)) (/ (/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a))

series127.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
41.0ms	(/ (/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a)
4.0ms	(* (* 3.0 a) c)
54.0ms	(* (neg (* a c)) (/ (/ 1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) a))

simplify7.2min

Counts

246 → 246

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	21
1	36	21
2	95	21
3	244	19
4	854	15
5	2244	15
done	5000	15
0	18	23
1	34	23
2	66	22
3	131	22
4	248	19
5	389	17
6	1640	17
done	5000	17
0	19	24
1	39	23
2	85	22
3	199	22
4	547	17
5	1449	17
6	4475	17
done	5000	17
0	20	25
1	42	24
2	87	23
3	204	22
4	551	17
5	1451	17
6	4425	17
done	5001	17
0	19	24
1	41	23
2	79	22
3	174	22
4	475	17
5	1292	17
6	3987	17
done	5000	17
0	18	23
1	37	23
2	83	22
3	149	21
4	334	20
5	748	17
6	1985	17
done	5000	17
0	17	22
1	40	22
2	114	22
3	312	20
4	1094	16
5	3602	16
done	5000	16
0	17	22
1	39	22
2	112	22
3	299	20
4	1065	16
5	3084	16
done	5001	16
0	24	65
1	75	59
2	288	27
3	1714	25
done	5000	25
0	22	65
1	63	63
2	258	27
3	1811	25
done	5000	25
0	20	65
1	55	63
2	223	25
3	1306	25
done	5001	25
0	18	45
1	38	45
2	97	45
3	245	41
4	825	33
5	2471	33
done	5000	33
0	17	22
1	37	22
2	96	22
3	245	20
4	848	16
5	2249	16
done	5000	16
0	18	65
1	48	65
2	218	23
3	1506	21
done	5000	21
0	17	22
1	37	22
2	96	22
3	245	20
4	848	16
5	2249	16
done	5000	16
0	17	22
1	37	22
2	96	22
3	245	20
4	848	16
5	2249	16
done	5000	16
0	18	23
1	34	23
2	62	23
3	82	23
4	84	23
done	84	23
0	18	23
1	34	23
2	62	23
3	82	23
4	84	23
done	84	23
0	19	24
1	35	24
2	55	24
3	79	24
4	83	24
done	83	24
0	19	24
1	35	24
2	55	24
3	79	24
4	83	24
done	83	24
0	20	25
1	38	24
2	66	24
3	107	22
4	166	22
5	173	22
done	173	22
0	20	25
1	38	24
2	66	24
3	107	22
4	166	22
5	173	22
done	173	22
0	19	24
1	37	24
2	65	24
3	106	22
4	165	22
5	172	22
done	172	22
0	19	24
1	37	24
2	65	24
3	106	22
4	165	22
5	172	22
done	172	22
0	15	20
1	31	20
2	80	20
3	167	18
4	383	14
5	836	14
6	2653	14
done	5000	14
0	18	40
1	38	40
2	89	40
3	157	40
4	187	40
5	193	40
done	193	40
0	17	22
1	35	22
2	77	22
3	113	22
4	119	22
done	119	22
0	20	42
1	44	42
2	117	42
3	363	42
4	935	42
5	1814	42
6	2188	42
7	2219	42
done	2219	42
0	19	39
1	39	39
2	89	39
3	226	39
4	439	39
5	655	39
6	744	39
7	751	39
done	751	39
0	18	38
1	38	36
2	90	36
3	258	36
4	575	36
5	1217	36
6	1368	36
7	1547	36
8	1616	36
done	1616	36
0	19	26
1	39	26
2	90	26
3	228	26
4	423	26
5	691	26
6	788	26
7	798	26
done	798	26
0	18	23
1	36	23
2	77	23
3	155	23
4	223	23
5	275	23
6	297	23
7	298	23
done	298	23
0	17	22
1	35	20
2	74	20
3	155	20
4	279	20
5	493	20
6	571	20
7	720	20
8	789	20
done	789	20
0	22	44
1	50	42
2	149	40
3	584	38
4	2615	38
done	5000	38
0	21	41
1	47	39
2	124	37
3	398	35
4	1456	35
5	2613	35
6	3499	35
7	3734	35
done	3734	35
0	20	40
1	46	36
2	136	34
3	405	32
4	1180	32
5	2439	32
6	3199	32
7	3692	32
8	3855	32
9	3894	32
done	3894	32
0	21	30
1	45	28
2	121	26
3	405	24
4	1607	24
5	3046	24
6	4241	24
7	4556	24
done	4556	24
0	20	27
1	42	25
2	103	23
3	294	21
4	934	21
5	1432	21
6	1787	21
7	1858	21
done	1858	21
0	19	26
1	41	22
2	107	20
3	260	18
4	695	18
5	1351	18
6	1875	18
7	2322	18
8	2510	18
9	2545	18
done	2545	18
0	12	18
1	30	14
2	99	12
3	311	10
4	831	10
5	1561	10
6	2398	10
7	2408	10
done	2408	10
0	11	15
1	27	11
2	77	9
3	194	7
4	453	7
5	772	7
6	1165	7
7	1169	7
done	1169	7
0	10	14
1	26	6
2	48	4
3	130	4
4	222	4
5	384	4
6	406	4
done	406	4
0	12	18
1	30	14
2	99	12
3	311	10
4	831	10
5	1561	10
6	2398	10
7	2408	10
done	2408	10
0	11	15
1	27	11
2	77	9
3	194	7
4	453	7
5	772	7
6	1165	7
7	1169	7
done	1169	7
0	10	14
1	26	6
2	48	4
3	130	4
4	222	4
5	384	4
6	406	4
done	406	4
0	21	41
1	45	40
2	117	40
3	413	38
4	2012	38
done	5001	38
0	20	38
1	42	37
2	98	37
3	295	35
4	1236	35
5	2491	35
6	3503	35
7	3827	35
done	3827	35
0	19	37
1	41	34
2	103	34
3	297	32
4	1040	32
5	2301	32
6	3152	32
7	3741	32
8	3927	32
9	3960	32
done	3960	32
0	20	27
1	42	26
2	106	26
3	329	24
4	1357	24
5	2856	24
6	4046	24
7	4419	24
done	4419	24
0	19	24
1	39	23
2	90	23
3	238	21
4	815	21
5	1261	21
6	1608	21
7	1678	21
done	1678	21
0	18	23
1	38	20
2	91	20
3	215	18
4	654	18
5	1296	18
6	1783	18
7	2292	18
8	2480	18
9	2523	18
done	2523	18
0	11	15
1	27	12
2	68	10
3	293	10
4	854	10
5	1547	10
6	2613	10
7	2649	10
done	2649	10
0	10	12
1	24	9
2	54	7
3	192	7
4	479	7
5	813	7
6	1368	7
7	1372	7
done	1372	7
0	9	11
1	23	6
2	45	4
3	127	4
4	219	4
5	386	4
6	411	4
done	411	4
0	11	15
1	27	12
2	68	10
3	293	10
4	854	10
5	1547	10
6	2613	10
7	2649	10
done	2649	10
0	10	12
1	24	9
2	54	7
3	192	7
4	479	7
5	813	7
6	1368	7
7	1372	7
done	1372	7
0	9	11
1	23	6
2	45	4
3	127	4
4	219	4
5	386	4
6	411	4
done	411	4
0	20	40
1	44	40
2	116	40
3	415	38
4	2024	38
done	5000	38
0	19	37
1	41	37
2	97	37
3	295	35
4	1272	35
5	2530	35
6	3527	35
7	3881	35
done	3881	35
0	18	36
1	40	34
2	102	34
3	296	32
4	1012	32
5	2266	32
6	3129	32
7	3720	32
8	3881	32
9	3924	32
done	3924	32
0	19	26
1	41	26
2	105	26
3	329	24
4	1358	24
5	2840	24
6	4096	24
7	4478	24
done	4478	24
0	18	23
1	38	23
2	89	23
3	237	21
4	812	21
5	1269	21
6	1660	21
7	1746	21
done	1746	21
0	17	22
1	37	20
2	90	20
3	216	18
4	652	18
5	1289	18
6	1767	18
7	2272	18
8	2455	18
9	2472	18
done	2472	18
0	10	14
1	26	12
2	67	10
3	293	10
4	865	10
5	1567	10
6	2579	10
7	2602	10
done	2602	10
0	9	11
1	23	9
2	53	7
3	191	7
4	478	7
5	797	7
6	1384	7
7	1388	7
done	1388	7
0	8	10
1	22	6
2	44	4
3	126	4
4	218	4
5	385	4
6	410	4
done	410	4
0	10	14
1	26	12
2	67	10
3	293	10
4	865	10
5	1567	10
6	2579	10
7	2602	10
done	2602	10
0	9	11
1	23	9
2	53	7
3	191	7
4	478	7
5	797	7
6	1384	7
7	1388	7
done	1388	7
0	8	10
1	22	6
2	44	4
3	126	4
4	218	4
5	385	4
6	410	4
done	410	4
0	9	12
1	23	12
2	58	10
3	242	10
4	549	10
5	776	10
6	957	10
7	961	10
done	961	10
0	8	9
1	20	9
2	46	7
3	151	7
4	256	7
5	313	7
6	358	7
7	362	7
done	362	7
0	7	8
1	19	6
2	43	4
3	125	4
4	217	4
5	382	4
6	408	4
done	408	4
0	9	12
1	23	12
2	58	10
3	242	10
4	549	10
5	776	10
6	957	10
7	961	10
done	961	10
0	8	9
1	20	9
2	46	7
3	151	7
4	256	7
5	313	7
6	358	7
7	362	7
done	362	7
0	7	8
1	19	6
2	43	4
3	125	4
4	217	4
5	382	4
6	408	4
done	408	4
0	21	29
1	55	29
2	136	29
3	431	27
4	1685	27
5	4419	27
done	5000	27
0	20	26
1	52	26
2	120	26
3	319	24
4	1125	24
5	2293	24
done	5000	24
0	19	25
1	51	23
2	121	23
3	305	21
4	946	21
5	2269	21
done	5000	21
0	19	38
1	45	26
2	135	26
3	496	24
4	2519	18
done	5000	18
0	18	35
1	42	23
2	119	23
3	377	21
4	1759	15
5	4657	14
done	5000	14
0	17	34
1	41	20
2	120	20
3	376	18
4	1558	12
5	4717	11
done	5001	11
0	6	6
1	16	4
2	40	4
3	79	4
4	87	4
5	91	4
done	91	4
0	15	19
1	33	19
2	74	17
3	206	17
4	377	17
5	475	17
6	526	17
7	527	17
done	527	17
0	17	22
1	35	22
2	71	22
3	112	20
4	184	20
5	203	20
6	207	20
7	233	20
8	298	20
9	329	20
10	336	20
11	348	20
done	348	20
0	17	22
1	35	22
2	71	22
3	112	20
4	184	20
5	203	20
6	207	20
7	233	20
8	298	20
9	329	20
10	336	20
11	348	20
done	348	20
0	16	21
1	36	21
2	95	21
3	244	19
4	854	15
5	2244	15
done	5000	15
0	15	20
1	31	20
2	80	20
3	167	18
4	383	14
5	836	14
6	2653	14
done	5000	14
0	14	18
1	28	18
2	64	18
3	110	16
4	145	16
5	188	16
6	210	16
7	219	16
8	237	16
9	290	16
10	321	16
11	348	16
12	360	16
done	360	16
0	15	19
1	31	19
2	74	19
3	145	17
4	266	17
5	412	17
6	591	17
7	687	17
8	865	17
9	1036	17
10	1116	17
11	1217	17
12	1242	17
13	1245	17
done	1245	17
0	15	19
1	33	19
2	74	17
3	206	17
4	377	17
5	475	17
6	526	17
7	527	17
done	527	17
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	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	14	17
1	23	17
2	43	17
3	70	17
4	72	17
done	72	17
0	15	18
1	28	17
2	56	17
3	100	17
4	138	17
5	162	17
6	173	17
7	188	17
done	188	17
0	16	19
1	31	18
2	59	17
3	110	17
4	148	17
5	172	17
6	183	17
7	198	17
done	198	17
0	15	18
1	30	17
2	54	17
3	93	17
4	113	17
5	129	17
6	146	17
7	154	17
8	170	17
done	170	17
0	14	17
1	28	17
2	65	16
3	103	16
4	130	16
5	148	16
6	181	16
7	210	16
8	212	16
done	212	16
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	19	50
1	53	46
2	151	20
3	461	20
4	1842	20
done	5000	20
0	17	50
1	41	50
2	115	20
3	452	18
4	1270	18
5	2660	18
done	5000	18
0	15	35
1	26	35
2	54	35
3	79	35
4	81	35
done	81	35
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	15	50
1	33	50
2	92	18
3	257	18
4	911	18
5	1523	18
6	2909	18
done	5001	18
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	13	15
1	25	14
2	42	14
3	67	14
4	71	14
done	71	14
0	2	2
done	2	2
0	17	37
1	32	37
2	58	37
3	91	37
4	93	37
done	93	37
0	15	18
1	24	18
2	41	18
3	66	18
4	68	18
done	68	18
0	16	34
1	27	34
2	46	34
3	72	34
4	74	34
done	74	34
0	15	18
1	24	18
2	41	18
3	66	18
4	68	18
done	68	18
0	15	33
1	26	31
2	49	31
3	79	31
4	81	31
done	81	31
0	14	17
1	23	17
2	40	17
3	65	17
4	69	17
done	69	17
0	16	21
1	27	21
2	44	21
3	69	21
4	71	21
done	71	21
0	15	18
1	24	18
2	41	18
3	66	18
4	68	18
done	68	18
0	15	18
1	24	18
2	41	18
3	66	18
4	68	18
done	68	18
0	15	18
1	24	18
2	41	18
3	66	18
4	68	18
done	68	18
0	14	17
1	23	15
2	42	15
3	67	15
4	71	15
done	71	15
0	14	17
1	23	17
2	40	17
3	65	17
4	69	17
done	69	17
0	19	39
1	38	37
2	90	35
3	202	35
4	327	35
5	359	35
done	359	35
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	18	36
1	35	34
2	75	32
3	139	32
4	177	32
5	182	32
done	182	32
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	17	35
1	34	31
2	77	29
3	135	29
4	138	29
done	138	29
0	15	18
1	26	17
2	46	17
3	71	17
4	73	17
done	73	17
0	18	25
1	33	23
2	66	21
3	118	21
4	179	21
5	189	21
done	189	21
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	17	22
1	30	20
2	58	18
3	97	18
4	116	18
5	118	18
done	118	18
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	16	21
1	29	17
2	60	15
3	92	15
4	94	15
done	94	15
0	15	18
1	26	17
2	46	17
3	71	17
4	73	17
done	73	17
0	8	13
1	16	9
2	43	7
3	65	7
4	72	7
done	72	7
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	7	10
1	13	6
2	31	4
3	35	4
done	35	4
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	5	9
1	11	1
done	11	1
0	14	17
1	25	16
2	53	16
3	80	16
4	84	16
done	84	16
0	8	13
1	16	9
2	43	7
3	65	7
4	72	7
done	72	7
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	7	10
1	13	6
2	31	4
3	35	4
done	35	4
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	5	9
1	11	1
done	11	1
0	14	17
1	25	16
2	53	16
3	80	16
4	84	16
done	84	16
0	18	36
1	33	35
2	62	35
3	116	35
4	124	35
done	124	35
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	17	33
1	30	32
2	53	32
3	88	32
4	90	32
done	90	32
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	16	32
1	29	29
2	56	29
3	91	29
4	93	29
done	93	29
0	15	18
1	26	17
2	46	17
3	71	17
4	73	17
done	73	17
0	17	22
1	30	21
2	53	21
3	86	21
4	88	21
done	88	21
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	16	19
1	27	18
2	47	18
3	72	18
4	74	18
done	74	18
0	15	18
1	26	15
2	50	15
3	77	15
4	79	15
done	79	15
0	15	18
1	26	17
2	46	17
3	71	17
4	73	17
done	73	17
0	7	10
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	6	7
1	10	4
2	12	4
3	16	4
done	16	4
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	4	6
1	8	1
done	8	1
0	14	17
1	25	16
2	53	16
3	80	16
4	84	16
done	84	16
0	7	10
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	6	7
1	10	4
2	12	4
3	16	4
done	16	4
0	15	18
1	26	17
2	54	17
3	79	17
4	81	17
done	81	17
0	4	6
1	8	1
done	8	1
0	14	17
1	25	16
2	53	16
3	80	16
4	84	16
done	84	16
0	17	35
1	32	35
2	61	35
3	115	35
4	124	35
done	124	35
0	15	18
1	26	18
2	46	18
3	71	18
4	73	18
done	73	18
0	16	32
1	29	32
2	52	32
3	87	32
4	89	32
done	89	32
0	15	18
1	26	18
2	46	18
3	71	18
4	73	18
done	73	18
0	15	31
1	28	29
2	55	29
3	90	29
4	92	29
done	92	29
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	16	21
1	29	21
2	52	21
3	85	21
4	87	21
done	87	21
0	15	18
1	26	18
2	46	18
3	71	18
4	73	18
done	73	18
0	15	18
1	26	18
2	46	18
3	71	18
4	73	18
done	73	18
0	15	18
1	26	18
2	46	18
3	71	18
4	73	18
done	73	18
0	14	17
1	25	15
2	49	15
3	74	15
4	76	15
done	76	15
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	3	5
1	7	1
done	7	1
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	3	5
1	7	1
done	7	1
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	5	7
1	9	7
done	9	7
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	4	4
1	6	4
done	6	4
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	2	3
1	4	1
done	4	1
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	5	7
1	9	7
done	9	7
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	4	4
1	6	4
done	6	4
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	2	3
1	4	1
done	4	1
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	18	24
1	43	24
2	83	24
3	184	24
4	428	24
5	1324	24
6	3712	24
done	5001	24
0	15	41
1	29	27
2	74	27
3	164	25
4	314	25
5	607	25
6	1192	25
7	1623	25
8	1896	25
9	1985	25
10	1994	25
done	1994	25
0	17	21
1	40	21
2	77	21
3	154	21
4	328	21
5	899	21
6	2224	21
done	5000	21
0	15	41
1	29	27
2	74	27
3	164	25
4	314	25
5	607	25
6	1192	25
7	1623	25
8	1896	25
9	1985	25
10	1994	25
done	1994	25
0	16	20
1	39	18
2	80	18
3	163	18
4	374	18
5	848	18
6	2077	18
7	4923	18
done	5000	18
0	14	40
1	28	26
2	73	26
3	161	24
4	310	24
5	603	24
6	1189	22
7	2370	22
done	5000	22
0	16	33
1	33	21
2	82	21
3	225	21
4	545	15
5	1021	14
6	3052	14
done	5000	14
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	15	30
1	30	18
2	76	18
3	185	18
4	382	12
5	666	11
6	2005	11
done	5001	11
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	14	29
1	29	15
2	79	15
3	193	15
4	460	9
5	761	8
6	1644	7
done	5001	7
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	3	3
1	5	3
done	5	3
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	15	20
1	28	20
2	59	20
3	104	20
4	106	20
done	106	20
0	14	17
1	25	17
2	53	17
3	80	17
4	82	17
done	82	17
0	13	16
1	24	14
2	56	14
3	89	14
4	93	14
done	93	14
0	14	17
1	23	17
2	40	17
3	65	17
4	67	17
done	67	17
0	14	17
1	23	17
2	40	17
3	65	17
4	67	17
done	67	17
0	15	18
1	26	17
2	46	17
3	72	15
4	83	15
5	97	15
6	105	15
done	105	15
0	15	18
1	26	17
2	46	17
3	72	15
4	83	15
5	97	15
6	105	15
done	105	15
0	14	17
1	25	16
2	53	16
3	93	14
4	110	14
5	138	14
6	174	14
done	174	14
0	14	17
1	25	16
2	53	16
3	93	14
4	110	14
5	138	14
6	174	14
done	174	14
0	15	18
1	26	17
2	46	17
3	72	15
4	83	15
5	97	15
6	105	15
done	105	15
0	15	18
1	26	17
2	46	17
3	72	15
4	83	15
5	97	15
6	105	15
done	105	15
0	14	17
1	25	16
2	53	16
3	93	14
4	110	14
5	138	14
6	174	14
done	174	14
0	14	17
1	25	16
2	53	16
3	93	14
4	110	14
5	138	14
6	174	14
done	174	14
0	14	17
1	25	17
2	45	15
3	78	15
4	89	15
5	94	15
done	94	15
0	14	17
1	25	17
2	45	15
3	78	15
4	89	15
5	94	15
done	94	15
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	14	40
1	28	26
2	70	26
3	142	24
4	238	24
5	397	24
6	665	24
7	739	24
8	767	24
done	767	24
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	11	14
1	25	14
2	43	14
3	68	14
4	72	14
done	72	14
0	2	2
1	5	1
done	5	1
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	13	15
1	22	14
2	43	14
3	70	14
4	78	14
5	83	14
done	83	14
0	14	16
1	25	15
2	43	14
3	74	14
4	82	14
5	87	14
done	87	14
0	13	15
1	26	14
2	44	14
3	73	14
4	77	14
5	83	14
6	88	14
done	88	14
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	16	44
1	45	40
2	103	16
3	213	16
4	485	16
5	1583	16
done	5000	16
0	14	31
1	23	31
2	40	31
3	65	31
4	69	31
done	69	31
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	14	44
1	30	44
2	63	16
3	125	16
4	151	16
5	210	16
6	336	16
7	722	16
8	2061	16
done	5001	16
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	2	2
1	5	1
done	5	1
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	16	33
1	31	31
2	57	29
3	88	29
4	90	29
done	90	29
0	14	16
1	23	15
2	40	15
3	65	15
4	67	15
done	67	15
0	15	19
1	26	17
2	45	15
3	73	15
4	75	15
done	75	15
0	14	16
1	23	15
2	40	15
3	65	15
4	67	15
done	67	15
0	4	7
1	8	3
2	12	1
done	12	1
0	13	15
1	22	14
2	39	14
3	64	14
4	68	14
done	68	14
0	4	7
1	8	3
2	12	1
done	12	1
0	13	15
1	22	14
2	39	14
3	64	14
4	68	14
done	68	14
0	15	30
1	26	29
2	43	29
3	68	29
4	70	29
done	70	29
0	14	16
1	23	15
2	40	15
3	65	15
4	67	15
done	67	15
0	14	16
1	23	15
2	40	15
3	65	15
4	67	15
done	67	15
0	14	16
1	23	15
2	40	15
3	65	15
4	67	15
done	67	15
0	3	4
1	5	1
done	5	1
0	13	15
1	22	14
2	39	14
3	64	14
4	68	14
done	68	14
0	3	4
1	5	1
done	5	1
0	13	15
1	22	14
2	39	14
3	64	14
4	68	14
done	68	14
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	2	3
1	4	1
done	4	1
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	2	3
1	4	1
done	4	1
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	14
1	21	12
2	40	12
3	65	12
4	67	12
done	67	12
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	13	15
1	22	14
2	39	14
3	64	14
4	66	14
done	66	14
0	13	15
1	22	14
2	39	14
3	64	14
4	66	14
done	66	14
0	12	14
1	21	12
2	40	12
3	65	12
4	67	12
done	67	12
0	15	18
1	36	18
2	62	18
3	115	18
4	229	18
5	446	18
6	889	18
7	2735	18
done	5000	18
0	13	27
1	26	15
2	61	15
3	122	15
4	169	9
5	253	8
6	1013	8
done	5001	8
0	1	1
done	1	1
0	1	1
done	1	1
0	16	25
1	41	25
2	136	25
3	366	25
4	1361	21
done	5000	21
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	18	24
1	48	24
2	155	24
3	436	23
4	1820	22
done	5000	22
0	5	5
1	8	5
2	10	5
done	10	5
0	15	17
1	35	17
2	94	15
3	251	15
4	641	15
5	1746	15
done	5000	15
0	14	18
1	40	18
2	134	18
3	360	16
4	1337	16
done	5001	15
0	3	3
done	3	3
0	12	13
1	25	13
2	54	11
3	88	11
4	123	11
5	144	11
6	150	11
7	154	11
8	156	11
done	156	11

prune383.0ms

Filtered

157 candidates to 246 candidates (-56.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	246	0	246
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	246	5	251

Merged error: 0b

Counts

251 → 5

regimes273.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	19
1	20	19
2	23	19
3	26	19
4	28	19
done	28	19

end0.0ms

sample2.8s

Algorithm

intervals

Results

611.0ms	3690×	body	320	valid
513.0ms	16204×	pre	80	true
460.0ms	8204×	body	80	nan
322.0ms	2882×	body	160	valid
126.0ms	537×	body	640	valid
53.0ms	891×	body	80	valid

Details

sample101.0ms

simplify58.0ms

prune9.0ms

localize10.0ms

rewrite38.0ms

series62.0ms

simplify1.4min

prune157.0ms

localize17.0ms

rewrite50.0ms

series131.0ms

simplify4.0min

prune387.0ms

localize20.0ms

rewrite77.0ms

series178.0ms

simplify3.8min

prune461.0ms

localize16.0ms

rewrite79.0ms

series127.0ms

simplify7.2min

prune383.0ms

regimes273.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample2.8s

Profiling