Details

sample89.0ms

Algorithm

intervals

Results

18.0ms	564×	pre	80	true
17.0ms	308×	body	80	nan
16.0ms	148×	body	160	valid
6.0ms	108×	body	80	valid

simplify57.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	14	17
1	24	17
2	44	16
3	78	16
4	90	16
5	98	16
done	98	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: 28.6b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (- (* b b) (* (* 4.0 a) c)))
0.3b	(- (* b b) (* (* 4.0 a) c))
0.3b	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
28.5b	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
121×	`add-sqr-sqrt`
94×	`*-un-lft-identity`
68×	`add-cube-cbrt`
26×	`difference-of-squares`
22×	`associate-/l*`
16×	`sqrt-prod`
13×	`distribute-lft-out--`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
5×	`pow1` `div-inv`
3×	`cbrt-undiv` `flip3--` `div-exp` `associate-/r*` `flip--`
2×	`sub-neg` `sqrt-div` `diff-log` `div-sub`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `associate-/l/`

Counts

4 → 149

Calls

4 calls:

4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(- (* b b) (* (* 4.0 a) c))
14.0ms	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
8.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

series79.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
10.0ms	(- (* b b) (* (* 4.0 a) c))
29.0ms	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
23.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)

simplify1.3min

Counts

161 → 161

Iterations

