Details

sample79.0ms

Algorithm

intervals

Results

19.0ms	11×	body	640	valid
12.0ms	201×	body	80	valid
9.0ms	34×	body	2560	valid
5.0ms	23×	body	1280	valid
5.0ms	103×	body	80	nan
1.0ms	4×	body	5120	valid
1.0ms	7×	body	320	valid
0.0ms	2×	body	160	valid

simplify25.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	10	13
1	14	13
2	22	12
3	25	12
4	27	12
5	29	12
done	29	12

prune12.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_2 b_2) (* a c))) b_2) a)
0.8b	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
1.4b	(- (* b_2 b_2) (* a c))
22.5b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt`
26×	`*-un-lft-identity`
18×	`times-frac`
16×	`add-cube-cbrt`
10×	`difference-of-squares`
8×	`sqrt-prod` `add-log-exp`
6×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`pow1` `distribute-lft-out--`
4×	`flip3--` `flip--`
3×	`associate-/r*`
2×	`sub-neg` `sqrt-div` `diff-log` `associate-/l/`
1×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 84

Calls

4 calls:

16.0ms	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
8.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
4.0ms	(- (* b_2 b_2) (* a c))
6.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
15.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
8.0ms	(- (* b_2 b_2) (* a c))
25.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.1min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	10	12
1	15	11
2	24	11
3	27	11
4	30	11
5	36	11
6	40	11
7	56	11
8	60	11
9	65	11
10	72	11
11	91	11
12	112	11
13	125	11
14	128	11
done	128	11
0	9	11
1	14	11
2	22	11
done	22	11
0	9	11
1	17	11
2	27	11
3	30	11
4	36	11
5	40	11
6	56	11
7	60	11
8	65	11
9	72	11
10	91	11
11	112	11
12	126	11
13	129	11
done	129	11
0	10	23
1	15	23
2	23	23
done	23	23
0	9	11
1	14	11
2	22	11
done	22	11
0	10	32
1	16	32
2	38	12
3	81	12
4	189	12
5	570	12
6	2343	12
done	5000	12
0	9	11
1	14	11
2	22	11
done	22	11
0	9	11
1	14	11
2	22	11
done	22	11
0	11	14
1	28	14
2	57	14
3	100	14
4	225	14
5	603	14
6	2437	14
done	5000	14
0	11	32
1	21	20
2	46	20
3	77	18
4	125	18
5	208	18
6	380	18
7	493	18
8	597	18
9	637	18
10	647	18
done	647	18
0	2	2
done	2	2
0	9	21
1	17	11
2	40	11
3	72	11
4	120	5
5	204	4
6	952	4
done	5001	4
0	8	10
1	12	10
2	19	10
done	19	10
0	10	12
1	14	12
2	21	12
done	21	12
0	10	12
1	15	12
2	23	12
done	23	12
0	10	12
1	14	12
2	21	12
done	21	12
0	10	12
1	15	12
2	23	12
done	23	12
0	8	10
1	13	10
2	21	10
done	21	10
0	2	2
done	2	2
0	11	14
1	18	14
2	27	14
done	27	14
0	10	13
1	21	13
2	33	13
3	36	13
done	36	13
0	10	13
1	18	13
2	31	13
3	35	13
4	38	13
5	44	13
6	48	13
7	64	13
8	70	13
9	77	13
10	86	13
11	107	13
12	133	13
13	154	13
14	161	13
15	167	13
done	167	13
0	13	38
1	27	38
2	82	16
3	217	14
4	574	14
5	2095	14
done	5000	14
0	11	27
1	19	27
2	29	27
3	31	27
done	31	27
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	11	38
1	26	38
2	64	14
3	190	14
4	586	14
5	1735	14
done	5000	14
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	9	11
1	14	11
2	25	11
3	27	11
4	28	10
done	28	10
0	2	2
done	2	2
0	8	10
1	11	10
2	18	10
done	18	10
0	3	3
done	3	3
0	13	29
1	24	29
2	41	29
3	47	29
done	47	29
0	11	14
1	16	14
2	24	14
done	24	14
0	12	26
1	19	26
2	29	26
3	30	26
done	30	26
0	11	14
1	16	14
2	24	14
done	24	14
0	12	25
1	21	23
2	35	23
3	40	23
done	40	23
0	10	13
1	15	13
2	23	13
done	23	13
0	12	17
1	19	17
2	27	17
done	27	17
0	11	14
1	16	14
2	24	14
done	24	14
0	11	14
1	16	14
2	24	14
done	24	14
0	11	14
1	16	14
2	24	14
done	24	14
0	11	13
1	18	11
2	28	11
done	28	11
0	10	13
1	15	13
2	23	13
done	23	13
0	5	7
1	9	7
done	9	7
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	4	4
1	6	4
done	6	4
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	2	3
1	4	1
done	4	1
0	9	12
1	17	12
2	27	12
3	29	12
done	29	12
0	13	18
1	19	18
2	26	18
done	26	18
0	12	15
1	20	15
2	30	15
3	32	15
done	32	15
0	12	15
1	16	15
2	23	15
done	23	15
0	12	15
1	20	15
2	30	15
3	32	15
done	32	15
0	12	14
1	18	12
2	27	12
done	27	12
0	11	14
1	19	14
2	29	14
3	31	14
done	31	14
0	13	18
1	19	18
2	26	18
done	26	18
0	12	15
1	20	15
2	30	15
3	32	15
done	32	15
0	12	15
1	16	15
2	23	15
done	23	15
0	12	15
1	20	15
2	30	15
3	32	15
done	32	15
0	12	14
1	18	12
2	27	12
done	27	12
0	11	14
1	19	14
2	29	14
3	31	14
done	31	14
0	5	7
1	9	7
done	9	7
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	4	4
1	6	4
done	6	4
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	2	3
1	4	1
done	4	1
0	9	12
1	17	12
2	27	12
3	29	12
done	29	12
0	3	3
1	5	3
done	5	3
0	9	12
1	14	12
2	22	12
done	22	12
0	11	16
1	21	16
2	36	16
3	41	16
4	44	16
done	44	16
0	10	13
1	18	13
2	28	13
3	30	13
done	30	13
0	10	12
1	20	10
2	32	10
done	32	10
0	10	13
1	15	13
2	23	13
done	23	13
0	10	13
1	15	13
2	23	13
done	23	13
0	9	12
1	14	12
2	22	12
done	22	12
0	11	14
1	16	14
2	24	14
done	24	14
0	11	14
1	16	14
2	24	14
done	24	14
0	9	12
1	14	12
2	22	12
done	22	12
0	12	34
1	29	22
2	79	22
3	157	20
4	262	20
5	408	20
6	704	20
7	1048	20
8	1485	20
9	1856	20
10	1929	20
11	1934	20
done	1934	20
0	9	12
1	20	12
2	28	12
done	28	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	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
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	11	13
1	29	13
2	87	13
3	214	13
4	525	11
5	1252	11
6	4152	11
done	5000	11
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	10	11
1	18	11
2	34	11
3	51	11
4	63	11
5	66	11
done	66	11

prune150.0ms

Filtered

72 candidates to 96 candidates (-33.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	87	9	96
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	10	97

Merged error: 6.0b

Counts

97 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

16.0ms	(* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (/ 1 a))
8.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
5.0ms	(- (* b_2 b_2) (* a c))
5.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series66.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (/ 1 a))
15.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
8.0ms	(- (* b_2 b_2) (* a c))
14.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.5min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	10	12
1	15	11
2	24	11
3	27	11
4	30	11
5	36	11
6	40	11
7	56	11
8	60	11
9	65	11
10	72	11
11	91	11
12	112	11
13	125	11
14	128	11
done	128	11
0	9	11
1	14	11
2	22	11
done	22	11
0	9	11
1	17	11
2	27	11
3	30	11
4	36	11
5	40	11
6	56	11
7	60	11
8	65	11
9	72	11
10	91	11
11	112	11
12	126	11
13	129	11
done	129	11
0	10	23
1	15	23
2	23	23
done	23	23
0	9	11
1	14	11
2	22	11
done	22	11
0	10	32
1	16	32
2	38	12
3	81	12
4	189	12
5	570	12
6	2343	12
done	5000	12
0	9	11
1	14	11
2	22	11
done	22	11
0	9	11
1	14	11
2	22	11
done	22	11
0	11	14
1	28	14
2	57	14
3	100	14
4	225	14
5	603	14
6	2437	14
done	5000	14
0	11	32
1	21	20
2	46	20
3	77	18
4	125	18
5	208	18
6	380	18
7	493	18
8	597	18
9	637	18
10	647	18
done	647	18
0	2	2
done	2	2
0	9	21
1	17	11
2	40	11
3	72	11
4	120	5
5	204	4
6	952	4
done	5001	4
0	8	10
1	12	10
2	19	10
done	19	10
0	10	12
1	14	12
2	21	12
done	21	12
0	10	12
1	15	12
2	23	12
done	23	12
0	10	12
1	14	12
2	21	12
done	21	12
0	10	12
1	15	12
2	23	12
done	23	12
0	8	10
1	13	10
2	21	10
done	21	10
0	2	2
done	2	2
0	11	14
1	21	14
2	38	12
3	73	12
4	115	12
5	142	12
6	159	12
7	161	12
8	162	12
done	162	12
0	12	15
1	19	14
2	27	14
done	27	14
0	13	16
1	23	15
2	41	14
3	50	14
4	68	14
5	94	14
6	97	14
7	106	14
8	122	14
done	122	14
0	14	17
1	26	16
2	41	14
3	58	14
4	76	14
5	102	14
6	105	14
7	114	14
8	129	14
done	129	14
0	13	16
1	25	15
2	39	14
3	50	14
4	62	14
5	94	14
6	112	14
7	119	14
8	126	14
done	126	14
0	12	15
1	25	15
2	48	13
3	89	13
4	149	13
5	195	13
6	237	13
7	242	13
8	252	13
9	264	13
done	264	13
0	12	15
1	24	15
2	52	13
3	105	13
4	205	13
5	363	13
6	866	13
7	2971	13
done	5000	13
0	17	44
1	38	40
2	104	16
3	374	16
4	1269	16
5	4573	14
done	5000	14
0	15	44
1	35	44
2	104	18
3	318	18
4	1117	14
5	4431	14
done	5001	14
0	13	31
1	23	31
2	40	27
3	75	27
4	117	27
5	144	27
6	161	27
7	163	27
8	164	27
done	164	27
0	12	15
1	22	15
2	39	13
3	74	13
4	116	13
5	143	13
6	160	13
7	162	13
8	163	13
done	163	13
0	13	44
1	33	44
2	119	14
3	468	14
4	1670	14
5	4678	14
done	5000	14
0	12	15
1	22	15
2	39	13
3	74	13
4	116	13
5	143	13
6	160	13
7	162	13
8	163	13
done	163	13
0	12	15
1	22	15
2	39	13
3	74	13
4	116	13
5	143	13
6	160	13
7	162	13
8	163	13
done	163	13
0	13	16
1	33	14
2	71	14
3	165	14
4	466	14
5	1175	14
6	4221	14
done	5001	14
0	12	34
1	23	22
2	62	22
3	136	20
4	249	20
5	405	20
6	694	20
7	1009	20
8	1389	20
9	1862	20
10	1939	20
11	1941	20
done	1941	20
0	11	23
1	22	11
2	58	11
3	142	11
4	328	5
5	533	4
6	1357	4
done	5000	4
0	9	12
1	14	12
2	29	12
done	29	12
0	13	16
1	21	16
2	29	16
done	29	16
0	13	16
1	21	16
2	29	16
done	29	16
0	14	17
1	24	16
2	35	16
3	39	14
4	50	14
5	51	14
done	51	14
0	14	17
1	24	16
2	35	16
3	39	14
4	50	14
5	51	14
done	51	14
0	13	16
1	23	16
2	34	14
3	49	14
4	50	14
done	50	14
0	13	16
1	23	16
2	34	14
3	49	14
4	50	14
done	50	14
0	13	20
1	23	20
2	39	20
3	56	20
4	68	20
5	76	20
done	76	20
0	12	15
1	20	15
2	34	15
3	39	15
4	43	15
done	43	15
0	15	22
1	31	20
2	74	18
3	157	16
4	266	16
5	348	16
6	423	16
7	454	16
8	465	16
done	465	16
0	14	19
1	26	17
2	50	15
3	91	13
4	157	13
5	200	13
6	221	13
7	223	13
8	224	13
done	224	13
0	13	18
1	25	14
2	54	12
3	72	10
4	89	10
5	97	10
done	97	10
0	14	19
1	26	18
2	51	18
3	100	16
4	208	16
5	295	16
6	364	16
7	392	16
8	409	16
9	411	16
done	411	16
0	13	16
1	23	15
2	40	15
3	64	13
4	112	13
5	140	13
6	159	13
7	161	13
8	162	13
done	162	13
0	12	15
1	22	12
2	41	10
3	59	10
4	72	10
5	80	10
done	80	10
0	13	18
1	25	18
2	49	16
3	113	16
4	217	16
5	293	16
6	361	16
7	387	16
8	410	16
9	412	16
done	412	16
0	12	15
1	22	15
2	39	13
3	74	13
4	116	13
5	144	13
6	163	13
7	165	13
8	166	13
done	166	13
0	11	14
1	21	12
2	40	10
3	58	10
4	71	10
5	79	10
done	79	10
0	10	12
1	18	10
2	35	10
3	46	10
4	55	10
5	59	10
done	59	10
0	10	12
1	18	10
2	35	10
3	46	10
4	55	10
5	59	10
done	59	10
0	12	15
1	22	15
2	33	13
3	48	13
4	49	13
done	49	13
0	12	15
1	22	15
2	33	13
3	48	13
4	49	13
done	49	13
0	11	14
1	21	14
2	38	12
3	73	12
4	115	12
5	142	12
6	159	12
7	161	12
8	162	12
done	162	12
0	13	16
1	23	16
2	40	14
3	75	14
4	117	14
5	144	14
6	164	14
7	169	14
8	170	14
done	170	14
0	13	16
1	23	16
2	40	14
3	75	14
4	117	14
5	144	14
6	164	14
7	169	14
8	170	14
done	170	14
0	11	14
1	21	14
2	38	12
3	73	12
4	115	12
5	142	12
6	159	12
7	161	12
8	162	12
done	162	12
0	10	12
1	18	10
2	35	10
3	46	10
4	55	10
5	59	10
done	59	10
0	14	18
1	36	18
2	74	16
3	200	16
4	632	16
5	2322	16
done	5000	16
0	12	25
1	25	15
2	63	13
3	202	13
4	545	7
5	1189	3
6	3064	2
done	5000	2
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	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
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	11	13
1	29	13
2	87	13
3	214	13
4	525	11
5	1252	11
6	4152	11
done	5000	11
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	10	11
1	18	11
2	34	11
3	51	11
4	63	11
5	66	11
done	66	11

prune123.0ms

Filtered

68 candidates to 97 candidates (-42.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	3	5	8
Picked	1	0	1
Done	0	1	1
Total	100	7	107

Merged error: 5.9b

Counts

107 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

55×	`*-un-lft-identity`
40×	`times-frac`
32×	`add-sqr-sqrt`
31×	`add-cube-cbrt`
15×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
12×	`distribute-lft-out`
10×	`associate-/l*`
8×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `neg-mul-1`
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 → 109

Calls

4 calls:

11.0ms	(/ (neg c) (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
7.0ms	(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
4.0ms	(- (* b_2 b_2) (* a c))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series93.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(/ (neg c) (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
19.0ms	(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
8.0ms	(- (* b_2 b_2) (* a c))
15.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.2min

Counts

121 → 121

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	10	12
1	16	11
2	24	11
done	24	11
0	9	11
1	13	11
2	20	11
done	20	11
0	9	11
1	16	11
2	24	11
done	24	11
0	10	23
1	14	23
2	21	23
done	21	23
0	9	11
1	13	11
2	20	11
done	20	11
0	10	32
1	27	32
2	65	12
3	130	12
4	339	12
5	1309	12
6	4991	12
done	5000	12
0	9	11
1	13	11
2	20	11
done	20	11
0	9	11
1	13	11
2	20	11
done	20	11
0	11	14
1	27	14
2	43	14
3	69	14
4	140	14
5	292	14
6	726	14
7	2583	14
done	5001	14
0	11	32
1	22	20
2	54	20
3	101	18
4	194	18
5	337	18
6	543	18
7	617	18
8	644	18
done	644	18
0	9	21
1	17	11
2	40	11
3	72	11
4	120	5
5	204	4
6	952	4
done	5001	4
0	8	10
1	13	10
2	21	10
done	21	10
0	8	10
1	12	10
2	19	10
done	19	10
0	12	15
1	18	15
2	25	15
done	25	15
0	11	14
1	20	14
2	28	14
3	29	14
done	29	14
0	11	14
1	17	14
2	26	14
3	28	14
done	28	14
0	14	41
1	46	39
2	139	17
3	402	15
4	965	15
5	2666	15
done	5001	15
0	12	29
1	18	29
2	24	29
done	24	29
0	11	14
1	17	14
2	23	14
done	23	14
0	12	41
1	25	41
2	66	15
3	170	15
4	459	15
5	846	15
6	1483	15
7	3643	15
done	5001	15
0	11	14
1	17	14
2	23	14
done	23	14
0	11	14
1	17	14
2	23	14
done	23	14
0	3	3
done	3	1
0	9	11
1	16	11
2	25	11
3	26	11
done	26	11
0	10	12
1	14	1
2	21	1
done	21	1
0	9	12
1	13	12
2	20	12
done	20	12
0	14	31
1	24	31
2	39	31
3	45	31
done	45	31
0	12	15
1	16	15
2	22	15
done	22	15
0	13	19
1	19	19
2	27	19
3	28	19
done	28	19
0	12	15
1	16	15
2	22	15
done	22	15
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	11	14
1	15	14
2	21	14
done	21	14
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	11	14
1	15	14
2	21	14
done	21	14
0	13	27
1	19	27
2	25	27
done	25	27
0	12	15
1	16	15
2	22	15
done	22	15
0	12	15
1	16	15
2	22	15
done	22	15
0	12	15
1	16	15
2	22	15
done	22	15
0	5	5
1	7	3
2	9	3
done	9	3
0	11	14
1	15	14
2	21	14
done	21	14
0	5	5
1	7	3
2	9	3
done	9	3
0	11	14
1	15	14
2	21	14
done	21	14
0	12	25
1	20	25
2	27	25
done	27	25
0	11	14
1	17	14
2	23	14
done	23	14
0	11	13
1	17	13
2	24	13
done	24	13
0	11	14
1	17	14
2	23	14
done	23	14
0	2	3
1	4	1
done	4	1
0	10	13
1	16	13
2	22	13
done	22	13
0	2	3
1	4	1
done	4	1
0	10	13
1	16	13
2	22	13
done	22	13
0	12	25
1	18	25
2	25	25
done	25	25
0	10	13
1	14	13
2	21	13
done	21	13
0	11	13
1	15	13
2	22	13
done	22	13
0	10	13
1	14	13
2	21	13
done	21	13
0	3	3
1	5	1
done	5	1
0	9	12
1	13	12
2	20	12
done	20	12
0	3	3
1	5	1
done	5	1
0	9	12
1	13	12
2	20	12
done	20	12
0	14	30
1	25	30
2	49	30
3	72	30
4	84	30
done	84	30
0	11	14
1	15	14
2	22	14
done	22	14
0	13	18
1	22	18
2	34	18
3	39	18
4	43	18
done	43	18
0	11	14
1	15	14
2	22	14
done	22	14
0	6	8
1	13	6
2	22	6
3	32	6
4	46	6
done	46	6
0	10	13
1	14	13
2	21	13
done	21	13
0	6	8
1	13	6
2	22	6
3	32	6
4	46	6
done	46	6
0	10	13
1	14	13
2	21	13
done	21	13
0	13	27
1	21	27
2	31	27
done	31	27
0	11	14
1	15	14
2	22	14
done	22	14
0	12	15
1	18	15
2	25	15
done	25	15
0	11	14
1	15	14
2	22	14
done	22	14
0	5	5
1	9	3
2	13	3
done	13	3
0	10	13
1	14	13
2	21	13
done	21	13
0	5	5
1	9	3
2	13	3
done	13	3
0	10	13
1	14	13
2	21	13
done	21	13
0	13	26
1	24	25
2	33	25
3	35	25
done	35	25
0	10	13
1	14	13
2	21	13
done	21	13
0	12	14
1	21	13
2	28	13
done	28	13
0	10	13
1	14	13
2	21	13
done	21	13
0	3	4
1	8	1
done	8	1
0	9	12
1	13	12
2	20	12
done	20	12
0	3	4
1	8	1
done	8	1
0	9	12
1	13	12
2	20	12
done	20	12
0	13	29
1	23	29
2	39	29
3	45	29
done	45	29
0	12	15
1	18	15
2	25	15
done	25	15
0	12	17
1	18	17
2	27	17
3	28	17
done	28	17
0	12	15
1	18	15
2	25	15
done	25	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	14
1	17	14
2	24	14
done	24	14
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	14
1	17	14
2	24	14
done	24	14
0	12	26
1	18	26
2	25	26
done	25	26
0	12	15
1	18	15
2	25	15
done	25	15
0	11	14
1	15	14
2	22	14
done	22	14
0	12	15
1	18	15
2	25	15
done	25	15
0	4	4
1	6	2
2	8	2
done	8	2
0	11	14
1	17	14
2	24	14
done	24	14
0	4	4
1	6	2
2	8	2
done	8	2
0	11	14
1	17	14
2	24	14
done	24	14
0	12	25
1	20	25
2	27	25
done	27	25
0	11	14
1	17	14
2	23	14
done	23	14
0	11	13
1	17	13
2	24	13
done	24	13
0	11	14
1	17	14
2	23	14
done	23	14
0	2	3
1	4	1
done	4	1
0	10	13
1	16	13
2	22	13
done	22	13
0	2	3
1	4	1
done	4	1
0	10	13
1	16	13
2	22	13
done	22	13
0	10	12
1	16	12
2	23	12
done	23	12
0	10	13
1	14	13
2	20	13
done	20	13
0	9	12
1	13	12
2	20	12
done	20	12
0	12	26
1	20	26
2	29	26
done	29	26
0	11	14
1	17	14
2	23	14
done	23	14
0	4	4
1	8	2
2	12	2
done	12	2
0	4	4
1	8	2
2	12	2
done	12	2
0	11	14
1	15	14
2	21	14
done	21	14
0	11	14
1	15	14
2	21	14
done	21	14
0	10	13
1	14	13
2	20	13
done	20	13
0	9	12
1	13	12
2	20	12
done	20	12
0	10	13
1	14	13
2	21	13
done	21	13
0	10	13
1	14	13
2	21	13
done	21	13
0	9	12
1	13	12
2	20	12
done	20	12
0	11	14
1	15	14
2	22	14
done	22	14
0	11	14
1	15	14
2	22	14
done	22	14
0	10	13
1	14	13
2	20	13
done	20	13
0	13	17
1	31	17
2	46	17
3	72	17
4	145	17
5	286	17
6	726	17
7	2587	17
done	5000	17
0	11	24
1	21	14
2	47	14
3	85	14
4	135	8
5	219	7
6	994	7
done	5000	7
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	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	13	15
1	31	15
2	80	15
3	153	13
4	232	13
5	261	13
6	325	13
7	463	13
8	770	13
9	1733	13
done	5000	13
0	10	11
1	19	11
2	43	11
3	98	11
4	205	11
5	282	11
6	292	11
done	292	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	9	4
2	14	4
3	18	4
4	19	4
done	19	4
0	11	14
1	25	14
2	65	14
3	133	14
4	303	14
5	1080	14
6	4925	14
done	5000	14

prune134.0ms

Filtered

90 candidates to 121 candidates (-34.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	121	7	128

Merged error: 5.9b

Counts

128 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
0.2b	(/ -1 (/ (+ (sqrt (- (* b_2 b_2) (* a c))) b_2) c))
1.4b	(- (* b_2 b_2) (* a c))
22.5b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 121

Calls

4 calls:

8.0ms	(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
11.0ms	(/ -1 (/ (+ (sqrt (- (* b_2 b_2) (* a c))) b_2) c))
4.0ms	(- (* b_2 b_2) (* a c))
5.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series78.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
39.0ms	(/ -1 (/ (+ (sqrt (- (* b_2 b_2) (* a c))) b_2) c))
9.0ms	(- (* b_2 b_2) (* a c))
15.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.4min

Counts

133 → 133

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	14	17
1	24	17
2	39	17
3	52	17
4	56	17
5	64	17
6	79	17
7	105	17
8	114	17
done	114	17
0	13	16
1	22	16
2	34	16
3	41	16
4	54	16
5	58	16
6	66	16
7	81	16
8	107	16
9	116	16
done	116	16
0	12	15
1	21	15
2	38	15
3	47	14
4	67	14
5	87	14
6	96	14
7	107	14
8	125	14
9	145	14
10	151	14
done	151	14
0	12	15
1	18	15
2	30	15
3	37	14
4	55	14
5	84	14
6	160	14
7	328	14
8	905	14
9	3289	14
done	5000	14
0	17	44
1	49	40
2	144	18
3	428	16
4	1381	16
5	4467	16
done	5000	16
0	15	44
1	36	40
2	102	16
3	280	16
4	923	16
5	2369	15
6	4989	15
done	5000	15
0	13	31
1	19	31
2	29	31
3	30	29
4	40	29
5	41	29
6	42	29
done	42	29
0	12	15
1	18	15
2	28	15
3	29	14
4	39	14
5	40	14
6	41	14
done	41	14
0	13	44
1	26	44
2	73	16
3	261	15
4	1254	15
5	3496	15
done	5001	15
0	12	15
1	18	15
2	28	15
3	29	14
4	39	14
5	40	14
6	41	14
done	41	14
0	12	15
1	18	15
2	28	15
3	29	14
4	39	14
5	40	14
6	41	14
done	41	14
0	2	2
1	3	1
2	5	1
done	5	1
0	10	13
1	16	13
2	27	13
3	29	13
4	35	13
5	39	13
6	43	13
done	43	13
0	15	33
1	25	33
2	41	33
3	47	33
done	47	33
0	13	16
1	17	16
2	24	16
done	24	16
0	14	19
1	20	19
2	29	19
3	30	19
done	30	19
0	13	16
1	17	16
2	24	16
done	24	16
0	17	35
1	31	35
2	74	35
3	167	35
4	294	35
5	388	35
6	427	35
7	437	35
done	437	35
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	16	32
1	26	32
2	51	32
3	95	32
4	141	32
5	161	32
6	166	32
7	167	32
done	167	32
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	16	31
1	28	29
2	58	29
3	133	29
4	163	29
5	187	29
6	189	29
done	189	29
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	16	23
1	26	23
2	48	23
3	76	23
4	112	23
5	134	23
6	144	23
7	153	23
8	155	23
done	155	23
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	15	20
1	23	20
2	39	20
3	49	20
4	59	20
5	63	20
6	65	20
7	66	20
done	66	20
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	15	19
1	25	17
2	43	17
3	65	17
4	70	17
5	74	17
6	80	17
done	80	17
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	12	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	12	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	12	16
1	18	16
2	27	16
3	28	16
done	28	16
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	14	30
1	20	30
2	27	30
done	27	30
0	13	16
1	17	16
2	24	16
done	24	16
0	13	16
1	17	16
2	24	16
done	24	16
0	13	16
1	17	16
2	24	16
done	24	16
0	16	32
1	28	32
2	56	32
3	85	32
4	111	32
5	145	32
6	171	32
7	181	32
done	181	32
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	15	29
1	23	29
2	38	29
3	51	29
4	59	29
5	65	29
6	68	29
done	68	29
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	15	28
1	25	26
2	45	26
3	72	26
4	84	26
5	96	26
6	101	26
done	101	26
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	15	20
1	23	20
2	37	20
3	45	20
4	49	20
5	58	20
6	64	20
7	69	20
done	69	20
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	14	17
1	20	17
2	30	17
3	31	17
4	33	17
5	35	17
6	36	17
done	36	17
0	14	16
1	22	14
2	35	14
3	40	14
4	42	14
5	45	14
6	49	14
done	49	14
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	12	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	13	16
1	19	16
2	29	16
3	30	16
4	32	16
5	34	16
6	35	16
done	35	16
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	12	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	11	13
1	15	13
2	22	13
done	22	13
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	13	29
1	21	29
2	28	29
done	28	29
0	12	15
1	16	15
2	23	15
done	23	15
0	12	15
1	18	15
2	25	15
done	25	15
0	12	15
1	16	15
2	23	15
done	23	15
0	15	31
1	29	31
2	57	31
3	88	29
4	148	29
5	212	29
done	212	29
0	13	16
1	19	16
2	29	16
3	31	15
4	35	15
5	36	15
6	37	15
done	37	15
0	14	28
1	24	28
2	39	28
3	52	26
4	79	26
5	116	26
done	116	26
0	13	16
1	19	16
2	29	16
3	31	15
4	35	15
5	36	15
6	37	15
done	37	15
0	13	27
1	23	25
2	41	25
3	50	25
done	50	25
0	12	15
1	18	15
2	28	15
3	29	14
4	39	14
5	40	14
6	41	14
done	41	14
0	14	19
1	24	19
2	38	19
3	46	17
4	70	17
5	85	17
done	85	17
0	13	16
1	19	16
2	29	16
3	31	15
4	35	15
5	36	15
6	37	15
done	37	15
0	13	16
1	21	16
2	31	16
3	32	14
4	45	14
5	52	14
done	52	14
0	13	16
1	19	16
2	29	16
3	31	15
4	35	15
5	36	15
6	37	15
done	37	15
0	12	15
1	20	13
2	32	13
done	32	13
0	12	15
1	18	15
2	28	15
3	29	14
4	39	14
5	40	14
6	41	14
done	41	14
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	12	15
1	18	15
2	28	15
3	30	14
4	34	14
5	35	14
6	36	14
done	36	14
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	12	15
1	18	15
2	28	15
3	30	14
4	34	14
5	35	14
6	36	14
done	36	14
0	3	5
1	6	1
done	6	1
0	11	14
1	17	14
2	27	14
3	28	13
4	38	13
5	41	13
6	42	13
done	42	13
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	12	15
1	18	15
2	28	15
3	30	14
4	34	14
5	35	14
6	36	14
done	36	14
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	12	15
1	18	15
2	28	15
3	30	14
4	34	14
5	35	14
6	36	14
done	36	14
0	3	5
1	6	1
done	6	1
0	11	14
1	17	14
2	27	14
3	28	13
4	38	13
5	41	13
6	42	13
done	42	13
0	2	3
1	4	1
done	4	1
0	11	14
1	17	14
2	27	14
3	28	13
4	38	13
5	41	13
6	42	13
done	42	13
0	10	12
1	16	12
2	23	12
done	23	12
0	5	5
1	9	3
2	11	2
done	11	2
0	11	14
1	19	14
2	29	14
3	30	12
done	30	12
0	11	14
1	17	14
2	27	13
3	33	13
4	35	13
done	35	13
0	13	29
1	19	29
2	26	29
done	26	29
0	12	15
1	16	15
2	23	15
done	23	15
0	15	31
1	27	31
2	55	31
3	87	30
4	119	30
5	157	30
6	178	30
7	180	30
done	180	30
0	14	28
1	22	28
2	37	28
3	51	27
4	62	27
5	68	27
6	69	27
done	69	27
0	14	27
1	24	25
2	44	25
3	62	25
4	69	25
5	85	25
6	97	25
7	99	25
done	99	25
0	14	19
1	22	19
2	36	19
3	45	18
4	54	18
5	65	18
6	71	18
7	73	18
done	73	18
0	13	16
1	19	16
2	29	16
3	31	15
4	35	15
5	36	15
6	37	15
done	37	15
0	13	15
1	21	13
2	34	13
3	36	13
done	36	13
0	7	9
1	13	7
2	19	6
3	26	6
4	34	6
5	48	6
6	85	6
7	95	6
8	99	6
done	99	6
0	6	6
1	10	4
2	12	3
done	12	3
0	4	5
1	8	1
done	8	1
0	7	9
1	13	7
2	19	6
3	26	6
4	34	6
5	48	6
6	85	6
7	95	6
8	99	6
done	99	6
0	6	6
1	10	4
2	12	3
done	12	3
0	4	5
1	8	1
done	8	1
0	3	3
1	5	1
done	5	1
0	10	12
1	14	12
2	21	12
done	21	12
0	12	15
1	18	15
2	28	15
done	28	15
0	12	15
1	18	15
2	28	15
done	28	15
0	11	14
1	17	14
2	27	13
3	33	13
4	35	13
done	35	13
0	10	12
1	14	12
2	21	12
done	21	12
0	10	12
1	16	11
2	24	11
done	24	11
0	9	11
1	13	11
2	20	11
done	20	11
0	9	11
1	16	11
2	24	11
done	24	11
0	10	23
1	14	23
2	21	23
done	21	23
0	9	11
1	13	11
2	20	11
done	20	11
0	10	32
1	27	32
2	65	12
3	130	12
4	339	12
5	1309	12
6	4991	12
done	5000	12
0	9	11
1	13	11
2	20	11
done	20	11
0	9	11
1	13	11
2	20	11
done	20	11
0	11	14
1	27	14
2	43	14
3	69	14
4	140	14
5	292	14
6	726	14
7	2583	14
done	5001	14
0	11	32
1	22	20
2	54	20
3	101	18
4	194	18
5	337	18
6	543	18
7	617	18
8	644	18
done	644	18
0	9	21
1	17	11
2	40	11
3	72	11
4	120	5
5	204	4
6	952	4
done	5001	4
0	8	10
1	13	10
2	21	10
done	21	10
0	8	10
1	12	10
2	19	10
done	19	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	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	17	23
1	47	23
2	153	21
3	445	21
4	1711	17
done	5000	17
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	10	11
1	18	11
2	34	11
3	51	11
4	63	11
5	66	11
done	66	11
0	13	15
1	31	15
2	80	15
3	153	13
4	232	13
5	261	13
6	325	13
7	463	13
8	770	13
9	1733	13
done	5000	13
0	10	11
1	19	11
2	43	11
3	98	11
4	205	11
5	282	11
6	292	11
done	292	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune153.0ms

Filtered

104 candidates to 133 candidates (-27.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	133	7	140

Merged error: 5.9b

Counts

140 → 7

regimes312.0ms

Accuracy

96.2% (0.9b remaining)

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

bsearch97.0ms

Steps

Iters	Range	Point
6	8.452635886898758e+130	9.412684251322846e+131	1.4909071823923185e+131
9	-4.034898188869506e-219	-6.5582180480617695e-226	-1.909915866640199e-222
8	-3.3260857371803445e+155	-4.675996499956814e+152	-3.629137574162212e+153

Iters

Range

Point

8.452635886898758e+130

9.412684251322846e+131

1.4909071823923185e+131

-4.034898188869506e-219

-6.5582180480617695e-226

-1.909915866640199e-222

-3.3260857371803445e+155

-4.675996499956814e+152

-3.629137574162212e+153

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	53
1	37	53
done	37	53

end0.0ms

sample1.7s

Algorithm

intervals

Results

311.0ms	5928×	body	80	valid
290.0ms	1002×	body	2560	valid
234.0ms	948×	body	1280	valid
152.0ms	2952×	body	80	nan
87.0ms	422×	body	640	valid
37.0ms	235×	body	320	valid
35.0ms	101×	body	5120	valid
9.0ms	99×	body	160	valid

Details

sample79.0ms

simplify25.0ms

prune12.0ms

localize11.0ms

rewrite38.0ms

series72.0ms

simplify1.1min

prune150.0ms

localize15.0ms

rewrite36.0ms

series66.0ms

simplify1.5min

prune123.0ms

localize10.0ms

rewrite31.0ms

series93.0ms

simplify1.2min

prune134.0ms

localize11.0ms

rewrite34.0ms

series78.0ms

simplify1.4min

prune153.0ms

regimes312.0ms

bsearch97.0ms

simplify3.0ms

end0.0ms

sample1.7s

Profiling