Details

sample35.0ms

Algorithm

intervals

Results

7.0ms	183×	body	80	valid
5.0ms	29×	body	1280	valid
5.0ms	256×	pre	80	true
3.0ms	22×	body	640	valid
2.0ms	18×	body	320	valid
0.0ms	4×	body	160	valid

simplify356.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	20	13
2	33	13
3	51	13
4	70	13
5	119	13
6	144	13
7	180	13
8	213	13
9	264	13
10	304	13
11	316	13
12	328	13
13	340	13
done	340	13

prune3.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: 17.1b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
2.1b	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
25×	`times-frac`
19×	`distribute-lft-out`
14×	`add-cube-cbrt`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
2×	`pow1` `flip3-+` `div-sub` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `clear-num` `sum-log` `flip--` `div-inv`

Counts

2 → 65

Calls

2 calls:

11.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
19.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

series30.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ (- beta alpha) (+ (+ alpha beta) 2.0))
20.0ms	(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

simplify39.6s

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	23	12
2	38	12
3	59	12
4	87	12
5	119	12
6	156	12
7	263	12
8	400	12
9	454	12
10	464	12
11	468	12
12	471	12
done	471	12
0	10	12
1	20	12
2	33	12
3	45	12
4	55	12
5	64	12
6	69	12
7	78	12
8	95	12
9	118	12
10	131	12
11	133	12
12	137	12
13	140	12
done	140	12
0	10	12
1	23	12
2	40	12
3	62	12
4	89	12
5	121	12
6	158	12
7	268	12
8	415	12
9	470	12
10	480	12
11	484	12
12	487	12
done	487	12
0	11	25
1	21	25
2	34	25
3	44	25
4	54	25
5	63	25
6	68	25
7	77	25
8	94	25
9	117	25
10	130	25
11	132	25
12	136	25
13	139	25
done	139	25
0	10	12
1	20	12
2	33	12
3	45	12
4	55	12
5	64	12
6	69	12
7	78	12
8	95	12
9	118	12
10	131	12
11	133	12
12	137	12
13	140	12
done	140	12
0	11	35
1	34	35
2	87	13
3	257	13
4	1180	13
done	5001	13
0	10	12
1	20	12
2	33	12
3	45	12
4	55	12
5	64	12
6	69	12
7	78	12
8	95	12
9	118	12
10	131	12
11	133	12
12	137	12
13	140	12
done	140	12
0	10	12
1	20	12
2	33	12
3	45	12
4	55	12
5	64	12
6	69	12
7	78	12
8	95	12
9	118	12
10	131	12
11	133	12
12	137	12
13	140	12
done	140	12
0	12	15
1	38	15
2	74	15
3	239	15
4	910	15
5	3560	15
done	5000	15
0	13	35
1	36	33
2	79	33
3	193	25
4	527	25
5	1519	25
6	4515	25
done	5000	25
0	11	23
1	29	23
2	61	23
3	149	23
4	457	23
5	1358	23
6	4099	23
done	5000	23
0	9	11
1	20	11
2	34	11
3	50	11
4	64	11
5	68	11
6	76	11
7	92	11
8	119	11
9	130	11
10	138	11
11	150	11
12	156	11
done	156	11
0	9	11
1	19	11
2	32	11
3	42	11
4	52	11
5	61	11
6	66	11
7	75	11
8	92	11
9	115	11
10	128	11
11	130	11
12	134	11
13	137	11
done	137	11
0	8	9
1	14	9
2	21	9
done	21	9
0	9	11
1	17	11
2	25	11
done	25	11
0	8	10
1	20	10
2	31	10
3	36	10
done	36	10
0	8	10
1	17	10
2	29	10
3	33	10
4	36	10
5	42	10
6	46	10
7	62	10
8	66	10
9	73	10
10	82	10
11	102	10
12	123	10
13	140	10
14	147	10
15	153	10
16	156	10
done	156	10
0	11	29
1	38	29
2	158	13
3	617	11
4	2817	11
done	5001	11
0	9	21
1	18	21
2	27	21
3	31	21
done	31	21
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	9	29
1	25	29
2	62	11
3	188	11
4	631	11
5	2121	11
done	5000	11
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	13	6
2	27	6
3	49	6
4	63	6
5	78	6
6	104	6
7	131	6
8	138	6
9	144	6
10	147	6
done	147	6
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	10	7
2	16	7
done	16	7
0	11	23
1	23	23
2	39	23
3	45	23
done	45	23
0	9	11
1	15	11
2	22	11
done	22	11
0	10	16
1	18	16
2	27	16
3	28	16
done	28	16
0	9	11
1	15	11
2	22	11
done	22	11
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	14	10
2	21	10
done	21	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	14	10
2	21	10
done	21	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	14	10
2	21	10
done	21	10
0	10	18
1	18	18
2	25	18
done	25	18
0	9	11
1	15	11
2	22	11
done	22	11
0	9	11
1	15	11
2	22	11
done	22	11
0	9	11
1	15	11
2	22	11
done	22	11
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	14	10
2	21	10
done	21	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	14	10
2	21	10
done	21	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	14	10
2	21	10
done	21	10
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	2	3
1	4	1
done	4	1
0	7	9
1	16	9
2	25	9
3	29	9
done	29	9
0	2	3
1	4	1
done	4	1
0	7	9
1	16	9
2	25	9
3	29	9
done	29	9
0	2	3
1	4	1
done	4	1
0	7	9
1	16	9
2	25	9
3	29	9
done	29	9
0	11	19
1	18	19
2	24	19
3	26	19
done	26	19
0	10	12
1	19	12
2	28	12
3	30	12
done	30	12
0	10	12
1	15	12
2	21	12
done	21	12
0	10	12
1	19	12
2	28	12
3	30	12
done	30	12
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	18	11
2	27	11
3	29	11
done	29	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	18	11
2	27	11
3	29	11
done	29	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	18	11
2	27	11
3	29	11
done	29	11
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	2	3
1	4	1
done	4	1
0	7	9
1	16	9
2	25	9
3	29	9
done	29	9
0	2	3
1	4	1
done	4	1
0	7	9
1	16	9
2	25	9
3	29	9
done	29	9
0	2	3
1	4	1
done	4	1
0	7	9
1	16	9
2	25	9
3	29	9
done	29	9
0	7	7
1	13	7
2	19	7
done	19	7
0	7	9
1	13	9
2	20	9
done	20	9
0	9	17
1	20	17
2	34	17
3	41	17
4	44	17
done	44	17
0	8	10
1	17	10
2	26	10
3	28	10
done	28	10
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	10
1	14	10
2	21	10
done	21	10
0	8	10
1	14	10
2	21	10
done	21	10
0	7	9
1	13	9
2	20	9
done	20	9
0	9	11
1	15	11
2	22	11
done	22	11
0	7	9
1	13	9
2	20	9
done	20	9
0	10	13
1	30	13
2	58	13
3	117	13
4	258	13
5	727	13
6	2669	13
done	5000	13
0	9	15
1	26	15
2	67	15
3	162	15
4	483	15
5	1334	15
done	5001	15
0	11	17
1	28	15
2	104	15
3	403	15
4	1236	15
done	5000	15
0	7	9
1	17	9
2	62	9
3	124	9
4	336	9
5	637	9
6	724	9
7	734	9
done	734	9
0	8	9
1	15	9
2	28	9
3	38	7
4	49	7
5	68	7
6	95	7
7	129	7
8	145	7
9	156	7
10	188	7
11	209	7
done	209	7
0	12	15
1	29	15
2	65	11
3	122	11
4	257	11
5	720	9
6	3598	9
done	5000	9
0	12	15
1	29	15
2	65	11
3	122	11
4	257	11
5	720	9
6	3598	9
done	5000	9
0	11	13
1	24	13
2	51	11
3	86	11
4	121	11
5	170	11
6	278	11
7	390	11
8	616	11
9	1547	11
done	5000	11
0	12	15
1	29	15
2	65	11
3	120	11
4	254	11
5	718	9
6	3692	9
done	5001	9
0	12	15
1	29	15
2	65	11
3	120	11
4	254	11
5	718	9
6	3692	9
done	5001	9

prune137.0ms

Filtered

47 candidates to 71 candidates (-51.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	59	12	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	12	72

Merged error: 16.4b

Counts

72 → 12

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ alpha (+ (+ alpha beta) 2.0))
0.0b	(/ beta (+ (+ alpha beta) 2.0))
2.1b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

65×	`*-un-lft-identity`
31×	`times-frac`
28×	`add-sqr-sqrt`
24×	`distribute-lft-out`
23×	`add-cube-cbrt`
10×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--`

Counts

3 → 89

Calls

3 calls:

13.0ms	(/ alpha (+ (+ alpha beta) 2.0))
8.0ms	(/ beta (+ (+ alpha beta) 2.0))
15.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

series29.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/ alpha (+ (+ alpha beta) 2.0))
8.0ms	(/ beta (+ (+ alpha beta) 2.0))
13.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify39.3s

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	10
2	24	10
3	27	10
4	30	10
5	36	10
6	40	10
7	56	10
8	60	10
9	67	10
10	76	10
11	97	10
12	118	10
13	131	10
14	134	10
done	134	10
0	9	10
1	15	10
2	22	10
done	22	10
0	9	10
1	18	10
2	27	10
3	30	10
4	36	10
5	40	10
6	56	10
7	60	10
8	67	10
9	76	10
10	97	10
11	118	10
12	131	10
13	134	10
done	134	10
0	10	21
1	16	21
2	23	21
done	23	21
0	9	10
1	15	10
2	22	10
done	22	10
0	10	29
1	17	29
2	38	11
3	89	11
4	241	11
5	704	11
6	2242	11
done	5000	11
0	9	10
1	15	10
2	22	10
done	22	10
0	9	10
1	15	10
2	22	10
done	22	10
0	11	13
1	33	13
2	79	13
3	209	13
4	720	13
5	2896	13
done	5000	13
0	12	29
1	29	27
2	52	27
3	63	21
4	121	21
5	256	21
6	583	21
7	2764	21
done	5000	21
0	2	2
done	2	2
0	10	19
1	23	19
2	42	19
3	64	19
4	150	19
5	338	19
6	746	19
7	3042	19
done	5000	19
0	8	9
1	13	9
2	19	9
done	19	9
0	10	11
1	15	11
2	21	11
done	21	11
0	10	11
1	16	11
2	23	11
done	23	11
0	11	12
1	16	12
2	22	12
3	24	12
done	24	12
0	11	12
1	17	12
2	24	12
done	24	12
0	8	9
1	14	9
2	21	9
done	21	9
0	2	2
done	2	2
0	8	9
1	14	9
2	21	9
done	21	9
0	7	8
1	14	8
2	22	8
3	23	8
done	23	8
0	7	8
1	11	8
2	17	8
done	17	8
0	10	23
1	35	23
2	139	11
3	528	9
4	2450	9
done	5001	9
0	8	17
1	12	17
2	18	17
done	18	17
0	7	8
1	11	8
2	17	8
done	17	8
0	8	23
1	19	23
2	41	9
3	79	9
4	192	9
5	595	9
6	2068	9
done	5001	9
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	6	6
1	13	6
2	27	6
3	49	6
4	63	6
5	78	6
6	104	6
7	131	6
8	138	6
9	144	6
10	147	6
done	147	6
0	10	19
1	20	19
2	35	19
3	41	19
done	41	19
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	9	12
1	15	12
2	23	12
3	26	12
done	26	12
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	17	8
done	17	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	17	8
done	17	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	17	8
done	17	8
0	9	16
1	15	16
2	21	16
done	21	16
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	17	8
done	17	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	17	8
done	17	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	17	8
done	17	8
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	7	8
1	11	8
2	17	8
done	17	8
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	7	8
1	11	8
2	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	16	7
done	16	7
0	7	7
1	13	7
2	19	7
done	19	7
0	6	7
1	10	7
2	16	7
done	16	7
0	8	15
1	14	15
2	20	15
done	20	15
0	7	8
1	11	8
2	17	8
done	17	8
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	7
1	10	7
2	16	7
done	16	7
0	9	11
1	24	11
2	49	11
3	106	11
4	245	11
5	710	11
6	2682	11
done	5000	11
0	8	13
1	20	13
2	54	13
3	140	13
4	449	13
5	1295	13
done	5000	13
0	8	9
1	14	9
2	21	9
done	21	9
0	7	8
1	14	8
2	22	8
3	23	8
done	23	8
0	7	8
1	11	8
2	17	8
done	17	8
0	10	23
1	35	23
2	139	11
3	528	9
4	2450	9
done	5001	9
0	8	17
1	12	17
2	18	17
done	18	17
0	7	8
1	11	8
2	17	8
done	17	8
0	8	23
1	19	23
2	41	9
3	79	9
4	192	9
5	595	9
6	2067	9
done	5000	9
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	6	6
1	13	6
2	27	6
3	49	6
4	63	6
5	78	6
6	104	6
7	131	6
8	138	6
9	144	6
10	147	6
done	147	6
0	10	19
1	20	19
2	35	19
3	41	19
done	41	19
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	9	12
1	15	12
2	23	12
3	26	12
done	26	12
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	17	8
done	17	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	17	8
done	17	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	17	8
done	17	8
0	9	16
1	15	16
2	21	16
done	21	16
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	17	8
done	17	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	17	8
done	17	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	17	8
done	17	8
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	7	8
1	11	8
2	17	8
done	17	8
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	7	8
1	11	8
2	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	16	7
done	16	7
0	7	7
1	13	7
2	19	7
done	19	7
0	6	7
1	10	7
2	16	7
done	16	7
0	8	15
1	14	15
2	20	15
done	20	15
0	7	8
1	11	8
2	17	8
done	17	8
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	7
1	10	7
2	16	7
done	16	7
0	9	11
1	24	11
2	49	11
3	106	11
4	245	11
5	710	11
6	2682	11
done	5000	11
0	8	13
1	20	13
2	54	13
3	140	13
4	449	13
5	1298	13
done	5000	13
0	10	11
1	22	11
2	47	11
3	74	11
4	110	9
5	141	9
6	206	9
7	346	9
8	595	9
9	1530	9
done	5000	9
0	17	21
1	43	21
2	101	15
3	261	15
4	883	15
5	3264	13
done	5000	13
0	17	21
1	43	21
2	101	15
3	261	15
4	883	15
5	3264	13
done	5000	13
0	12	15
1	30	13
2	69	11
3	132	11
4	246	9
5	349	9
6	546	9
7	784	9
8	1090	9
9	2041	9
done	5001	9
0	1	1
done	1	1
0	1	1
done	1	1
0	12	15
1	30	13
2	67	11
3	128	11
4	245	9
5	351	9
6	548	9
7	788	9
8	1089	9
9	2007	9
done	5001	9
0	1	1
done	1	1
0	1	1
done	1	1

prune171.0ms

Filtered

68 candidates to 98 candidates (-44.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	10	1	11
Picked	1	0	1
Done	0	0	0
Total	103	7	110

Merged error: 2.3b

Counts

110 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

2.1b	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
6.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
6.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
6.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

78×	`*-un-lft-identity`
63×	`cbrt-prod`
46×	`times-frac`
36×	`add-sqr-sqrt`
31×	`add-cube-cbrt`
27×	`distribute-lft-out`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`cbrt-div` `flip3-+` `pow1/3` `flip-+` `div-inv`
2×	`difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out--`

Counts

4 → 105

Calls

4 calls:

14.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
8.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
9.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
8.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
25.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
24.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
31.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))

simplify1.2min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	9	18
1	13	18
2	19	18
done	19	18
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	11	20
1	21	20
2	36	20
3	42	20
done	42	20
0	9	10
1	13	10
2	19	10
done	19	10
0	10	13
1	16	13
2	24	13
3	25	13
done	25	13
0	9	10
1	13	10
2	19	10
done	19	10
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	17
1	16	17
2	22	17
3	24	17
done	24	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	16
1	18	16
2	24	16
done	24	16
0	8	9
1	12	9
2	18	9
done	18	9
0	9	9
1	15	9
2	21	9
done	21	9
0	8	9
1	12	9
2	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	12
1	25	12
2	50	12
3	107	12
4	244	12
5	701	12
6	2664	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
done	18	9
0	9	26
1	14	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1279	7
done	5000	7
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	9	18
1	13	18
2	19	18
done	19	18
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	11	20
1	21	20
2	36	20
3	42	20
done	42	20
0	9	10
1	13	10
2	19	10
done	19	10
0	10	13
1	16	13
2	24	13
3	25	13
done	25	13
0	9	10
1	13	10
2	19	10
done	19	10
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	17
1	16	17
2	22	17
3	24	17
done	24	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	16
1	18	16
2	24	16
done	24	16
0	8	9
1	12	9
2	18	9
done	18	9
0	9	9
1	15	9
2	21	9
done	21	9
0	8	9
1	12	9
2	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	12
1	25	12
2	50	12
3	107	12
4	244	12
5	701	12
6	2664	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
done	18	9
0	9	26
1	14	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1279	7
done	5000	7
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	9	18
1	13	18
2	19	18
done	19	18
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	11	20
1	21	20
2	36	20
3	42	20
done	42	20
0	9	10
1	13	10
2	19	10
done	19	10
0	10	13
1	16	13
2	24	13
3	25	13
done	25	13
0	9	10
1	13	10
2	19	10
done	19	10
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	17
1	16	17
2	22	17
3	24	17
done	24	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	16
1	18	16
2	24	16
done	24	16
0	8	9
1	12	9
2	18	9
done	18	9
0	9	9
1	15	9
2	21	9
done	21	9
0	8	9
1	12	9
2	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	12
1	25	12
2	50	12
3	107	12
4	244	12
5	701	12
6	2664	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
done	18	9
0	9	26
1	14	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1279	7
done	5000	7
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	10	11
1	16	10
2	24	10
3	27	10
4	30	10
5	36	10
6	40	10
7	56	10
8	60	10
9	67	10
10	76	10
11	97	10
12	118	10
13	131	10
14	134	10
done	134	10
0	9	10
1	15	10
2	22	10
done	22	10
0	9	10
1	18	10
2	27	10
3	30	10
4	36	10
5	40	10
6	56	10
7	60	10
8	67	10
9	76	10
10	97	10
11	118	10
12	131	10
13	134	10
done	134	10
0	10	21
1	16	21
2	23	21
done	23	21
0	9	10
1	15	10
2	22	10
done	22	10
0	10	29
1	17	29
2	38	11
3	89	11
4	241	11
5	704	11
6	2242	11
done	5000	11
0	9	10
1	15	10
2	22	10
done	22	10
0	9	10
1	15	10
2	22	10
done	22	10
0	11	13
1	33	13
2	79	13
3	209	13
4	720	13
5	2896	13
done	5000	13
0	12	29
1	29	27
2	52	27
3	63	21
4	121	21
5	256	21
6	583	21
7	2764	21
done	5000	21
0	2	2
done	2	2
0	10	19
1	23	19
2	42	19
3	64	19
4	150	19
5	338	19
6	746	19
7	3042	19
done	5000	19
0	8	9
1	13	9
2	19	9
done	19	9
0	10	11
1	15	11
2	21	11
done	21	11
0	10	11
1	16	11
2	23	11
done	23	11
0	11	12
1	16	12
2	22	12
3	24	12
done	24	12
0	11	12
1	17	12
2	24	12
done	24	12
0	8	9
1	14	9
2	21	9
done	21	9
0	2	2
done	2	2
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15
0	10	11
1	22	11
2	47	11
3	74	11
4	110	9
5	141	9
6	206	9
7	346	9
8	595	9
9	1530	9
done	5000	9
0	17	21
1	43	21
2	101	15
3	261	15
4	883	15
5	3264	13
done	5000	13
0	17	21
1	43	21
2	101	15
3	261	15
4	883	15
5	3264	13
done	5000	13

prune309.0ms

Filtered

86 candidates to 117 candidates (-36.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	117	7	124

Merged error: 2.3b

Counts

124 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

6.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
6.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
6.2b	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
12.4b	(log (exp (cbrt (/ beta (+ (+ alpha beta) 2.0)))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

102×	`*-un-lft-identity`
84×	`cbrt-prod`
60×	`times-frac`
42×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`distribute-lft-out`
25×	`log-pow`
24×	`exp-prod`
8×	`associate-/r/`
5×	`pow1`
4×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+` `div-inv` `add-log-exp`
3×	`cbrt-div` `log-prod` `pow1/3`
1×	`rem-log-exp`

Counts

4 → 126

Calls

4 calls:

13.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
8.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
8.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
12.0ms	(log (exp (cbrt (/ beta (+ (+ alpha beta) 2.0)))))

series106.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
25.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
25.0ms	(cbrt (/ beta (+ (+ alpha beta) 2.0)))
25.0ms	(log (exp (cbrt (/ beta (+ (+ alpha beta) 2.0)))))

simplify1.3min

Counts

138 → 138

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	13
3	26	13
done	26	13
0	10	11
1	14	11
2	20	11
done	20	11
0	10	11
1	14	11
2	20	11
done	20	11
0	10	11
1	14	11
2	20	11
done	20	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	8
2	19	8
done	19	8
0	9	10
1	13	8
2	19	8
done	19	8
0	11	20
1	15	18
2	21	18
done	21	18
0	10	11
1	14	9
2	20	9
done	20	9
0	13	22
1	23	20
2	38	20
3	44	20
done	44	20
0	12	15
1	18	13
2	26	13
3	27	13
done	27	13
0	8	10
1	12	6
2	18	6
3	23	6
done	23	6
0	8	10
1	12	6
2	18	6
3	23	6
done	23	6
0	8	10
1	12	6
2	18	6
3	23	6
done	23	6
0	12	19
1	18	17
2	24	17
3	26	17
done	26	17
0	11	12
1	15	10
2	21	10
done	21	10
0	7	7
1	9	3
2	11	3
done	11	3
0	7	7
1	9	3
2	11	3
done	11	3
0	7	7
1	9	3
2	11	3
done	11	3
0	12	18
1	20	16
2	26	16
done	26	16
0	11	11
1	17	9
2	23	9
3	25	9
done	25	9
0	5	6
1	7	1
done	7	1
0	5	6
1	7	1
done	7	1
0	5	6
1	7	1
done	7	1
0	4	4
1	6	1
done	6	1
0	4	4
done	4	2
0	12	14
1	27	12
2	52	12
3	109	12
4	246	12
5	713	12
6	2677	12
done	5000	12
0	11	16
1	23	14
2	57	14
3	143	14
4	452	14
5	1298	14
done	5000	14
0	11	21
1	17	19
2	29	19
3	37	19
4	62	19
5	137	19
6	386	19
7	1372	19
done	5000	19
0	10	11
1	14	9
2	20	9
done	20	9
0	3	3
1	6	1
done	6	1
0	10	11
1	14	9
2	20	9
done	20	9
0	10	11
1	14	9
2	20	9
done	20	9
0	11	23
1	15	19
2	21	19
done	21	19
0	10	11
1	14	9
2	20	9
done	20	9
0	11	32
1	16	26
2	24	10
3	29	7
4	35	7
5	45	7
6	66	7
7	126	7
8	341	7
9	1250	7
done	5000	7
0	10	11
1	14	9
2	20	9
done	20	9
0	10	11
1	14	9
2	20	9
done	20	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	9	18
1	13	18
2	19	18
done	19	18
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	11	20
1	21	20
2	36	20
3	42	20
done	42	20
0	9	10
1	13	10
2	19	10
done	19	10
0	10	13
1	16	13
2	24	13
3	25	13
done	25	13
0	9	10
1	13	10
2	19	10
done	19	10
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	17
1	16	17
2	22	17
3	24	17
done	24	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	16
1	18	16
2	24	16
done	24	16
0	8	9
1	12	9
2	18	9
done	18	9
0	9	9
1	15	9
2	21	9
done	21	9
0	8	9
1	12	9
2	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	12
1	25	12
2	50	12
3	107	12
4	244	12
5	701	12
6	2664	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
done	18	9
0	9	26
1	14	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1279	7
done	5000	7
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	9	18
1	13	18
2	19	18
done	19	18
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	11	20
1	21	20
2	36	20
3	42	20
done	42	20
0	9	10
1	13	10
2	19	10
done	19	10
0	10	13
1	16	13
2	24	13
3	25	13
done	25	13
0	9	10
1	13	10
2	19	10
done	19	10
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	17
1	16	17
2	22	17
3	24	17
done	24	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	16
1	18	16
2	24	16
done	24	16
0	8	9
1	12	9
2	18	9
done	18	9
0	9	9
1	15	9
2	21	9
done	21	9
0	8	9
1	12	9
2	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	12
1	25	12
2	50	12
3	107	12
4	244	12
5	701	12
6	2664	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
done	18	9
0	9	26
1	14	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1279	7
done	5000	7
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	9	18
1	13	18
2	19	18
done	19	18
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	11	20
1	21	20
2	36	20
3	42	20
done	42	20
0	9	10
1	13	10
2	19	10
done	19	10
0	10	13
1	16	13
2	24	13
3	25	13
done	25	13
0	9	10
1	13	10
2	19	10
done	19	10
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	17
1	16	17
2	22	17
3	24	17
done	24	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	10	16
1	18	16
2	24	16
done	24	16
0	8	9
1	12	9
2	18	9
done	18	9
0	9	9
1	15	9
2	21	9
done	21	9
0	8	9
1	12	9
2	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	2
done	2	2
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	12
1	25	12
2	50	12
3	107	12
4	244	12
5	701	12
6	2664	12
done	5000	12
0	10	18
1	25	16
2	71	16
3	183	14
4	722	14
5	2286	14
done	5000	14
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5000	14
0	6	6
1	11	6
2	18	6
3	24	6
4	30	6
5	39	6
6	52	6
7	65	6
8	74	6
9	83	6
10	98	6
11	103	6
12	107	6
13	108	6
done	108	6
0	2	2
done	2	2
0	6	6
1	10	6
2	16	6
done	16	6
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
done	18	9
0	9	26
1	14	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1279	7
done	5000	7
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15
0	16	34
1	41	32
2	78	23
3	207	21
4	733	15
5	3061	13
done	5001	13
0	14	17
1	36	15
2	76	11
3	135	11
4	267	11
5	721	9
6	3609	9
done	5000	9
0	18	30
1	43	27
2	137	21
3	424	21
4	1696	15
done	5000	15

prune371.0ms

Filtered

100 candidates to 138 candidates (-38.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	137	8	145

Merged error: 2.3b

Counts

145 → 8

regimes217.0ms

Accuracy

99.1% (0.1b remaining)

Error of 3.2b against oracle of 3.1b and baseline of 15.9b

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	77
1	35	77
done	35	77

end0.0ms

sample970.0ms

Algorithm

intervals

Results

229.0ms	5860×	body	80	valid
151.0ms	837×	body	1280	valid
149.0ms	8000×	pre	80	true
102.0ms	700×	body	640	valid
50.0ms	395×	body	320	valid
15.0ms	208×	body	160	valid

Details

sample35.0ms

simplify356.0ms

prune3.0ms

localize9.0ms

rewrite34.0ms

series30.0ms

simplify39.6s

prune137.0ms

localize10.0ms

rewrite39.0ms

series29.0ms

simplify39.3s

prune171.0ms

localize14.0ms

rewrite44.0ms

series94.0ms

simplify1.2min

prune309.0ms

localize18.0ms

rewrite48.0ms

series106.0ms

simplify1.3min

prune371.0ms

regimes217.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample970.0ms

Profiling