Details

sample91.0ms

Algorithm

intervals

Results

23.0ms	159×	body	160	valid
17.0ms	527×	pre	80	true
15.0ms	271×	body	80	nan
6.0ms	34×	body	320	valid
4.0ms	63×	body	80	valid

simplify57.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	12	17
1	21	17
2	41	16
3	75	16
4	87	16
5	95	16
done	95	16

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 42.8b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* b b) (* (* 3.0 a) c))
0.2b	(* (* 3.0 a) c)
0.3b	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
39.5b	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 75

Calls

4 calls:

5.0ms	(- (* b b) (* (* 3.0 a) c))
6.0ms	(* (* 3.0 a) c)
12.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
8.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series67.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(* (* 3.0 a) c)
31.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
21.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify1.3min

Counts

87 → 87

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	20	13
2	39	13
3	67	13
4	74	13
5	80	13
6	84	13
7	100	13
8	104	13
9	109	13
10	116	13
11	134	13
12	155	13
13	172	13
14	175	13
done	175	13
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	11	13
1	22	13
2	42	13
3	70	13
4	80	13
5	84	13
6	100	13
7	104	13
8	109	13
9	116	13
10	134	13
11	155	13
12	173	13
13	176	13
done	176	13
0	12	27
1	20	27
2	38	27
3	63	27
4	67	27
done	67	27
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	12	38
1	21	38
2	53	14
3	121	14
4	231	14
5	605	14
6	2448	14
done	5000	14
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	13	16
1	33	16
2	72	16
3	140	16
4	304	16
5	745	16
6	2570	16
done	5001	16
0	13	38
1	26	24
2	61	24
3	117	22
4	167	22
5	250	22
6	423	22
7	536	22
8	638	22
9	694	22
10	766	22
done	766	22
0	2	2
done	2	2
0	11	25
1	22	13
2	55	13
3	112	13
4	162	7
5	246	6
6	979	6
done	5000	6
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	10	12
1	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	2	2
done	2	2
0	15	19
1	28	19
2	55	19
3	90	19
4	104	19
5	120	19
6	139	19
7	155	19
8	160	19
done	160	19
0	13	18
1	26	18
2	51	18
3	84	18
4	95	18
5	107	18
6	126	18
7	152	18
8	162	18
done	162	18
0	12	17
1	28	17
2	67	17
3	114	17
4	137	17
5	148	17
6	164	17
7	183	17
8	199	17
9	204	17
done	204	17
0	12	17
1	25	17
2	59	17
3	94	17
4	107	17
5	114	17
6	118	17
7	134	17
8	138	17
9	149	17
10	166	17
11	195	17
12	231	17
13	261	17
14	278	17
15	304	17
16	306	17
done	306	17
0	18	50
1	41	50
2	161	22
3	686	22
4	2721	20
done	5000	20
0	15	50
1	41	50
2	176	20
3	827	18
4	3200	18
done	5001	18
0	13	35
1	26	35
2	57	35
3	90	35
4	100	35
5	101	35
done	101	35
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	13	50
1	33	50
2	122	18
3	571	18
4	2580	18
done	5000	18
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	11	13
1	19	13
2	40	13
3	67	13
4	72	12
done	72	12
0	4	4
1	9	4
2	11	4
done	11	4
0	10	14
1	18	14
2	37	14
3	62	14
4	64	14
done	64	14
0	5	5
1	8	5
2	10	5
done	10	5
0	13	29
1	23	29
2	43	29
3	69	29
4	73	29
done	73	29
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	3	3
1	5	3
done	5	3
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	24	16
2	44	16
3	71	16
4	73	16
done	73	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	24	16
2	44	16
3	71	16
4	73	16
done	73	16
0	3	3
1	5	3
done	5	3
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	5	5
1	10	5
2	12	5
done	12	5
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	12	17
1	22	17
2	44	17
3	72	17
4	75	17
done	75	17
0	12	17
1	22	17
2	44	17
3	72	17
4	75	17
done	75	17
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	13	18
1	23	18
2	48	18
3	81	18
4	90	18
5	92	18
done	92	18
0	13	18
1	23	18
2	48	18
3	81	18
4	90	18
5	92	18
done	92	18
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	14	42
1	36	28
2	128	28
3	352	26
4	755	26
5	1171	26
6	1759	26
7	2632	26
8	3989	26
done	5000	26
0	11	16
1	27	16
2	71	16
3	106	16
4	108	16
done	108	16
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	13	15
1	31	15
2	71	15
3	124	13
4	220	13
5	294	13
6	409	13
7	706	13
8	1079	13
9	2184	13
done	5000	13
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	10	11
1	19	11
2	41	11
3	62	11
4	91	11
5	102	11
done	102	11
0	14	17
1	40	15
2	120	15
3	351	15
4	1057	13
5	2942	13
done	5000	13
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	10	11
1	18	11
2	33	11
3	50	11
4	62	11
5	65	11
done	65	11
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
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

prune169.0ms

Filtered

66 candidates to 87 candidates (-31.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	81	6	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	6	88

Merged error: 0.2b

Counts

88 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 3.0 a) c)
0.2b	(* (* 3.0 a) c)
0.3b	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.4b	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

102×	`times-frac`
78×	`*-un-lft-identity`
40×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`associate-/l*`
28×	`add-exp-log` `add-cbrt-cube`
19×	`distribute-lft-out`
14×	`pow1`
13×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`associate-r` `pow-prod-down` `associate-/r/`
5×	`associate-/r*`
4×	`div-inv` `add-log-exp`
3×	`flip3-+` `div-sub` `distribute-frac-neg` `flip-+`
2×	`neg-sub0` `frac-2neg` `associate-l` `clear-num` `*-commutative`
1×	`associate-/l/`

Counts

4 → 168

Calls

4 calls:

6.0ms	(* (* 3.0 a) c)
7.0ms	(* (* 3.0 a) c)
13.0ms	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
17.0ms	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

series134.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (* 3.0 a) c)
4.0ms	(* (* 3.0 a) c)
65.0ms	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
56.0ms	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

simplify3.9min

Counts

