Details

sample24.0ms

Algorithm

intervals

Results

6.0ms	52×	body	640	valid
5.0ms	146×	body	80	valid
4.0ms	45×	body	320	valid
1.0ms	13×	body	160	valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	15	11
done	15	11

prune2.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: 11.4b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (+ x 1.0))
0.0b	(/ 1.0 (- x 1.0))
2.1b	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
55×	`times-frac`
50×	`add-sqr-sqrt`
30×	`add-cube-cbrt`
25×	`distribute-lft-out--`
10×	`distribute-lft-out`
9×	`associate-/r*`
8×	`difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r/` `associate-/l*`
5×	`add-log-exp`
4×	`div-inv`
3×	`pow1` `flip--`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip-+`
1×	`sub-neg` `flip3-+` `diff-log` `frac-sub`

Counts

3 → 102

Calls

3 calls:

6.0ms	(/ 1.0 (+ x 1.0))
6.0ms	(/ 1.0 (- x 1.0))
33.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series14.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(/ 1.0 (+ x 1.0))
3.0ms	(/ 1.0 (- x 1.0))
9.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify1.4min

Counts

111 → 111

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	14	12
2	17	12
3	21	12
4	24	12
5	30	12
6	34	12
7	50	12
8	54	12
9	60	12
10	69	12
11	90	12
12	111	12
13	129	12
14	130	12
done	130	12
0	8	12
1	13	12
2	16	12
done	16	12
0	8	12
1	16	12
2	21	12
3	24	12
4	30	12
5	34	12
6	50	12
7	54	12
8	60	12
9	69	12
10	89	12
11	110	12
12	128	12
13	129	12
done	129	12
0	9	25
1	14	25
2	17	25
done	17	25
0	8	12
1	13	12
2	16	12
done	16	12
0	9	35
1	15	35
2	32	13
3	91	13
4	290	13
5	953	13
6	3172	13
done	5000	13
0	8	12
1	13	12
2	16	12
done	16	12
0	8	12
1	13	12
2	16	12
done	16	12
0	7	11
1	14	11
2	34	9
3	72	9
4	163	9
5	285	7
6	471	5
7	2032	5
done	5000	5
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	10	15
1	33	15
2	89	15
3	276	15
4	888	15
5	2969	15
done	5000	15
0	11	35
1	31	29
2	56	29
3	94	29
4	197	29
5	317	29
6	700	27
7	2168	27
done	5001	27
0	5	6
1	8	6
2	9	6
done	9	6
0	9	23
1	25	23
2	46	23
3	92	23
4	199	21
5	363	21
6	845	21
7	2583	21
done	5000	21
0	7	11
1	11	11
2	12	11
done	12	11
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	14	13
2	16	13
done	16	13
0	10	14
1	14	14
2	15	14
done	15	14
0	10	14
1	15	14
2	19	14
done	19	14
0	10	14
1	14	14
2	15	14
done	15	14
0	10	14
1	15	14
2	17	14
done	17	14
0	10	15
1	14	15
2	15	15
done	15	15
0	10	15
1	15	15
2	19	15
done	19	15
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	8	13
1	13	13
2	17	13
done	17	13
0	7	11
1	12	11
2	15	11
done	15	11
0	7	11
1	12	11
2	15	11
done	15	11
0	7	11
1	12	11
2	15	11
done	15	11
0	7	11
1	12	11
2	15	11
done	15	11
0	7	11
1	12	11
2	15	11
done	15	11
0	8	11
1	15	11
2	20	11
done	20	11
0	5	7
1	14	7
2	37	7
3	80	7
4	147	5
5	252	3
6	664	3
7	2220	3
done	5000	3
0	5	6
1	8	6
2	9	6
done	9	6
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	10	13
1	26	11
2	68	11
3	110	11
4	157	11
5	224	11
6	320	11
7	586	11
8	1357	11
done	5000	11
0	18	24
1	47	22
2	131	18
3	406	18
4	1849	18
done	5001	18
0	18	24
1	47	22
2	131	18
3	406	18
4	1849	18
done	5001	18
0	9	12
1	23	12
2	60	10
3	114	10
4	188	10
5	293	9
6	439	9
7	811	9
8	1480	9
9	2526	9
done	5000	9
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	8	11
1	20	11
2	49	11
3	76	9
4	114	9
5	169	9
6	277	9
7	477	9
8	812	9
9	1959	9
done	5000	9
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11

prune164.0ms

Filtered

80 candidates to 111 candidates (-38.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	109	3	112

Merged error: 0.2b

Counts

112 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x x) (* 1.0 1.0))
0.2b	(/ (* (* -2 1.0) 1.0) (- (* x x) (* 1.0 1.0)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `difference-of-squares`
2×	`pow1` `flip3--` `associate-/r/` `flip--`
1×	`sub-neg` `frac-2neg` `diff-log` `clear-num` `div-inv` `associate-/l*`

Counts

2 → 40

Calls

2 calls:

4.0ms	(- (* x x) (* 1.0 1.0))
11.0ms	(/ (* (* -2 1.0) 1.0) (- (* x x) (* 1.0 1.0)))

series12.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(- (* x x) (* 1.0 1.0))
7.0ms	(/ (* (* -2 1.0) 1.0) (- (* x x) (* 1.0 1.0)))

simplify2.9min

Counts

46 → 46

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	17
1	25	17
2	53	16
3	102	16
4	194	16
5	376	16
6	693	16
7	1504	16
8	3135	16
done	5000	16
0	12	16
1	25	16
2	47	16
3	96	16
4	190	16
5	370	16
6	685	16
7	1491	16
8	3105	16
done	5000	16
0	11	15
1	24	15
2	46	15
3	92	15
4	177	15
5	333	15
6	578	15
7	1099	15
8	3079	15
done	5000	15
0	10	14
1	23	14
2	70	14
3	218	14
4	541	12
5	1050	12
6	1837	12
7	4461	12
done	5001	12
0	10	14
1	20	14
2	53	14
3	165	14
4	391	12
5	709	12
6	1426	12
7	4793	12
done	5000	12
0	14	41
1	41	37
2	206	19
3	1920	15
done	5001	15
0	14	41
1	44	39
2	223	19
3	2321	19
done	5000	19
0	13	41
1	38	41
2	218	17
3	2174	15
done	5000	15
0	11	29
1	21	29
2	54	29
3	158	29
4	349	25
5	582	25
6	1019	25
7	3402	25
done	5001	25
0	10	14
1	20	14
2	53	14
3	157	14
4	348	12
5	579	12
6	1008	12
7	3426	12
done	5000	12
0	11	41
1	28	41
2	115	15
3	870	15
done	5000	15
0	10	14
1	20	14
2	53	14
3	157	14
4	348	12
5	579	12
6	1008	12
7	3426	12
done	5000	12
0	10	14
1	20	14
2	53	14
3	157	14
4	348	12
5	579	12
6	1008	12
7	3426	12
done	5000	12
0	5	6
1	13	6
2	28	5
3	32	5
done	32	5
0	6	8
1	11	8
2	25	8
3	60	8
4	141	7
5	243	7
6	460	7
7	942	7
8	3837	7
done	5000	7
0	10	21
1	23	21
2	44	21
3	72	21
4	101	21
5	142	21
6	198	21
7	366	21
8	1694	21
done	5000	21
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1578	10
done	5001	10
0	9	12
1	17	12
2	28	12
3	46	12
4	72	12
5	113	12
6	173	12
7	341	12
8	1636	12
done	5000	12
0	7	10
1	12	10
2	19	10
3	34	10
4	59	10
5	100	10
6	156	10
7	324	10
8	1578	10
done	5001	10
0	5	5
1	10	3
2	19	3
3	24	3
done	24	3
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	6	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	4	5
1	6	5
2	7	5
done	7	5
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	9	13
1	22	13
2	85	13
3	259	11
4	485	11
5	1118	11
6	4312	11
done	5001	11
0	11	23
1	26	23
2	62	23
3	131	23
4	191	23
5	238	23
6	304	23
7	472	23
8	1763	23
done	5000	23
0	10	14
1	20	14
2	38	14
3	66	14
4	99	14
5	144	14
6	204	14
7	372	14
8	1660	14
done	5000	14
0	6	7
1	14	5
2	29	5
3	60	5
4	87	5
5	94	5
done	94	5
0	7	9
1	14	9
2	25	9
3	38	9
4	46	9
5	50	9
done	50	9
0	6	9
1	14	9
2	29	9
3	55	9
4	104	7
5	229	7
6	647	7
7	2250	7
done	5000	7
0	12	17
1	36	17
2	112	13
3	400	13
4	1485	13
done	5000	13
0	11	21
1	29	21
2	76	17
3	233	13
4	780	13
5	2323	13
done	5000	13
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	10	13
1	26	11
2	68	11
3	110	11
4	157	11
5	224	11
6	320	11
7	586	11
8	1357	11
done	5000	11
0	18	24
1	47	22
2	131	18
3	406	18
4	1849	18
done	5001	18
0	18	24
1	47	22
2	131	18
3	406	18
4	1849	18
done	5001	18
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5

prune92.0ms

Filtered

39 candidates to 46 candidates (-17.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	1	1
Picked	0	1	1
Done	1	0	1
Total	44	5	49

Merged error: 0.0b

Counts

49 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (* (* -2 1.0) 1.0) (+ x 1.0))
0.1b	(/ (/ (* (* -2 1.0) 1.0) (+ x 1.0)) (- x 1.0))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
65×	`*-un-lft-identity`
49×	`add-sqr-sqrt`
27×	`add-cube-cbrt`
25×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/r/`
11×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
10×	`cbrt-undiv` `div-exp`
9×	`associate-/r*`
8×	`div-inv` `distribute-lft-out`
7×	`flip3-+` `flip-+`
6×	`prod-exp` `cbrt-unprod`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`flip3--` `flip--` `associate-/l/`

