Details

sample68.0ms

Algorithm

intervals

Results

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

simplify91.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	28	17
2	63	17
3	114	17
4	130	17
5	136	17
6	139	17
done	139	17

prune4.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.4b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

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

series71.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) (* 2.0 a))
18.0ms	(- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))
10.0ms	(- (* b b) (* 4.0 (* a c)))
17.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify1.3min

Counts

89 → 89

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	61	23
done	61	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	213	12
5	264	12
6	289	12
7	349	12
8	550	12
9	1470	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	630	12
4	3245	12
done	5001	12
0	13	30
1	39	24
2	129	22
3	380	20
4	534	20
5	561	20
6	669	20
7	1013	20
8	2351	20
done	5000	20
0	11	20
1	31	20
2	99	18
3	378	16
4	1004	16
5	1412	16
6	1854	16
7	3074	16
done	5000	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	39	10
3	96	10
4	255	10
5	831	10
6	4970	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	105	10
4	215	10
5	657	10
6	2946	10
done	5000	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	916	11
5	4661	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	622	11
4	3139	11
done	5000	11
0	12	29
1	38	23
2	128	21
3	371	19
4	514	19
5	541	19
6	646	19
7	990	19
8	2334	19
done	5001	19
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1013	15
5	1427	15
6	1886	15
7	3039	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
4	54	6
done	54	6
0	14	16
1	26	15
2	50	14
3	81	14
4	89	14
5	94	14
6	103	14
7	120	14
8	135	14
9	142	14
10	147	14
11	158	14
12	181	14
13	191	14
done	191	14
0	13	15
1	24	14
2	47	14
3	84	14
4	90	14
5	99	14
6	112	14
7	134	14
8	141	14
9	146	14
10	157	14
11	180	14
12	183	14
done	183	14
0	12	14
1	20	14
2	40	14
3	67	14
4	71	14
done	71	14
0	12	14
1	23	14
2	48	14
3	85	14
4	100	14
5	113	14
6	135	14
7	142	14
8	147	14
9	158	14
10	181	14
11	185	14
done	185	14
0	13	29
1	21	29
2	41	29
3	68	29
4	72	29
done	72	29
0	12	14
1	20	14
2	40	14
3	67	14
4	71	14
done	71	14
0	13	41
1	22	41
2	56	15
3	155	15
4	407	15
5	1196	15
6	3289	15
done	5000	15
0	12	14
1	20	14
2	40	14
3	67	14
4	71	14
done	71	14
0	12	14
1	20	14
2	40	14
3	67	14
4	71	14
done	71	14
0	14	17
1	37	17
2	88	17
3	188	17
4	541	17
5	1471	17
6	4329	17
done	5000	17
0	15	41
1	34	27
2	82	26
3	199	24
4	323	22
5	453	22
6	607	22
7	684	22
done	684	22
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	13	27
1	28	13
2	69	13
3	177	7
4	342	5
5	998	5
done	5001	5
0	11	13
1	18	13
2	36	12
3	61	12
4	65	12
done	65	12
0	13	15
1	20	15
2	37	15
3	62	15
4	64	15
done	64	15
0	13	15
1	21	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	15
1	20	15
2	37	15
3	62	15
4	64	15
done	64	15
0	13	15
1	21	15
2	39	15
3	64	15
4	66	15
done	66	15
0	11	13
1	19	13
2	39	13
3	66	13
4	68	13
done	68	13
0	11	13
1	19	13
2	39	13
3	66	13
4	68	13
done	68	13
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	17	20
1	30	20
2	59	20
3	98	20
4	110	20
5	126	20
6	145	20
7	161	20
8	166	20
done	166	20
0	16	19
1	30	19
2	57	19
3	94	19
4	106	19
5	118	19
6	137	19
7	163	19
8	173	19
done	173	19
0	15	18
1	32	18
2	75	18
3	136	18
4	165	18
5	181	18
6	200	18
7	219	18
8	235	18
9	240	18
done	240	18
0	15	18
1	29	18
2	67	18
3	121	18
4	151	18
5	168	18
6	186	18
7	210	18
8	223	18
9	244	18
10	275	18
11	298	18
12	303	18
done	303	18
0	20	53
1	43	53
2	166	23
3	746	23
4	3719	21
done	5000	21
0	18	53
1	45	53
2	182	21
3	892	19
4	4332	19
done	5001	19
0	16	37
1	30	37
2	65	37
3	116	37
4	132	37
5	138	37
6	141	37
done	141	37
0	15	18
1	29	18
2	64	18
3	113	18
4	129	18
5	135	18
6	138	18
done	138	18
0	16	53
1	37	53
2	130	19
3	620	19
4	3508	19
done	5000	19
0	15	18
1	29	18
2	64	18
3	113	18
4	129	18
5	135	18
6	138	18
done	138	18
0	15	18
1	29	18
2	64	18
3	113	18
4	129	18
5	135	18
6	138	18
done	138	18
0	12	14
1	20	14
2	43	14
3	72	12
4	76	12
done	76	12
0	4	4
1	9	4
2	11	4
done	11	4
0	6	6
1	11	6
2	18	6
3	20	6
done	20	6
0	12	14
1	21	14
2	40	14
3	65	14
4	69	14
done	69	14
0	15	31
1	25	31
2	47	31
3	77	31
4	79	31
done	79	31
0	13	16
1	21	16
2	41	16
3	68	16
4	72	16
done	72	16
0	14	16
1	22	16
2	42	16
3	69	16
4	71	16
done	71	16
0	13	16
1	21	16
2	41	16
3	68	16
4	72	16
done	72	16
0	3	3
1	5	3
done	5	3
0	12	15
1	23	15
2	47	15
3	80	15
4	84	15
done	84	15
0	15	17
1	22	17
2	39	17
3	64	17
4	66	17
done	66	17
0	14	17
1	25	17
2	45	17
3	74	17
4	78	17
done	78	17
0	15	17
1	22	17
2	39	17
3	64	17
4	66	17
done	66	17
0	14	17
1	25	17
2	45	17
3	74	17
4	78	17
done	78	17
0	3	3
1	5	3
done	5	3
0	12	15
1	23	15
2	47	15
3	80	15
4	84	15
done	84	15
0	3	3
1	5	3
done	5	3
0	12	15
1	23	15
2	47	15
3	80	15
4	84	15
done	84	15
0	5	5
1	10	5
2	12	5
done	12	5
0	14	17
1	25	17
2	52	17
3	95	17
4	109	17
5	114	17
6	115	17
done	115	17
0	13	15
1	24	15
2	48	15
3	81	15
4	87	15
done	87	15
0	15	18
1	26	18
2	50	18
3	82	18
4	85	18
done	85	18
0	15	18
1	26	18
2	50	18
3	82	18
4	85	18
done	85	18
0	14	17
1	25	17
2	52	17
3	95	17
4	109	17
5	114	17
6	115	17
done	115	17
0	16	19
1	27	19
2	52	19
3	85	19
4	92	19
5	94	19
done	94	19
0	16	19
1	27	19
2	52	19
3	85	19
4	92	19
5	94	19
done	94	19
0	14	17
1	25	17
2	52	17
3	95	17
4	109	17
5	114	17
6	115	17
done	115	17
0	14	17
1	25	17
2	52	17
3	95	17
4	109	17
5	114	17
6	115	17
done	115	17
0	18	45
1	47	31
2	156	30
3	497	28
4	1178	26
5	2433	26
done	5000	26
0	14	17
1	31	17
2	80	16
3	129	16
4	150	16
done	150	16
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	120	13
4	168	13
5	197	13
6	296	13
7	580	13
8	930	13
9	1895	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	17	21
1	42	19
2	99	19
3	198	19
4	335	19
5	466	19
6	700	17
7	1351	17
8	2211	17
9	3320	17
done	5000	17
0	9	11
1	19	9
2	36	9
3	54	9
4	66	9
5	69	9
done	69	9
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune197.0ms