180 → 180

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	18	27
1	37	27
2	91	27
3	219	26
4	789	26
5	2843	19
done	5000	19
0	16	26
1	35	26
2	81	26
3	189	26
4	641	26
5	2461	19
done	5000	19
0	17	26
1	37	26
2	91	26
3	235	25
4	829	25
5	3318	25
done	5000	25
0	15	25
1	35	25
2	84	25
3	214	25
4	706	25
5	2800	25
done	5001	25
0	14	24
1	33	24
2	111	24
3	539	17
4	2363	16
done	5000	16
0	14	24
1	30	24
2	95	24
3	472	17
4	2028	16
done	5000	16
0	22	71
1	71	69
2	354	31
3	4963	29
done	5000	29
0	19	71
1	71	69
2	359	29
3	4999	27
done	5000	27
0	20	71
1	53	71
2	229	29
3	1854	29
done	5000	29
0	17	71
1	53	71
2	244	27
3	2037	25
done	5001	25
0	15	49
1	31	49
2	96	49
3	467	35
4	1919	33
done	5001	33
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	15	71
1	38	71
2	170	25
3	1408	18
done	5000	18
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	13	20
1	27	20
2	63	18
3	159	18
4	342	18
5	477	18
6	548	18
7	559	18
done	559	18
0	4	4
1	9	4
2	11	4
done	11	4
0	13	18
1	24	5
2	57	1
3	112	1
4	120	1
done	120	1
0	12	22
1	25	22
2	88	22
3	376	16
4	1066	14
done	5000	14
0	15	43
1	29	43
2	62	43
3	123	43
4	201	43
5	275	43
6	301	43
done	301	43
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	17	45
1	35	45
2	80	45
3	135	45
4	176	45
5	181	45
done	181	45
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	16	31
1	30	31
2	63	31
3	94	31
4	104	31
done	104	31
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	11	19
1	25	17
2	66	17
3	102	17
4	112	17
5	117	17
done	117	17
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	11	19
1	25	17
2	66	17
3	102	17
4	112	17
5	117	17
done	117	17
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	16	37
1	30	37
2	58	37
3	84	37
done	84	37
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	10	11
1	22	9
2	49	9
3	67	9
done	67	9
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	10	11
1	22	9
2	49	9
3	67	9
done	67	9
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	15	31
1	28	31
2	51	31
3	84	31
4	86	31
done	86	31
0	14	22
1	28	22
2	76	22
3	262	22
4	699	19
5	1190	18
done	5000	18
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	22
1	28	22
2	76	22
3	262	22
4	699	19
5	1190	18
done	5000	18
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	15	31
1	26	31
2	49	31
3	82	31
4	84	31
done	84	31
0	13	21
1	24	21
2	70	21
3	200	21
4	385	19
5	499	17
6	1735	17
done	5000	17
0	14	17
1	23	17
2	43	17
3	68	17
4	70	17
done	70	17
0	13	21
1	24	21
2	70	21
3	200	21
4	385	19
5	499	17
6	1735	17
done	5000	17
0	5	5
1	9	3
2	11	3
3	13	3
done	13	3
0	12	20
1	23	20
2	77	20
3	205	20
4	389	18
5	536	16
6	1903	16
done	5000	16
0	5	5
1	9	3
2	11	3
3	13	3
done	13	3
0	12	20
1	23	20
2	77	20
3	205	20
4	389	18
5	536	16
6	1903	16
done	5000	16
0	15	34
1	32	34
2	91	34
3	246	31
4	472	30
5	1865	30
done	5001	30
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	14	20
1	29	20
2	70	20
3	158	17
4	231	16
5	843	16
6	4504	16
done	5000	16
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	7	8
1	18	6
2	57	6
3	105	2
4	278	2
5	702	2
6	2102	2
done	5000	2
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	7	8
1	18	6
2	57	6
3	105	2
4	278	2
5	702	2
6	2102	2
done	5000	2
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	14	33
1	30	33
2	80	33
3	170	31
4	262	29
5	843	29
6	4351	29
done	5001	29
0	14	18
1	25	18
2	48	18
3	78	18
4	82	18
done	82	18
0	13	19
1	24	19
2	59	19
3	111	17
4	137	15
5	322	15
6	1623	15
done	5000	15
0	14	18
1	25	18
2	48	18
3	78	18
4	82	18
done	82	18
0	6	7
1	13	5
2	41	5
3	74	1
4	80	1
done	80	1
0	13	17
1	24	17
2	55	17
3	83	17
4	87	17
done	87	17
0	6	7
1	13	5
2	41	5
3	74	1
4	80	1
done	80	1
0	13	17
1	24	17
2	55	17
3	83	17
4	87	17
done	87	17
0	3	3
1	5	3
done	5	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	7	8
1	17	8
2	47	8
3	108	8
4	188	5
5	264	4
6	832	4
7	4815	4
done	5000	4
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	16	25
1	42	25
2	107	25
3	343	25
4	943	22
5	1971	21
done	5000	21
0	14	40
1	28	26
2	73	26
3	161	24
4	310	24
5	603	24
6	1189	22
7	2370	22
done	5000	22
0	14	34
1	32	22
2	121	22
3	584	22
4	2436	13
done	5000	13
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	5	5
1	10	5
2	12	5
done	12	5
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	12	22
1	25	22
2	88	22
3	376	16
4	1066	14
done	5000	14
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1210	17
done	5000	17
0	14	24
1	28	24
2	63	24
3	126	24
4	206	24
5	280	24
6	306	24
done	306	24
0	14	24
1	28	24
2	63	24
3	126	24
4	206	24
5	280	24
6	306	24
done	306	24
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	30	24
2	92	24
3	377	18
4	1548	16
done	5000	16
0	14	24
1	30	24
2	92	24
3	377	18
4	1548	16
done	5000	16
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	23
1	26	23
2	89	23
3	351	17
4	949	15
done	5000	15
0	13	23
1	26	23
2	89	23
3	351	17
4	949	15
done	5000	15
0	12	22
1	25	22
2	96	22
3	462	16
4	1484	14
done	5000	14
0	12	22
1	25	22
2	96	22
3	462	16
4	1484	14
done	5000	14
0	13	19
1	24	19
2	54	19
3	99	19
4	126	19
5	135	19
6	138	19
7	140	19
done	140	19
0	13	19
1	24	19
2	54	19
3	99	19
4	126	19
5	135	19
6	138	19
7	140	19
done	140	19
0	12	18
1	23	18
2	61	18
3	140	18
4	223	18
5	275	18
6	288	18
7	300	18
8	302	18
done	302	18
0	12	18
1	23	18
2	61	18
3	140	18
4	223	18
5	275	18
6	288	18
7	300	18
8	302	18
done	302	18
0	14	20
1	27	20
2	58	20
3	110	20
4	139	20
5	154	20
6	157	20
7	159	20
done	159	20
0	14	20
1	27	20
2	58	20
3	110	20
4	139	20
5	154	20
6	157	20
7	159	20
done	159	20
0	13	19
1	26	19
2	65	19
3	149	19
4	234	19
5	305	19
6	330	19
7	342	19
8	344	19
done	344	19
0	13	19
1	26	19
2	65	19
3	149	19
4	234	19
5	305	19
6	330	19
7	342	19
8	344	19
done	344	19
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	18
1	26	18
2	64	16
3	173	16
4	407	16
5	656	16
6	932	16
done	932	16
0	14	42
1	30	28
2	79	28
3	181	26
4	376	26
5	786	26
6	1684	24
7	3860	24
done	5001	24
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	11	16
1	27	16
2	71	16
3	106	16
4	108	16
done	108	16
0	14	21
1	26	21
2	55	21
3	103	21
4	184	21
5	284	21
6	330	21
7	414	21
8	572	21
9	1063	21
10	1239	21
11	1472	21
12	1630	21
done	1630	21
0	13	20
1	28	20
2	67	20
3	158	20
4	348	20
5	624	20
6	845	20
7	1090	20
8	1382	20
9	1525	20
10	1701	20
11	1864	20
done	1864	20
0	13	20
1	25	20
2	59	20
3	121	20
4	209	20
5	331	20
6	491	20
7	856	20
8	1813	20
9	4368	20
done	5000	20
0	16	59
1	54	57
2	241	23
3	2339	21
done	5000	21
0	14	41
1	26	41
2	57	41
3	117	41
4	195	41
5	269	41
6	295	41
done	295	41
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	14	59
1	33	59
2	111	21
3	609	21
done	5002	21
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	7	7
1	15	5
2	41	5
3	91	5
4	141	5
done	141	5
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	12	14
1	19	1
2	36	1
3	61	1
4	63	1
done	63	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	16	43
1	32	43
2	63	43
3	87	43
done	87	43
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	15	29
1	27	29
2	51	29
3	70	29
done	70	29
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	10	17
1	22	15
2	49	15
3	72	15
4	73	15
done	73	15
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	10	17
1	22	15
2	49	15
3	72	15
4	73	15
done	73	15
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	15	35
1	27	35
2	49	35
3	67	35
done	67	35
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	9	9
1	19	7
2	42	7
3	60	7
done	60	7
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	9	9
1	19	7
2	42	7
3	60	7
done	60	7
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	2	3
1	4	1
done	4	1
0	12	19
1	24	19
2	55	19
3	115	19
4	193	19
5	267	19
6	293	19
done	293	19
0	2	3
1	4	1
done	4	1
0	12	19
1	24	19
2	55	19
3	115	19
4	193	19
5	267	19
6	293	19
done	293	19
0	14	29
1	23	29
2	40	29
3	65	29
4	69	29
done	69	29
0	12	19
1	21	19
2	48	19
3	94	19
4	122	19
5	135	19
done	135	19
0	13	15
1	20	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	19
1	21	19
2	48	19
3	94	19
4	122	19
5	135	19
done	135	19
0	3	3
1	5	1
done	5	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	3	3
1	5	1
done	5	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	14	32
1	29	32
2	68	32
3	133	32
4	164	32
5	171	32
done	171	32
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	18
1	26	18
2	50	18
3	84	18
4	97	18
5	100	18
done	100	18
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	13	31
1	27	31
2	58	31
3	96	31
4	104	31
done	104	31
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	12	17
1	21	17
2	42	17
3	70	17
4	75	17
done	75	17
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	19
1	22	19
2	48	19
3	84	19
4	116	19
5	118	19
done	118	19
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	14	34
1	28	34
2	77	34
3	229	34
4	515	34
5	769	34
6	820	34
done	820	34
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	8	8
1	20	6
2	54	6
3	123	6
4	269	6
5	413	6
6	468	6
done	468	6
0	8	8
1	20	6
2	54	6
3	123	6
4	269	6
5	413	6
6	468	6
done	468	6
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	12	19
1	22	19
2	48	19
3	84	19
4	116	19
5	118	19
done	118	19
0	11	18
1	20	18
2	44	18
3	80	18
4	83	18
done	83	18
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	15	23
1	39	23
2	79	23
3	165	23
4	352	23
5	616	23
6	1108	23
7	3933	23
done	5000	23
0	13	32
1	29	20
2	93	20
3	340	20
4	1059	14
5	2526	13
done	5000	13
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	1	1
done	1	1
0	20	29
1	51	29
2	185	29
3	609	27
4	2790	27
done	5000	27
0	1	1
done	1	1
0	1	1
done	1	1
0	19	27
1	51	27
2	181	27
3	594	25
4	2459	23
done	5000	23
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune416.0ms