Counts

2 → 113

Calls

2 calls:

10.0ms	(/ (* (* -2 1.0) 1.0) (+ x 1.0))
20.0ms	(/ (/ (* (* -2 1.0) 1.0) (+ x 1.0)) (- x 1.0))

series8.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(/ (* (* -2 1.0) 1.0) (+ x 1.0))
6.0ms	(/ (/ (* (* -2 1.0) 1.0) (+ x 1.0)) (- x 1.0))

simplify4.2min

Counts

119 → 119

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	18
1	28	18
2	67	17
3	159	17
4	284	17
5	461	17
6	756	17
7	1395	17
8	1540	17
9	1541	17
done	1541	17
0	13	17
1	28	17
2	59	17
3	147	17
4	273	17
5	441	17
6	734	17
7	1403	17
8	1547	17
9	1549	17
done	1549	17
0	12	16
1	28	16
2	53	16
3	126	16
4	247	16
5	364	16
6	564	16
7	971	16
8	1630	16
9	1638	16
done	1638	16
0	11	15
1	25	15
2	53	15
3	124	15
4	300	15
5	492	15
6	782	15
7	1137	15
8	1351	15
9	1373	15
done	1373	15
0	10	14
1	24	14
2	73	14
3	222	14
4	564	14
5	1106	14
6	1847	14
7	4184	14
done	5001	14
0	10	14
1	21	14
2	60	14
3	167	14
4	349	14
5	620	14
6	1161	14
7	3660	14
done	5001	14
0	17	41
1	59	37
2	285	21
3	2237	17
done	5001	17
0	17	41
1	62	39
2	302	21
3	2664	21
done	5000	21
0	15	41
1	56	41
2	286	19
3	2412	17
done	5001	17
0	13	41
1	37	41
2	149	17
3	964	15
done	5001	15
0	11	29
1	22	29
2	61	29
3	160	29
4	316	29
5	507	29
6	820	29
7	2579	29
done	5001	29
0	10	14
1	21	14
2	60	14
3	161	14
4	317	14
5	508	14
6	821	14
7	2577	14
done	5000	14
0	11	41
1	29	41
2	105	15
3	669	15
done	5000	15
0	10	14
1	21	14
2	60	14
3	161	14
4	317	14
5	508	14
6	821	14
7	2577	14
done	5000	14
0	10	14
1	21	14
2	60	14
3	161	14
4	317	14
5	508	14
6	821	14
7	2577	14
done	5000	14
0	8	10
1	17	10
2	40	9
3	79	9
4	124	9
5	159	9
6	165	9
done	165	9
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	13	31
1	28	31
2	49	31
3	68	31
4	76	31
5	80	31
done	80	31
0	11	15
1	20	15
2	32	15
3	45	15
4	53	15
5	57	15
done	57	15
0	12	26
1	23	26
2	37	26
3	51	26
4	59	26
5	63	26
done	63	26
0	11	15
1	20	15
2	32	15
3	45	15
4	53	15
5	57	15
done	57	15
0	11	23
1	22	21
2	39	21
3	57	21
4	65	21
5	69	21
done	69	21
0	10	14
1	19	14
2	31	14
3	44	14
4	52	14
5	56	14
done	56	14
0	13	27
1	23	27
2	36	27
3	50	27
4	58	27
5	62	27
done	62	27
0	12	16
1	21	16
2	33	16
3	46	16
4	54	16
5	58	16
done	58	16
0	11	23
1	22	21
2	39	21
3	57	21
4	65	21
5	69	21
done	69	21
0	10	14
1	19	14
2	31	14
3	44	14
4	52	14
5	56	14
done	56	14
0	12	20
1	23	20
2	35	20
3	48	20
4	56	20
5	60	20
done	60	20
0	11	15
1	20	15
2	32	15
3	45	15
4	53	15
5	57	15
done	57	15
0	11	15
1	20	15
2	32	15
3	45	15
4	53	15
5	57	15
done	57	15
0	11	15
1	20	15
2	32	15
3	45	15
4	53	15
5	57	15
done	57	15
0	10	12
1	19	10
2	32	10
3	45	10
4	53	10
5	57	10
done	57	10
0	10	14
1	19	14
2	31	14
3	44	14
4	52	14
5	56	14
done	56	14
0	12	16
1	20	16
2	31	16
3	44	16
4	52	16
5	56	16
done	56	16
0	12	16
1	21	16
2	33	16
3	46	16
4	54	16
5	58	16
done	58	16
0	10	12
1	19	10
2	32	10
3	45	10
4	53	10
5	57	10
done	57	10
0	10	14
1	19	14
2	31	14
3	44	14
4	52	14
5	56	14
done	56	14
0	12	23
1	27	23
2	74	23
3	209	23
4	460	23
5	567	23
6	568	23
done	568	23
0	8	11
1	13	11
2	17	11
done	17	11
0	11	18
1	24	18
2	58	18
3	123	18
4	209	18
5	224	18
done	224	18
0	8	11
1	13	11
2	17	11
done	17	11
0	10	15
1	23	13
2	60	13
3	132	13
4	185	13
5	209	13
done	209	13
0	7	10
1	12	10
2	16	10
3	24	10
4	28	10
5	32	10
done	32	10
0	12	19
1	24	19
2	57	19
3	130	19
4	236	19
5	281	19
6	327	19
7	359	19
8	381	19
9	396	19
10	407	19
11	412	19
12	413	19
done	413	19
0	9	12
1	14	12
2	18	12
3	26	12
4	30	12
5	34	12
done	34	12
0	10	15
1	23	13
2	60	13
3	132	13
4	185	13
5	209	13
done	209	13
0	7	10
1	12	10
2	16	10
3	24	10
4	28	10
5	32	10
done	32	10
0	11	18
1	21	18
2	45	18
3	106	18
4	187	18
5	208	18
done	208	18
0	8	11
1	13	11
2	17	11
done	17	11
0	10	13
1	18	13
2	37	13
3	64	13
4	84	13
done	84	13
0	8	11
1	13	11
2	17	11
done	17	11
0	9	10
1	17	8
2	39	8
3	65	8
4	83	8
5	95	8
done	95	8
0	7	10
1	12	10
2	16	10
3	24	10
4	28	10
5	32	10
done	32	10
0	11	14
1	18	14
2	36	14
3	71	14
4	99	14
5	109	14
6	117	14
7	127	14
8	137	14
9	146	14
10	151	14
11	153	14
done	153	14
0	9	12
1	14	12
2	18	12
3	26	12
4	30	12
5	34	12
done	34	12
0	9	10
1	17	8
2	39	8
3	65	8
4	83	8
5	95	8
done	95	8
0	7	10
1	12	10
2	16	10
3	24	10
4	28	10
5	32	10
done	32	10
0	10	15
1	21	13
2	65	13
3	147	13
4	193	13
5	194	13
done	194	13
0	7	10
1	12	10
2	24	10
done	24	10
0	9	10
1	18	8
2	49	8
3	80	8
4	89	8
done	89	8
0	7	10
1	12	10
2	24	10
done	24	10
0	6	7
1	13	3
2	20	3
3	25	3
done	25	3
0	6	9
1	11	9
2	23	9
3	46	9
4	73	9
5	127	9
6	203	9
7	314	9
8	936	9
9	3209	9
done	5000	9
0	10	11
1	18	9
2	48	9
3	87	9
4	120	9
5	134	9
6	142	9
7	144	9
done	144	9
0	8	11
1	13	11
2	25	11
3	49	11
4	81	11
5	122	11
6	170	11
7	252	11
8	447	11
9	677	11
10	749	11
11	755	11
done	755	11
0	6	7
1	13	3
2	20	3
3	25	3
done	25	3
0	6	9
1	11	9
2	23	9
3	46	9
4	73	9
5	127	9
6	203	9
7	314	9
8	936	9
9	3209	9
done	5000	9
0	10	15
1	21	13
2	65	13
3	147	13
4	193	13
5	194	13
done	194	13
0	7	10
1	12	10
2	24	10
done	24	10
0	9	10
1	18	8
2	49	8
3	80	8
4	89	8
done	89	8
0	7	10
1	12	10
2	24	10
done	24	10
0	6	7
1	13	3
2	20	3
3	25	3
done	25	3
0	6	9
1	11	9
2	23	9
3	46	9
4	73	9
5	127	9
6	203	9
7	314	9
8	936	9
9	3209	9
done	5000	9
0	10	11
1	18	9
2	48	9
3	87	9
4	120	9
5	134	9
6	142	9
7	144	9
done	144	9
0	8	11
1	13	11
2	25	11
3	49	11
4	81	11
5	122	11
6	170	11
7	252	11
8	447	11
9	677	11
10	749	11
11	755	11
done	755	11
0	6	7
1	13	3
2	20	3
3	25	3
done	25	3
0	6	9
1	11	9
2	23	9
3	46	9
4	73	9
5	127	9
6	203	9
7	314	9
8	936	9
9	3209	9
done	5000	9
0	7	11
1	13	11
2	14	11
done	14	11
0	10	14
1	21	14
2	60	14
3	138	14
4	239	14
5	311	14
6	326	14
7	371	14
8	440	14
9	923	14
done	5000	14
0	6	6
1	10	6
2	11	6
done	11	6
0	10	14
1	21	14
2	60	14
3	138	14
4	239	14
5	311	14
6	326	14
7	371	14
8	440	14
9	923	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	9	13
1	20	13
2	59	13
3	160	13
4	316	13
5	507	13
6	820	13
7	2578	13
done	5000	13
0	7	7
1	10	7
done	10	7
0	11	15
1	22	15
2	61	15
3	159	15
4	321	15
5	521	15
6	808	15
7	1362	15
8	2414	15
done	5001	15
0	2	3
1	4	1
done	4	1
0	9	13
1	20	13
2	59	13
3	160	13
4	316	13
5	507	13
6	820	13
7	2578	13
done	5000	13
0	9	15
1	22	15
2	52	15
3	106	15
4	142	15
5	148	15
done	148	15
0	8	10
1	15	10
2	27	10
done	27	10
0	8	10
1	16	10
2	28	10
3	41	10
4	49	10
5	53	10
done	53	10
0	8	10
1	15	10
2	27	10
done	27	10
0	6	7
1	14	5
2	29	5
3	60	5
4	87	5
5	94	5
done	94	5
0	7	9
1	14	9
2	26	9
3	49	9
4	76	9
5	118	9
6	192	9
7	302	9
8	920	9
9	3161	9
done	5000	9
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	28	11
3	52	11
4	84	11
5	126	11
6	172	11
7	254	11
8	449	11
9	679	11
10	751	11
11	757	11
done	757	11
0	6	7
1	14	5
2	29	5
3	60	5
4	87	5
5	94	5
done	94	5
0	7	9
1	14	9
2	26	9
3	49	9
4	76	9
5	118	9
6	192	9
7	302	9
8	920	9
9	3161	9
done	5000	9
0	14	23
1	39	23
2	92	23
3	291	23
4	730	23
5	1400	23
6	4025	23
done	5000	23
0	10	16
1	20	14
2	38	14
3	59	14
4	91	14
5	141	14
6	206	14
7	266	14
8	350	14
9	511	14
10	571	14
11	592	14
done	592	14
0	13	18
1	36	18
2	84	18
3	199	18
4	382	18
5	668	18
6	1920	18
done	5000	18
0	10	16
1	20	14
2	38	14
3	59	14
4	91	14
5	141	14
6	206	14
7	266	14
8	350	14
9	511	14
10	571	14
11	592	14
done	592	14
0	12	15
1	35	13
2	86	13
3	211	13
4	422	13
5	797	13
6	2158	13
done	5001	13
0	9	15
1	19	13
2	37	13
3	58	13
4	96	13
5	154	13
6	232	13
7	321	11
8	421	9
9	561	9
10	1604	9
done	5000	9
0	14	19
1	36	19
2	83	19
3	224	19
4	546	19
5	1180	19
6	3536	19
done	5000	19
0	11	17
1	21	15
2	40	15
3	62	15
4	103	15
5	161	15
6	238	15
7	307	15
8	397	15
9	560	15
10	620	15
11	641	15
done	641	15
0	12	15
1	35	13
2	86	13
3	211	13
4	422	13
5	797	13
6	2158	13
done	5001	13
0	9	15
1	19	13
2	37	13
3	58	13
4	96	13
5	154	13
6	232	13
7	321	11
8	421	9
9	561	9
10	1604	9
done	5000	9
0	13	23
1	28	23
2	98	23
3	459	23
4	1682	21
5	4277	21
done	5000	21
0	5	8
1	10	8
2	13	8
3	15	8
done	15	8
0	12	18
1	25	18
2	90	18
3	341	18
4	1016	16
5	2201	16
6	4174	16
done	5000	16
0	5	8
1	10	8
2	13	8
3	15	8
done	15	8
0	11	15
1	25	13
2	89	13
3	327	13
4	918	11
5	1973	11
6	4148	11
done	5000	11
0	4	7
1	10	1
2	13	1
done	13	1
0	13	19
1	26	19
2	86	19
3	343	19
4	1131	17
5	2497	17
done	5000	17
0	7	9
1	14	9
2	18	9
3	20	9
done	20	9
0	11	15
1	25	13
2	89	13
3	327	13
4	918	11
5	1973	11
6	4148	11
done	5000	11
0	4	7
1	10	1
2	13	1
done	13	1
0	5	5
1	9	5
2	10	5
done	10	5
0	9	13
1	23	13
2	64	13
3	221	13
4	695	13
5	1478	13
done	5000	13
0	11	19
1	24	19
2	68	19
3	218	19
4	511	19
5	766	19
6	881	19
7	1018	19
8	1242	19
9	3140	19
done	5001	19
0	10	14
1	21	14
2	60	14
3	138	14
4	239	14
5	311	14
6	326	14
7	371	14
8	440	14
9	923	14
done	5000	14
0	9	11
1	20	9
2	62	9
3	148	9
4	247	9
5	345	9
6	389	9
7	524	9
8	1615	9
done	5001	9
0	11	15
1	21	15
2	59	15
3	157	15
4	286	15
5	401	15
6	436	15
7	531	15
8	668	15
9	1322	15
done	5000	15
0	9	11
1	20	9
2	62	9
3	148	9
4	247	9
5	345	9
6	389	9
7	524	9
8	1615	9
done	5001	9
0	10	14
1	22	14
2	36	14
3	51	14
4	59	14
5	63	14
done	63	14
0	10	14
1	22	14
2	36	14
3	51	14
4	59	14
5	63	14
done	63	14
0	7	10
1	15	10
2	26	10
3	42	10
4	61	10
5	203	10
6	858	10
7	3706	10
done	5000	10
0	7	10
1	15	10
2	26	10
3	42	10
4	61	10
5	203	10
6	858	10
7	3706	10
done	5000	10
0	6	9
1	14	9
2	33	9
3	77	9
4	163	9
5	399	9
6	1069	9
7	3484	9
done	5001	9
0	6	9
1	14	9
2	33	9
3	77	9
4	163	9
5	399	9
6	1069	9
7	3484	9
done	5001	9
0	9	13
1	23	13
2	64	13
3	221	13
4	695	13
5	1478	13
done	5000	13
0	7	9
1	17	9
2	36	7
3	98	7
4	162	7
5	280	7
6	393	7
7	839	7
8	3537	7
done	5001	7
0	9	15
1	22	13
2	39	13
3	53	13
4	70	13
5	90	13
6	107	13
7	134	13
8	181	13
9	246	13
10	252	13
11	253	13
done	253	13
0	4	7
1	10	1
2	13	1
done	13	1
0	12	17
1	35	17
2	95	17
3	264	17
4	965	17
5	4145	17
done	5000	17
0	11	17
1	23	17
2	69	17
3	237	17
4	734	17
5	1564	15
6	3856	15
done	5000	15
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	10	13
1	19	13
2	37	12
3	59	12
4	76	12
5	99	12
6	144	12
7	265	12
8	322	12
9	383	12
10	414	12
done	414	12
0	10	12
1	19	12
2	31	12
3	55	12
4	72	12
5	95	12
6	140	12
7	261	12
8	321	12
9	383	12
10	413	12
done	413	12
0	9	11
1	19	11
2	31	11
3	54	11
4	73	11
5	88	11
6	111	11
7	155	11
8	275	11
9	334	11
10	398	11
11	429	11
done	429	11
0	8	10
1	18	10
2	40	10
3	79	10
4	138	10
5	188	10
6	252	10
7	320	10
8	365	10
9	415	10
10	446	10
done	446	10
0	8	10
1	15	10
2	26	10
3	41	10
4	61	10
5	92	10
6	171	10
7	376	10
8	922	10
9	3299	10
done	5000	10
0	13	29
1	48	25
2	202	15
3	1023	11
4	4959	11
done	5000	11
0	13	29
1	51	27
2	219	15
3	1301	15
done	5000	15
0	11	29
1	45	29
2	211	13
3	1256	11
done	5001	11
0	9	21
1	16	21
2	27	21
3	40	21
4	48	21
5	52	21
done	52	21
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	9	29
1	23	29
2	77	11
3	375	11
4	2002	11
done	5000	11
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	5	6
1	13	6
2	28	5
3	32	5
done	32	5
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	13
1	17	13
2	31	13
3	44	13
4	48	13
done	48	13
0	5	6
1	6	6
done	6	6
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	5	6
1	6	6
done	6	6
0	5	5
1	10	3
2	19	3
3	24	3
done	24	3
0	4	5
1	5	5
done	5	5
0	5	5
1	10	3
2	19	3
3	24	3
done	24	3
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	7	9
1	14	9
2	21	9
3	25	9
done	25	9
0	9	15
1	21	15
2	50	15
3	104	15
4	141	15
5	147	15
done	147	15
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	6	7
1	14	5
2	29	5
3	60	5
4	87	5
5	94	5
done	94	5
0	6	7
1	14	5
2	29	5
3	60	5
4	87	5
5	94	5
done	94	5
0	4	5
1	5	5
done	5	5
0	10	13
1	29	13
2	49	13
3	79	13
4	128	13
5	252	13
6	666	13
7	2502	13
done	5001	13
0	9	13
1	19	13
2	52	13
3	156	13
4	347	11
5	568	11
6	930	11
7	2998	11
done	5000	11
0	10	13
1	26	11
2	68	11
3	110	11
4	157	11
5	224	11
6	320	11
7	586	11
8	1357	11
done	5000	11
0	18	24
1	47	22
2	131	18
3	406	18
4	1849	18
done	5001	18
0	18	24
1	47	22
2	131	18
3	406	18
4	1849	18
done	5001	18
0	8	11
1	20	11
2	47	9
3	84	9
4	137	9
5	201	9
6	312	9
7	573	9
8	1354	9
9	2586	9
done	5000	9
0	15	21
1	41	19
2	104	15
3	287	15
4	1026	15
5	3888	11
done	5000	11
0	15	21
1	41	19
2	104	15
3	287	15
4	1026	15
5	3888	11
done	5000	11