Useful iterations: 1 (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	16	19
1	30	19
2	59	19
3	102	19
4	117	19
5	125	19
6	140	19
7	166	19
8	175	19
done	175	19
0	15	18
1	31	18
2	58	18
3	100	18
4	116	18
5	120	18
6	128	18
7	143	18
8	169	18
9	178	18
done	178	18
0	14	17
1	30	17
2	66	17
3	114	17
4	141	17
5	156	17
6	164	17
7	177	17
8	191	17
9	207	17
10	211	17
done	211	17
0	14	17
1	27	17
2	56	17
3	97	17
4	107	17
5	113	17
6	119	17
7	123	17
8	139	17
9	143	17
10	154	17
11	171	17
12	199	17
13	235	17
14	262	17
15	279	17
16	305	17
17	307	17
done	307	17
0	19	50
1	41	50
2	149	22
3	604	20
4	2453	18
done	5001	18
0	17	50
1	43	50
2	135	20
3	510	18
4	2132	18
done	5001	18
0	15	35
1	28	35
2	57	35
3	93	35
4	101	35
5	104	35
done	104	35
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	15	50
1	35	50
2	95	18
3	336	18
4	1583	18
done	5002	18
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	13	15
1	26	15
2	49	15
3	81	15
4	89	14
5	90	14
done	90	14
0	2	2
done	2	2
0	12	14
1	20	14
2	40	14
3	65	14
4	67	14
done	67	14
0	5	5
1	7	5
2	10	5
done	10	5
0	17	37
1	34	37
2	63	37
3	96	37
4	98	37
done	98	37
0	15	18
1	26	18
2	46	18
3	73	18
4	75	18
done	75	18
0	16	34
1	29	34
2	51	34
3	79	34
4	81	34
done	81	34
0	15	18
1	26	18
2	46	18
3	73	18
4	75	18
done	75	18
0	16	33
1	31	31
2	57	31
3	89	31
4	91	31
done	91	31
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	49	21
3	76	21
4	78	21
done	78	21
0	15	18
1	26	18
2	46	18
3	73	18
4	75	18
done	75	18
0	15	18
1	26	18
2	46	18
3	73	18
4	75	18
done	75	18
0	15	18
1	26	18
2	46	18
3	73	18
4	75	18
done	75	18
0	15	17
1	28	15
2	50	15
3	77	15
4	79	15
done	79	15
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	19	39
1	37	39
2	90	39
3	205	39
4	338	39
5	377	39
done	377	39
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	18	36
1	34	36
2	75	36
3	137	36
4	182	36
5	186	36
done	186	36
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	18	35
1	36	33
2	81	33
3	155	33
4	189	33
done	189	33
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	18	36
1	32	36
2	66	36
3	127	36
4	170	36
5	180	36
done	180	36
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	17	33
1	29	33
2	58	33
3	96	33
4	108	33
done	108	33
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	17	32
1	31	30
2	64	30
3	106	30
4	118	30
done	118	30
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	17	35
1	33	33
2	80	33
3	164	33
4	181	33
done	181	33
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	16	32
1	30	30
2	68	30
3	115	30
4	120	30
done	120	30
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	15	31
1	29	27
2	51	27
3	81	27
4	83	27
done	83	27
0	14	17
1	24	17
2	45	17
3	70	17
4	72	17
done	72	17
0	18	25
1	32	25
2	62	25
3	114	25
4	123	25
done	123	25
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	17	22
1	29	22
2	53	22
3	88	22
4	90	22
done	90	22
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	17	21
1	31	19
2	59	19
3	100	19
4	102	19
done	102	19
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	17	22
1	29	22
2	53	22
3	86	22
4	88	22
done	88	22
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	16	19
1	26	19
2	47	19
3	72	19
4	74	19
done	74	19
0	16	18
1	28	16
2	53	16
3	82	16
4	84	16
done	84	16
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	16	21
1	30	19
2	57	19
3	90	19
4	92	19
done	92	19
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	15	18
1	27	16
2	51	16
3	76	16
4	78	16
done	78	16
0	15	18
1	25	18
2	46	18
3	71	18
4	73	18
done	73	18
0	14	17
1	26	13
2	44	13
3	69	13
4	71	13
done	71	13
0	14	17
1	24	17
2	45	17
3	70	17
4	72	17
done	72	17
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	7	7
1	11	7
2	14	7
done	14	7
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	5	6
1	9	4
2	16	4
done	16	4
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	3	5
1	7	1
done	7	1
0	13	16
1	26	16
2	55	16
3	91	16
4	99	16
5	102	16
done	102	16
0	19	26
1	32	26
2	61	26
3	113	26
4	122	26
done	122	26
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	18	23
1	29	23
2	52	23
3	85	23
4	87	23
done	87	23
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	18	22
1	31	20
2	58	20
3	99	20
4	101	20
done	101	20
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	18	23
1	29	23
2	52	23
3	85	23
4	87	23
done	87	23
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	17	20
1	26	20
2	46	20
3	71	20
4	73	20
done	73	20
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	17	19
1	28	17
2	52	17
3	81	17
4	83	17
done	83	17
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	17	22
1	30	20
2	56	20
3	89	20
4	91	20
done	91	20
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	16	19
1	27	17
2	50	17
3	75	17
4	77	17
done	77	17
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	15	18
1	26	14
2	43	14
3	68	14
4	70	14
done	70	14
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	19	26
1	32	26
2	61	26
3	113	26
4	122	26
done	122	26
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	18	23
1	29	23
2	52	23
3	85	23
4	87	23
done	87	23
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	18	22
1	31	20
2	58	20
3	99	20
4	101	20
done	101	20
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	18	23
1	29	23
2	52	23
3	85	23
4	87	23
done	87	23
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	17	20
1	26	20
2	46	20
3	71	20
4	73	20
done	73	20
0	17	20
1	30	20
2	59	20
3	97	20
4	105	20
5	108	20
done	108	20
0	17	19
1	28	17
2	52	17
3	81	17
4	83	17
done	83	17
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	17	22
1	30	20
2	56	20
3	89	20
4	91	20
done	91	20
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	16	19
1	27	17
2	50	17
3	75	17
4	77	17
done	77	17
0	16	19
1	29	19
2	58	19
3	96	19
4	104	19
5	107	19
done	107	19
0	15	18
1	26	14
2	43	14
3	68	14
4	70	14
done	70	14
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	7	7
1	11	7
2	14	7
done	14	7
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	5	6
1	9	4
2	16	4
done	16	4
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	3	5
1	7	1
done	7	1
0	13	16
1	26	16
2	55	16
3	91	16
4	99	16
5	102	16
done	102	16
0	5	7
1	9	7
done	9	7
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	4	4
1	6	4
done	6	4
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	2	3
1	4	1
done	4	1
0	13	16
1	26	16
2	55	16
3	91	16
4	99	16
5	102	16
done	102	16
0	13	18
1	26	18
2	51	18
3	81	18
4	86	18
done	86	18
0	6	6
1	10	6
2	13	6
done	13	6
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	6	6
1	10	6
2	13	6
done	13	6
0	12	14
1	25	12
2	47	12
3	72	12
4	76	12
done	76	12
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	13	16
1	26	16
2	49	16
3	77	16
4	81	16
5	86	16
6	89	16
7	91	16
done	91	16
0	15	20
1	30	20
2	65	20
3	117	20
4	140	20
5	151	20
6	152	20
done	152	20
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	14	16
1	29	14
2	59	14
3	91	14
4	96	14
done	96	14
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	15	18
1	25	18
2	46	18
3	72	18
4	76	18
5	78	18
6	79	18
done	79	18
0	15	18
1	25	18
2	46	18
3	72	18
4	76	18
5	78	18
6	79	18
done	79	18
0	14	17
1	24	17
2	45	17
3	71	17
4	75	17
5	77	17
6	78	17
done	78	17
0	15	18
1	25	18
2	46	18
3	72	18
4	76	18
5	78	18
6	79	18
done	79	18
0	15	18
1	25	18
2	46	18
3	72	18
4	76	18
5	78	18
6	79	18
done	79	18
0	14	17
1	24	17
2	45	17
3	71	17
4	75	17
5	77	17
6	78	17
done	78	17
0	14	17
1	27	17
2	50	17
3	78	17
4	82	17
5	87	17
6	90	17
7	92	17
done	92	17
0	14	17
1	27	17
2	50	17
3	78	17
4	82	17
5	87	17
6	90	17
7	92	17
done	92	17
0	13	16
1	26	16
2	49	16
3	77	16
4	81	16
5	86	16
6	89	16
7	91	16
done	91	16
0	16	19
1	29	19
2	52	19
3	82	19
4	86	19
5	91	19
6	94	19
7	96	19
done	96	19
0	16	19
1	29	19
2	52	19
3	82	19
4	86	19
5	91	19
6	94	19
7	96	19
done	96	19
0	15	18
1	28	18
2	51	18
3	79	18
4	83	18
5	88	18
6	91	18
7	93	18
done	93	18
0	16	19
1	29	19
2	52	19
3	82	19
4	86	19
5	91	19
6	94	19
7	96	19
done	96	19
0	16	19
1	29	19
2	52	19
3	82	19
4	86	19
5	91	19
6	94	19
7	96	19
done	96	19
0	15	18
1	28	18
2	51	18
3	79	18
4	83	18
5	88	18
6	91	18
7	93	18
done	93	18
0	14	17
1	27	17
2	50	17
3	78	17
4	82	17
5	87	17
6	90	17
7	92	17
done	92	17
0	14	17
1	27	17
2	50	17
3	78	17
4	82	17
5	87	17
6	90	17
7	92	17
done	92	17
0	13	16
1	26	16
2	49	16
3	77	16
4	81	16
5	86	16
6	89	16
7	91	16
done	91	16
0	13	16
1	26	16
2	49	16
3	77	16
4	81	16
5	86	16
6	89	16
7	91	16
done	91	16
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
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	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
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	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	9	11
1	19	9
2	36	9
3	54	9
4	66	9
5	69	9
done	69	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
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	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9

prune314.0ms

Filtered

116 candidates to 161 candidates (-38.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	156	5	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	157	5	162

Merged error: 0.3b

Counts

162 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
0.3b	(- (* b b) (* (* 4.0 a) c))
0.3b	(/ (/ (/ (neg (* (* 4.0 a) c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) 2.0) a)
0.3b	(/ (neg (* (* 4.0 a) c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

954×	`times-frac`
527×	`*-un-lft-identity`
367×	`add-sqr-sqrt` `add-cube-cbrt`
100×	`associate-/l*`
80×	`distribute-lft-out`
53×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
26×	`associate-/r/`
18×	`div-inv`
15×	`add-exp-log` `add-cbrt-cube`
14×	`flip3-+` `flip-+`
8×	`add-log-exp`
7×	`cbrt-undiv` `div-exp` `associate-/r*`
4×	`pow1` `div-sub` `distribute-frac-neg`
2×	`neg-sub0` `frac-2neg` `clear-num`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `sum-log` `flip--` `associate-/l/`

Counts

4 → 472

Calls

4 calls:

13.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
5.0ms	(- (* b b) (* (* 4.0 a) c))
33.0ms	(/ (/ (/ (neg (* (* 4.0 a) c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) 2.0) a)
12.0ms	(/ (neg (* (* 4.0 a) c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))

series159.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
11.0ms	(- (* b b) (* (* 4.0 a) c))
55.0ms	(/ (/ (/ (neg (* (* 4.0 a) c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) 2.0) a)
73.0ms	(/ (neg (* (* 4.0 a) c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))

simplify26.5min

Counts

484 → 484

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
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	19	27
1	39	27
2	96	27
3	260	27
4	857	27
5	2418	27
done	5000	27
0	18	26
1	39	26
2	95	26
3	257	26
4	891	26
5	2635	26
done	5000	26
0	17	25
1	36	25
2	104	25
3	357	25
4	1193	25
5	3340	25
done	5000	25
0	16	24
1	35	24
2	110	24
3	471	24
4	2096	22
done	5001	22
0	16	24
1	32	24
2	97	24
3	405	24
4	1692	22
5	4690	20
done	5001	20
0	23	71
1	71	69
2	343	31
3	4329	29
done	5000	29
0	21	71
1	53	71
2	219	29
3	1662	27
done	5000	27
0	19	71
1	48	71
2	186	27
3	1376	25
done	5000	25
0	17	49
1	33	49
2	98	49
3	403	49
4	1659	45
5	4446	41
done	5000	41
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	22
5	4447	20
done	5001	20
0	17	71
1	40	71
2	142	25
3	916	25
done	5001	25
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	22
5	4447	20
done	5001	20
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	22
5	4447	20
done	5001	20
0	15	22
1	31	22
2	90	20
3	309	20
4	936	20
5	1905	20
6	2358	20
7	2460	20
8	2714	20
9	3110	20
10	3384	20
11	3806	20
12	4233	20
13	4442	20
14	4446	20
done	4446	20
0	2	2
done	2	2
0	15	18
1	26	5
2	58	1
3	97	1
4	118	1
done	118	1
0	14	22
1	27	22
2	90	22
3	341	22
4	991	20
5	1976	18
done	5001	18
0	19	51
1	39	51
2	104	51
3	297	51
4	734	51
5	1244	51
6	1453	51
7	1521	51
8	1731	51
9	2041	51
10	2240	51
11	2455	51
12	2629	51
13	2689	51
done	2689	51
0	17	25
1	31	25
2	87	25
3	274	25
4	707	25
5	1201	25
6	1415	25
7	1483	25
8	1693	25
9	2003	25
10	2202	25
11	2417	25
12	2591	25
13	2651	25
done	2651	25
0	18	48
1	34	48
2	92	48
3	280	48
4	715	48
5	1219	48
6	1434	48
7	1502	48
8	1712	48
9	2022	48
10	2221	48
11	2436	48
12	2610	48
13	2670	48
done	2670	48
0	17	25
1	31	25
2	87	25
3	274	25
4	707	25
5	1201	25
6	1415	25
7	1483	25
8	1693	25
9	2003	25
10	2202	25
11	2417	25
12	2591	25
13	2651	25
done	2651	25
0	18	47
1	36	45
2	98	45
3	290	45
4	725	45
5	1221	45
6	1425	45
7	1493	45
8	1703	45
9	2013	45
10	2212	45
11	2427	45
12	2601	45
13	2661	45
done	2661	45
0	16	24
1	30	24
2	86	24
3	273	24
4	708	24
5	1208	24
6	1426	24
7	1494	24
8	1704	24
9	2014	24
10	2213	24
11	2432	24
12	2606	24
13	2666	24
done	2666	24
0	18	28
1	34	28
2	90	28
3	277	28
4	710	28
5	1202	28
6	1417	28
7	1485	28
8	1695	28
9	2005	28
10	2204	28
11	2419	28
12	2593	28
13	2653	28
done	2653	28
0	17	25
1	31	25
2	87	25
3	274	25
4	707	25
5	1201	25
6	1415	25
7	1483	25
8	1693	25
9	2003	25
10	2202	25
11	2417	25
12	2591	25
13	2651	25
done	2651	25
0	17	25
1	31	25
2	87	25
3	274	25
4	707	25
5	1201	25
6	1415	25
7	1483	25
8	1693	25
9	2003	25
10	2202	25
11	2417	25
12	2591	25
13	2651	25
done	2651	25
0	17	25
1	31	25
2	87	25
3	274	25
4	707	25
5	1201	25
6	1415	25
7	1483	25
8	1693	25
9	2003	25
10	2202	25
11	2417	25
12	2591	25
13	2651	25
done	2651	25
0	17	24
1	33	22
2	91	22
3	278	22
4	715	22
5	1217	22
6	1426	22
7	1494	22
8	1704	22
9	2014	22
10	2213	22
11	2428	22
12	2602	22
13	2662	22
done	2662	22
0	16	24
1	30	24
2	86	24
3	273	24
4	708	24
5	1208	24
6	1426	24
7	1494	24
8	1704	24
9	2014	24
10	2213	24
11	2432	24
12	2606	24
13	2666	24
done	2666	24
0	21	53
1	43	53
2	109	53
3	257	53
4	465	53
5	578	53
6	604	53
done	604	53
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	20	50
1	40	50
2	94	50
3	193	50
4	312	50
5	391	50
6	417	50
done	417	50
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	20	49
1	42	47
2	100	47
3	209	47
4	318	47
5	392	47
6	418	47
done	418	47
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	20	50
1	38	50
2	85	50
3	181	50
4	302	50
5	386	50
6	412	50
done	412	50
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	19	47
1	35	47
2	77	47
3	150	47
4	238	47
5	312	47
6	338	47
done	338	47
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	19	46
1	37	44
2	83	44
3	160	44
4	249	44
5	323	44
6	349	44
done	349	44
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	19	49
1	39	47
2	99	47
3	216	47
4	310	47
5	384	47
6	410	47
done	410	47
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	18	46
1	36	44
2	87	44
3	169	44
4	249	44
5	323	44
6	349	44
done	349	44
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	17	45
1	35	41
2	70	41
3	135	41
4	214	41
5	288	41
6	314	41
done	314	41
0	16	24
1	30	24
2	64	24
3	124	24
4	202	24
5	276	24
6	302	24
done	302	24
0	20	32
1	38	32
2	81	32
3	168	32
4	251	32
5	325	32
6	351	32
done	351	32
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	19	29
1	35	29
2	72	29
3	140	29
4	219	29
5	293	29
6	319	29
done	319	29
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	19	28
1	37	26
2	78	26
3	154	26
4	232	26
5	306	26
6	332	26
done	332	26
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	19	29
1	35	29
2	72	29
3	138	29
4	216	29
5	290	29
6	316	29
done	316	29
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	18	26
1	32	26
2	66	26
3	126	26
4	205	26
5	279	26
6	305	26
done	305	26
0	18	25
1	34	23
2	72	23
3	134	23
4	212	23
5	286	23
6	312	23
done	312	23
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	18	28
1	36	26
2	76	26
3	144	26
4	222	26
5	296	26
6	322	26
done	322	26
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	17	25
1	33	23
2	70	23
3	130	23
4	208	23
5	282	23
6	308	23
done	308	23
0	17	25
1	31	25
2	65	25
3	125	25
4	203	25
5	277	25
6	303	25
done	303	25
0	16	24
1	32	20
2	63	20
3	123	20
4	201	20
5	275	20
6	301	20
done	301	20
0	16	24
1	30	24
2	64	24
3	124	24
4	202	24
5	276	24
6	302	24
done	302	24
0	23	55
1	47	55
2	131	55
3	429	55
4	1328	55
5	2731	55
6	3011	55
done	3011	55
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	22	52
1	44	52
2	120	52
3	320	52
4	779	52
5	1289	52
6	1328	52
done	1328	52
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	22	51
1	46	49
2	126	49
3	328	49
4	725	49
5	920	49
done	920	49
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	22	52
1	44	52
2	110	52
3	290	52
4	708	52
5	1206	52
6	1275	52
done	1275	52
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	21	49
1	41	49
2	102	49
3	225	49
4	425	49
5	560	49
done	560	49
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	21	48
1	43	46
2	108	46
3	221	46
4	426	46
5	513	46
done	513	46
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	21	51
1	45	49
2	136	49
3	347	49
4	631	49
5	734	49
done	734	49
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	20	48
1	42	46
2	118	46
3	240	46
4	372	46
5	401	46
done	401	46
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	19	47
1	41	43
2	88	43
3	155	43
4	185	43
done	185	43
0	17	25
1	31	25
2	63	25
3	92	25
4	99	25
done	99	25
0	22	41
1	42	41
2	100	41
3	269	41
4	669	41
5	1219	41
6	1293	41
done	1293	41
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	21	38
1	39	38
2	89	38
3	195	38
4	386	38
5	579	38
6	592	38
done	592	38
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	21	37
1	41	35
2	95	35
3	212	35
4	393	35
5	507	35
done	507	35
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	21	38
1	39	38
2	86	38
3	194	38
4	375	38
5	540	38
6	553	38
done	553	38
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	20	35
1	36	35
2	78	35
3	147	35
4	217	35
5	254	35
done	254	35
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	20	34
1	38	32
2	84	32
3	154	32
4	251	32
5	299	32
done	299	32
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	20	37
1	40	35
2	102	35
3	208	35
4	308	35
5	370	35
done	370	35
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	19	34
1	37	32
2	90	32
3	150	32
4	193	32
5	212	32
done	212	32
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	18	33
1	36	29
2	71	29
3	106	29
4	116	29
done	116	29
0	17	25
1	31	25
2	63	25
3	92	25
4	99	25
done	99	25
0	17	29
1	37	27
2	111	27
3	321	27
4	653	27
5	838	27
done	838	27
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	16	26
1	34	24
2	100	24
3	245	24
4	391	24
5	443	24
done	443	24
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	15	25
1	33	21
2	88	21
3	174	21
4	191	21
done	191	21
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	16	26
1	34	24
2	93	24
3	216	24
4	374	24
5	430	24
done	430	24
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	15	23
1	31	21
2	85	21
3	173	21
4	240	21
5	248	21
done	248	21
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	14	22
1	30	18
2	73	18
3	114	18
4	115	18
done	115	18
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	14	25
1	32	21
2	80	21
3	155	21
4	171	21
done	171	21
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	13	22
1	29	18
2	68	18
3	108	18
4	109	18
done	109	18
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	12	21
1	27	15
2	52	15
3	75	15
4	76	15
done	76	15
0	16	24
1	30	24
2	70	24
3	115	24
4	138	24
done	138	24
0	17	29
1	37	27
2	111	27
3	321	27
4	653	27
5	838	27
done	838	27
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	16	26
1	34	24
2	100	24
3	245	24
4	391	24
5	443	24
done	443	24
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	15	25
1	33	21
2	88	21
3	174	21
4	191	21
done	191	21
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	16	26
1	34	24
2	93	24
3	216	24
4	374	24
5	430	24
done	430	24
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	15	23
1	31	21
2	85	21
3	173	21
4	240	21
5	248	21
done	248	21
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	14	22
1	30	18
2	73	18
3	114	18
4	115	18
done	115	18
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	14	25
1	32	21
2	80	21
3	155	21
4	171	21
done	171	21
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	13	22
1	29	18
2	68	18
3	108	18
4	109	18
done	109	18
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	12	21
1	27	15
2	52	15
3	75	15
4	76	15
done	76	15
0	16	24
1	30	24
2	70	24
3	115	24
4	138	24
done	138	24
0	22	47
1	42	47
2	96	47
3	224	47
4	447	47
5	577	47
6	579	47
done	579	47
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	21	44
1	39	44
2	85	44
3	165	44
4	255	44
5	282	44
6	283	44
done	283	44
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	21	43
1	41	41
2	91	41
3	181	41
4	257	41
5	258	41
done	258	41
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	21	44
1	39	44
2	81	44
3	151	44
4	234	44
5	267	44
done	267	44
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	20	41
1	36	41
2	73	41
3	120	41
4	150	41
5	153	41
done	153	41
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	20	40
1	38	38
2	79	38
3	126	38
4	164	38
done	164	38
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	20	43
1	40	41
2	97	41
3	182	41
4	208	41
5	209	41
done	209	41
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	19	40
1	37	38
2	85	38
3	135	38
4	142	38
done	142	38
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	18	39
1	36	35
2	66	35
3	100	35
done	100	35
0	17	25
1	31	25
2	63	25
3	92	25
4	99	25
done	99	25
0	21	33
1	39	33
2	85	33
3	164	33
4	253	33
5	291	33
done	291	33
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	20	30
1	36	30
2	74	30
3	119	30
4	154	30
5	159	30
done	159	30
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	20	29
1	38	27
2	80	27
3	140	27
4	176	27
done	176	27
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	20	30
1	36	30
2	73	30
3	119	30
4	144	30
5	147	30
done	147	30
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	19	27
1	33	27
2	65	27
3	94	27
4	101	27
done	101	27
0	19	26
1	35	24
2	71	24
3	105	24
4	121	24
done	121	24
0	18	26
1	32	26
2	64	26
3	93	26
4	101	26
done	101	26
0	19	29
1	37	27
2	85	27
3	131	27
4	138	27
done	138	27
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	18	26
1	34	24
2	75	24
3	102	24
4	103	24
done	103	24
0	18	26
1	32	26
2	64	26
3	93	26
4	100	26
done	100	26
0	17	25
1	33	21
2	60	21
3	80	21
done	80	21
0	17	25
1	31	25
2	63	25
3	92	25
4	99	25
done	99	25
0	16	21
1	34	19
2	82	19
3	163	19
4	223	19
5	225	19
done	225	19
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	15	18
1	31	16
2	71	16
3	123	16
4	151	16
done	151	16
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	14	17
1	30	13
2	64	13
3	94	13
done	94	13
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	15	18
1	31	16
2	70	16
3	113	16
4	141	16
5	142	16
done	142	16
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	14	15
1	28	13
2	62	13
3	93	13
4	103	13
done	103	13
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	13	14
1	27	10
2	55	10
3	73	10
done	73	10
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	13	17
1	29	13
2	57	13
3	83	13
4	84	13
done	84	13
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	12	14
1	26	10
2	51	10
3	69	10
4	70	10
done	70	10
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	11	13
1	24	7
2	45	7
3	63	7
done	63	7
0	16	24
1	30	24
2	70	24
3	115	24
4	138	24
done	138	24
0	16	21
1	34	19
2	82	19
3	163	19
4	223	19
5	225	19
done	225	19
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	15	18
1	31	16
2	71	16
3	123	16
4	151	16
done	151	16
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	14	17
1	30	13
2	64	13
3	94	13
done	94	13
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	15	18
1	31	16
2	70	16
3	113	16
4	141	16
5	142	16
done	142	16
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	14	15
1	28	13
2	62	13
3	93	13
4	103	13
done	103	13
0	18	26
1	32	26
2	72	26
3	117	26
4	138	26
done	138	26
0	13	14
1	27	10
2	55	10
3	73	10
done	73	10
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	13	17
1	29	13
2	57	13
3	83	13
4	84	13
done	84	13
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	12	14
1	26	10
2	51	10
3	69	10
4	70	10
done	70	10
0	17	25
1	31	25
2	71	25
3	116	25
4	137	25
done	137	25
0	11	13
1	24	7
2	45	7
3	63	7
done	63	7
0	16	24
1	30	24
2	70	24
3	115	24
4	138	24
done	138	24
0	21	41
1	40	41
2	89	41
3	224	41
4	448	41
5	576	41
6	578	41
done	578	41
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	20	38
1	37	38
2	78	38
3	167	38
4	262	38
5	290	38
done	290	38
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	19	37
1	36	35
2	81	35
3	178	35
4	243	35
done	243	35
0	17	25
1	33	25
2	90	25
3	379	25
4	1616	23
5	4370	21
done	5000	21
0	20	38
1	37	38
2	74	38
3	151	38
4	238	38
5	269	38
done	269	38
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	19	35
1	34	35
2	66	35
3	120	35
4	152	35
5	155	35
done	155	35
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	18	34
1	33	32
2	69	32
3	125	32
4	156	32
done	156	32
0	17	25
1	33	25
2	90	25
3	379	25
4	1616	23
5	4370	21
done	5000	21
0	18	37
1	35	35
2	87	35
3	170	35
4	199	35
5	201	35
done	201	35
0	17	25
1	33	25
2	90	25
3	379	25
4	1611	25
5	4359	25
done	5000	25
0	17	34
1	32	32
2	75	32
3	125	32
4	137	32
done	137	32
0	17	25
1	33	25
2	90	25
3	379	25
4	1611	25
5	4359	25
done	5000	25
0	16	33
1	31	29
2	56	29
3	91	29
4	93	29
done	93	29
0	16	24
1	32	24
2	89	24
3	378	24
4	1614	22
5	4368	20
done	5001	20
0	20	27
1	37	27
2	78	27
3	166	27
4	255	27
5	290	27
done	290	27
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	19	24
1	34	24
2	67	24
3	121	24
4	162	24
5	167	24
done	167	24
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	18	23
1	33	21
2	70	21
3	139	21
4	167	21
done	167	21
0	17	25
1	33	25
2	90	25
3	379	25
4	1616	23
5	4370	21
done	5000	21
0	19	24
1	34	24
2	66	24
3	121	24
4	153	24
5	156	24
done	156	24
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	18	21
1	31	21
2	58	21
3	96	21
4	105	21
done	105	21
0	18	26
1	34	26
2	91	26
3	380	26
4	1611	26
5	4345	26
done	5000	26
0	17	20
1	30	18
2	61	18
3	102	18
4	116	18
done	116	18
0	17	25
1	33	25
2	90	25
3	379	25
4	1616	23
5	4370	21
done	5000	21
0	17	23
1	32	21
2	75	21
3	125	21
4	134	21
done	134	21
0	17	25
1	33	25
2	90	25
3	379	25
4	1611	25
5	4359	25
done	5000	25
0	16	20
1	29	18
2	65	18
3	96	18
4	100	18
done	100	18
0	17	25
1	33	25
2	90	25
3	379	25
4	1611	25
5	4359	25
done	5000	25
0	15	19
1	28	15
2	50	15
3	75	15
4	77	15
done	77	15
0	16	24
1	32	24
2	89	24
3	378	24
4	1614	22
5	4368	20
done	5001	20
0	10	15
1	20	13
2	40	13
3	96	13
4	155	13
5	157	13
done	157	13
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	9	12
1	17	10
2	29	10
3	61	10
4	88	10
done	88	10
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	7	11
1	15	7
2	24	7
3	34	7
done	34	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1655	22
5	4446	20
done	5001	20
0	9	12
1	17	10
2	29	10
3	53	10
4	84	10
5	85	10
done	85	10
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	8	9
1	14	7
2	21	7
3	35	7
4	48	7
done	48	7
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	6	8
1	12	4
2	16	4
done	16	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1655	22
5	4446	20
done	5001	20
0	7	11
1	15	7
2	19	7
3	25	7
4	26	7
done	26	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	6	8
1	12	4
2	14	4
done	14	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	4	7
1	9	1
done	9	1
0	15	23
1	31	23
2	96	23
3	401	23
4	1643	21
5	4418	19
done	5000	19
0	10	15
1	20	13
2	40	13
3	96	13
4	155	13
5	157	13
done	157	13
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	9	12
1	17	10
2	29	10
3	61	10
4	88	10
done	88	10
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	7	11
1	15	7
2	24	7
3	34	7
done	34	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1655	22
5	4446	20
done	5001	20
0	9	12
1	17	10
2	29	10
3	53	10
4	84	10
5	85	10
done	85	10
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	8	9
1	14	7
2	21	7
3	35	7
4	48	7
done	48	7
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	6	8
1	12	4
2	16	4
done	16	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1655	22
5	4446	20
done	5001	20
0	7	11
1	15	7
2	19	7
3	25	7
4	26	7
done	26	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	6	8
1	12	4
2	14	4
done	14	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	4	7
1	9	1
done	9	1
0	15	23
1	31	23
2	96	23
3	401	23
4	1643	21
5	4418	19
done	5000	19
0	21	41
1	38	41
2	87	41
3	222	41
4	448	41
5	570	41
6	572	41
done	572	41
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	20	38
1	35	38
2	76	38
3	163	38
4	260	38
5	294	38
done	294	38
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	20	37
1	37	35
2	82	35
3	179	35
4	247	35
done	247	35
0	16	24
1	29	24
2	84	24
3	325	24
4	960	22
5	1874	20
done	5000	20
0	20	38
1	35	38
2	72	38
3	149	38
4	233	38
5	260	38
done	260	38
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	19	35
1	32	35
2	64	35
3	118	35
4	152	35
5	155	35
done	155	35
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	19	34
1	34	32
2	70	32
3	124	32
4	154	32
done	154	32
0	16	24
1	29	24
2	84	24
3	325	24
4	960	22
5	1874	20
done	5000	20
0	19	37
1	36	35
2	88	35
3	171	35
4	205	35
5	206	35
done	206	35
0	16	24
1	29	24
2	84	24
3	323	24
4	959	24
5	1855	24
6	1979	24
done	1979	24
0	18	34
1	33	32
2	76	32
3	128	32
4	140	32
done	140	32
0	16	24
1	29	24
2	84	24
3	323	24
4	959	24
5	1855	24
6	1979	24
done	1979	24
0	17	33
1	32	29
2	57	29
3	92	29
4	94	29
done	94	29
0	15	23
1	28	23
2	83	23
3	320	23
4	954	21
5	1862	19
done	5000	19
0	20	27
1	35	27
2	76	27
3	162	27
4	256	27
5	294	27
done	294	27
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	19	24
1	32	24
2	65	24
3	117	24
4	158	24
5	166	24
done	166	24
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	19	23
1	34	21
2	71	21
3	138	21
4	161	21
done	161	21
0	16	24
1	29	24
2	84	24
3	325	24
4	960	22
5	1874	20
done	5000	20
0	19	24
1	32	24
2	64	24
3	117	24
4	149	24
5	152	24
done	152	24
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	18	21
1	29	21
2	56	21
3	92	21
4	101	21
done	101	21
0	17	25
1	30	25
2	85	25
3	326	25
4	963	25
5	1866	25
6	1999	25
done	1999	25
0	18	20
1	31	18
2	62	18
3	103	18
4	115	18
done	115	18
0	16	24
1	29	24
2	84	24
3	325	24
4	960	22
5	1874	20
done	5000	20
0	18	23
1	33	21
2	76	21
3	126	21
4	134	21
done	134	21
0	16	24
1	29	24
2	84	24
3	323	24
4	959	24
5	1855	24
6	1979	24
done	1979	24
0	17	20
1	30	18
2	66	18
3	99	18
4	103	18
done	103	18
0	16	24
1	29	24
2	84	24
3	323	24
4	959	24
5	1855	24
6	1979	24
done	1979	24
0	16	19
1	29	15
2	51	15
3	76	15
4	78	15
done	78	15
0	15	23
1	28	23
2	83	23
3	320	23
4	954	21
5	1862	19
done	5000	19
0	11	15
1	21	13
2	41	13
3	97	13
4	149	13
done	149	13
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	10	12
1	18	10
2	30	10
3	62	10
4	83	10
done	83	10
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	8	11
1	16	7
2	25	7
3	35	7
done	35	7
0	15	23
1	28	23
2	91	23
3	348	23
4	997	21
5	1982	19
done	5000	19
0	10	12
1	18	10
2	30	10
3	54	10
4	83	10
5	84	10
done	84	10
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	9	9
1	15	7
2	22	7
3	36	7
4	49	7
done	49	7
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	7	8
1	13	4
2	17	4
done	17	4
0	15	23
1	28	23
2	91	23
3	348	23
4	997	21
5	1982	19
done	5000	19
0	8	11
1	16	7
2	20	7
3	26	7
4	28	7
done	28	7
0	15	23
1	28	23
2	91	23
3	348	23
4	999	23
5	1958	23
6	2401	23
7	2660	23
8	3182	23
9	3684	23
10	3941	23
11	4178	23
12	4214	23
done	4214	23
0	7	8
1	13	4
2	15	4
done	15	4
0	15	23
1	28	23
2	91	23
3	348	23
4	999	23
5	1958	23
6	2401	23
7	2660	23
8	3182	23
9	3684	23
10	3941	23
11	4178	23
12	4214	23
done	4214	23
0	5	7
1	10	1
done	10	1
0	14	22
1	27	22
2	90	22
3	341	22
4	991	20
5	1976	18
done	5001	18
0	11	15
1	21	13
2	41	13
3	97	13
4	149	13
done	149	13
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	10	12
1	18	10
2	30	10
3	62	10
4	83	10
done	83	10
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	8	11
1	16	7
2	25	7
3	35	7
done	35	7
0	15	23
1	28	23
2	91	23
3	348	23
4	997	21
5	1982	19
done	5000	19
0	10	12
1	18	10
2	30	10
3	54	10
4	83	10
5	84	10
done	84	10
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	9	9
1	15	7
2	22	7
3	36	7
4	49	7
done	49	7
0	16	24
1	29	24
2	92	24
3	347	24
4	998	24
5	1963	24
6	2413	24
7	2676	24
8	3198	24
9	3711	24
10	3969	24
11	4207	24
12	4243	24
done	4243	24
0	7	8
1	13	4
2	17	4
done	17	4
0	15	23
1	28	23
2	91	23
3	348	23
4	997	21
5	1982	19
done	5000	19
0	8	11
1	16	7
2	20	7
3	26	7
4	28	7
done	28	7
0	15	23
1	28	23
2	91	23
3	348	23
4	999	23
5	1958	23
6	2401	23
7	2660	23
8	3182	23
9	3684	23
10	3941	23
11	4178	23
12	4214	23
done	4214	23
0	7	8
1	13	4
2	15	4
done	15	4
0	15	23
1	28	23
2	91	23
3	348	23
4	999	23
5	1958	23
6	2401	23
7	2660	23
8	3182	23
9	3684	23
10	3941	23
11	4178	23
12	4214	23
done	4214	23
0	5	7
1	10	1
done	10	1
0	14	22
1	27	22
2	90	22
3	341	22
4	991	20
5	1976	18
done	5001	18
0	21	44
1	44	44
2	133	44
3	644	44
4	2956	44
done	5000	44
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	20	41
1	41	41
2	122	41
3	512	41
4	1855	41
5	4655	41
done	5000	41
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	20	40
1	43	38
2	128	38
3	499	38
4	1713	38
5	3022	38
6	3220	38
7	3364	38
8	3451	38
done	3451	38
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	20	41
1	41	41
2	116	41
3	467	41
4	1669	41
5	4372	41
done	5000	41
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	19	38
1	38	38
2	108	38
3	373	38
4	1037	38
5	2094	38
6	2253	38
done	2253	38
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	19	37
1	40	35
2	114	35
3	357	35
4	1048	35
5	1606	35
6	1751	35
7	1907	35
8	1994	35
done	1994	35
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	19	40
1	42	38
2	136	38
3	474	38
4	1313	38
5	2651	38
6	2877	38
7	2968	38
done	2968	38
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	18	37
1	39	35
2	122	35
3	355	35
4	810	35
5	1395	35
6	1553	35
7	1644	35
done	1644	35
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	17	36
1	38	32
2	99	32
3	253	32
4	435	32
5	573	32
6	729	32
7	820	32
done	820	32
0	15	19
1	26	19
2	53	19
3	91	19
4	99	19
done	99	19
0	20	30
1	41	30
2	107	30
3	410	30
4	1591	30
5	4332	30
done	5000	30
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	19	27
1	38	27
2	96	27
3	317	27
4	982	27
5	2052	27
6	2333	27
7	2334	27
done	2334	27
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	19	26
1	40	24
2	102	24
3	330	24
4	966	24
5	1455	24
6	1594	24
7	1742	24
8	1829	24
done	1829	24
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	19	27
1	38	27
2	93	27
3	308	27
4	927	27
5	1965	27
6	2292	27
done	2292	27
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	18	24
1	35	24
2	85	24
3	243	24
4	557	24
5	893	24
6	915	24
done	915	24
0	17	21
1	28	21
2	55	21
3	91	21
4	100	21
done	100	21
0	18	23
1	37	21
2	91	21
3	240	21
4	605	21
5	820	21
6	934	21
7	1096	21
8	1183	21
done	1183	21
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	18	26
1	39	24
2	109	24
3	300	24
4	790	24
5	1336	24
6	1499	24
7	1590	24
done	1590	24
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	17	23
1	36	21
2	97	21
3	225	21
4	494	21
5	739	21
6	891	21
7	982	21
done	982	21
0	16	20
1	27	20
2	54	20
3	90	20
4	99	20
done	99	20
0	16	22
1	35	18
2	78	18
3	164	18
4	258	18
5	345	18
6	489	18
7	580	18
done	580	18
0	15	19
1	26	19
2	53	19
3	91	19
4	99	19
done	99	19
0	13	18
1	30	16
2	118	16
3	507	16
4	1913	16
5	3122	16
6	3128	16
done	3128	16
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	12	15
1	27	13
2	107	13
3	381	13
4	1126	13
5	1518	13
done	1518	13
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	11	14
1	26	10
2	92	10
3	249	10
4	413	10
5	426	10
done	426	10
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	12	15
1	27	13
2	92	13
3	325	13
4	1071	13
5	1481	13
done	1481	13
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	11	12
1	24	10
2	84	10
3	249	10
4	636	10
5	752	10
done	752	10
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	10	11
1	23	7
2	69	7
3	141	7
4	207	7
5	210	7
done	210	7
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	10	14
1	25	10
2	79	10
3	213	10
4	417	10
5	449	10
done	449	10
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	9	11
1	22	7
2	59	7
3	125	7
4	214	7
5	226	7
done	226	7
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	8	10
1	20	4
2	31	4
3	48	4
4	75	4
5	80	4
done	80	4
0	14	18
1	25	18
2	60	18
3	114	18
4	136	18
done	136	18
0	13	18
1	30	16
2	118	16
3	507	16
4	1913	16
5	3122	16
6	3128	16
done	3128	16
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	12	15
1	27	13
2	107	13
3	381	13
4	1126	13
5	1518	13
done	1518	13
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	11	14
1	26	10
2	92	10
3	249	10
4	413	10
5	426	10
done	426	10
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	12	15
1	27	13
2	92	13
3	325	13
4	1071	13
5	1481	13
done	1481	13
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	11	12
1	24	10
2	84	10
3	249	10
4	636	10
5	752	10
done	752	10
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	10	11
1	23	7
2	69	7
3	141	7
4	207	7
5	210	7
done	210	7
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	10	14
1	25	10
2	79	10
3	213	10
4	417	10
5	449	10
done	449	10
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	9	11
1	22	7
2	59	7
3	125	7
4	214	7
5	226	7
done	226	7
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	8	10
1	20	4
2	31	4
3	48	4
4	75	4
5	80	4
done	80	4
0	14	18
1	25	18
2	60	18
3	114	18
4	136	18
done	136	18
0	20	43
1	42	43
2	132	43
3	541	43
4	1959	43
5	4789	43
done	5001	43
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	19	40
1	39	40
2	121	40
3	406	40
4	1172	40
5	2254	40
6	2434	40
done	2434	40
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	19	39
1	41	37
2	127	37
3	406	37
4	1088	37
5	1548	37
6	1676	37
7	1889	37
8	2003	37
done	2003	37
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	19	40
1	39	40
2	110	40
3	375	40
4	1068	40
5	2127	40
6	2374	40
done	2374	40
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	18	37
1	36	37
2	102	37
3	289	37
4	637	37
5	971	37
6	978	37
done	978	37
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	18	36
1	38	34
2	108	34
3	277	34
4	649	34
5	838	34
6	945	34
7	1166	34
8	1280	34
done	1280	34
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	18	39
1	40	37
2	137	37
3	428	37
4	880	37
5	1334	37
6	1493	37
7	1664	37
done	1664	37
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	17	36
1	37	34
2	118	34
3	297	34
4	512	34
5	737	34
6	888	34
7	1061	34
done	1061	34
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	16	35
1	36	31
2	88	31
3	191	31
4	255	31
5	346	31
6	494	31
7	665	31
done	665	31
0	16	20
1	29	20
2	61	20
3	105	20
4	122	20
5	127	20
done	127	20
0	19	29
1	36	29
2	96	29
3	326	29
4	973	29
5	2058	29
6	2364	29
done	2364	29
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	18	26
1	33	26
2	85	26
3	239	26
4	566	26
5	958	26
6	1018	26
done	1018	26
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	18	25
1	35	23
2	91	23
3	256	23
4	581	23
5	794	23
6	906	23
7	1127	23
8	1240	23
done	1240	23
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	18	26
1	33	26
2	82	26
3	242	26
4	550	26
5	908	26
6	973	26
done	973	26
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	17	23
1	30	23
2	74	23
3	182	23
4	320	23
5	412	23
6	413	23
done	413	23
0	18	22
1	31	22
2	63	22
3	109	22
4	126	22
5	129	22
done	129	22
0	17	22
1	32	20
2	80	20
3	185	20
4	371	20
5	462	20
6	563	20
7	787	20
8	900	20
done	900	20
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	17	25
1	34	23
2	98	23
3	252	23
4	441	23
5	678	23
6	831	23
7	1004	23
done	1004	23
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	16	22
1	31	20
2	86	20
3	178	20
4	270	20
5	404	20
6	555	20
7	728	20
done	728	20
0	17	21
1	30	21
2	62	21
3	106	21
4	125	21
5	128	21
done	128	21
0	15	21
1	30	17
2	67	17
3	124	17
4	153	17
5	232	17
6	379	17
7	550	17
done	550	17
0	16	20
1	29	20
2	61	20
3	105	20
4	122	20
5	127	20
done	127	20
0	12	17
1	25	15
2	95	15
3	378	15
4	995	15
5	1398	15
done	1398	15
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	11	14
1	22	12
2	84	12
3	276	12
4	579	12
5	690	12
done	690	12
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	10	13
1	21	9
2	69	9
3	177	9
4	228	9
5	229	9
done	229	9
0	16	20
1	29	20
2	69	20
3	129	20
4	161	20
5	166	20
done	166	20
0	11	14
1	22	12
2	73	12
3	235	12
4	542	12
5	680	12
done	680	12
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	10	11
1	19	9
2	65	9
3	175	9
4	322	9
5	346	9
done	346	9
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	9	10
1	18	6
2	50	6
3	92	6
4	105	6
done	105	6
0	16	20
1	29	20
2	69	20
3	129	20
4	161	20
5	166	20
done	166	20
0	9	13
1	20	9
2	60	9
3	152	9
4	202	9
5	203	9
done	203	9
0	16	20
1	29	20
2	69	20
3	129	20
4	160	20
5	166	20
done	166	20
0	8	10
1	17	6
2	44	6
3	83	6
4	96	6
done	96	6
0	16	20
1	29	20
2	69	20
3	129	20
4	160	20
5	166	20
done	166	20
0	7	9
1	15	3
2	21	3
3	30	3
4	35	3
done	35	3
0	15	19
1	28	19
2	68	19
3	128	19
4	160	19
5	163	19
done	163	19
0	12	17
1	25	15
2	95	15
3	378	15
4	995	15
5	1398	15
done	1398	15
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	11	14
1	22	12
2	84	12
3	276	12
4	579	12
5	690	12
done	690	12
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	10	13
1	21	9
2	69	9
3	177	9
4	228	9
5	229	9
done	229	9
0	16	20
1	29	20
2	69	20
3	129	20
4	161	20
5	166	20
done	166	20
0	11	14
1	22	12
2	73	12
3	235	12
4	542	12
5	680	12
done	680	12
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	10	11
1	19	9
2	65	9
3	175	9
4	322	9
5	346	9
done	346	9
0	17	21
1	30	21
2	70	21
3	130	21
4	162	21
5	165	21
done	165	21
0	9	10
1	18	6
2	50	6
3	92	6
4	105	6
done	105	6
0	16	20
1	29	20
2	69	20
3	129	20
4	161	20
5	166	20
done	166	20
0	9	13
1	20	9
2	60	9
3	152	9
4	202	9
5	203	9
done	203	9
0	16	20
1	29	20
2	69	20
3	129	20
4	160	20
5	166	20
done	166	20
0	8	10
1	17	6
2	44	6
3	83	6
4	96	6
done	96	6
0	16	20
1	29	20
2	69	20
3	129	20
4	160	20
5	166	20
done	166	20
0	7	9
1	15	3
2	21	3
3	30	3
4	35	3
done	35	3
0	15	19
1	28	19
2	68	19
3	128	19
4	160	19
5	163	19
done	163	19
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1655	22
5	4446	20
done	5001	20
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	7	7
1	11	7
2	14	7
done	14	7
0	17	25
1	33	25
2	98	25
3	403	25
4	1651	25
5	4415	25
done	5000	25
0	5	6
1	9	4
2	16	4
done	16	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1655	22
5	4446	20
done	5001	20
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	3	5
1	7	1
done	7	1
0	15	23
1	31	23
2	96	23
3	401	23
4	1643	21
5	4418	19
done	5000	19
0	13	18
1	29	18
2	105	18
3	594	18
4	2931	18
done	5001	18
0	17	20
1	30	20
2	65	20
3	117	20
4	141	20
done	141	20
0	12	15
1	26	15
2	94	15
3	423	15
4	1519	15
5	3074	15
6	3418	15
done	3418	15
0	17	20
1	30	20
2	65	20
3	117	20
4	141	20
done	141	20
0	12	14
1	28	12
2	100	12
3	401	12
4	1428	12
5	2585	12
6	2589	12
done	2589	12
0	16	19
1	29	19
2	64	19
3	116	19
4	138	19
done	138	19
0	12	15
1	26	15
2	78	15
3	359	15
4	1438	15
5	3016	15
6	3487	15
7	3491	15
done	3491	15
0	17	20
1	30	20
2	65	20
3	117	20
4	141	20
done	141	20
0	11	12
1	23	12
2	70	12
3	257	12
4	693	12
5	1183	12
6	1297	12
done	1297	12
0	17	20
1	30	20
2	65	20
3	117	20
4	141	20
done	141	20
0	11	11
1	25	9
2	76	9
3	245	9
4	789	9
5	1292	9
6	1294	9
done	1294	9
0	16	19
1	29	19
2	64	19
3	116	19
4	138	19
done	138	19
0	11	14
1	27	12
2	104	12
3	437	12
4	1519	12
5	2421	12
6	2450	12
done	2450	12
0	16	19
1	29	19
2	64	19
3	116	19
4	139	19
done	139	19
0	10	11
1	24	9
2	84	9
3	282	9
4	871	9
5	1247	9
6	1257	9
done	1257	9
0	16	19
1	29	19
2	64	19
3	116	19
4	139	19
done	139	19
0	9	10
1	23	6
2	55	6
3	124	6
4	269	6
5	416	6
6	472	6
done	472	6
0	15	18
1	28	18
2	63	18
3	115	18
4	137	18
done	137	18
0	22	35
1	54	35
2	144	35
3	729	35
4	4757	35
done	5000	35
0	18	44
1	34	30
2	85	30
3	214	28
4	541	28
5	1341	28
6	3063	28
7	4697	28
done	5001	28
0	21	32
1	51	32
2	133	32
3	618	32
4	3263	32
done	5000	32
0	18	44
1	34	30
2	85	30
3	214	28
4	541	28
5	1341	28
6	3063	28
7	4697	28
done	5001	28
0	21	31
1	53	29
2	139	29
3	638	29
4	3338	29
done	5000	29
0	17	43
1	33	29
2	84	29
3	211	27
4	535	27
5	1333	27
6	3063	25
done	5001	25
0	21	32
1	51	32
2	130	32
3	568	32
4	2962	32
done	5000	32
0	18	44
1	34	30
2	85	30
3	214	28
4	541	28
5	1341	28
6	3063	28
7	4697	28
done	5001	28
0	20	29
1	48	29
2	122	29
3	477	29
4	1983	29
done	5001	29
0	18	44
1	34	30
2	85	30
3	214	28
4	541	28
5	1341	28
6	3063	28
7	4697	28
done	5001	28
0	20	28
1	50	26
2	128	26
3	481	26
4	2176	26
done	5000	26
0	17	43
1	33	29
2	84	29
3	211	27
4	535	27
5	1333	27
6	3063	25
done	5001	25
0	20	31
1	52	29
2	146	29
3	540	29
4	2736	29
done	5001	29
0	17	43
1	33	29
2	84	29
3	211	27
4	536	27
5	1332	27
6	3058	27
7	4691	27
done	5001	27
0	19	28
1	49	26
2	134	26
3	433	26
4	1885	26
done	5000	26
0	17	43
1	33	29
2	84	29
3	211	27
4	536	27
5	1332	27
6	3058	27
7	4691	27
done	5001	27
0	18	27
1	48	23
2	115	23
3	342	23
4	1105	23
5	2448	23
done	5001	23
0	16	42
1	32	28
2	83	28
3	210	26
4	534	26
5	1333	26
6	3054	24
done	5000	24
0	20	44
1	44	32
2	158	32
3	1101	32
done	5001	32
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	19	41
1	41	29
2	147	29
3	952	29
done	5000	23
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	19	40
1	43	26
2	153	26
3	946	26
done	5000	20
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	19	41
1	41	29
2	144	29
3	887	29
done	5000	23
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	18	38
1	38	26
2	136	26
3	771	26
4	4234	20
done	5000	20
0	15	18
1	28	18
2	57	18
3	93	18
4	101	18
5	104	18
done	104	18
0	18	37
1	40	23
2	142	23
3	757	23
4	4236	17
done	5000	17
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	18	40
1	42	26
2	160	26
3	859	26
done	5000	20
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	17	37
1	39	23
2	148	23
3	708	23
4	3746	17
done	5001	17
0	14	17
1	27	17
2	56	17
3	94	17
4	102	17
5	105	17
done	105	17
0	16	36
1	38	20
2	129	20
3	570	20
4	2474	14
done	5000	14
0	13	16
1	26	16
2	55	16
3	91	16
4	99	16
5	102	16
done	102	16
0	5	7
1	9	7
done	9	7
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	4	4
1	6	4
done	6	4
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	2	3
1	4	1
done	4	1
0	15	23
1	31	23
2	96	23
3	401	23
4	1643	21
5	4418	19
done	5000	19
0	15	25
1	31	25
2	92	25
3	385	25
4	1469	25
5	3065	25
6	3789	25
7	4137	25
8	4769	25
done	5001	25
0	6	6
1	10	6
2	13	6
done	13	6
0	14	22
1	28	22
2	84	22
3	271	22
4	706	22
5	1201	22
6	1416	22
7	1484	22
8	1694	22
9	2004	22
10	2203	22
11	2420	22
12	2594	22
13	2654	22
done	2654	22
0	6	6
1	10	6
2	13	6
done	13	6
0	14	21
1	30	19
2	90	19
3	267	19
4	814	19
5	1366	19
6	1557	19
7	1676	19
8	1858	19
9	2034	19
10	2081	19
11	2089	19
done	2089	19
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	15	23
1	31	23
2	93	23
3	338	23
4	1278	21
5	3714	19
done	5000	19
0	14	22
1	27	22
2	90	22
3	341	22
4	991	20
5	1976	18
done	5001	18
0	17	27
1	35	27
2	105	27
3	491	27
4	2570	27
done	5001	27
0	16	24
1	32	24
2	97	24
3	402	24
4	1660	24
5	4433	24
done	5001	24
0	16	23
1	34	21
2	103	21
3	358	21
4	1311	21
5	3247	21
done	5002	21
0	16	24
1	30	24
2	86	24
3	273	24
4	708	24
5	1215	24
6	1432	24
7	1500	24
8	1710	24
9	2020	24
10	2219	24
11	2436	24
12	2610	24
13	2670	24
done	2670	24
0	16	24
1	30	24
2	86	24
3	273	24
4	708	24
5	1215	24
6	1432	24
7	1500	24
8	1710	24
9	2020	24
10	2219	24
11	2436	24
12	2610	24
13	2670	24
done	2670	24
0	17	25
1	31	25
2	65	25
3	126	25
4	207	25
5	283	25
6	310	25
done	310	25
0	17	25
1	31	25
2	65	25
3	126	25
4	207	25
5	283	25
6	310	25
done	310	25
0	16	24
1	30	24
2	64	24
3	125	24
4	206	24
5	282	24
6	309	24
done	309	24
0	17	25
1	31	25
2	65	25
3	126	25
4	207	25
5	283	25
6	310	25
done	310	25
0	17	25
1	31	25
2	65	25
3	126	25
4	207	25
5	283	25
6	310	25
done	310	25
0	16	24
1	30	24
2	64	24
3	125	24
4	206	24
5	282	24
6	309	24
done	309	24
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	17	25
1	31	25
2	62	25
3	95	25
4	112	25
5	122	25
6	139	25
7	148	25
8	150	25
done	150	25
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	17	25
1	31	25
2	62	25
3	95	25
4	112	25
5	122	25
6	139	25
7	148	25
8	150	25
done	150	25
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	16	24
1	30	24
2	69	24
3	118	24
4	166	24
5	206	24
6	257	24
7	299	24
8	311	24
9	314	24
done	314	24
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	16	24
1	30	24
2	69	24
3	118	24
4	166	24
5	206	24
6	257	24
7	299	24
8	311	24
9	314	24
done	314	24
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	17	25
1	31	25
2	62	25
3	95	25
4	112	25
5	122	25
6	139	25
7	148	25
8	150	25
done	150	25
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	18	26
1	32	26
2	63	26
3	96	26
4	112	26
5	122	26
6	139	26
7	147	26
8	148	26
done	148	26
0	17	25
1	31	25
2	62	25
3	95	25
4	112	25
5	122	25
6	139	25
7	148	25
8	150	25
done	150	25
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	16	24
1	30	24
2	69	24
3	118	24
4	166	24
5	206	24
6	257	24
7	299	24
8	311	24
9	314	24
done	314	24
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	17	25
1	31	25
2	70	25
3	119	25
4	167	25
5	207	25
6	258	25
7	300	25
8	312	25
9	315	25
done	315	25
0	16	24
1	30	24
2	69	24
3	118	24
4	166	24
5	206	24
6	257	24
7	299	24
8	311	24
9	314	24
done	314	24
0	17	25
1	33	25
2	87	25
3	316	25
4	1119	23
5	2723	21
done	5000	21
0	17	25
1	33	25
2	87	25
3	316	25
4	1119	23
5	2723	21
done	5000	21
0	16	24
1	32	24
2	86	24
3	315	24
4	1111	22
5	2701	20
done	5000	20
0	17	25
1	33	25
2	87	25
3	316	25
4	1119	23
5	2723	21
done	5000	21
0	17	25
1	33	25
2	87	25
3	316	25
4	1119	23
5	2723	21
done	5000	21
0	16	24
1	32	24
2	86	24
3	315	24
4	1111	22
5	2701	20
done	5000	20
0	16	24
1	32	24
2	94	24
3	339	24
4	1280	22
5	3688	20
done	5001	20
0	16	24
1	32	24
2	94	24
3	339	24
4	1280	22
5	3688	20
done	5001	20
0	15	23
1	31	23
2	93	23
3	338	23
4	1278	21
5	3714	19
done	5000	19
0	16	24
1	32	24
2	94	24
3	339	24
4	1280	22
5	3688	20
done	5001	20
0	16	24
1	32	24
2	94	24
3	339	24
4	1280	22
5	3688	20
done	5001	20
0	15	23
1	31	23
2	93	23
3	338	23
4	1278	21
5	3714	19
done	5000	19
0	16	24
1	29	24
2	83	24
3	273	24
4	777	22
5	1294	20
done	5000	20
0	16	24
1	29	24
2	83	24
3	273	24
4	777	22
5	1294	20
done	5000	20
0	15	23
1	28	23
2	82	23
3	274	23
4	780	21
5	1282	19
6	4745	19
done	5000	19
0	16	24
1	29	24
2	83	24
3	273	24
4	777	22
5	1294	20
done	5000	20
0	16	24
1	29	24
2	83	24
3	273	24
4	777	22
5	1294	20
done	5000	20
0	15	23
1	28	23
2	82	23
3	274	23
4	780	21
5	1282	19
6	4745	19
done	5000	19
0	15	23
1	28	23
2	90	23
3	296	23
4	935	21
5	1911	19
done	5000	19
0	15	23
1	28	23
2	90	23
3	296	23
4	935	21
5	1911	19
done	5000	19
0	14	22
1	27	22
2	89	22
3	295	22
4	927	20
5	1904	18
done	5000	18
0	15	23
1	28	23
2	90	23
3	296	23
4	935	21
5	1911	19
done	5000	19
0	15	23
1	28	23
2	90	23
3	296	23
4	935	21
5	1911	19
done	5000	19
0	14	22
1	27	22
2	89	22
3	295	22
4	927	20
5	1904	18
done	5000	18
0	16	20
1	27	20
2	53	20
3	95	20
4	114	20
5	124	20
6	141	20
7	150	20
8	152	20
done	152	20
0	16	20
1	27	20
2	53	20
3	95	20
4	114	20
5	124	20
6	141	20
7	150	20
8	152	20
done	152	20
0	15	19
1	26	19
2	52	19
3	94	19
4	113	19
5	123	19
6	140	19
7	149	19
8	150	19
done	150	19
0	16	20
1	27	20
2	53	20
3	95	20
4	114	20
5	124	20
6	141	20
7	150	20
8	152	20
done	152	20
0	16	20
1	27	20
2	53	20
3	95	20
4	114	20
5	124	20
6	141	20
7	150	20
8	152	20
done	152	20
0	15	19
1	26	19
2	52	19
3	94	19
4	113	19
5	123	19
6	140	19
7	149	19
8	150	19
done	150	19
0	15	19
1	26	19
2	60	19
3	118	19
4	168	19
5	208	19
6	259	19
7	301	19
8	313	19
9	316	19
done	316	19
0	15	19
1	26	19
2	60	19
3	118	19
4	168	19
5	208	19
6	259	19
7	301	19
8	313	19
9	316	19
done	316	19
0	14	18
1	25	18
2	59	18
3	115	18
4	167	18
5	207	18
6	258	18
7	300	18
8	312	18
9	315	18
done	315	18
0	15	19
1	26	19
2	60	19
3	118	19
4	168	19
5	208	19
6	259	19
7	301	19
8	313	19
9	316	19
done	316	19
0	15	19
1	26	19
2	60	19
3	118	19
4	168	19
5	208	19
6	259	19
7	301	19
8	313	19
9	316	19
done	316	19
0	14	18
1	25	18
2	59	18
3	115	18
4	167	18
5	207	18
6	258	18
7	300	18
8	312	18
9	315	18
done	315	18
0	17	21
1	30	21
2	59	21
3	102	21
4	121	21
5	135	21
6	155	21
7	168	21
8	170	21
done	170	21
0	17	21
1	30	21
2	59	21
3	102	21
4	121	21
5	135	21
6	155	21
7	168	21
8	170	21
done	170	21
0	16	20
1	29	20
2	58	20
3	101	20
4	119	20
5	133	20
6	153	20
7	166	20
8	168	20
done	168	20
0	17	21
1	30	21
2	59	21
3	102	21
4	121	21
5	135	21
6	155	21
7	168	21
8	170	21
done	170	21
0	17	21
1	30	21
2	59	21
3	102	21
4	121	21
5	135	21
6	155	21
7	168	21
8	170	21
done	170	21
0	16	20
1	29	20
2	58	20
3	101	20
4	119	20
5	133	20
6	153	20
7	166	20
8	168	20
done	168	20
0	16	20
1	29	20
2	66	20
3	125	20
4	175	20
5	219	20
6	281	20
7	339	20
8	353	20
9	356	20
done	356	20
0	16	20
1	29	20
2	66	20
3	125	20
4	175	20
5	219	20
6	281	20
7	339	20
8	353	20
9	356	20
done	356	20
0	15	19
1	28	19
2	65	19
3	124	19
4	174	19
5	218	19
6	280	19
7	338	19
8	352	19
9	355	19
done	355	19
0	16	20
1	29	20
2	66	20
3	125	20
4	175	20
5	219	20
6	281	20
7	339	20
8	353	20
9	356	20
done	356	20
0	16	20
1	29	20
2	66	20
3	125	20
4	175	20
5	219	20
6	281	20
7	339	20
8	353	20
9	356	20
done	356	20
0	15	19
1	28	19
2	65	19
3	124	19
4	174	19
5	218	19
6	280	19
7	338	19
8	352	19
9	355	19
done	355	19
0	16	24
1	32	24
2	94	24
3	339	24
4	1280	22
5	3688	20
done	5001	20
0	16	24
1	32	24
2	94	24
3	339	24
4	1280	22
5	3688	20
done	5001	20
0	15	23
1	31	23
2	93	23
3	338	23
4	1278	21
5	3714	19
done	5000	19
0	16	19
1	29	19
2	63	19
3	119	17
4	151	17
5	217	17
6	329	17
7	423	17
8	533	17
done	533	17
0	16	19
1	29	19
2	63	19
3	119	17
4	151	17
5	217	17
6	329	17
7	423	17
8	533	17
done	533	17
0	15	18
1	28	18
2	62	18
3	118	16
4	148	16
5	216	16
6	327	16
7	421	16
8	525	16
done	525	16
0	17	43
1	33	29
2	81	29
3	170	27
4	320	27
5	631	27
6	1362	27
7	2048	27
8	2721	25
9	4869	25
done	5000	25
0	17	43
1	33	29
2	81	29
3	170	27
4	320	27
5	631	27
6	1362	27
7	2048	27
8	2721	25
9	4869	25
done	5000	25
0	16	42
1	32	28
2	80	28
3	169	26
4	321	26
5	633	26
6	1364	26
7	2052	26
8	2737	24
9	4885	24
done	5000	24
0	14	17
1	27	17
2	50	17
3	78	17
4	82	17
5	87	17
6	90	17
7	92	17
done	92	17
0	14	17
1	27	17
2	50	17
3	78	17
4	82	17
5	87	17
6	90	17
7	92	17
done	92	17
0	13	16
1	26	16
2	49	16
3	77	16
4	81	16
5	86	16
6	89	16
7	91	16
done	91	16
0	15	23
1	31	23
2	93	23
3	338	23
4	1278	21
5	3714	19
done	5000	19
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
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	12	14
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	12	27
1	19	27
2	36	27
3	61	27
4	63	27
done	63	27
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	12	38
1	32	38
2	80	14
3	170	14
4	379	14
5	1442	14
done	5001	14
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	13	16
1	32	16
2	58	16
3	109	16
4	225	16
5	435	16
6	891	16
7	2769	16
done	5001	16
0	13	38
1	27	24
2	69	24
3	143	22
4	239	22
5	397	22
6	665	22
7	740	22
8	767	22
done	767	22
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	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
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
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	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
0	13	15
1	31	15
2	80	15
3	151	13
4	233	13
5	282	13
6	378	13
7	547	13
8	818	13
9	1833	13
done	5000	13
0	10	11
1	19	11
2	42	11
3	97	11
4	203	11
5	279	11
6	289	11
done	289	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune1.6s

Filtered

377 candidates to 484 candidates (-28.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	475	9	484
Fresh	4	0	4
Picked	1	0	1
Done	0	0	0
Total	480	9	489

Merged error: 0b

Counts

489 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
0.3b	(- (* b b) (* (* 4.0 a) c))
0.3b	(* (neg (* 4.0 a)) (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)))
0.3b	(/ (/ (* (neg (* 4.0 a)) (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))) 2.0) a)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

46×	`times-frac`
37×	`*-un-lft-identity`
34×	`add-sqr-sqrt`
29×	`add-cube-cbrt`
23×	`add-exp-log` `add-cbrt-cube`
18×	`associate-r`
9×	`cbrt-undiv` `div-exp`
8×	`add-log-exp`
7×	`associate-/l*`
6×	`pow1` `associate-l` `div-inv`
4×	`prod-exp` `cbrt-unprod` `distribute-lft-out`
3×	`associate-/r*`
2×	`distribute-lft-neg-out` `flip3-+` `distribute-frac-neg` `associate-/r/` `flip-+` `unswap-sqr`
1×	`+-commutative` `distribute-lft-neg-in` `neg-mul-1` `sub-neg` `flip3--` `distribute-rgt-neg-in` `frac-2neg` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip--` `associate-/l/`

Counts

4 → 116

Calls

4 calls:

8.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
4.0ms	(- (* b b) (* (* 4.0 a) c))
17.0ms	(* (neg (* 4.0 a)) (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)))
17.0ms	(/ (/ (* (neg (* 4.0 a)) (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))) 2.0) a)

series153.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
10.0ms	(- (* b b) (* (* 4.0 a) c))
69.0ms	(* (neg (* 4.0 a)) (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)))
55.0ms	(/ (/ (* (neg (* 4.0 a)) (/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))) 2.0) a)

simplify7.6min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	21	28
1	45	28
2	108	28
3	353	28
4	1225	28
5	3085	25
done	5000	25
0	20	27
1	43	27
2	98	27
3	276	27
4	944	27
5	2735	24
done	5000	24
0	19	26
1	44	26
2	107	26
3	291	26
4	995	26
5	2963	23
done	5001	23
0	18	25
1	41	25
2	108	25
3	384	25
4	1384	25
5	3949	25
done	5001	25
0	17	24
1	40	24
2	119	24
3	560	24
4	2394	21
done	5001	21
0	17	24
1	37	24
2	106	24
3	486	24
4	1895	21
done	5000	20
0	26	71
1	84	69
2	408	33
3	4572	31
done	5000	31
0	24	71
1	68	69
2	339	31
3	3736	31
done	5001	31
0	22	71
1	61	71
2	322	29
3	3698	27
done	5001	27
0	20	71
1	53	71
2	198	27
3	1605	25
done	5000	25
0	18	49
1	38	49
2	107	49
3	480	49
4	1837	43
5	4947	41
done	5000	41
0	17	24
1	37	24
2	106	24
3	479	24
4	1828	21
5	4982	20
done	5000	20
0	18	71
1	45	71
2	151	25
3	1116	25
done	5001	25
0	17	24
1	37	24
2	106	24
3	479	24
4	1828	21
5	4982	20
done	5000	20
0	17	24
1	37	24
2	106	24
3	479	24
4	1828	21
5	4982	20
done	5000	20
0	16	22
1	36	22
2	95	20
3	348	20
4	1107	20
5	2039	20
6	2488	20
7	2779	20
8	3150	20
9	3540	20
10	3972	20
11	4327	20
12	4422	20
13	4426	20
done	4426	20
0	2	2
done	2	2
0	20	51
1	44	51
2	104	51
3	295	51
4	703	51
5	1304	51
6	1553	51
7	1787	51
8	2068	51
9	2321	51
10	2547	51
11	2686	51
12	2700	51
done	2700	51
0	18	25
1	36	25
2	87	25
3	270	25
4	672	25
5	1264	25
6	1524	25
7	1759	25
8	2037	25
9	2282	25
10	2508	25
11	2647	25
12	2661	25
done	2661	25
0	19	48
1	39	48
2	92	48
3	278	48
4	685	48
5	1280	48
6	1552	48
7	1786	48
8	2064	48
9	2317	48
10	2543	48
11	2682	48
12	2696	48
done	2696	48
0	18	25
1	36	25
2	87	25
3	270	25
4	672	25
5	1264	25
6	1524	25
7	1759	25
8	2037	25
9	2282	25
10	2508	25
11	2647	25
12	2661	25
done	2661	25
0	19	47
1	41	45
2	98	45
3	286	45
4	695	45
5	1303	45
6	1546	45
7	1781	45
8	2062	45
9	2313	45
10	2538	45
11	2677	45
12	2691	45
done	2691	45
0	17	24
1	35	24
2	86	24
3	271	24
4	677	24
5	1278	24
6	1533	24
7	1768	24
8	2047	24
9	2292	24
10	2516	24
11	2655	24
12	2669	24
done	2669	24
0	19	28
1	39	28
2	90	28
3	273	28
4	684	28
5	1285	28
6	1523	28
7	1757	28
8	2037	28
9	2283	28
10	2507	28
11	2646	28
12	2660	28
done	2660	28
0	18	25
1	36	25
2	87	25
3	270	25
4	672	25
5	1264	25
6	1524	25
7	1759	25
8	2037	25
9	2282	25
10	2508	25
11	2647	25
12	2661	25
done	2661	25
0	18	25
1	36	25
2	87	25
3	270	25
4	672	25
5	1264	25
6	1524	25
7	1759	25
8	2037	25
9	2282	25
10	2508	25
11	2647	25
12	2661	25
done	2661	25
0	18	25
1	36	25
2	87	25
3	270	25
4	672	25
5	1264	25
6	1524	25
7	1759	25
8	2037	25
9	2282	25
10	2508	25
11	2647	25
12	2661	25
done	2661	25
0	18	24
1	38	22
2	91	22
3	276	22
4	684	22
5	1285	22
6	1531	22
7	1766	22
8	2046	22
9	2292	22
10	2518	22
11	2657	22
12	2671	22
done	2671	22
0	17	24
1	35	24
2	86	24
3	271	24
4	677	24
5	1278	24
6	1533	24
7	1768	24
8	2047	24
9	2292	24
10	2516	24
11	2655	24
12	2669	24
done	2669	24
0	11	16
1	24	16
2	76	16
3	304	16
4	868	16
5	1283	16
6	1298	16
done	1298	16
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	10	13
1	21	13
2	65	13
3	195	13
4	416	13
5	517	13
done	517	13
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	10	12
1	23	10
2	71	10
3	201	10
4	378	10
5	457	10
done	457	10
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	10	13
1	21	13
2	52	13
3	166	13
4	392	13
5	487	13
6	491	13
done	491	13
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	9	10
1	18	10
2	44	10
3	107	10
4	175	10
5	194	10
done	194	10
0	16	20
1	27	20
2	62	20
3	114	20
4	136	20
done	136	20
0	9	9
1	20	7
2	50	7
3	112	7
4	196	7
5	224	7
done	224	7
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	9	12
1	22	10
2	78	10
3	212	10
4	416	10
5	448	10
done	448	10
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	8	9
1	19	7
2	58	7
3	124	7
4	214	7
5	226	7
done	226	7
0	15	19
1	26	19
2	61	19
3	115	19
4	139	19
done	139	19
0	7	8
1	18	4
2	29	4
3	46	4
4	73	4
5	78	4
done	78	4
0	14	18
1	25	18
2	60	18
3	114	18
4	136	18
done	136	18
0	5	7
1	9	7
done	9	7
0	17	24
1	37	24
2	106	24
3	480	24
4	1828	24
5	4882	24
done	5000	24
0	4	4
1	6	4
done	6	4
0	17	24
1	37	24
2	106	24
3	480	24
4	1828	24
5	4882	24
done	5000	24
0	2	3
1	4	1
done	4	1
0	16	23
1	36	23
2	105	23
3	476	23
4	1837	20
5	4955	19
done	5000	19
0	16	25
1	39	25
2	111	25
3	437	25
4	1465	25
5	3309	25
6	4281	25
7	4990	25
done	5000	25
0	6	6
1	10	6
2	13	6
done	13	6
0	15	22
1	33	22
2	84	22
3	267	22
4	675	22
5	1268	22
6	1519	22
7	1753	22
8	2031	22
9	2278	22
10	2502	22
11	2641	22
12	2655	22
done	2655	22
0	6	6
1	10	6
2	13	6
done	13	6
0	15	21
1	35	19
2	90	19
3	307	19
4	816	19
5	1399	19
6	1631	19
7	1805	19
8	1975	19
9	2037	19
10	2048	19
done	2048	19
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	16	23
1	36	23
2	97	23
3	369	23
4	1356	21
5	3883	19
done	5000	19
0	15	22
1	30	22
2	95	22
3	362	22
4	1097	20
5	2223	18
done	5000	18
0	18	27
1	40	27
2	114	27
3	615	27
4	3003	27
done	5001	27
0	17	24
1	37	24
2	106	24
3	480	24
4	1828	24
5	4882	24
done	5000	24
0	17	23
1	39	21
2	112	21
3	371	21
4	1388	21
5	3724	21
done	5002	21
0	17	24
1	35	24
2	86	24
3	271	24
4	677	24
5	1278	24
6	1531	24
7	1766	24
8	2044	24
9	2289	24
10	2513	24
11	2652	24
12	2666	24
done	2666	24
0	17	24
1	35	24
2	86	24
3	271	24
4	677	24
5	1278	24
6	1531	24
7	1766	24
8	2044	24
9	2289	24
10	2513	24
11	2652	24
12	2666	24
done	2666	24
0	15	19
1	26	19
2	60	19
3	118	19
4	168	19
5	208	19
6	259	19
7	301	19
8	313	19
9	316	19
done	316	19
0	15	19
1	26	19
2	60	19
3	118	19
4	168	19
5	208	19
6	259	19
7	301	19
8	313	19
9	316	19
done	316	19
0	14	18
1	25	18
2	59	18
3	115	18
4	167	18
5	207	18
6	258	18
7	300	18
8	312	18
9	315	18
done	315	18
0	16	23
1	36	23
2	97	23
3	369	23
4	1356	21
5	3883	19
done	5000	19
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
0	13	19
1	29	19
2	64	19
3	138	19
4	205	19
5	247	19
6	270	19
done	270	19
0	16	22
1	32	22
2	62	22
3	123	22
4	208	22
5	289	22
6	498	22
7	647	22
8	903	22
9	1089	22
10	1094	22
done	1094	22
0	15	21
1	30	21
2	59	21
3	112	21
4	186	21
5	282	21
6	473	21
7	599	21
8	810	21
9	1084	21
10	1108	21
done	1108	21
0	14	20
1	33	20
2	80	20
3	192	20
4	378	20
5	628	20
6	876	20
7	1324	20
8	1527	20
9	1757	20
10	1905	20
11	1915	20
done	1915	20
0	14	20
1	32	20
2	82	20
3	192	20
4	370	20
5	696	20
6	1490	20
7	4096	20
done	5000	20
0	19	59
1	64	57
2	262	25
3	1583	23
done	5000	23
0	17	59
1	48	57
2	188	23
3	1097	23
done	5000	23
0	15	41
1	31	41
2	66	41
3	140	41
4	207	41
5	249	41
6	272	41
done	272	41
0	14	20
1	30	20
2	65	20
3	139	20
4	206	20
5	248	20
6	271	20
done	271	20
0	15	59
1	41	59
2	177	21
3	1192	21
done	5001	21
0	14	20
1	30	20
2	65	20
3	139	20
4	206	20
5	248	20
6	271	20
done	271	20
0	14	20
1	30	20
2	65	20
3	139	20
4	206	20
5	248	20
6	271	20
done	271	20
0	15	21
1	27	21
2	44	21
3	68	21
done	68	21
0	15	21
1	27	21
2	44	21
3	68	21
done	68	21
0	16	22
1	30	22
2	50	22
3	80	22
4	82	22
done	82	22
0	16	22
1	30	22
2	50	22
3	80	22
4	82	22
done	82	22
0	12	18
1	23	18
2	53	18
3	98	18
4	120	18
5	129	18
done	129	18
0	15	36
1	31	36
2	71	36
3	142	36
4	170	36
5	176	36
done	176	36
0	14	20
1	28	20
2	59	20
3	101	20
4	105	20
done	105	20
0	17	38
1	39	38
2	112	38
3	368	38
4	934	38
5	1816	38
6	2186	38
7	2211	38
done	2211	38
0	16	24
1	34	24
2	84	24
3	226	24
4	440	24
5	656	24
6	743	24
7	751	24
done	751	24
0	10	12
1	24	10
2	61	10
3	209	10
4	536	10
5	1160	10
6	1229	10
7	1253	10
done	1253	10
0	10	12
1	24	10
2	61	10
3	209	10
4	536	10
5	1160	10
6	1229	10
7	1253	10
done	1253	10
0	16	35
1	34	35
2	85	35
3	230	35
4	426	35
5	695	35
6	789	35
7	799	35
done	799	35
0	15	21
1	31	21
2	72	21
3	155	21
4	217	21
5	269	21
6	291	21
7	293	21
done	293	21
0	9	9
1	21	7
2	45	7
3	105	7
4	227	7
5	441	7
6	454	7
done	454	7
0	9	9
1	21	7
2	45	7
3	105	7
4	227	7
5	441	7
6	454	7
done	454	7
0	16	34
1	36	34
2	86	32
3	310	32
4	713	32
5	986	32
6	1174	32
7	1178	32
done	1178	32
0	15	20
1	33	20
2	74	18
3	221	18
4	412	18
5	502	18
6	565	18
7	568	18
done	568	18
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	7	8
1	19	6
2	43	4
3	125	4
4	217	4
5	382	4
6	408	4
done	408	4
0	6	6
1	16	4
2	40	4
3	79	4
4	87	4
5	91	4
done	91	4
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	16	23
1	44	23
2	88	23
3	190	23
4	373	23
5	617	23
6	1121	23
7	3933	23
done	5000	23
0	14	32
1	34	20
2	92	20
3	302	20
4	909	14
5	2203	13
done	5000	13
0	14	20
1	28	20
2	48	20
3	78	20
4	79	20
done	79	20
0	14	20
1	28	20
2	48	20
3	78	20
4	79	20
done	79	20
0	13	19
1	29	19
2	64	19
3	138	19
4	205	19
5	247	19
6	270	19
done	270	19
0	12	18
1	23	18
2	53	18
3	98	18
4	120	18
5	129	18
done	129	18
0	12	16
1	21	16
2	40	16
3	69	16
4	74	16
done	74	16
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	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
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	12	14
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	12	27
1	19	27
2	36	27
3	61	27
4	63	27
done	63	27
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	12	38
1	32	38
2	80	14
3	170	14
4	379	14
5	1442	14
done	5001	14
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	13	16
1	32	16
2	58	16
3	109	16
4	225	16
5	435	16
6	891	16
7	2769	16
done	5001	16
0	13	38
1	27	24
2	69	24
3	143	22
4	239	22
5	397	22
6	665	22
7	740	22
8	767	22
done	767	22
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	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
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	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
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
0	13	15
1	31	15
2	80	15
3	151	13
4	233	13
5	282	13
6	378	13
7	547	13
8	818	13
9	1833	13
done	5000	13
0	10	11
1	19	11
2	42	11
3	97	11
4	203	11
5	279	11
6	289	11
done	289	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune299.0ms

Filtered

108 candidates to 128 candidates (-18.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	129	8	137

Merged error: 0b

Counts

137 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
15×	`add-sqr-sqrt`
14×	`add-cube-cbrt`
12×	`times-frac`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `distribute-lft-out`
4×	`associate-/r*`
3×	`sqrt-prod` `associate-/l*`
2×	`flip3--` `flip3-+` `sqrt-div` `associate-/r/` `flip--` `flip-+`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

4 → 72

Calls

4 calls:

5.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
10.0ms	(/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))
9.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
10.0ms	(- (* b b) (* (* 4.0 a) c))

series104.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
59.0ms	(/ c (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))
17.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
10.0ms	(- (* b b) (* (* 4.0 a) c))

simplify1.3min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	12	14
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	12	27
1	19	27
2	36	27
3	61	27
4	63	27
done	63	27
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	12	38
1	32	38
2	80	14
3	170	14
4	379	14
5	1442	14
done	5001	14
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	13	16
1	32	16
2	58	16
3	109	16
4	225	16
5	435	16
6	891	16
7	2769	16
done	5001	16
0	13	38
1	27	24
2	69	24
3	143	22
4	239	22
5	397	22
6	665	22
7	740	22
8	767	22
done	767	22
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	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
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	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	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
0	13	15
1	31	15
2	80	15
3	151	13
4	233	13
5	282	13
6	378	13
7	547	13
8	818	13
9	1833	13
done	5000	13
0	10	11
1	19	11
2	42	11
3	97	11
4	203	11
5	279	11
6	289	11
done	289	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
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
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9

prune152.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	84	8	92

Merged error: 0b

Counts

92 → 8

regimes227.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	19
1	23	19
2	27	19
3	29	19
done	29	19

end0.0ms

sample2.4s

Algorithm

intervals

Results

524.0ms	16457×	pre	80	true
519.0ms	4498×	body	160	valid
480.0ms	8457×	body	80	nan
205.0ms	3502×	body	80	valid

Details

sample89.0ms

simplify57.0ms

prune9.0ms

localize12.0ms

rewrite38.0ms

series79.0ms

simplify1.3min

prune314.0ms

localize14.0ms

rewrite103.0ms

series159.0ms

simplify26.5min

prune1.6s

localize15.0ms

rewrite51.0ms

series153.0ms

simplify7.6min

prune299.0ms

localize14.0ms

rewrite36.0ms

series104.0ms

simplify1.3min

prune152.0ms

regimes227.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample2.4s

Profiling