Filtered

137 candidates to 180 candidates (-31.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	172	8	180
Fresh	5	0	5
Picked	1	0	1
Done	0	0	0
Total	178	8	186

Merged error: 0b

Counts

186 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 75

Calls

4 calls:

8.0ms	(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
5.0ms	(- (* b b) (* (* 3.0 a) c))
14.0ms	(/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
6.0ms	(* (* 3.0 a) c)

series88.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.3min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	13	16
1	22	16
2	40	16
3	65	16
4	67	16
done	67	16
0	12	15
1	22	15
2	41	15
3	67	15
4	71	15
done	71	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	15	44
1	43	44
2	121	18
3	275	16
4	595	16
5	1926	16
done	5000	16
0	13	31
1	20	31
2	37	31
3	62	31
4	66	31
done	66	31
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	44
1	27	44
2	60	16
3	123	16
4	208	16
5	353	16
6	635	16
7	1469	16
done	5000	16
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	2	2
done	2	2
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	15	33
1	28	33
2	54	33
3	85	33
4	87	33
done	87	33
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	14	19
1	23	19
2	42	19
3	68	19
4	72	19
done	72	19
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	14	30
1	23	30
2	40	30
3	65	30
4	67	30
done	67	30
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	4	4
1	6	2
2	8	2
done	8	2
0	12	15
1	19	15
2	36	15
3	61	15
4	65	15
done	65	15
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	2	3
1	4	1
done	4	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	2	3
1	4	1
done	4	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	13	29
1	22	29
2	39	29
3	64	29
4	66	29
done	66	29
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	14	18
1	33	18
2	59	18
3	112	18
4	228	18
5	434	18
6	880	18
7	2758	18
done	5000	18
0	12	27
1	23	15
2	58	15
3	117	15
4	165	9
5	249	8
6	1007	8
done	5000	8
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	12	14
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	12	27
1	19	27
2	36	27
3	61	27
4	63	27
done	63	27
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	12	38
1	32	38
2	80	14
3	170	14
4	379	14
5	1442	14
done	5001	14
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	13	16
1	32	16
2	58	16
3	109	16
4	225	16
5	435	16
6	891	16
7	2769	16
done	5001	16
0	13	38
1	27	24
2	69	24
3	143	22
4	239	22
5	397	22
6	665	22
7	740	22
8	767	22
done	767	22
0	11	25
1	22	13
2	55	13
3	112	13
4	162	7
5	246	6
6	979	6
done	5000	6
0	10	12
1	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	3	3
done	3	3
0	10	13
1	21	13
2	51	13
3	86	13
4	189	13
5	565	13
6	2079	13
done	5000	13
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	13	15
1	31	15
2	80	15
3	151	13
4	233	13
5	282	13
6	378	13
7	547	13
8	818	13
9	1833	13
done	5000	13
0	10	11
1	19	11
2	42	11
3	97	11
4	203	11
5	279	11
6	289	11
done	289	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune166.0ms

Filtered

66 candidates to 87 candidates (-31.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	87	8	95

Merged error: 0b

Counts

95 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (* b b) (* (* 3.0 a) c))
0.1b	(/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c))
0.2b	(* (* 3.0 a) c)
0.3b	(/ 1 (/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

332×	`times-frac`
270×	`*-un-lft-identity`
168×	`add-sqr-sqrt` `add-cube-cbrt`
63×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
54×	`associate-/r*`
51×	`distribute-lft-out`
22×	`add-exp-log`
21×	`neg-mul-1`
16×	`add-cbrt-cube`
10×	`pow1`
8×	`div-exp`
7×	`associate-/l*`
6×	`div-inv` `add-log-exp`
4×	`cbrt-undiv`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `flip3--` `pow-flip` `flip3-+` `diff-log` `associate-l` `associate-/r/` `*-commutative` `flip--` `flip-+` `inv-pow`

Counts

4 → 298

Calls

4 calls:

4.0ms	(- (* b b) (* (* 3.0 a) c))
12.0ms	(/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c))
6.0ms	(* (* 3.0 a) c)
17.0ms	(/ 1 (/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* (* 3.0 a) c))
21.0ms	(/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c))
4.0ms	(* (* 3.0 a) c)
37.0ms	(/ 1 (/ (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b) (neg c)))

simplify1.9min

Counts

310 → 310

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	15	18
1	24	18
2	44	18
3	71	18
4	74	17
done	74	17
0	14	17
1	24	17
2	42	17
3	71	17
4	77	17
5	78	17
done	78	17
0	16	19
1	29	18
2	58	18
3	104	17
4	136	17
5	163	17
6	172	17
7	187	17
done	187	17
0	15	18
1	27	17
2	51	17
3	89	17
4	117	17
5	147	17
6	155	17
7	161	17
8	178	17
done	178	17
0	17	20
1	32	19
2	56	18
3	106	17
4	140	17
5	166	17
6	176	17
7	192	17
done	192	17
0	16	19
1	30	18
2	51	17
3	95	17
4	123	17
5	153	17
6	160	17
7	166	17
8	183	17
done	183	17
0	15	18
1	30	17
2	57	17
3	104	16
4	186	16
5	342	16
6	459	16
7	578	16
8	699	16
9	715	16
done	715	16
0	15	18
1	26	18
2	49	18
3	89	16
4	177	16
5	354	16
6	603	16
7	1274	16
8	4334	16
done	5000	16
0	20	53
1	62	47
2	186	21
3	667	19
4	2134	19
done	5000	19
0	18	53
1	41	49
2	109	19
3	310	19
4	908	19
5	2445	17
done	5001	17
0	16	37
1	27	37
2	48	37
3	80	33
4	143	33
5	263	33
6	325	33
7	338	33
done	338	33
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	262	16
6	323	16
7	338	16
done	338	16
0	16	53
1	34	53
2	90	19
3	346	17
4	1000	17
5	2586	17
done	5000	17
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	262	16
6	323	16
7	338	16
done	338	16
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	262	16
6	323	16
7	338	16
done	338	16
0	2	2
1	5	1
done	5	1
0	13	16
1	22	16
2	42	16
3	69	16
4	77	16
5	81	16
6	85	16
done	85	16
0	18	39
1	33	37
2	58	35
3	91	35
4	93	35
done	93	35
0	16	19
1	25	18
2	41	18
3	66	18
4	68	18
done	68	18
0	17	22
1	28	20
2	46	18
3	74	18
4	76	18
done	76	18
0	16	19
1	25	18
2	41	18
3	66	18
4	68	18
done	68	18
0	20	41
1	39	39
2	91	37
3	188	35
4	247	35
done	247	35
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	19	37
1	34	35
2	68	33
3	128	31
4	154	31
done	154	31
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	17	35
1	32	29
2	63	29
3	99	29
4	103	29
done	103	29
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	18	35
1	33	33
2	68	29
3	127	29
4	162	29
5	163	29
done	163	29
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	20	40
1	38	38
2	91	36
3	225	34
4	491	34
5	615	34
6	676	34
7	684	34
done	684	34
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	19	37
1	34	35
2	73	33
3	149	31
4	232	31
5	298	31
6	328	31
7	335	31
done	335	31
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	18	36
1	34	33
2	69	29
3	128	29
4	161	29
5	162	29
done	162	29
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	19	39
1	38	37
2	91	35
3	188	33
4	251	33
done	251	33
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	18	36
1	33	34
2	68	32
3	128	30
4	155	30
done	155	30
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	17	35
1	32	29
2	63	29
3	99	29
4	103	29
done	103	29
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	19	27
1	34	25
2	65	23
3	112	21
4	117	21
done	117	21
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	18	23
1	31	21
2	56	19
3	89	17
4	92	17
done	92	17
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	16	21
1	29	15
2	51	15
3	78	15
4	80	15
done	80	15
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	17	21
1	30	19
2	56	15
3	91	15
4	97	15
done	97	15
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	19	26
1	35	24
2	71	22
3	139	20
4	218	20
5	248	20
6	259	20
7	260	20
done	260	20
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	18	23
1	31	21
2	59	19
3	101	17
4	129	17
5	148	17
6	154	17
7	155	17
done	155	17
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	17	22
1	31	19
2	57	15
3	90	15
4	93	15
done	93	15
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	18	25
1	33	23
2	65	21
3	110	19
4	116	19
done	116	19
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	17	22
1	30	20
2	56	18
3	91	16
4	94	16
done	94	16
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	16	21
1	29	15
2	51	15
3	78	15
4	80	15
done	80	15
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	9	15
1	17	13
2	32	9
3	49	7
4	57	7
5	58	7
done	58	7
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	8	11
1	14	9
2	23	5
3	30	3
done	30	3
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	5	9
1	11	1
done	11	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	6	9
1	12	5
2	18	1
done	18	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	9	14
1	18	12
2	37	8
3	72	6
4	158	6
5	208	6
6	214	6
7	218	6
done	218	6
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	8	11
1	14	9
2	25	5
3	40	3
4	58	3
5	75	3
6	77	3
done	77	3
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	6	10
1	13	5
2	19	1
done	19	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	5	9
1	11	1
done	11	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	9	15
1	17	13
2	32	9
3	49	7
4	57	7
5	58	7
done	58	7
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	8	11
1	14	9
2	23	5
3	30	3
done	30	3
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	5	9
1	11	1
done	11	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	6	9
1	12	5
2	18	1
done	18	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	9	14
1	18	12
2	37	8
3	72	6
4	158	6
5	208	6
6	214	6
7	218	6
done	218	6
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	8	11
1	14	9
2	25	5
3	40	3
4	58	3
5	75	3
6	77	3
done	77	3
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	6	10
1	13	5
2	19	1
done	19	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	5	9
1	11	1
done	11	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	4	7
1	8	3
2	12	1
done	12	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	14	18
1	25	16
2	44	14
3	70	14
4	72	14
done	72	14
0	6	7
1	10	6
2	15	4
3	26	2
4	50	2
5	61	2
6	68	2
7	70	2
done	70	2
0	17	36
1	28	35
2	44	35
3	71	35
4	73	35
done	73	35
0	16	19
1	25	18
2	41	18
3	66	18
4	68	18
done	68	18
0	16	19
1	25	18
2	41	18
3	66	18
4	68	18
done	68	18
0	16	19
1	25	18
2	41	18
3	66	18
4	68	18
done	68	18
0	19	38
1	36	37
2	73	37
3	127	35
4	191	35
5	256	35
done	256	35
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	18	34
1	31	33
2	55	33
3	93	31
4	122	31
5	162	31
done	162	31
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	16	32
1	29	29
2	57	29
3	91	29
4	93	29
done	93	29
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	17	32
1	30	31
2	55	29
3	94	29
4	104	29
5	132	29
6	181	29
7	185	29
done	185	29
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	19	37
1	35	36
2	78	36
3	171	34
4	329	34
5	526	34
6	592	34
7	605	34
done	605	34
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	18	34
1	31	33
2	60	33
3	108	31
4	175	31
5	276	31
6	314	31
7	323	31
done	323	31
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	17	33
1	31	31
2	56	29
3	95	29
4	103	29
5	131	29
6	178	29
7	182	29
done	182	29
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	18	36
1	35	35
2	73	35
3	129	33
4	193	33
5	268	33
done	268	33
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	17	33
1	30	32
2	55	32
3	93	30
4	122	30
5	159	30
done	159	30
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	16	32
1	29	29
2	57	29
3	91	29
4	93	29
done	93	29
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	18	24
1	31	23
2	54	23
3	89	21
4	115	21
5	130	21
done	130	21
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	17	20
1	28	19
2	47	19
3	75	17
4	90	17
5	97	17
done	97	17
0	15	18
1	26	15
2	48	15
3	75	15
4	77	15
done	77	15
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	16	18
1	27	17
2	47	15
3	75	15
4	79	15
done	79	15
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	18	23
1	32	22
2	62	22
3	110	20
4	177	20
5	237	20
6	254	20
7	255	20
done	255	20
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	16	19
1	28	17
2	48	15
3	78	15
4	80	15
done	80	15
0	15	18
1	26	17
2	46	17
3	72	15
4	74	15
done	74	15
0	17	22
1	30	21
2	54	21
3	87	19
4	113	19
5	132	19
done	132	19
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	16	19
1	27	18
2	47	18
3	73	16
4	88	16
5	93	16
done	93	16
0	17	20
1	28	19
2	50	19
3	84	17
4	117	17
5	149	17
6	158	17
7	159	17
done	159	17
0	15	18
1	26	15
2	48	15
3	75	15
4	77	15
done	77	15
0	16	19
1	27	18
2	48	18
3	80	16
4	143	16
5	265	16
6	327	16
7	342	16
done	342	16
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	4	6
1	8	1
done	8	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	5	6
1	9	1
done	9	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	8	11
1	15	10
2	28	8
3	51	6
4	122	6
5	178	6
6	185	6
7	189	6
done	189	6
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	7	8
1	11	7
2	16	5
3	27	3
4	51	3
5	68	3
6	70	3
done	70	3
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	5	7
1	10	5
2	13	1
done	13	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	4	6
1	8	1
done	8	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	16	19
1	27	18
2	46	18
3	72	16
4	87	16
5	94	16
done	94	16
0	4	6
1	8	1
done	8	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	5	6
1	9	1
done	9	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	8	11
1	15	10
2	28	8
3	51	6
4	122	6
5	178	6
6	185	6
7	189	6
done	189	6
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	7	8
1	11	7
2	16	5
3	27	3
4	51	3
5	68	3
6	70	3
done	70	3
0	15	18
1	26	17
2	46	17
3	72	15
4	87	15
5	92	15
done	92	15
0	5	7
1	10	5
2	13	1
done	13	1
0	14	17
1	25	16
2	45	16
3	73	14
4	75	14
done	75	14
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	16	19
1	27	18
2	49	18
3	81	16
4	114	16
5	144	16
6	153	16
7	154	16
done	154	16
0	4	6
1	8	1
done	8	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	3	4
1	5	1
done	5	1
0	15	18
1	26	17
2	47	17
3	79	15
4	142	15
5	262	15
6	329	15
7	342	15
done	342	15
0	13	15
1	22	14
2	39	14
3	64	14
4	68	14
done	68	14
0	6	7
1	10	6
2	15	4
3	26	2
4	50	2
5	61	2
6	68	2
7	70	2
done	70	2
0	16	35
1	27	35
2	43	35
3	68	35
4	70	35
done	70	35
0	15	18
1	24	18
2	40	18
3	65	18
4	67	18
done	67	18
0	15	18
1	24	18
2	40	18
3	65	18
4	67	18
done	67	18
0	15	18
1	24	18
2	40	18
3	65	18
4	67	18
done	67	18
0	18	37
1	35	37
2	72	37
3	130	35
4	194	35
5	266	35
done	266	35
0	16	19
1	27	19
2	46	19
3	72	17
4	87	17
5	94	17
done	94	17
0	17	33
1	30	33
2	54	33
3	92	31
4	121	31
5	161	31
done	161	31
0	16	19
1	27	19
2	46	19
3	72	17
4	87	17
5	94	17
done	94	17
0	15	31
1	28	29
2	56	29
3	92	29
4	94	29
done	94	29
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	260	16
6	318	16
7	333	16
done	333	16
0	16	31
1	29	31
2	54	29
3	93	29
4	103	29
5	131	29
6	178	29
7	180	29
done	180	29
0	14	17
1	25	17
2	45	17
3	73	15
4	77	15
done	77	15
0	18	36
1	34	36
2	77	36
3	168	34
4	320	34
5	508	34
6	581	34
7	601	34
done	601	34
0	15	18
1	26	18
2	46	18
3	72	16
4	87	16
5	92	16
done	92	16
0	17	33
1	30	33
2	59	33
3	107	31
4	176	31
5	276	31
6	314	31
7	323	31
done	323	31
0	15	18
1	26	18
2	46	18
3	72	16
4	87	16
5	92	16
done	92	16
0	16	32
1	30	31
2	55	29
3	94	29
4	102	29
5	130	29
6	177	29
7	179	29
done	179	29
0	14	17
1	25	17
2	45	17
3	73	15
4	77	15
done	77	15
0	17	35
1	34	35
2	72	35
3	128	33
4	190	33
5	257	33
done	257	33
0	16	19
1	27	19
2	49	19
3	81	17
4	114	17
5	144	17
6	153	17
7	154	17
done	154	17
0	16	32
1	29	32
2	54	32
3	92	30
4	121	30
5	161	30
done	161	30
0	16	19
1	27	19
2	49	19
3	81	17
4	114	17
5	144	17
6	153	17
7	154	17
done	154	17
0	15	31
1	28	29
2	56	29
3	92	29
4	94	29
done	94	29
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	260	16
6	318	16
7	333	16
done	333	16
0	17	23
1	30	23
2	53	23
3	86	21
4	112	21
5	131	21
done	131	21
0	16	19
1	27	19
2	46	19
3	72	17
4	87	17
5	94	17
done	94	17
0	16	19
1	27	19
2	46	19
3	72	17
4	87	17
5	94	17
done	94	17
0	16	19
1	27	19
2	46	19
3	72	17
4	87	17
5	94	17
done	94	17
0	14	17
1	25	15
2	47	15
3	72	15
4	74	15
done	74	15
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	260	16
6	318	16
7	333	16
done	333	16
0	15	17
1	26	17
2	46	15
3	74	15
4	78	15
done	78	15
0	14	17
1	25	17
2	45	17
3	73	15
4	77	15
done	77	15
0	17	22
1	31	22
2	61	22
3	111	20
4	178	20
5	240	20
6	259	20
7	261	20
done	261	20
0	15	18
1	26	18
2	46	18
3	72	16
4	87	16
5	92	16
done	92	16
0	16	19
1	27	19
2	49	19
3	81	17
4	114	17
5	144	17
6	153	17
7	154	17
done	154	17
0	15	18
1	26	18
2	46	18
3	72	16
4	87	16
5	92	16
done	92	16
0	15	18
1	27	17
2	47	15
3	75	15
4	77	15
done	77	15
0	14	17
1	25	17
2	45	17
3	73	15
4	77	15
done	77	15
0	16	21
1	29	21
2	53	21
3	88	19
4	114	19
5	133	19
done	133	19
0	16	19
1	27	19
2	49	19
3	81	17
4	114	17
5	144	17
6	153	17
7	154	17
done	154	17
0	15	18
1	26	18
2	46	18
3	72	16
4	87	16
5	92	16
done	92	16
0	16	19
1	27	19
2	49	19
3	81	17
4	114	17
5	144	17
6	153	17
7	154	17
done	154	17
0	14	17
1	25	15
2	47	15
3	72	15
4	74	15
done	74	15
0	15	18
1	26	18
2	47	18
3	79	16
4	142	16
5	260	16
6	318	16
7	333	16
done	333	16
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	15	18
1	26	18
2	45	18
3	71	16
4	86	16
5	93	16
done	93	16
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	15	18
1	26	18
2	45	18
3	71	16
4	86	16
5	93	16
done	93	16
0	3	5
1	6	1
done	6	1
0	14	17
1	25	17
2	46	17
3	80	15
4	145	15
5	265	15
6	326	15
7	339	15
done	339	15
0	4	5
1	8	1
done	8	1
0	13	16
1	24	16
2	44	16
3	70	14
4	72	14
done	72	14
0	7	10
1	14	6
2	29	6
3	63	6
4	100	6
5	128	6
6	146	6
7	150	6
done	150	6
0	14	17
1	25	17
2	45	17
3	73	15
4	90	15
5	97	15
done	97	15
0	6	7
1	10	3
2	17	3
3	27	3
4	35	3
5	43	3
6	59	3
7	63	3
done	63	3
0	14	17
1	25	17
2	45	17
3	73	15
4	90	15
5	97	15
done	97	15
0	4	6
1	9	1
done	9	1
0	13	16
1	24	16
2	44	16
3	70	14
4	72	14
done	72	14
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	15	18
1	26	18
2	48	18
3	80	16
4	113	16
5	143	16
6	152	16
7	153	16
done	153	16
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	15	18
1	26	18
2	48	18
3	80	16
4	113	16
5	143	16
6	152	16
7	153	16
done	153	16
0	3	5
1	6	1
done	6	1
0	14	17
1	25	17
2	46	17
3	80	15
4	145	15
5	265	15
6	326	15
7	339	15
done	339	15
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	15	18
1	26	18
2	45	18
3	71	16
4	86	16
5	93	16
done	93	16
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	15	18
1	26	18
2	45	18
3	71	16
4	86	16
5	93	16
done	93	16
0	3	5
1	6	1
done	6	1
0	14	17
1	25	17
2	46	17
3	80	15
4	145	15
5	265	15
6	326	15
7	339	15
done	339	15
0	4	5
1	8	1
done	8	1
0	13	16
1	24	16
2	44	16
3	70	14
4	72	14
done	72	14
0	7	10
1	14	6
2	29	6
3	63	6
4	100	6
5	128	6
6	146	6
7	150	6
done	150	6
0	14	17
1	25	17
2	45	17
3	73	15
4	90	15
5	97	15
done	97	15
0	6	7
1	10	3
2	17	3
3	27	3
4	35	3
5	43	3
6	59	3
7	63	3
done	63	3
0	14	17
1	25	17
2	45	17
3	73	15
4	90	15
5	97	15
done	97	15
0	4	6
1	9	1
done	9	1
0	13	16
1	24	16
2	44	16
3	70	14
4	72	14
done	72	14
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	15	18
1	26	18
2	48	18
3	80	16
4	113	16
5	143	16
6	152	16
7	153	16
done	153	16
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	15	18
1	26	18
2	48	18
3	80	16
4	113	16
5	143	16
6	152	16
7	153	16
done	153	16
0	3	5
1	6	1
done	6	1
0	14	17
1	25	17
2	46	17
3	80	15
4	145	15
5	265	15
6	326	15
7	339	15
done	339	15
0	2	3
1	4	1
done	4	1
0	14	17
1	25	17
2	46	17
3	80	15
4	145	15
5	265	15
6	326	15
7	339	15
done	339	15
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	5	6
1	9	2
2	16	2
3	26	2
4	32	2
5	41	2
6	58	2
7	65	2
8	67	2
done	67	2
0	14	17
1	25	17
2	46	17
3	80	15
4	145	15
5	265	15
6	326	15
7	339	15
done	339	15
0	14	17
1	25	15
2	50	15
3	95	15
4	179	15
5	309	15
6	323	15
done	323	15
0	16	35
1	27	35
2	43	35
3	68	35
4	70	35
done	70	35
0	15	18
1	24	18
2	40	18
3	65	18
4	67	18
done	67	18
0	18	37
1	35	37
2	72	37
3	130	35
4	194	35
5	266	35
done	266	35
0	17	33
1	30	33
2	54	33
3	92	31
4	121	31
5	161	31
done	161	31
0	15	31
1	28	29
2	56	29
3	92	29
4	94	29
done	94	29
0	16	31
1	29	31
2	54	29
3	93	29
4	103	29
5	131	29
6	178	29
7	180	29
done	180	29
0	18	36
1	34	36
2	77	36
3	168	34
4	320	34
5	508	34
6	581	34
7	601	34
done	601	34
0	17	33
1	30	33
2	59	33
3	107	31
4	176	31
5	276	31
6	314	31
7	323	31
done	323	31
0	16	32
1	30	31
2	55	29
3	94	29
4	102	29
5	130	29
6	177	29
7	179	29
done	179	29
0	17	35
1	34	35
2	72	35
3	128	33
4	190	33
5	257	33
done	257	33
0	16	32
1	29	32
2	54	32
3	92	30
4	121	30
5	161	30
done	161	30
0	15	31
1	28	29
2	56	29
3	92	29
4	94	29
done	94	29
0	17	23
1	30	23
2	53	23
3	86	21
4	112	21
5	131	21
done	131	21
0	16	19
1	27	19
2	46	19
3	72	17
4	87	17
5	94	17
done	94	17
0	14	17
1	25	15
2	47	15
3	72	15
4	74	15
done	74	15
0	15	17
1	26	17
2	46	15
3	74	15
4	78	15
done	78	15
0	17	22
1	31	22
2	61	22
3	111	20
4	178	20
5	240	20
6	259	20
7	261	20
done	261	20
0	16	19
1	27	19
2	49	19
3	81	17
4	114	17
5	144	17
6	153	17
7	154	17
done	154	17
0	15	18
1	27	17
2	47	15
3	75	15
4	77	15
done	77	15
0	16	21
1	29	21
2	53	21
3	88	19
4	114	19
5	133	19
done	133	19
0	15	18
1	26	18
2	46	18
3	72	16
4	87	16
5	92	16
done	92	16
0	14	17
1	25	15
2	47	15
3	72	15
4	74	15
done	74	15
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	3	5
1	6	1
done	6	1
0	4	5
1	8	1
done	8	1
0	7	10
1	14	6
2	29	6
3	63	6
4	100	6
5	128	6
6	146	6
7	150	6
done	150	6
0	6	7
1	10	3
2	17	3
3	27	3
4	35	3
5	43	3
6	59	3
7	63	3
done	63	3
0	4	6
1	9	1
done	9	1
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	3	5
1	6	1
done	6	1
0	4	5
1	8	1
done	8	1
0	7	10
1	14	6
2	29	6
3	63	6
4	100	6
5	128	6
6	146	6
7	150	6
done	150	6
0	6	7
1	10	3
2	17	3
3	27	3
4	35	3
5	43	3
6	59	3
7	63	3
done	63	3
0	4	6
1	9	1
done	9	1
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	15	18
1	26	17
2	47	17
3	76	15
4	115	15
5	232	15
6	300	15
done	300	15
0	15	18
1	26	17
2	47	17
3	76	15
4	115	15
5	232	15
6	300	15
done	300	15
0	14	17
1	25	15
2	50	15
3	95	15
4	179	15
5	309	15
6	323	15
done	323	15
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	14	17
1	23	17
2	40	17
3	65	17
4	67	17
done	67	17
0	13	16
1	23	16
2	41	16
3	67	16
4	71	16
done	71	16
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	16	47
1	51	45
2	149	19
3	428	17
4	1093	17
5	3224	17
done	5000	17
0	14	33
1	21	33
2	37	33
3	62	33
4	66	33
done	66	33
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	14	47
1	28	47
2	76	17
3	177	17
4	380	17
5	799	17
6	2034	17
done	5001	17
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	3	3
done	3	1
0	16	35
1	29	35
2	54	35
3	85	35
4	87	35
done	87	35
0	14	17
1	21	17
2	37	17
3	62	17
4	64	17
done	64	17
0	15	31
1	24	31
2	42	31
3	68	31
4	70	31
done	70	31
0	14	17
1	21	17
2	37	17
3	62	17
4	64	17
done	64	17
0	14	29
1	25	27
2	48	27
3	78	27
4	80	27
done	80	27
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	14	29
1	23	29
2	42	29
3	68	29
4	70	29
done	70	29
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	16	34
1	28	34
2	59	34
3	102	34
4	110	34
5	111	34
done	111	34
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	15	31
1	24	31
2	45	31
3	71	31
4	73	31
done	73	31
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	15	30
1	27	29
2	46	29
3	72	29
4	74	29
done	74	29
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	15	33
1	28	33
2	54	33
3	85	33
4	87	33
done	87	33
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	14	30
1	23	30
2	42	30
3	68	30
4	70	30
done	70	30
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	14	29
1	25	27
2	48	27
3	78	27
4	80	27
done	80	27
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	15	21
1	24	21
2	40	21
3	65	21
4	67	21
done	67	21
0	14	17
1	21	17
2	37	17
3	62	17
4	64	17
done	64	17
0	14	17
1	21	17
2	37	17
3	62	17
4	64	17
done	64	17
0	14	17
1	21	17
2	37	17
3	62	17
4	64	17
done	64	17
0	13	15
1	22	13
2	41	13
3	66	13
4	70	13
done	70	13
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	13	15
1	20	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	15	20
1	25	20
2	46	20
3	71	20
4	73	20
done	73	20
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	14	16
1	24	15
2	41	15
3	66	15
4	68	15
done	68	15
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	14	19
1	23	19
2	40	19
3	65	19
4	67	19
done	67	19
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	14	17
1	21	17
2	38	17
3	63	17
4	65	17
done	65	17
0	13	15
1	22	13
2	41	13
3	66	13
4	70	13
done	70	13
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	6	9
1	10	9
done	10	9
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	5	5
1	7	5
done	7	5
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	2	3
1	4	1
done	4	1
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	3	3
1	5	1
done	5	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	6	8
1	11	8
2	15	8
done	15	8
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	5	5
1	7	5
done	7	5
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	3	4
1	6	1
done	6	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	5	7
1	9	7
done	9	7
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	4	4
1	6	4
done	6	4
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	2	3
1	4	1
done	4	1
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	6	9
1	10	9
done	10	9
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	5	5
1	7	5
done	7	5
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	2	3
1	4	1
done	4	1
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	3	3
1	5	1
done	5	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	6	8
1	11	8
2	15	8
done	15	8
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	5	5
1	7	5
done	7	5
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	3	4
1	6	1
done	6	1
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	5	7
1	9	7
done	9	7
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	4	4
1	6	4
done	6	4
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	2	3
1	4	1
done	4	1
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	4	4
1	6	4
done	6	4
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	14	20
1	23	20
2	39	20
3	64	20
4	66	20
done	66	20
0	13	16
1	20	16
2	36	16
3	61	16
4	65	16
done	65	16
0	12	14
1	21	12
2	40	12
3	65	12
4	67	12
done	67	12
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	14	19
1	24	19
2	45	19
3	70	19
4	72	19
done	72	19
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	15
1	23	14
2	40	14
3	65	14
4	67	14
done	67	14
0	13	18
1	22	18
2	39	18
3	64	18
4	66	18
done	66	18
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	12	14
1	21	12
2	40	12
3	65	12
4	67	12
done	67	12
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	15	41
1	38	27
2	113	27
3	316	25
4	787	25
5	1529	24
6	1770	24
7	1886	24
8	1945	24
done	1945	24
0	12	15
1	23	15
2	55	15
3	98	15
4	123	14
5	128	14
done	128	14
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	17	23
1	47	23
2	151	23
3	441	21
4	1689	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	33	11
3	50	11
4	62	11
5	65	11
done	65	11
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
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	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

prune357.0ms

Filtered

151 candidates to 310 candidates (-105.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	310	0	310
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	310	8	318

Merged error: 0b

Counts

318 → 8

regimes279.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	15
1	17	15
done	17	15

end0.0ms

sample2.6s

Algorithm

intervals

Results

559.0ms	4874×	body	160	valid
526.0ms	16218×	pre	80	true
497.0ms	8218×	body	80	nan
223.0ms	1323×	body	320	valid
107.0ms	1803×	body	80	valid

Details

sample91.0ms

simplify57.0ms

prune9.0ms

localize11.0ms

rewrite34.0ms

series67.0ms

simplify1.3min

prune169.0ms

localize13.0ms

rewrite50.0ms

series134.0ms

simplify3.9min

prune416.0ms

localize11.0ms

rewrite36.0ms

series88.0ms

simplify1.3min

prune166.0ms

localize13.0ms

rewrite64.0ms

series72.0ms

simplify1.9min

prune357.0ms

regimes279.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.6s

Profiling