Filtered

68 candidates to 89 candidates (-30.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	79	11	90

Merged error: 5.5b

Counts

90 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-exp-log` `add-cbrt-cube`
30×	`times-frac`
28×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
17×	`cbrt-undiv` `div-exp`
13×	`prod-exp` `cbrt-unprod` `associate-/l*`
11×	`add-cube-cbrt`
8×	`difference-of-squares`
7×	`associate-/r*` `sqrt-prod`
6×	`associate-/r/` `add-log-exp`
5×	`pow1` `flip3--` `flip--`
4×	`div-inv` `distribute-lft-out--`
2×	`frac-2neg` `sqrt-div` `clear-num`
1×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log` `associate-/l/`

Counts

4 → 110

Calls

4 calls:

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

series155.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* 4.0 (* a c)))
56.0ms	(/ (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
72.0ms	(/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))
17.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify3.3min

Counts

122 → 122

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	61	23
done	61	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	213	12
5	264	12
6	289	12
7	349	12
8	550	12
9	1470	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	630	12
4	3245	12
done	5001	12
0	13	30
1	39	24
2	129	22
3	380	20
4	534	20
5	561	20
6	669	20
7	1013	20
8	2351	20
done	5000	20
0	11	20
1	31	20
2	99	18
3	378	16
4	1004	16
5	1412	16
6	1854	16
7	3074	16
done	5000	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	17	22
1	33	22
2	72	22
3	134	22
4	165	22
5	200	22
6	264	22
7	444	22
8	521	22
9	615	22
10	685	22
done	685	22
0	16	21
1	32	21
2	64	21
3	123	21
4	159	21
5	193	21
6	257	21
7	436	21
8	513	21
9	608	21
10	675	21
done	675	21
0	15	20
1	28	20
2	61	20
3	123	20
4	172	20
5	199	20
6	236	20
7	308	20
8	490	20
9	568	20
10	654	20
11	724	20
done	724	20
0	14	19
1	27	19
2	74	19
3	177	19
4	308	19
5	413	19
6	514	19
7	636	19
8	703	19
9	774	19
10	842	19
done	842	19
0	14	19
1	24	19
2	59	19
3	126	19
4	189	19
5	251	19
6	355	19
7	638	19
8	1362	19
9	3292	19
done	5001	19
0	21	56
1	50	56
2	229	26
3	1434	26
done	5000	26
0	19	56
1	51	56
2	225	24
3	1485	24
done	5000	24
0	17	56
1	43	56
2	237	22
3	1970	20
done	5000	20
0	15	39
1	25	39
2	60	39
3	125	39
4	174	39
5	202	39
6	207	39
done	207	39
0	14	19
1	24	19
2	59	19
3	124	19
4	173	19
5	201	19
6	206	19
done	206	19
0	15	56
1	32	56
2	116	20
3	582	20
4	3948	20
done	5000	20
0	14	19
1	24	19
2	59	19
3	124	19
4	173	19
5	201	19
6	206	19
done	206	19
0	14	19
1	24	19
2	59	19
3	124	19
4	173	19
5	201	19
6	206	19
done	206	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	11	13
1	19	13
2	40	13
3	67	13
4	72	12
done	72	12
0	14	31
1	29	31
2	61	31
3	100	31
4	106	31
done	106	31
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	13	17
1	23	17
2	45	17
3	73	17
4	76	17
done	76	17
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	14	18
1	23	18
2	44	18
3	72	18
4	75	18
done	75	18
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	14	18
1	23	18
2	44	18
3	72	18
4	75	18
done	75	18
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	12	14
1	22	14
2	40	14
3	65	14
4	67	14
done	67	14
0	13	18
1	26	18
2	74	18
3	151	18
4	183	18
5	191	18
6	192	18
done	192	18
0	15	33
1	30	33
2	83	33
3	192	33
4	291	33
5	319	33
done	319	33
0	14	19
1	24	19
2	56	19
3	104	19
4	125	19
5	136	19
done	136	19
0	7	7
1	15	5
2	35	5
3	71	5
4	136	5
5	176	5
done	176	5
0	15	20
1	24	20
2	55	20
3	103	20
4	128	20
5	139	20
done	139	20
0	15	20
1	24	20
2	55	20
3	103	20
4	128	20
5	139	20
done	139	20
0	7	7
1	15	5
2	35	5
3	71	5
4	136	5
5	176	5
done	176	5
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	16	22
1	38	22
2	94	22
3	251	22
4	807	22
5	2826	22
done	5000	22
0	14	31
1	27	19
2	92	19
3	290	19
4	701	13
5	1399	10
6	3880	4
done	5000	4
0	21	28
1	44	28
2	120	28
3	396	28
4	1108	28
5	2602	24
done	5001	24
0	21	27
1	44	27
2	111	27
3	321	27
4	848	27
5	2188	24
6	4444	22
done	5001	22
0	21	27
1	43	27
2	110	27
3	339	27
4	1017	27
5	2457	24
6	4848	22
done	5000	22
0	20	26
1	43	26
2	101	26
3	279	26
4	778	26
5	2076	24
6	4217	22
done	5001	22
0	20	26
1	40	26
2	99	26
3	288	26
4	952	26
5	2106	23
6	3967	21
done	5001	21
0	19	25
1	40	25
2	92	25
3	244	25
4	721	25
5	1780	25
6	3513	23
done	5000	23
0	19	25
1	37	25
2	99	25
3	282	25
4	974	25
5	2617	25
6	4763	22
done	5000	22
0	18	24
1	37	24
2	95	24
3	252	24
4	754	24
5	2166	24
6	4264	22
done	5000	22
0	17	23
1	35	23
2	125	23
3	543	23
4	1944	21
done	5000	19
0	17	23
1	32	23
2	106	23
3	458	23
4	1442	21
5	2823	19
done	5000	19
0	26	68
1	65	68
2	343	34
3	4359	34
done	5000	34
0	26	68
1	69	68
2	353	32
3	4473	32
done	5000	32
0	26	68
1	68	68
2	342	32
3	4369	32
done	5000	32
0	24	68
1	70	68
2	349	30
3	4452	30
done	5000	30
0	24	68
1	61	68
2	349	30
3	4783	28
done	5000	28
0	22	68
1	63	68
2	356	28
3	4886	26
done	5000	26
0	22	68
1	53	68
2	238	28
3	1966	28
done	5000	28
0	20	68
1	55	68
2	254	26
3	2143	24
done	5001	24
0	18	47
1	33	47
2	107	47
3	449	47
4	1366	43
5	2519	39
done	5000	39
0	17	23
1	32	23
2	106	23
3	450	23
4	1361	21
5	2540	19
done	5001	19
0	18	68
1	40	68
2	181	24
3	1506	24
done	5001	24
0	17	23
1	32	23
2	106	23
3	450	23
4	1361	21
5	2540	19
done	5001	19
0	17	23
1	32	23
2	106	23
3	450	23
4	1361	21
5	2540	19
done	5001	19
0	14	19
1	25	19
2	61	19
3	143	19
4	271	19
5	398	19
6	448	19
7	458	19
done	458	19
0	4	4
1	9	4
2	11	4
done	11	4
0	17	41
1	29	41
2	66	41
3	132	41
4	181	41
5	209	41
6	214	41
done	214	41
0	15	21
1	25	21
2	60	21
3	125	21
4	174	21
5	202	21
6	207	21
done	207	21
0	16	21
1	26	21
2	61	21
3	126	21
4	175	21
5	203	21
6	208	21
done	208	21
0	15	21
1	25	21
2	60	21
3	125	21
4	174	21
5	202	21
6	207	21
done	207	21
0	16	33
1	33	33
2	84	33
3	175	33
4	263	33
5	277	33
done	277	33
0	13	17
1	23	17
2	44	17
3	69	17
4	71	17
done	71	17
0	15	19
1	27	19
2	63	19
3	115	19
4	139	19
done	139	19
0	13	17
1	23	17
2	44	17
3	69	17
4	71	17
done	71	17
0	7	7
1	14	5
2	43	5
3	74	5
4	98	5
5	104	5
done	104	5
0	12	16
1	22	16
2	49	16
3	79	16
4	86	16
done	86	16
0	16	20
1	27	20
2	70	20
3	122	20
4	146	20
5	162	20
6	166	20
7	178	20
8	186	20
9	198	20
10	204	20
11	208	20
done	208	20
0	14	18
1	24	18
2	51	18
3	81	18
4	86	18
done	86	18
0	16	20
1	27	20
2	70	20
3	122	20
4	146	20
5	162	20
6	166	20
7	178	20
8	186	20
9	198	20
10	204	20
11	208	20
done	208	20
0	14	18
1	24	18
2	51	18
3	81	18
4	86	18
done	86	18
0	7	7
1	14	5
2	43	5
3	74	5
4	98	5
5	104	5
done	104	5
0	12	16
1	22	16
2	49	16
3	79	16
4	86	16
done	86	16
0	3	3
1	5	3
done	5	3
0	14	20
1	26	20
2	91	20
3	254	20
4	491	18
5	750	16
6	2556	16
done	5000	16
0	7	7
1	13	7
2	29	7
3	48	7
4	72	7
5	85	7
done	85	7
0	13	16
1	25	16
2	52	16
3	82	16
4	89	16
done	89	16
0	18	24
1	42	24
2	128	24
3	431	24
4	1511	24
done	5000	24
0	14	40
1	27	26
2	62	26
3	124	24
4	201	24
5	351	24
6	728	22
7	1631	22
done	5001	22
0	16	33
1	31	21
2	128	21
3	513	21
4	1696	15
5	4095	12
done	5000	12
0	11	14
1	18	14
2	35	14
3	60	14
4	64	14
done	64	14
0	5	5
1	10	5
2	12	5
done	12	5
0	16	22
1	31	22
2	112	22
3	558	22
4	1891	20
5	4636	18
done	5001	18
0	15	20
1	27	20
2	92	20
3	258	20
4	494	20
5	748	20
6	938	20
7	1097	20
8	1179	20
9	1185	20
done	1185	20
0	17	23
1	30	23
2	69	23
3	137	23
4	189	23
5	217	23
6	222	23
done	222	23
0	17	23
1	30	23
2	69	23
3	137	23
4	189	23
5	217	23
6	222	23
done	222	23
0	15	19
1	28	19
2	59	19
3	106	19
4	131	19
5	139	19
6	142	19
7	144	19
done	144	19
0	15	19
1	28	19
2	59	19
3	106	19
4	131	19
5	139	19
6	142	19
7	144	19
done	144	19
0	14	18
1	27	18
2	64	18
3	148	18
4	259	18
5	368	18
6	454	18
7	476	18
8	481	18
done	481	18
0	16	20
1	29	20
2	66	20
3	150	20
4	263	20
5	372	20
6	458	20
7	480	20
8	485	20
done	485	20
0	16	20
1	29	20
2	66	20
3	150	20
4	263	20
5	372	20
6	458	20
7	480	20
8	485	20
done	485	20
0	14	18
1	27	18
2	64	18
3	148	18
4	259	18
5	368	18
6	454	18
7	476	18
8	481	18
done	481	18
0	16	22
1	31	22
2	112	22
3	558	22
4	1891	20
5	4636	18
done	5001	18
0	15	18
1	30	18
2	67	16
3	170	16
4	361	16
5	527	16
6	743	16
7	857	16
8	883	16
9	919	16
10	1068	16
11	1352	16
done	1352	16
0	16	42
1	32	28
2	71	28
3	144	26
4	252	26
5	469	26
6	1051	24
7	2677	24
done	5000	24
0	13	16
1	23	16
2	44	16
3	72	16
4	75	16
done	75	16
0	13	16
1	25	16
2	61	16
3	114	16
4	133	16
5	147	16
done	147	16
0	10	11
1	20	10
2	39	10
3	96	10
4	255	10
5	831	10
6	4970	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	105	10
4	215	10
5	657	10
6	2946	10
done	5000	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	916	11
5	4661	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	622	11
4	3139	11
done	5000	11
0	12	29
1	38	23
2	128	21
3	371	19
4	514	19
5	541	19
6	646	19
7	990	19
8	2334	19
done	5001	19
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1013	15
5	1427	15
6	1886	15
7	3039	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
4	54	6
done	54	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	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	19	27
1	51	27
2	181	27
3	594	25
4	2459	23
done	5000	23
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	20	29
1	51	29
2	185	29
3	609	27
4	2790	27
done	5000	27
0	1	1
done	1	1
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

prune260.0ms

Filtered

104 candidates to 122 candidates (-17.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	7	2	9
Picked	0	1	1
Done	0	1	1
Total	125	8	133

Merged error: 5.5b

Counts

133 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.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 b) (* 4.0 (* a c)))) b))
8.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)
8.0ms	(- (* b b) (* 4.0 (* a c)))
4.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

