Details

sample67.0ms

Algorithm

intervals

Results

12.0ms	201×	body	80	valid
11.0ms	34×	body	2560	valid
6.0ms	23×	body	1280	valid
6.0ms	103×	body	80	nan
2.0ms	11×	body	640	valid
2.0ms	4×	body	5120	valid
1.0ms	7×	body	320	valid
0.0ms	2×	body	160	valid

simplify58.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (7.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: 32.4b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
0.8b	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
1.4b	(- (* b b) (* (* 4.0 a) c))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

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:

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

series76.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/ (/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 2.0) a)
17.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
15.0ms	(- (* b b) (* (* 4.0 a) c))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.3min

Counts

161 → 161

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	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	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	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
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	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

prune361.0ms

Filtered

116 candidates to 161 candidates (-38.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	150	11	161
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	11	162

Merged error: 6.0b

Counts

162 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (/ (/ 1 2.0) a))
0.8b	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
1.4b	(- (* b b) (* (* 4.0 a) c))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

71×	`times-frac`
62×	`add-sqr-sqrt`
46×	`*-un-lft-identity`
43×	`associate-r`
41×	`add-cube-cbrt`
19×	`add-exp-log`
13×	`add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
6×	`div-exp` `associate-l`
5×	`flip3--` `prod-exp` `sqrt-prod` `flip--`
4×	`div-inv` `difference-of-squares` `unswap-sqr`
3×	`cbrt-undiv` `cbrt-unprod`
2×	`frac-times` `sub-neg` `sqrt-div` `diff-log` `associate-*l/` `distribute-lft-out--`
1×	`rem-sqrt-square` `rec-exp` `sqrt-pow1` `pow1/2` `1-exp` `associate-r/` `pow-prod-down` `-commutative`

Counts

4 → 117

Calls

4 calls:

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

series76.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (/ (/ 1 2.0) a))
17.0ms	(- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
9.0ms	(- (* b b) (* (* 4.0 a) c))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify3.1min

Counts

129 → 129

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	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	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	15	18
1	30	18
2	65	18
3	151	16
4	310	16
5	431	16
6	543	16
7	593	16
8	629	16
9	633	16
done	633	16
0	17	20
1	30	20
2	58	19
3	99	19
4	118	19
5	141	19
6	157	19
7	174	19
8	176	19
done	176	19
0	18	21
1	35	20
2	77	19
3	158	19
4	262	19
5	365	19
6	400	19
7	447	19
done	447	19
0	19	22
1	38	21
2	79	20
3	167	19
4	268	19
5	375	19
6	411	19
7	454	19
done	454	19
0	18	21
1	37	20
2	71	19
3	139	19
4	221	19
5	309	19
6	376	19
7	423	19
done	423	19
0	17	20
1	33	20
2	67	19
3	120	18
4	185	18
5	267	18
6	365	18
7	416	18
8	419	18
done	419	18
0	16	19
1	34	19
2	79	19
3	189	17
4	408	17
5	609	17
6	875	17
7	1001	17
8	1049	17
9	1053	17
done	1053	17
0	16	19
1	33	19
2	79	19
3	184	17
4	429	17
5	768	17
6	1771	17
done	5001	17
0	23	56
1	52	52
2	170	24
3	731	22
4	4600	22
done	5000	22
0	21	56
1	52	56
2	187	24
3	913	22
4	4931	20
done	5000	20
0	19	56
1	44	56
2	143	22
3	587	22
4	3361	18
done	5000	18
0	17	39
1	32	39
2	67	39
3	153	35
4	323	35
5	443	35
6	551	35
7	601	35
8	647	35
9	651	35
done	651	35
0	16	19
1	31	19
2	66	19
3	154	17
4	315	17
5	436	17
6	546	17
7	596	17
8	642	17
9	646	17
done	646	17
0	17	56
1	42	56
2	156	20
3	838	18
4	4701	18
done	5001	18
0	16	19
1	31	19
2	66	19
3	154	17
4	315	17
5	436	17
6	546	17
7	596	17
8	642	17
9	646	17
done	646	17
0	16	19
1	31	19
2	66	19
3	154	17
4	315	17
5	436	17
6	546	17
7	596	17
8	642	17
9	646	17
done	646	17
0	17	20
1	42	20
2	90	18
3	241	18
4	713	18
5	2678	18
done	5001	18
0	14	40
1	28	26
2	77	26
3	176	24
4	312	24
5	508	24
6	798	24
7	1113	24
8	1497	24
9	1996	24
10	2193	24
11	2230	24
done	2230	24
0	15	29
1	31	17
2	79	15
3	243	15
4	633	9
5	1460	8
6	3568	8
done	5001	8
0	11	14
1	19	14
2	44	14
3	69	14
4	71	14
done	71	14
0	17	20
1	30	20
2	51	20
3	76	20
4	80	20
done	80	20
0	17	20
1	30	20
2	51	20
3	76	20
4	80	20
done	80	20
0	18	21
1	31	21
2	52	21
3	83	21
4	88	21
done	88	21
0	18	21
1	31	21
2	52	21
3	83	21
4	88	21
done	88	21
0	19	22
1	34	21
2	63	21
3	109	19
4	169	19
5	174	19
done	174	19
0	19	22
1	34	21
2	63	21
3	109	19
4	169	19
5	174	19
done	174	19
0	18	21
1	33	21
2	62	21
3	108	19
4	171	19
5	180	19
done	180	19
0	18	21
1	33	21
2	62	21
3	108	19
4	171	19
5	180	19
done	180	19
0	17	26
1	32	26
2	61	26
3	103	26
4	119	26
5	127	26
done	127	26
0	16	19
1	29	19
2	56	19
3	88	19
4	94	19
done	94	19
0	19	28
1	38	28
2	91	28
3	223	28
4	416	28
5	639	28
6	797	28
7	836	28
8	837	28
done	837	28
0	18	25
1	33	25
2	67	25
3	145	25
4	225	25
5	292	25
6	341	25
7	346	25
done	346	25
0	17	24
1	32	22
2	73	22
3	170	22
4	266	22
5	375	22
6	438	22
7	472	22
done	472	22
0	18	23
1	33	23
2	68	23
3	144	23
4	205	23
5	270	23
6	305	23
7	312	23
done	312	23
0	17	20
1	30	20
2	57	20
3	106	20
4	131	20
5	147	20
6	158	20
done	158	20
0	16	19
1	29	17
2	60	17
3	104	17
4	130	17
5	164	17
6	189	17
7	195	17
done	195	17
0	21	30
1	44	28
2	125	26
3	400	24
4	1179	24
5	2172	24
6	3151	24
7	3731	24
8	3967	24
done	3967	24
0	20	27
1	41	25
2	102	23
3	273	21
4	654	21
5	1023	21
6	1364	21
7	1544	21
8	1650	21
done	1650	21
0	19	26
1	40	22
2	113	20
3	274	18
4	517	18
5	761	18
6	953	18
7	1087	18
8	1094	18
done	1094	18
0	20	27
1	39	25
2	97	23
3	257	21
4	713	21
5	1161	21
6	1510	21
7	1696	21
8	1794	21
done	1794	21
0	19	24
1	36	22
2	81	20
3	193	18
4	405	18
5	575	18
6	694	18
7	746	18
8	781	18
9	785	18
done	785	18
0	18	23
1	35	19
2	88	17
3	180	15
4	304	15
5	445	15
6	537	15
7	587	15
8	591	15
done	591	15
0	18	26
1	37	22
2	104	20
3	227	18
4	405	18
5	643	18
6	831	18
7	973	18
8	1008	18
done	1008	18
0	17	23
1	34	19
2	84	17
3	156	15
4	247	15
5	386	15
6	471	15
7	516	15
8	535	15
done	535	15
0	16	22
1	33	14
2	60	12
3	103	12
4	118	12
5	126	12
done	126	12
0	20	27
1	39	26
2	93	26
3	264	24
4	822	24
5	1937	24
6	2852	24
7	3550	24
8	3803	24
done	3803	24
0	19	24
1	36	23
2	76	23
3	191	21
4	502	21
5	877	21
6	1169	21
7	1330	21
8	1404	21
done	1404	21
0	18	23
1	35	20
2	84	20
3	197	18
4	394	18
5	620	18
6	783	18
7	935	18
8	985	18
done	985	18
0	19	24
1	36	23
2	82	23
3	204	21
4	525	21
5	987	21
6	1308	21
7	1552	21
8	1690	21
done	1690	21
0	18	21
1	33	20
2	68	20
3	154	18
4	324	18
5	433	18
6	540	18
7	590	18
8	625	18
9	629	18
done	629	18
0	17	20
1	32	17
2	74	17
3	143	15
4	246	15
5	367	15
6	445	15
7	499	15
8	507	15
done	507	15
0	17	23
1	34	20
2	73	18
3	183	18
4	358	18
5	588	18
6	763	18
7	932	18
8	956	18
done	956	18
0	16	20
1	31	17
2	61	15
3	132	15
4	221	15
5	354	15
6	435	15
7	493	15
8	508	15
done	508	15
0	15	19
1	30	14
2	57	12
3	100	12
4	115	12
5	123	12
done	123	12
0	19	26
1	38	26
2	92	26
3	263	24
4	809	24
5	1956	24
6	2839	24
7	3573	24
8	3974	24
done	3974	24
0	18	23
1	35	23
2	75	23
3	192	21
4	499	21
5	875	21
6	1166	21
7	1340	21
8	1429	21
done	1429	21
0	17	22
1	34	20
2	83	20
3	196	18
4	394	18
5	610	18
6	776	18
7	917	18
8	942	18
done	942	18
0	18	23
1	35	23
2	81	23
3	203	21
4	524	21
5	978	21
6	1302	21
7	1555	21
8	1694	21
done	1694	21
0	17	20
1	32	20
2	67	20
3	153	18
4	314	18
5	423	18
6	528	18
7	578	18
8	622	18
9	626	18
done	626	18
0	16	19
1	31	17
2	73	17
3	142	15
4	245	15
5	366	15
6	441	15
7	501	15
8	513	15
done	513	15
0	16	22
1	33	20
2	72	18
3	182	18
4	356	18
5	586	18
6	765	18
7	955	18
8	977	18
done	977	18
0	15	19
1	30	17
2	60	15
3	131	15
4	218	15
5	351	15
6	431	15
7	509	15
8	528	15
done	528	15
0	14	18
1	29	14
2	56	12
3	101	12
4	116	12
5	124	12
done	124	12
0	15	20
1	30	20
2	64	18
3	153	18
4	261	18
5	337	18
6	405	18
7	431	18
8	448	18
9	450	18
done	450	18
0	14	17
1	27	17
2	54	15
3	114	15
4	160	15
5	188	15
6	207	15
7	209	15
8	210	15
done	210	15
0	13	16
1	26	14
2	55	12
3	98	12
4	113	12
5	121	12
done	121	12
0	15	20
1	30	20
2	64	18
3	153	18
4	261	18
5	337	18
6	405	18
7	431	18
8	448	18
9	450	18
done	450	18
0	14	17
1	27	17
2	54	15
3	114	15
4	160	15
5	188	15
6	207	15
7	209	15
8	210	15
done	210	15
0	13	16
1	26	14
2	55	12
3	98	12
4	113	12
5	121	12
done	121	12
0	12	14
1	23	12
2	50	12
3	86	12
4	99	12
5	103	12
done	103	12
0	14	16
1	27	16
2	54	14
3	114	14
4	160	14
5	187	14
6	204	14
7	206	14
8	207	14
done	207	14
0	16	19
1	31	19
2	60	19
3	108	17
4	171	17
5	186	17
done	186	17
0	16	19
1	31	19
2	60	19
3	108	17
4	171	17
5	186	17
done	186	17
0	15	18
1	30	18
2	65	18
3	151	16
4	310	16
5	431	16
6	543	16
7	593	16
8	629	16
9	633	16
done	633	16
0	17	20
1	32	20
2	67	20
3	153	18
4	323	18
5	443	18
6	563	18
7	600	18
8	621	18
done	621	18
0	17	20
1	32	20
2	67	20
3	153	18
4	323	18
5	443	18
6	563	18
7	600	18
8	621	18
done	621	18
0	15	18
1	30	18
2	65	18
3	151	16
4	310	16
5	431	16
6	543	16
7	593	16
8	629	16
9	633	16
done	633	16
0	14	16
1	27	16
2	54	14
3	114	14
4	160	14
5	187	14
6	204	14
7	206	14
8	207	14
done	207	14
0	18	22
1	45	22
2	101	22
3	280	20
4	1151	20
done	5000	20
0	16	31
1	34	19
2	90	19
3	289	17
4	1130	11
5	2982	10
done	5000	10
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
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	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

prune259.0ms

Filtered

100 candidates to 129 candidates (-29.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	130	10	140

Merged error: 6.0b

Counts

140 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
1.4b	(- (* b b) (* (* 4.0 a) c))
14.7b	(/ (* (* 4.0 a) c) (* a 2.0))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

7.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
4.0ms	(- (* b b) (* (* 4.0 a) c))
9.0ms	(/ (* (* 4.0 a) c) (* a 2.0))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series51.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
10.0ms	(- (* b b) (* (* 4.0 a) c))
3.0ms	(/ (* (* 4.0 a) c) (* a 2.0))
22.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify2.4min

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	12	14
1	23	14
2	61	14
3	171	14
4	367	10
5	664	8
6	3372	8
done	5000	8
0	12	13
1	23	13
2	52	13
3	128	13
4	288	10
5	544	8
6	2958	8
done	5001	8
0	12	13
1	23	13
2	52	13
3	139	13
4	343	10
5	640	8
6	3147	8
done	5000	8
0	11	12
1	23	12
2	45	12
3	107	12
4	267	10
5	534	8
6	2779	8
done	5001	8
0	11	12
1	23	12
2	50	12
3	120	12
4	328	12
5	583	9
6	974	7
7	3688	7
done	5000	7
0	10	11
1	23	11
2	46	11
3	96	11
4	254	11
5	480	9
6	837	7
7	3743	7
done	5000	7
0	9	10
1	24	10
2	89	10
3	277	8
4	705	6
5	3326	6
done	5000	6
0	9	10
1	21	10
2	68	10
3	203	8
4	440	6
5	1589	6
done	5000	6
0	16	29
1	42	29
2	293	19
3	3583	13
done	5000	13
0	16	29
1	46	29
2	331	17
3	4385	17
done	5000	17
0	16	29
1	46	29
2	291	17
3	3654	17
done	5000	17
0	14	29
1	48	29
2	319	15
3	4402	15
done	5000	15
0	14	29
1	42	29
2	297	15
3	3918	15
done	5000	15
0	12	29
1	44	29
2	320	13
3	4607	11
done	5000	11
0	10	21
1	22	21
2	67	21
3	186	17
4	375	13
5	1394	13
done	5001	13
0	9	10
1	21	10
2	66	10
3	185	8
4	374	6
5	1397	6
done	5000	6
0	10	29
1	29	29
2	162	11
3	1565	9
done	5000	9
0	9	10
1	21	10
2	66	10
3	185	8
4	374	6
5	1397	6
done	5000	6
0	9	10
1	21	10
2	66	10
3	185	8
4	374	6
5	1397	6
done	5000	6
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	4	4
1	9	4
2	11	4
done	11	4
0	4	5
1	7	5
2	12	3
3	16	1
done	16	1
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	8	9
1	20	9
2	67	9
3	189	7
4	311	5
5	1091	5
done	5001	5
0	6	7
1	12	7
2	28	7
3	47	7
4	71	5
5	86	3
6	214	3
7	1221	3
8	4756	3
done	5000	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
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	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
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	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

prune182.0ms

Filtered

65 candidates to 76 candidates (-16.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	76	10	86

Merged error: 5.9b

Counts

86 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (neg (* 2.0 c)) (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b))
0.2b	(+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
1.4b	(- (* b b) (* (* 4.0 a) c))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

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

series103.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/ (neg (* 2.0 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))
21.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.3min

Counts

101 → 101

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	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	16	19
1	30	19
2	55	19
3	94	19
4	110	19
5	116	19
6	128	19
7	146	19
8	172	19
9	208	19
10	238	19
11	251	19
12	282	19
13	285	19
done	285	19
0	15	18
1	32	18
2	65	18
3	117	18
4	161	18
5	186	18
6	202	18
7	226	18
8	262	18
9	292	18
10	305	18
11	336	18
12	339	18
done	339	18
0	15	18
1	29	18
2	57	18
3	94	18
4	113	18
5	139	18
6	183	18
7	294	18
8	581	18
9	1341	18
10	3879	18
done	5000	18
0	18	53
1	58	51
2	228	21
3	1484	19
done	5000	19
0	16	37
1	30	37
2	55	37
3	92	37
4	104	37
5	107	37
done	107	37
0	15	18
1	29	18
2	54	18
3	89	18
4	101	18
5	104	18
done	104	18
0	16	53
1	37	53
2	109	19
3	439	19
4	2444	19
done	5000	19
0	15	18
1	29	18
2	54	18
3	89	18
4	101	18
5	104	18
done	104	18
0	15	18
1	29	18
2	54	18
3	89	18
4	101	18
5	104	18
done	104	18
0	5	5
1	10	3
2	17	3
3	26	3
done	26	3
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	13	16
1	23	16
2	44	16
3	72	16
4	75	16
done	75	16
0	18	39
1	36	39
2	63	39
3	94	39
4	98	39
done	98	39
0	16	19
1	28	19
2	46	19
3	71	19
4	73	19
done	73	19
0	17	25
1	31	25
2	51	25
3	77	25
4	79	25
done	79	25
0	16	19
1	28	19
2	46	19
3	71	19
4	73	19
done	73	19
0	8	13
1	17	11
2	25	11
3	30	11
done	30	11
0	15	18
1	27	18
2	45	18
3	70	18
4	72	18
done	72	18
0	8	13
1	17	11
2	25	11
3	30	11
done	30	11
0	15	18
1	27	18
2	45	18
3	70	18
4	72	18
done	72	18
0	17	33
1	31	33
2	49	33
3	74	33
4	76	33
done	76	33
0	16	19
1	28	19
2	46	19
3	71	19
4	73	19
done	73	19
0	16	19
1	28	19
2	46	19
3	71	19
4	73	19
done	73	19
0	16	19
1	28	19
2	46	19
3	71	19
4	73	19
done	73	19
0	7	7
1	14	5
2	18	5
done	18	5
0	15	18
1	27	18
2	45	18
3	70	18
4	72	18
done	72	18
0	7	7
1	14	5
2	18	5
done	18	5
0	15	18
1	27	18
2	45	18
3	70	18
4	72	18
done	72	18
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	15	18
1	29	18
2	54	18
3	89	18
4	101	18
5	104	18
done	104	18
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	15	18
1	29	18
2	54	18
3	89	18
4	101	18
5	104	18
done	104	18
0	2	3
1	4	1
done	4	1
0	14	17
1	28	17
2	53	17
3	90	17
4	102	17
5	105	17
done	105	17
0	2	3
1	4	1
done	4	1
0	14	17
1	28	17
2	53	17
3	90	17
4	102	17
5	105	17
done	105	17
0	14	29
1	23	29
2	40	29
3	65	29
4	69	29
done	69	29
0	14	17
1	24	17
2	45	17
3	75	17
4	78	17
done	78	17
0	13	15
1	20	15
2	37	15
3	62	15
4	66	15
done	66	15
0	14	17
1	24	17
2	45	17
3	75	17
4	78	17
done	78	17
0	3	3
1	5	1
done	5	1
0	13	16
1	23	16
2	44	16
3	72	16
4	75	16
done	75	16
0	3	3
1	5	1
done	5	1
0	13	16
1	23	16
2	44	16
3	72	16
4	75	16
done	75	16
0	15	30
1	26	30
2	46	30
3	73	30
4	75	30
done	75	30
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	14	16
1	23	16
2	40	16
3	65	16
4	67	16
done	67	16
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	4	4
1	8	2
2	12	2
done	12	2
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	4	4
1	8	2
2	12	2
done	12	2
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	14	29
1	23	29
2	40	29
3	65	29
4	69	29
done	69	29
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	13	15
1	20	15
2	37	15
3	62	15
4	66	15
done	66	15
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	3	3
1	5	1
done	5	1
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	3	3
1	5	1
done	5	1
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	14	17
1	26	17
2	48	17
3	77	17
4	79	17
done	79	17
0	13	16
1	23	16
2	44	16
3	72	16
4	75	16
done	75	16
0	16	32
1	32	32
2	72	32
3	140	32
4	175	32
5	182	32
done	182	32
0	15	18
1	29	18
2	54	18
3	89	18
4	101	18
5	104	18
done	104	18
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	15	18
1	27	18
2	45	18
3	70	18
4	72	18
done	72	18
0	15	18
1	27	18
2	45	18
3	70	18
4	72	18
done	72	18
0	14	17
1	26	17
2	48	17
3	77	17
4	79	17
done	79	17
0	13	16
1	23	16
2	42	16
3	67	16
4	71	16
done	71	16
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	17	21
1	43	21
2	77	21
3	140	21
4	266	21
5	505	21
6	972	21
7	3026	21
done	5001	21
0	15	30
1	33	18
2	88	18
3	232	18
4	425	12
5	743	11
6	2177	8
done	5001	8
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
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	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	15	20
1	38	18
2	108	16
3	257	16
4	695	16
5	2571	16
done	5000	16

prune175.0ms

Filtered

81 candidates to 101 candidates (-24.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	98	3	101
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	101	10	111

Merged error: 5.9b

Counts

111 → 10

regimes352.0ms

Accuracy

95.9% (1.0b remaining)

Error of 6.6b against oracle of 5.6b and baseline of 29.9b

bsearch96.0ms

Steps

Iters	Range	Point
6	8.452635886898758e+130	9.412684251322846e+131	3.987284324356029e+131
8	-5.006933127036041e-180	-9.802976039588148e-184	-1.002833927292172e-183
8	-1.6483751760853504e+133	-4.021882261048999e+128	-4.6269445204268617e+132

Iters

Range

Point

8.452635886898758e+130

9.412684251322846e+131

3.987284324356029e+131

-5.006933127036041e-180

-9.802976039588148e-184

-1.002833927292172e-183

-1.6483751760853504e+133

-4.021882261048999e+128

-4.6269445204268617e+132

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	61
1	50	61
2	52	61
done	52	61

end0.0ms

sample1.8s

Algorithm

intervals

Results

358.0ms	5928×	body	80	valid
358.0ms	1002×	body	2560	valid
270.0ms	947×	body	1280	valid
171.0ms	2954×	body	80	nan
91.0ms	421×	body	640	valid
46.0ms	101×	body	5120	valid
43.0ms	236×	body	320	valid
11.0ms	99×	body	160	valid

Details

sample67.0ms

simplify58.0ms

prune9.0ms

localize11.0ms

rewrite38.0ms

series76.0ms

simplify1.3min

prune361.0ms

localize13.0ms

rewrite50.0ms

series76.0ms

simplify3.1min

prune259.0ms

localize14.0ms

rewrite27.0ms

series51.0ms

simplify2.4min

prune182.0ms

localize13.0ms

rewrite30.0ms

series103.0ms

simplify1.3min

prune175.0ms

regimes352.0ms

bsearch96.0ms

simplify5.0ms

end0.0ms

sample1.8s

Profiling