Details

sample80.0ms

Algorithm

intervals

Results

25.0ms	36×	body	1280	valid
11.0ms	179×	body	80	valid
10.0ms	34×	body	2560	valid
5.0ms	100×	body	80	nan
3.0ms	16×	body	640	valid
1.0ms	6×	body	320	valid
1.0ms	2×	body	5120	valid
0.0ms	1×	body	160	valid

simplify25.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	13
1	18	13
2	32	13
3	40	13
4	42	13
done	42	13

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 33.5b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

17.0ms	(/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
10.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
4.0ms	(- (* b_2 b_2) (* a c))
6.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series69.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
16.0ms	(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
8.0ms	(- (* b_2 b_2) (* a c))
25.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.1min

Counts

103 → 103

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	12	14
1	21	13
2	35	12
3	41	12
4	45	12
5	50	12
6	59	12
7	76	12
8	91	12
9	98	12
10	103	12
11	114	12
12	137	12
13	140	12
done	140	12
0	11	13
1	19	12
2	32	12
3	42	12
4	46	12
5	55	12
6	68	12
7	90	12
8	97	12
9	102	12
10	113	12
11	136	12
12	144	12
done	144	12
0	10	12
1	15	12
2	25	12
3	27	12
done	27	12
0	10	12
1	18	12
2	33	12
3	45	12
4	56	12
5	69	12
6	91	12
7	98	12
8	103	12
9	114	12
10	137	12
11	146	12
done	146	12
0	11	25
1	16	25
2	26	25
3	28	25
done	28	25
0	10	12
1	15	12
2	25	12
3	27	12
done	27	12
0	11	35
1	17	35
2	41	13
3	113	13
4	361	13
5	1150	13
6	3249	13
done	5000	13
0	10	12
1	15	12
2	25	12
3	27	12
done	27	12
0	10	12
1	15	12
2	25	12
3	27	12
done	27	12
0	12	15
1	32	15
2	73	15
3	148	15
4	401	15
5	1070	15
6	3896	15
done	5000	15
0	13	35
1	29	23
2	67	22
3	159	20
4	279	18
5	409	18
6	547	18
7	562	18
done	562	18
0	8	9
1	11	9
2	18	9
done	18	9
0	11	23
1	23	11
2	54	11
3	130	5
4	246	3
5	882	3
done	5001	3
0	9	11
1	13	11
2	21	10
done	21	10
0	11	13
1	15	13
2	22	13
done	22	13
0	11	13
1	16	13
2	24	13
done	24	13
0	11	13
1	15	13
2	22	13
done	22	13
0	11	13
1	16	13
2	24	13
done	24	13
0	9	11
1	14	11
2	24	11
3	26	11
done	26	11
0	9	11
1	14	11
2	24	11
3	26	11
done	26	11
0	8	10
1	12	10
2	19	10
done	19	10
0	8	9
1	11	9
2	18	9
done	18	9
0	12	15
1	19	15
2	30	15
3	32	15
done	32	15
0	11	14
1	22	14
2	38	14
3	47	14
4	49	14
done	49	14
0	11	14
1	19	14
2	36	14
3	49	14
4	63	14
5	74	14
6	87	14
7	109	14
8	118	14
9	127	14
10	144	14
11	155	14
12	156	14
done	156	14
0	14	41
1	28	41
2	85	17
3	265	15
4	968	15
5	4254	15
done	5001	15
0	12	29
1	20	29
2	34	29
3	42	29
4	44	29
done	44	29
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	12	41
1	27	41
2	69	15
3	226	15
4	1010	15
5	4053	15
done	5000	15
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	10	12
1	15	12
2	28	12
3	32	10
done	32	10
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	8	10
1	11	10
2	18	10
done	18	10
0	14	31
1	25	31
2	44	31
3	52	31
done	52	31
0	12	15
1	17	15
2	27	15
3	29	15
done	29	15
0	13	28
1	20	28
2	32	28
3	35	28
done	35	28
0	12	15
1	17	15
2	27	15
3	29	15
done	29	15
0	13	27
1	22	25
2	38	25
3	45	25
done	45	25
0	11	14
1	16	14
2	26	14
3	28	14
done	28	14
0	13	18
1	20	18
2	30	18
3	32	18
done	32	18
0	12	15
1	17	15
2	27	15
3	29	15
done	29	15
0	12	15
1	17	15
2	27	15
3	29	15
done	29	15
0	12	15
1	17	15
2	27	15
3	29	15
done	29	15
0	12	14
1	19	12
2	31	12
3	33	12
done	33	12
0	11	14
1	16	14
2	26	14
3	28	14
done	28	14
0	5	7
1	9	7
done	9	7
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	4	4
1	6	4
done	6	4
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	2	3
1	4	1
done	4	1
0	10	13
1	18	13
2	32	13
3	40	13
4	42	13
done	42	13
0	14	19
1	20	19
2	27	19
done	27	19
0	13	16
1	21	16
2	31	16
3	33	16
done	33	16
0	13	16
1	17	16
2	24	16
done	24	16
0	13	16
1	21	16
2	31	16
3	33	16
done	33	16
0	13	15
1	19	13
2	28	13
done	28	13
0	12	15
1	20	15
2	30	15
3	32	15
done	32	15
0	14	19
1	20	19
2	27	19
done	27	19
0	13	16
1	21	16
2	31	16
3	33	16
done	33	16
0	13	16
1	17	16
2	24	16
done	24	16
0	13	16
1	21	16
2	31	16
3	33	16
done	33	16
0	13	15
1	19	13
2	28	13
done	28	13
0	12	15
1	20	15
2	30	15
3	32	15
done	32	15
0	5	7
1	9	7
done	9	7
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	4	4
1	6	4
done	6	4
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	2	3
1	4	1
done	4	1
0	10	13
1	18	13
2	32	13
3	40	13
4	42	13
done	42	13
0	5	7
1	9	7
done	9	7
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	4	4
1	6	4
done	6	4
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	2	3
1	4	1
done	4	1
0	10	13
1	18	13
2	32	13
3	40	13
4	42	13
done	42	13
0	3	3
1	5	3
done	5	3
0	10	13
1	15	13
2	25	13
3	27	13
done	27	13
0	12	17
1	22	17
2	41	17
3	57	17
4	66	17
5	69	17
done	69	17
0	11	14
1	19	14
2	33	14
3	41	14
4	43	14
done	43	14
0	11	13
1	21	11
2	37	11
3	49	11
4	51	11
done	51	11
0	11	14
1	16	14
2	26	14
3	28	14
done	28	14
0	11	14
1	16	14
2	26	14
3	28	14
done	28	14
0	10	13
1	15	13
2	25	13
3	27	13
done	27	13
0	12	15
1	17	15
2	25	15
done	25	15
0	12	15
1	17	15
2	25	15
done	25	15
0	10	13
1	15	13
2	25	13
3	27	13
done	27	13
0	10	13
1	15	13
2	25	13
3	27	13
done	27	13
0	14	37
1	37	25
2	104	24
3	263	22
4	531	20
5	944	20
6	1396	20
7	1575	20
8	1582	20
done	1582	20
0	10	13
1	21	13
2	34	12
3	37	12
done	37	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	120	13
4	168	13
5	221	13
6	374	13
7	583	13
8	942	13
9	1893	13
done	5000	13
0	10	11
1	19	11
2	41	11
3	62	11
4	91	11
5	102	11
done	102	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	14	17
1	31	17
2	73	17
3	141	17
4	236	17
5	334	15
6	486	15
7	1088	15
8	1780	15
9	2855	15
done	5001	15
0	10	11
1	18	11
2	34	11
3	51	11
4	63	11
5	66	11
done	66	11
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune172.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	11	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	11	104

Merged error: 5.5b

Counts

104 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

1.4b	(- (* b_2 b_2) (* a c))
4.4b	(/ (/ (* c a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
9.7b	(/ (* c a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

66×	`times-frac`
53×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
28×	`add-cube-cbrt`
18×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
12×	`difference-of-squares`
10×	`associate-/r/`
9×	`associate-/r*` `sqrt-prod`
7×	`cbrt-undiv` `flip3--` `div-exp` `flip--`
6×	`div-inv` `distribute-lft-out--` `add-log-exp`
5×	`pow1`
2×	`frac-2neg` `sqrt-div` `prod-exp` `clear-num` `cbrt-unprod`
1×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log` `associate-/l/`

Counts

4 → 124

Calls

4 calls:

4.0ms	(- (* b_2 b_2) (* a c))
14.0ms	(/ (/ (* c a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
12.0ms	(/ (* c a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series149.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (* b_2 b_2) (* a c))
57.0ms	(/ (/ (* c a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
65.0ms	(/ (* c a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
15.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify3.3min

Counts

136 → 136

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	13	17
1	23	17
2	38	17
3	44	17
4	50	17
5	59	17
6	72	17
7	90	17
8	106	17
9	113	17
10	130	17
11	132	17
done	132	17
0	12	16
1	21	16
2	35	16
3	44	16
4	47	16
5	53	16
6	62	16
7	75	16
8	93	16
9	109	16
10	116	16
11	133	16
12	135	16
done	135	16
0	11	15
1	20	15
2	43	15
3	67	15
4	87	15
5	97	15
6	109	15
7	127	15
8	143	15
9	150	15
10	167	15
11	169	15
done	169	15
0	11	15
1	17	15
2	32	15
3	42	15
4	55	15
5	70	15
6	103	15
7	194	15
8	416	15
9	1076	15
10	4225	15
done	5001	15
0	16	44
1	36	44
2	151	20
3	630	20
4	2603	18
done	5000	18
0	14	44
1	36	44
2	157	18
3	766	16
4	3002	16
done	5000	16
0	12	31
1	18	31
2	33	31
3	41	31
4	46	31
5	48	31
done	48	31
0	11	15
1	17	15
2	32	15
3	40	15
4	45	15
5	47	15
done	47	15
0	12	44
1	25	44
2	77	16
3	265	16
4	1110	16
5	4036	16
done	5000	16
0	11	15
1	17	15
2	32	15
3	40	15
4	45	15
5	47	15
done	47	15
0	11	15
1	17	15
2	32	15
3	40	15
4	45	15
5	47	15
done	47	15
0	4	4
1	9	4
2	11	4
done	11	4
0	9	11
1	14	11
2	25	11
3	27	11
4	28	10
done	28	10
0	11	25
1	18	25
2	26	25
done	26	25
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	10	13
1	15	13
2	23	13
done	23	13
0	3	3
1	5	1
done	5	1
0	9	12
1	14	12
2	22	12
done	22	12
0	11	14
1	15	14
2	22	14
done	22	14
0	11	14
1	16	14
2	24	14
done	24	14
0	11	14
1	15	14
2	22	14
done	22	14
0	11	14
1	16	14
2	24	14
done	24	14
0	3	3
1	5	1
done	5	1
0	9	12
1	14	12
2	22	12
done	22	12
0	10	12
1	17	12
2	25	12
done	25	12
0	10	14
1	19	14
2	40	14
3	48	14
4	54	14
5	55	14
done	55	14
0	12	27
1	23	27
2	45	27
3	58	27
4	62	27
done	62	27
0	11	15
1	17	15
2	29	15
3	32	15
4	33	15
done	33	15
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	16
1	17	16
2	28	16
3	31	16
4	32	16
done	32	16
0	12	16
1	17	16
2	28	16
3	31	16
4	32	16
done	32	16
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	9	12
1	17	12
2	27	12
3	29	12
done	29	12
0	13	18
1	31	18
2	67	18
3	141	18
4	357	18
5	1106	18
6	4809	18
done	5000	18
0	11	25
1	20	15
2	59	15
3	135	15
4	255	9
5	448	6
6	1589	4
done	5001	4
0	14	20
1	28	20
2	61	20
3	112	20
4	167	16
5	251	14
6	891	14
7	3117	14
done	5001	14
0	14	19
1	26	19
2	52	19
3	99	19
4	153	16
5	219	14
6	787	14
7	3124	14
done	5000	14
0	13	18
1	24	18
2	51	18
3	103	18
4	191	18
5	255	15
6	325	13
7	1021	13
8	3863	13
done	5000	13
0	12	17
1	23	17
2	68	17
3	140	15
4	273	13
5	1024	13
6	4125	13
done	5000	13
0	12	17
1	20	17
2	55	17
3	96	15
4	151	13
5	455	13
6	2471	13
done	5000	13
0	17	50
1	41	50
2	208	24
3	1514	18
done	5000	18
0	17	50
1	43	50
2	212	22
3	1679	20
done	5001	20
0	15	50
1	36	50
2	133	20
3	726	18
done	5000	18
0	13	35
1	21	35
2	56	35
3	93	31
4	133	27
5	378	27
6	1930	27
done	5000	27
0	12	17
1	20	17
2	55	17
3	92	15
4	132	13
5	376	13
6	1937	13
done	5001	13
0	13	50
1	28	50
2	100	18
3	485	16
4	3769	14
done	5001	14
0	12	17
1	20	17
2	55	17
3	92	15
4	132	13
5	376	13
6	1937	13
done	5001	13
0	12	17
1	20	17
2	55	17
3	92	15
4	132	13
5	376	13
6	1937	13
done	5001	13
0	11	15
1	18	15
2	34	15
3	52	15
4	71	15
5	80	15
6	84	15
done	84	15
0	2	2
done	2	2
0	15	37
1	27	37
2	51	37
3	65	37
4	70	37
5	72	37
done	72	37
0	13	18
1	19	18
2	34	18
3	42	18
4	47	18
5	49	18
done	49	18
0	14	34
1	22	34
2	39	34
3	48	34
4	53	34
5	55	34
done	55	34
0	13	18
1	19	18
2	34	18
3	42	18
4	47	18
5	49	18
done	49	18
0	14	33
1	24	31
2	45	31
3	58	31
4	63	31
5	65	31
done	65	31
0	12	17
1	18	17
2	33	17
3	41	17
4	46	17
5	48	17
done	48	17
0	14	21
1	22	21
2	37	21
3	45	21
4	50	21
5	52	21
done	52	21
0	13	18
1	19	18
2	34	18
3	42	18
4	47	18
5	49	18
done	49	18
0	13	18
1	19	18
2	34	18
3	42	18
4	47	18
5	49	18
done	49	18
0	13	18
1	19	18
2	34	18
3	42	18
4	47	18
5	49	18
done	49	18
0	13	17
1	21	15
2	38	15
3	46	15
4	51	15
5	53	15
done	53	15
0	12	17
1	18	17
2	33	17
3	41	17
4	46	17
5	48	17
done	48	17
0	14	31
1	25	31
2	45	31
3	72	31
4	76	31
done	76	31
0	12	16
1	19	16
2	30	16
done	30	16
0	13	28
1	22	28
2	36	28
3	44	28
done	44	28
0	12	16
1	19	16
2	30	16
done	30	16
0	13	27
1	24	25
2	42	25
3	58	25
done	58	25
0	11	15
1	18	15
2	29	15
3	30	13
4	32	13
done	32	13
0	13	19
1	22	19
2	36	19
3	42	19
done	42	19
0	12	16
1	19	16
2	30	16
done	30	16
0	12	16
1	19	16
2	30	16
done	30	16
0	12	16
1	19	16
2	30	16
done	30	16
0	12	15
1	21	13
2	36	13
3	38	13
done	38	13
0	11	15
1	18	15
2	29	15
3	30	13
4	32	13
done	32	13
0	7	9
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	11	15
1	18	15
2	35	15
3	40	15
4	44	15
done	44	15
0	6	6
1	10	4
2	12	4
3	16	4
done	16	4
0	11	15
1	18	15
2	35	15
3	40	15
4	44	15
done	44	15
0	4	5
1	8	1
done	8	1
0	10	14
1	17	14
2	34	14
3	40	12
4	45	12
done	45	12
0	14	20
1	22	20
2	43	20
3	61	20
done	61	20
0	13	17
1	20	17
2	37	17
3	42	17
4	46	17
done	46	17
0	13	17
1	19	17
2	37	17
done	37	17
0	13	17
1	20	17
2	37	17
3	42	17
4	46	17
done	46	17
0	13	16
1	21	14
2	43	14
3	53	14
done	53	14
0	12	16
1	19	16
2	36	16
3	42	14
4	47	14
done	47	14
0	14	20
1	22	20
2	43	20
3	61	20
done	61	20
0	13	17
1	20	17
2	37	17
3	42	17
4	46	17
done	46	17
0	13	17
1	19	17
2	37	17
done	37	17
0	13	17
1	20	17
2	37	17
3	42	17
4	46	17
done	46	17
0	13	16
1	21	14
2	43	14
3	53	14
done	53	14
0	12	16
1	19	16
2	36	16
3	42	14
4	47	14
done	47	14
0	7	9
1	13	7
2	17	7
3	27	7
4	28	7
done	28	7
0	11	15
1	18	15
2	35	15
3	40	15
4	44	15
done	44	15
0	6	6
1	10	4
2	12	4
3	16	4
done	16	4
0	11	15
1	18	15
2	35	15
3	40	15
4	44	15
done	44	15
0	4	5
1	8	1
done	8	1
0	10	14
1	17	14
2	34	14
3	40	12
4	45	12
done	45	12
0	5	7
1	9	7
done	9	7
0	12	17
1	20	17
2	55	17
3	92	17
4	132	17
5	172	17
6	206	17
7	222	17
8	225	17
done	225	17
0	4	4
1	6	4
done	6	4
0	12	17
1	20	17
2	55	17
3	92	17
4	132	17
5	172	17
6	206	17
7	222	17
8	225	17
done	225	17
0	2	3
1	4	1
done	4	1
0	11	16
1	19	16
2	54	16
3	91	14
4	131	12
5	375	12
6	1932	12
done	5000	12
0	6	9
1	14	9
2	28	9
3	41	9
4	45	9
done	45	9
0	12	15
1	21	15
2	38	15
3	43	15
4	47	15
done	47	15
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	12	15
1	21	15
2	38	15
3	43	15
4	47	15
done	47	15
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	11	14
1	20	14
2	37	14
3	42	14
4	45	14
done	45	14
0	16	24
1	38	24
2	99	24
3	297	24
4	974	24
5	3574	24
done	5000	24
0	13	35
1	23	23
2	48	23
3	85	21
4	152	21
5	278	21
6	575	21
7	888	21
8	1276	21
9	1504	21
10	1588	21
11	1599	21
done	1599	21
0	15	21
1	35	21
2	91	21
3	237	21
4	657	21
5	2354	21
done	5000	21
0	13	35
1	23	23
2	48	23
3	85	21
4	152	21
5	278	21
6	575	21
7	888	21
8	1276	21
9	1504	21
10	1588	21
11	1599	21
done	1599	21
0	15	20
1	37	18
2	97	18
3	254	18
4	725	18
5	2267	18
done	5000	18
0	12	34
1	22	22
2	47	22
3	84	20
4	151	20
5	277	20
6	575	18
7	957	18
8	1780	18
9	4210	18
done	5000	18
0	14	31
1	27	21
2	93	21
3	328	21
4	974	15
5	2257	12
done	5000	12
0	10	13
1	14	13
2	21	13
done	21	13
0	13	28
1	24	18
2	85	18
3	247	18
4	618	12
5	1243	9
6	3747	7
done	5001	7
0	10	13
1	14	13
2	21	13
done	21	13
0	13	27
1	26	15
2	91	15
3	269	15
4	665	9
5	1302	4
6	3395	4
done	5001	4
0	9	12
1	13	12
2	20	12
done	20	12
0	3	3
1	5	3
done	5	3
0	11	16
1	19	16
2	48	16
3	109	14
4	198	12
5	494	12
6	1261	12
7	4138	12
done	5000	12
0	13	20
1	23	20
2	63	20
3	146	20
4	263	20
5	383	20
6	505	20
7	594	20
8	632	20
done	632	20
0	12	17
1	20	17
2	55	17
3	92	17
4	132	17
5	172	17
6	206	17
7	222	17
8	225	17
done	225	17
0	12	16
1	22	14
2	61	14
3	109	14
4	153	14
5	219	14
6	266	14
7	302	14
8	308	14
9	310	14
done	310	14
0	12	17
1	18	17
2	33	17
3	41	17
4	46	17
5	48	17
done	48	17
0	12	17
1	18	17
2	33	17
3	41	17
4	46	17
5	48	17
done	48	17
0	11	15
1	18	15
2	30	13
3	33	11
4	59	11
5	164	11
6	567	11
7	3753	11
done	5000	11
0	11	15
1	18	15
2	30	13
3	33	11
4	59	11
5	164	11
6	567	11
7	3753	11
done	5000	11
0	10	14
1	17	14
2	35	12
3	51	10
4	106	10
5	259	10
6	821	10
done	5000	10
0	12	16
1	19	16
2	37	14
3	53	12
4	108	12
5	265	12
6	824	12
done	5001	12
0	12	16
1	19	16
2	37	14
3	53	12
4	108	12
5	265	12
6	824	12
done	5001	12
0	10	14
1	17	14
2	35	12
3	51	10
4	106	10
5	259	10
6	821	10
done	5000	10
0	11	16
1	19	16
2	48	16
3	109	14
4	198	12
5	494	12
6	1261	12
7	4138	12
done	5000	12
0	11	14
1	20	14
2	37	12
3	48	12
4	61	12
5	79	12
6	97	12
7	107	12
8	125	12
9	132	12
10	136	12
11	144	12
12	161	12
13	180	12
done	180	12
0	12	34
1	22	22
2	47	22
3	78	20
4	125	20
5	208	20
6	380	20
7	493	20
8	597	20
9	637	20
10	647	20
done	647	20
0	9	12
1	13	12
2	20	12
done	20	12
0	9	12
1	15	12
2	29	12
3	34	12
4	37	12
done	37	12
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	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	3	3
1	4	3
done	4	3
0	15	23
1	40	23
2	116	23
3	297	23
4	997	21
5	4128	19
done	5001	19
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	16	25
1	44	25
2	158	25
3	378	25
4	1162	21
5	4372	21
done	5000	21
0	1	1
done	1	1
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

prune186.0ms

Filtered

111 candidates to 136 candidates (-22.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	131	5	136
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	138	9	147

Merged error: 5.4b

Counts

147 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
0.8b	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
1.4b	(- (* b_2 b_2) (* a c))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite30.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` `associate-/r*` `add-cbrt-cube`
5×	`pow1` `distribute-lft-out--`
4×	`flip3--` `flip--`
3×	`associate-/l*`
2×	`sub-neg` `sqrt-div` `diff-log` `associate-/r/`
1×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `div-exp` `clear-num` `div-inv`

Counts

4 → 83

Calls

4 calls:

10.0ms	(/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
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)))

series98.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ c (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
15.0ms	(- (sqrt (- (* b_2 b_2) (* a c))) b_2)
9.0ms	(- (* b_2 b_2) (* a c))
15.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.1min

Counts

95 → 95

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	18	13
2	28	13
3	29	13
done	29	13
0	10	13
1	15	13
2	23	13
done	23	13
0	13	38
1	27	38
2	79	16
3	187	14
4	406	14
5	1149	14
6	4588	14
done	5000	14
0	11	27
1	16	27
2	24	27
done	24	27
0	10	13
1	15	13
2	23	13
done	23	13
0	11	38
1	23	38
2	47	14
3	91	14
4	187	14
5	432	14
6	1042	14
7	3083	14
done	5001	14
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	2	2
done	2	2
0	9	11
1	14	11
2	25	11
3	27	11
4	28	10
done	28	10
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	17
1	19	17
2	29	17
3	30	17
done	30	17
0	11	14
1	16	14
2	24	14
done	24	14
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	13
1	15	13
2	23	13
done	23	13
0	13	18
1	19	18
2	28	18
3	29	18
done	29	18
0	12	15
1	17	15
2	25	15
done	25	15
0	13	18
1	19	18
2	28	18
3	29	18
done	29	18
0	12	15
1	17	15
2	25	15
done	25	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	13
1	15	13
2	23	13
done	23	13
0	12	26
1	19	26
2	27	26
done	27	26
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	4	4
1	6	2
2	8	2
done	8	2
0	10	13
1	15	13
2	23	13
done	23	13
0	12	15
1	16	15
2	23	15
done	23	15
0	12	15
1	17	15
2	25	15
done	25	15
0	12	15
1	16	15
2	23	15
done	23	15
0	12	15
1	17	15
2	25	15
done	25	15
0	4	4
1	6	2
2	8	2
done	8	2
0	10	13
1	15	13
2	23	13
done	23	13
0	12	25
1	21	25
2	29	25
done	29	25
0	10	13
1	15	13
2	23	13
done	23	13
0	11	13
1	18	13
2	26	13
done	26	13
0	10	13
1	15	13
2	23	13
done	23	13
0	2	3
1	4	1
done	4	1
0	9	12
1	14	12
2	22	12
done	22	12
0	12	14
1	18	14
2	25	14
done	25	14
0	11	14
1	16	14
2	24	14
done	24	14
0	12	14
1	18	14
2	25	14
done	25	14
0	11	14
1	16	14
2	24	14
done	24	14
0	2	3
1	4	1
done	4	1
0	9	12
1	14	12
2	22	12
done	22	12
0	10	12
1	17	12
2	25	12
done	25	12
0	9	12
1	17	12
2	27	12
3	29	12
done	29	12
0	11	25
1	18	25
2	26	25
done	26	25
0	10	13
1	15	13
2	23	13
done	23	13
0	3	3
1	5	1
done	5	1
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	3	3
1	5	1
done	5	1
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	12
1	17	12
2	27	12
3	29	12
done	29	12
0	12	16
1	29	16
2	58	16
3	103	16
4	231	16
5	604	16
6	2466	16
done	5000	16
0	10	23
1	18	13
2	43	13
3	77	13
4	123	7
5	207	6
6	980	6
done	5000	6
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	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	11	14
1	25	14
2	65	14
3	133	14
4	303	14
5	1080	14
6	4925	14
done	5000	14
0	5	5
1	9	4
2	14	4
3	18	4
4	19	4
done	19	4

prune123.0ms

Filtered

71 candidates to 95 candidates (-33.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	95	9	104

Merged error: 5.4b

Counts

104 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (sqrt (- (* b_2 b_2) (* a c))) a)
1.4b	(- (* b_2 b_2) (* a c))
6.6b	(- (/ (neg b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
23.4b	(sqrt (- (* b_2 b_2) (* a c)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
37×	`times-frac`
24×	`add-cube-cbrt`
17×	`sqrt-prod`
8×	`add-log-exp`
7×	`distribute-lft-out--`
6×	`add-exp-log` `add-cbrt-cube` `associate-/l*` `difference-of-squares`
5×	`pow1`
4×	`flip3--` `sqrt-div` `flip--`
3×	`distribute-rgt-neg-in` `associate-/r*` `div-inv`
2×	`sub-neg` `diff-log` `associate-/l/`
1×	`cbrt-undiv` `associate--l-` `neg-sub0` `rem-sqrt-square` `distribute-rgt-out--` `frac-2neg` `sqrt-pow1` `pow1/2` `div-sub` `div-exp` `clear-num` `frac-sub` `sub-div`

Counts

4 → 97

Calls

4 calls:

7.0ms	(/ (sqrt (- (* b_2 b_2) (* a c))) a)
5.0ms	(- (* b_2 b_2) (* a c))
39.0ms	(- (/ (neg b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
4.0ms	(sqrt (- (* b_2 b_2) (* a c)))

series75.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ (sqrt (- (* b_2 b_2) (* a c))) a)
9.0ms	(- (* b_2 b_2) (* a c))
19.0ms	(- (/ (neg b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
14.0ms	(sqrt (- (* b_2 b_2) (* a c)))

simplify1.1min

Counts

109 → 109

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	13	17
1	20	16
2	32	16
3	43	16
4	53	16
5	62	16
6	75	16
7	97	16
8	106	16
9	115	16
10	129	16
11	138	16
12	139	16
done	139	16
0	12	16
1	19	16
2	31	16
3	33	16
done	33	16
0	12	16
1	22	16
2	39	16
3	51	16
4	62	16
5	75	16
6	97	16
7	106	16
8	115	16
9	129	16
10	140	16
11	141	16
done	141	16
0	13	33
1	20	33
2	32	33
3	34	33
done	34	33
0	12	16
1	19	16
2	31	16
3	33	16
done	33	16
0	13	47
1	21	47
2	47	17
3	135	17
4	514	17
5	2022	17
done	5000	17
0	12	16
1	19	16
2	31	16
3	33	16
done	33	16
0	12	16
1	19	16
2	31	16
3	33	16
done	33	16
0	9	11
1	14	11
2	24	11
3	26	11
done	26	11
0	11	15
1	20	15
2	39	13
3	51	13
4	57	13
done	57	13
0	2	3
done	2	3
0	14	19
1	39	19
2	114	19
3	335	19
4	1110	19
5	4172	19
done	5000	19
0	15	47
1	39	36
2	96	33
3	176	31
4	306	30
5	457	28
6	842	26
7	1541	22
8	2393	22
done	5000	22
0	9	11
1	14	11
2	21	11
done	21	11
0	13	31
1	31	31
2	72	29
3	149	19
4	296	19
5	529	19
6	1036	7
7	2174	3
done	5001	3
0	11	15
1	17	15
2	25	14
done	25	14
0	13	17
1	19	17
2	26	17
done	26	17
0	13	17
1	20	17
2	28	17
done	28	17
0	14	18
1	20	18
2	27	18
done	27	18
0	14	18
1	21	18
2	31	18
done	31	18
0	14	18
1	20	18
2	27	18
done	27	18
0	14	18
1	21	18
2	31	18
done	31	18
0	14	18
1	18	18
2	25	18
done	25	18
0	14	18
1	19	18
2	27	18
done	27	18
0	14	19
1	18	19
2	25	19
done	25	19
0	14	19
1	19	19
2	29	19
done	29	19
0	14	19
1	18	19
2	25	19
done	25	19
0	14	19
1	19	19
2	29	19
done	29	19
0	12	17
1	19	17
2	31	17
3	33	17
done	33	17
0	12	17
1	19	17
2	31	17
3	33	17
done	33	17
0	11	15
1	18	15
2	30	15
3	32	15
done	32	15
0	12	17
1	19	17
2	31	17
3	33	17
done	33	17
0	12	17
1	19	17
2	31	17
3	33	17
done	33	17
0	11	15
1	18	15
2	30	15
3	32	15
done	32	15
0	11	15
1	18	15
2	30	15
3	32	15
done	32	15
0	9	11
1	14	11
2	24	11
3	26	11
done	26	11
0	10	14
1	14	14
2	21	14
done	21	14
0	9	11
1	14	11
2	21	11
done	21	11
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	12
2	23	12
done	23	12
0	9	11
1	15	11
2	24	11
3	25	11
done	25	11
0	9	11
1	12	11
2	19	11
done	19	11
0	12	32
1	24	22
2	76	14
3	207	12
4	501	12
5	1311	12
done	5000	12
0	10	23
1	13	23
2	20	23
done	20	23
0	9	11
1	12	11
2	19	11
done	19	11
0	10	32
1	20	32
2	43	12
3	81	12
4	164	12
5	345	12
6	806	12
7	1961	12
done	5001	12
0	9	11
1	12	11
2	19	11
done	19	11
0	9	11
1	12	11
2	19	11
done	19	11
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
done	2	2
0	12	25
1	21	25
2	37	25
3	43	25
done	43	25
0	10	12
1	13	12
2	20	12
done	20	12
0	11	22
1	16	22
2	25	22
3	26	22
done	26	22
0	10	12
1	13	12
2	20	12
done	20	12
0	11	21
1	18	19
2	31	19
3	36	19
done	36	19
0	9	11
1	12	11
2	19	11
done	19	11
0	12	24
1	18	15
2	25	15
done	25	15
0	10	12
1	13	12
2	20	12
done	20	12
0	11	21
1	15	12
2	22	12
done	22	12
0	10	12
1	13	12
2	20	12
done	20	12
0	11	20
1	17	9
2	26	9
done	26	9
0	9	11
1	12	11
2	19	11
done	19	11
0	11	15
1	16	15
2	23	15
done	23	15
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	11
1	15	9
2	24	9
done	24	9
0	9	11
1	12	11
2	19	11
done	19	11
0	6	8
1	10	7
done	10	7
0	9	11
1	12	11
2	19	11
done	19	11
0	5	5
1	7	4
done	7	4
0	9	11
1	12	11
2	19	11
done	19	11
0	3	4
1	5	1
done	5	1
0	8	10
1	11	10
2	18	10
done	18	10
0	11	15
1	16	15
2	23	15
done	23	15
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	11
1	15	9
2	24	9
done	24	9
0	9	11
1	12	11
2	19	11
done	19	11
0	5	7
1	9	7
done	9	7
0	9	11
1	12	11
2	19	11
done	19	11
0	4	4
1	6	4
done	6	4
0	9	11
1	12	11
2	19	11
done	19	11
0	2	3
1	4	1
done	4	1
0	8	10
1	11	10
2	18	10
done	18	10
0	3	3
1	5	3
done	5	3
0	8	10
1	11	10
2	18	10
done	18	10
0	10	14
1	15	14
2	22	14
done	22	14
0	9	11
1	12	11
2	19	11
done	19	11
0	9	10
1	14	8
2	23	8
done	23	8
0	9	11
1	12	11
2	19	11
done	19	11
0	9	11
1	12	11
2	19	11
done	19	11
0	9	11
1	12	11
2	19	11
done	19	11
0	8	10
1	11	10
2	18	10
done	18	10
0	9	11
1	12	11
2	19	11
done	19	11
0	8	10
1	11	10
2	18	10
done	18	10
0	12	26
1	36	22
2	78	20
3	115	18
4	135	18
5	162	18
6	248	18
7	510	18
8	1587	18
done	5000	18
0	8	10
1	11	10
done	11	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	14	17
1	31	17
2	73	17
3	141	17
4	236	17
5	334	15
6	486	15
7	1088	15
8	1780	15
9	2855	15
done	5001	15
0	10	11
1	18	11
2	34	11
3	51	11
4	63	11
5	66	11
done	66	11
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
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	21	25
1	54	25
2	164	25
3	508	25
4	1854	25
done	5000	25
0	8	9
1	13	9
2	26	9
3	39	9
4	50	9
5	53	9
done	53	9
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9

prune103.0ms

Filtered

81 candidates to 109 candidates (-34.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	109	9	118

Merged error: 5.4b

Counts

118 → 9

regimes320.0ms

Accuracy

96.2% (0.9b remaining)

Error of 6.5b against oracle of 5.6b and baseline of 29.6b

bsearch97.0ms

Steps

Iters	Range	Point
6	8.452635886898758e+130	9.412684251322846e+131	5.884206550924934e+131
8	1.689832870033217e-259	1.4734972961679326e-256	4.216496595601003e-259
8	-2.2176433678074068e+159	-3.3260857371803445e+155	-3.3793459694973726e+155

Iters

Range

Point

8.452635886898758e+130

9.412684251322846e+131

5.884206550924934e+131

1.689832870033217e-259

1.4734972961679326e-256

4.216496595601003e-259

-2.2176433678074068e+159

-3.3260857371803445e+155

-3.3793459694973726e+155

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	33	57
1	41	55
done	41	55

end0.0ms

sample1.6s

Algorithm

intervals

Results

307.0ms	1076×	body	2560	valid
293.0ms	5726×	body	80	valid
217.0ms	950×	body	1280	valid
141.0ms	2925×	body	80	nan
83.0ms	462×	body	640	valid
34.0ms	101×	body	5120	valid
32.0ms	234×	body	320	valid
10.0ms	108×	body	160	valid

Details

sample80.0ms

simplify25.0ms

prune5.0ms

localize12.0ms

rewrite42.0ms

series69.0ms

simplify1.1min

prune172.0ms

localize11.0ms

rewrite41.0ms

series149.0ms

simplify3.3min

prune186.0ms

localize10.0ms

rewrite30.0ms

series98.0ms

simplify1.1min

prune123.0ms

localize11.0ms

rewrite63.0ms

series75.0ms

simplify1.1min

prune103.0ms

regimes320.0ms

bsearch97.0ms

simplify4.0ms

end0.0ms

sample1.6s

Profiling