series103.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2min

Counts

95 → 95

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	61	23
done	61	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	213	12
5	264	12
6	289	12
7	349	12
8	550	12
9	1470	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	630	12
4	3245	12
done	5001	12
0	13	30
1	39	24
2	129	22
3	380	20
4	534	20
5	561	20
6	669	20
7	1013	20
8	2351	20
done	5000	20
0	11	20
1	31	20
2	99	18
3	378	16
4	1004	16
5	1412	16
6	1854	16
7	3074	16
done	5000	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	39	10
3	96	10
4	255	10
5	831	10
6	4970	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	105	10
4	215	10
5	657	10
6	2946	10
done	5000	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	916	11
5	4661	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	622	11
4	3139	11
done	5000	11
0	12	29
1	38	23
2	128	21
3	371	19
4	514	19
5	541	19
6	646	19
7	990	19
8	2334	19
done	5001	19
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1013	15
5	1427	15
6	1886	15
7	3039	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
4	54	6
done	54	6
0	12	14
1	20	13
2	39	13
3	67	13
4	72	13
5	78	13
6	82	13
7	98	13
8	102	13
9	107	13
10	114	13
11	133	13
12	154	13
13	166	13
14	169	13
done	169	13
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	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	65	27
done	65	27
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	13
0	12	38
1	21	38
2	53	14
3	121	14
4	231	14
5	605	14
6	2448	14
done	5001	14
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	13
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	13
0	13	16
1	33	16
2	72	16
3	140	16
4	303	16
5	736	16
6	2593	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	642	22
9	698	22
10	770	22
done	770	22
0	2	2
done	2	2
0	11	25
1	22	13
2	55	13
3	112	13
4	160	7
5	244	6
6	974	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	65	14
done	65	14
0	12	14
1	20	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	14
1	19	14
2	36	14
3	61	14
4	65	14
done	65	14
0	12	14
1	20	14
2	38	14
3	63	14
4	65	14
done	65	14
0	10	12
1	18	12
2	36	12
3	61	12
4	63	12
done	63	12
0	2	2
done	2	2
0	13	16
1	23	16
2	42	16
3	67	16
4	69	16
done	69	16
0	12	15
1	23	15
2	43	15
3	69	15
4	73	15
done	73	15
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	15	44
1	32	44
2	94	18
3	229	16
4	453	16
5	1200	16
6	4727	16
done	5000	16
0	13	31
1	21	31
2	39	31
3	64	31
4	66	31
done	66	31
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	13	44
1	28	44
2	62	16
3	133	16
4	233	16
5	478	16
6	1087	16
7	3131	16
done	5000	16
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	2	2
done	2	2
0	11	13
1	19	13
2	40	13
3	67	13
4	72	12
done	72	12
0	15	33
1	29	33
2	56	33
3	87	33
4	89	33
done	89	33
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	14	19
1	24	19
2	44	19
3	70	19
4	72	19
done	72	19
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	15	20
1	24	20
2	43	20
3	69	20
4	71	20
done	71	20
0	14	17
1	22	17
2	40	17
3	65	17
4	67	17
done	67	17
0	15	20
1	24	20
2	43	20
3	69	20
4	71	20
done	71	20
0	14	17
1	22	17
2	40	17
3	65	17
4	67	17
done	67	17
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	14	30
1	24	30
2	42	30
3	67	30
4	69	30
done	69	30
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	14	17
1	22	17
2	40	17
3	65	17
4	67	17
done	67	17
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	14	17
1	22	17
2	40	17
3	65	17
4	67	17
done	67	17
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	14	29
1	26	29
2	44	29
3	69	29
4	71	29
done	71	29
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	13	15
1	23	15
2	41	15
3	66	15
4	68	15
done	68	15
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	2	3
1	4	1
done	4	1
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	14	16
1	23	16
2	40	16
3	65	16
4	67	16
done	67	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	14	16
1	23	16
2	40	16
3	65	16
4	67	16
done	67	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	2	3
1	4	1
done	4	1
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	12	14
1	22	14
2	40	14
3	65	14
4	67	14
done	67	14
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	13	29
1	23	29
2	41	29
3	66	29
4	68	29
done	68	29
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	3	3
1	5	1
done	5	1
0	13	16
1	20	16
2	37	16
3	62	16
4	64	16
done	64	16
0	13	16
1	20	16
2	37	16
3	62	16
4	64	16
done	64	16
0	3	3
1	5	1
done	5	1
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	14	18
1	34	18
2	73	18
3	145	18
4	316	18
5	749	18
6	2635	18
done	5000	18
0	12	27
1	23	15
2	58	15
3	117	15
4	165	9
5	249	8
6	1007	8
done	5000	8
0	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	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