prune213.0ms

Filtered

92 candidates to 119 candidates (-29.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	3	0	3
Picked	0	1	1
Done	0	1	1
Total	120	4	124

Merged error: 0.0b

Counts

124 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0))) (cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0))))
0.8b	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))
0.8b	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))
0.8b	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

78×	`cbrt-prod`
42×	`*-un-lft-identity`
32×	`times-frac`
30×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
15×	`swap-sqr`
14×	`associate-/r/`
13×	`associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `distribute-lft-out`
7×	`cbrt-div` `flip3-+` `flip-+` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 123

Calls

4 calls:

15.0ms	(* (cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0))) (cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0))))
7.0ms	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))
7.0ms	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))
7.0ms	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))

series69.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0))) (cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0))))
14.0ms	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))
19.0ms	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))
16.0ms	(cbrt (/ (* (* -2 1.0) 1.0) (+ x 1.0)))

simplify1.6min

Counts

135 → 135

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	10	22
1	17	22
2	28	22
3	41	22
4	49	22
5	53	22
done	53	22
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	14
1	18	14
2	32	14
3	45	14
4	49	14
done	49	14
0	6	7
1	7	7
done	7	7
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	6	7
1	7	7
done	7	7
0	6	6
1	11	4
2	20	4
3	25	4
done	25	4
0	5	6
1	6	6
done	6	6
0	6	6
1	11	4
2	20	4
3	25	4
done	25	4
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	5	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
done	9	6
0	11	14
1	30	14
2	50	14
3	80	14
4	129	14
5	251	14
6	670	14
7	2494	14
done	5000	14
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	14
1	20	14
2	53	14
3	157	14
4	348	12
5	579	12
6	1008	12
7	3426	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	5	6
1	9	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	10	32
1	18	32
2	31	12
3	49	9
4	63	9
5	77	9
6	100	9
7	165	9
8	381	9
9	1299	9
done	5000	9
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	10	22
1	17	22
2	28	22
3	41	22
4	49	22
5	53	22
done	53	22
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	14
1	18	14
2	32	14
3	45	14
4	49	14
done	49	14
0	6	7
1	7	7
done	7	7
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	6	7
1	7	7
done	7	7
0	6	6
1	11	4
2	20	4
3	25	4
done	25	4
0	5	6
1	6	6
done	6	6
0	6	6
1	11	4
2	20	4
3	25	4
done	25	4
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	5	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
done	9	6
0	11	14
1	30	14
2	50	14
3	80	14
4	129	14
5	251	14
6	670	14
7	2494	14
done	5000	14
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	14
1	20	14
2	53	14
3	157	14
4	348	12
5	579	12
6	1008	12
7	3426	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	5	6
1	9	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	10	32
1	18	32
2	31	12
3	49	9
4	63	9
5	77	9
6	100	9
7	165	9
8	381	9
9	1299	9
done	5000	9
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	10	22
1	17	22
2	28	22
3	41	22
4	49	22
5	53	22
done	53	22
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	14
1	18	14
2	32	14
3	45	14
4	49	14
done	49	14
0	6	7
1	7	7
done	7	7
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	6	7
1	7	7
done	7	7
0	6	6
1	11	4
2	20	4
3	25	4
done	25	4
0	5	6
1	6	6
done	6	6
0	6	6
1	11	4
2	20	4
3	25	4
done	25	4
0	5	6
1	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	8	10
1	15	10
2	26	10
3	39	10
4	47	10
5	51	10
done	51	10
0	5	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
done	9	6
0	11	14
1	30	14
2	50	14
3	80	14
4	129	14
5	251	14
6	670	14
7	2494	14
done	5000	14
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	14
1	20	14
2	53	14
3	157	14
4	348	12
5	579	12
6	1008	12
7	3426	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	5	6
1	9	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	10	32
1	18	32
2	31	12
3	49	9
4	63	9
5	77	9
6	100	9
7	165	9
8	381	9
9	1299	9
done	5000	9
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	9	11
1	16	11
2	27	11
3	40	11
4	48	11
5	52	11
done	52	11
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	19
1	19	19
2	54	19
3	203	17
4	693	17
5	1398	15
6	1777	13
7	2576	13
done	5000	13
0	9	21
1	16	21
2	27	21
3	40	21
4	48	21
5	52	21
done	52	21
0	2	3
1	6	1
done	6	1
0	10	23
1	19	13
2	31	13
3	44	13
4	52	13
5	56	13
done	56	13
0	10	22
1	19	22
2	32	13
3	46	13
4	54	13
5	58	13
done	58	13
0	10	22
1	19	22
2	34	22
3	52	22
4	78	22
5	124	22
6	235	22
7	615	22
8	2283	22
done	5000	22
0	8	19
1	19	19
2	54	19
3	203	17
4	693	17
5	1398	15
6	1777	13
7	2576	13
done	5000	13
0	11	45
1	18	45
2	29	45
3	42	45
4	50	45
5	54	45
done	54	45
0	10	22
1	17	22
2	28	22
3	41	22
4	49	22
5	53	22
done	53	22
0	11	65
1	26	65
2	46	23
3	73	12
4	232	12
5	930	12
6	2664	12
done	5000	12
0	10	22
1	18	11
2	29	11
3	42	11
4	50	11
5	54	11
done	54	11
0	10	22
1	18	11
2	29	11
3	42	11
4	50	11
5	54	11
done	54	11
0	6	13
1	10	13
2	11	13
done	11	13
0	5	9
1	6	9
done	6	9
0	11	45
1	18	45
2	29	45
3	42	45
4	50	45
5	54	45
done	54	45
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	10	29
1	19	29
2	33	29
3	46	29
4	50	29
done	50	29
0	7	15
1	8	15
done	8	15
0	9	19
1	13	19
2	17	19
3	20	19
4	21	19
done	21	19
0	7	15
1	8	15
done	8	15
0	7	13
1	12	9
2	21	9
3	26	9
done	26	9
0	6	13
1	7	13
done	7	13
0	7	13
1	12	9
2	21	9
3	26	9
done	26	9
0	6	13
1	7	13
done	7	13
0	7	13
1	12	9
2	21	9
3	26	9
done	26	9
0	6	13
1	7	13
done	7	13
0	7	13
1	12	9
2	21	9
3	26	9
done	26	9
0	6	13
1	7	13
done	7	13
0	3	5
1	5	3
done	5	1
0	9	21
1	16	21
2	27	21
3	40	21
4	48	21
5	52	21
done	52	21
0	6	13
1	10	13
2	11	13
done	11	13
0	7	13
1	10	13
done	10	13
0	12	29
1	31	29
2	51	29
3	81	29
4	130	29
5	252	29
6	666	29
7	2512	29
done	5000	29
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	11	29
1	21	29
2	54	29
3	158	29
4	349	25
5	582	25
6	1019	25
7	3402	25
done	5001	25
0	5	9
1	7	9
2	8	9
done	8	9
0	11	47
1	22	47
2	35	25
3	57	13
4	80	13
5	110	13
6	179	13
7	390	13
8	1302	13
done	5000	13
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	10	23
1	17	10
2	29	10
3	42	10
4	50	10
5	54	10
done	54	10
0	10	23
1	17	10
2	29	10
3	42	10
4	50	10
5	54	10
done	54	10
0	2	3
1	4	1
done	4	1
0	9	21
1	16	21
2	27	21
3	40	21
4	48	21
5	52	21
done	52	21
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	10	23
1	17	23
2	28	23
3	41	23
4	49	23
5	53	23
done	53	23
0	12	23
1	20	23
2	31	23
3	44	23
4	52	23
5	56	23
done	56	23
0	12	23
1	20	23
2	31	23
3	44	23
4	52	23
5	56	23
done	56	23
0	12	23
1	20	23
2	31	23
3	44	23
4	52	23
5	56	23
done	56	23
0	12	23
1	20	23
2	31	23
3	44	23
4	52	23
5	56	23
done	56	23
0	10	23
1	17	10
2	29	10
3	42	10
4	50	10
5	54	10
done	54	10
0	10	23
1	17	10
2	29	10
3	42	10
4	50	10
5	54	10
done	54	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	33
1	19	33
2	30	33
3	43	33
4	51	33
5	55	33
done	55	33
0	11	22
1	19	22
2	30	22
3	43	22
4	51	22
5	55	22
done	55	22
0	13	25
1	28	25
2	53	25
3	79	25
4	91	25
5	95	25
done	95	25
0	12	20
1	22	20
2	37	20
3	53	20
4	62	20
5	66	20
done	66	20
0	12	17
1	24	15
2	50	15
3	121	15
4	258	15
5	333	15
6	423	15
7	440	15
8	575	15
9	1694	15
done	5000	15
0	12	17
1	24	15
2	50	15
3	121	15
4	258	15
5	333	15
6	423	15
7	440	15
8	575	15
9	1694	15
done	5000	15
0	11	13
1	21	12
2	32	12
3	45	10
4	56	10
5	60	10
done	60	10
0	10	17
1	18	17
2	29	17
3	42	17
4	50	17
5	54	17
done	54	17
0	15	25
1	38	25
2	68	25
3	111	25
4	168	25
5	290	25
6	709	25
7	2521	25
done	5000	25
0	14	25
1	27	25
2	67	25
3	175	25
4	349	23
5	575	23
6	1007	23
7	3421	23
done	5001	23
0	11	34
1	21	34
2	34	34
3	47	34
4	55	34
5	59	34
done	59	34
0	10	22
1	18	22
2	29	22
3	42	22
4	50	22
5	54	22
done	54	22
0	10	12
1	20	10
2	34	10
3	47	10
4	55	10
5	59	10
done	59	10
0	10	22
1	18	22
2	29	22
3	42	22
4	50	22
5	54	22
done	54	22
0	11	22
1	19	22
2	30	22
3	43	22
4	51	22
5	55	22
done	55	22
0	12	18
1	20	18
2	31	18
3	44	18
4	52	18
5	56	18
done	56	18
0	12	18
1	20	18
2	31	18
3	44	18
4	52	18
5	56	18
done	56	18
0	11	17
1	19	17
2	30	17
3	42	17
4	50	17
5	54	17
done	54	17
0	11	17
1	19	17
2	30	17
3	42	17
4	50	17
5	54	17
done	54	17
0	9	21
1	16	21
2	27	21
3	40	21
4	48	21
5	52	21
done	52	21
0	12	17
1	22	17
2	33	17
3	46	17
4	54	17
5	58	17
done	58	17
0	15	23
1	30	21
2	56	21
3	82	21
4	110	21
5	135	21
6	152	21
7	175	21
8	218	21
9	325	21
10	363	21
11	442	21
12	504	21
13	506	21
done	506	21
0	11	15
1	21	15
2	33	15
3	46	15
4	54	15
5	58	15
done	58	15
0	10	22
1	18	22
2	29	22
3	42	22
4	50	22
5	54	22
done	54	22
0	10	22
1	18	22
2	29	22
3	42	22
4	50	22
5	54	22
done	54	22
0	9	21
1	16	21
2	27	21
3	40	21
4	48	21
5	52	21
done	52	21
0	10	17
1	18	17
2	29	17
3	42	17
4	50	17
5	54	17
done	54	17
0	10	17
1	18	17
2	29	17
3	42	17
4	50	17
5	54	17
done	54	17
0	28	47
1	73	43
2	216	40
3	796	36
4	3547	32
done	5001	32
0	22	51
1	57	45
2	141	39
3	437	23
4	2030	21
done	5000	21
0	23	51
1	55	51
2	141	51
3	378	33
4	1361	23
done	5001	23
0	28	47
1	73	43
2	216	40
3	796	36
4	3547	32
done	5001	32
0	22	51
1	57	45
2	141	39
3	437	23
4	2030	21
done	5000	21
0	23	51
1	55	51
2	141	51
3	378	33
4	1361	23
done	5001	23
0	28	47
1	73	43
2	216	40
3	796	36
4	3547	32
done	5001	32
0	22	51
1	57	45
2	141	39
3	437	23
4	2030	21
done	5000	21
0	23	51
1	55	51
2	141	51
3	378	33
4	1361	23
done	5001	23
0	28	55
1	78	49
2	281	46
3	1540	38
done	5000	38
0	24	63
1	63	57
2	172	45
3	722	29
4	4958	27
done	5000	27
0	25	63
1	64	60
2	176	48
3	763	29
done	5000	29

prune456.0ms

Filtered

106 candidates to 135 candidates (-27.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	134	5	139

Merged error: 0b

Counts

139 → 5

regimes41.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	12	13
done	12	13

end0.0ms

sample719.0ms

Algorithm

intervals

Results

251.0ms	1909×	body	640	valid
142.0ms	4207×	body	80	valid
129.0ms	1283×	body	320	valid
38.0ms	601×	body	160	valid

Details

sample24.0ms

simplify5.0ms

prune2.0ms

localize7.0ms

rewrite50.0ms

series14.0ms

simplify1.4min

prune164.0ms

localize8.0ms

rewrite17.0ms

series12.0ms

simplify2.9min

prune92.0ms

localize8.0ms

rewrite36.0ms

series8.0ms

simplify4.2min

prune213.0ms

localize12.0ms

rewrite43.0ms

series69.0ms

simplify1.6min

prune456.0ms

regimes41.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample719.0ms

Profiling