prune172.0ms

Filtered

71 candidates to 95 candidates (-33.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	94	9	103

Merged error: 5.4b

Counts

103 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.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:

11.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) c)
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))))

series66.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (- (sqrt (- (* b b) (* 4.0 (* a c)))) b) c)
16.0ms	(- (sqrt (- (* b b) (* 4.0 (* a c)))) b)
10.0ms	(- (* b b) (* 4.0 (* a c)))
16.0ms	(sqrt (- (* b b) (* 4.0 (* a c))))

simplify1.1min

Counts

96 → 96

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	61	23
done	61	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	213	12
5	264	12
6	289	12
7	349	12
8	550	12
9	1470	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	630	12
4	3245	12
done	5001	12
0	13	30
1	39	24
2	129	22
3	380	20
4	534	20
5	561	20
6	669	20
7	1013	20
8	2351	20
done	5000	20
0	11	20
1	31	20
2	99	18
3	378	16
4	1004	16
5	1412	16
6	1854	16
7	3074	16
done	5000	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	39	10
3	96	10
4	255	10
5	831	10
6	4970	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	105	10
4	215	10
5	657	10
6	2946	10
done	5000	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	916	11
5	4661	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	622	11
4	3139	11
done	5000	11
0	12	29
1	38	23
2	128	21
3	371	19
4	514	19
5	541	19
6	646	19
7	990	19
8	2334	19
done	5001	19
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1013	15
5	1427	15
6	1886	15
7	3039	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
4	54	6
done	54	6
0	12	14
1	20	13
2	39	13
3	67	13
4	72	13
5	78	13
6	82	13
7	98	13
8	102	13
9	107	13
10	114	13
11	133	13
12	154	13
13	166	13
14	169	13
done	169	13
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	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	65	27
done	65	27
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	13
0	12	38
1	21	38
2	53	14
3	121	14
4	231	14
5	605	14
6	2448	14
done	5001	14
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	13
0	11	13
1	19	13
2	37	13
3	62	13
4	64	13
done	64	13
0	13	16
1	33	16
2	72	16
3	140	16
4	303	16
5	736	16
6	2593	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	642	22
9	698	22
10	770	22
done	770	22
0	2	2
done	2	2
0	11	25
1	22	13
2	55	13
3	112	13
4	160	7
5	244	6
6	974	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	65	14
done	65	14
0	12	14
1	20	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	14
1	19	14
2	36	14
3	61	14
4	65	14
done	65	14
0	12	14
1	20	14
2	38	14
3	63	14
4	65	14
done	65	14
0	10	12
1	18	12
2	36	12
3	61	12
4	63	12
done	63	12
0	2	2
done	2	2
0	13	16
1	23	16
2	42	16
3	67	16
4	71	16
done	71	16
0	12	15
1	26	15
2	48	15
3	76	15
4	80	15
done	80	15
0	12	15
1	23	15
2	46	15
3	75	15
4	80	15
5	86	15
6	90	15
7	106	15
8	110	15
9	117	15
10	126	15
11	146	15
12	172	15
13	189	15
14	196	15
15	202	15
done	202	15
0	15	44
1	32	44
2	97	18
3	257	16
4	617	16
5	2138	16
done	5000	16
0	13	31
1	24	31
2	44	31
3	71	31
4	75	31
done	75	31
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	13	44
1	31	44
2	79	16
3	230	16
4	626	16
5	1776	16
done	5000	16
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	11	13
1	19	13
2	40	13
3	67	13
4	72	12
done	72	12
0	2	2
done	2	2
0	10	12
1	16	12
2	33	12
3	58	12
4	60	12
done	60	12
0	3	3
done	3	3
0	15	33
1	29	33
2	56	33
3	87	33
4	89	33
done	89	33
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	14	30
1	24	30
2	44	30
3	70	30
4	72	30
done	72	30
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	14	29
1	26	27
2	50	27
3	80	27
4	82	27
done	82	27
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	14	19
1	24	19
2	42	19
3	67	19
4	69	19
done	69	19
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	13	15
1	23	13
2	43	13
3	68	13
4	72	13
done	72	13
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	5	7
1	9	7
done	9	7
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	4	4
1	6	4
done	6	4
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	2	3
1	4	1
done	4	1
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	15	20
1	24	20
2	41	20
3	66	20
4	68	20
done	68	20
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	16
1	23	14
2	42	14
3	67	14
4	71	14
done	71	14
0	13	16
1	24	16
2	44	16
3	71	16
4	75	16
done	75	16
0	15	20
1	24	20
2	41	20
3	66	20
4	68	20
done	68	20
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	16
1	23	14
2	42	14
3	67	14
4	71	14
done	71	14
0	13	16
1	24	16
2	44	16
3	71	16
4	75	16
done	75	16
0	5	7
1	9	7
done	9	7
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	4	4
1	6	4
done	6	4
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	2	3
1	4	1
done	4	1
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	3	3
1	5	3
done	5	3
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	13	18
1	26	18
2	51	18
3	81	18
4	88	18
done	88	18
0	12	15
1	23	15
2	43	15
3	70	15
4	74	15
done	74	15
0	12	14
1	25	12
2	47	12
3	72	12
4	76	12
done	76	12
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	12	15
1	20	15
2	38	15
3	63	15
4	65	15
done	65	15
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	13	16
1	21	16
2	39	16
3	64	16
4	66	16
done	66	16
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	14	40
1	34	26
2	94	26
3	205	24
4	363	24
5	518	24
6	815	24
7	1151	24
8	1585	24
9	1980	24
10	2169	24
11	2211	24
done	2211	24
0	11	14
1	25	14
2	43	14
3	68	14
4	72	14
done	72	14
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	3	3
1	4	3
done	4	3
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

prune153.0ms

Filtered

72 candidates to 96 candidates (-33.3%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	93	12	105

Merged error: 5.4b

Counts

105 → 12

regimes498.0ms

Accuracy

96% (1.0b remaining)

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

bsearch106.0ms

Steps

Iters	Range	Point
6	8.452635886898758e+130	9.412684251322846e+131	5.504822105611153e+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.504822105611153e+131

1.689832870033217e-259

1.4734972961679326e-256

4.216496595601003e-259

-2.2176433678074068e+159

-3.3260857371803445e+155

-3.3793459694973726e+155

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	63
1	45	63
done	45	63

end0.0ms

sample1.9s

Algorithm

intervals

Results

366.0ms	1072×	body	2560	valid
352.0ms	5731×	body	80	valid
272.0ms	952×	body	1280	valid
173.0ms	2927×	body	80	nan
104.0ms	461×	body	640	valid
42.0ms	234×	body	320	valid
41.0ms	101×	body	5120	valid
20.0ms	105×	body	160	valid

Details

sample68.0ms

simplify91.0ms

prune4.0ms

localize16.0ms

rewrite33.0ms

series71.0ms

simplify1.3min

prune197.0ms

localize16.0ms

rewrite45.0ms

series155.0ms

simplify3.3min

prune260.0ms

localize14.0ms

rewrite34.0ms

series103.0ms

simplify1.2min

prune172.0ms

localize14.0ms

rewrite31.0ms

series66.0ms

simplify1.1min

prune153.0ms

regimes498.0ms

bsearch106.0ms

simplify3.0ms

end0.0ms

sample1.9s

Profiling