Details

sample59.0ms

Algorithm

intervals

Results

10.0ms	24×	body	1280	nan
9.0ms	180×	body	80	valid
6.0ms	26×	body	1280	valid
5.0ms	27×	body	640	valid
4.0ms	104×	body	80	nan
3.0ms	16×	body	320	nan
2.0ms	16×	body	640	nan
2.0ms	13×	body	320	valid
1.0ms	10×	body	160	valid
1.0ms	8×	body	160	nan

simplify100.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	19	12
2	29	12
3	41	12
4	58	12
5	63	12
6	71	12
7	86	12
8	114	12
9	127	12
10	129	12
done	129	12

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 18.7b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))
2.4b	(- 1.0 (/ (- x y) (- 1.0 y)))
4.1b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
27×	`times-frac`
16×	`add-cube-cbrt` `difference-of-squares`
14×	`distribute-lft-out--`
6×	`add-exp-log` `log-prod`
5×	`associate-/r` `add-cbrt-cube` `associate-/l` `add-log-exp`
4×	`pow1` `flip3--` `flip--`
2×	`log-div` `div-sub` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `clear-num` `log-pow` `div-inv` `associate--r-`

Counts

3 → 85

Calls

3 calls:

9.0ms	(/ (- x y) (- 1.0 y))
15.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
15.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series37.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ (- x y) (- 1.0 y))
10.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
16.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify58.7s

Counts

94 → 94

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	22
1	20	22
2	31	13
3	44	13
4	61	13
5	65	13
6	73	13
7	88	13
8	116	13
9	129	13
10	131	13
done	131	13
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	2	2
1	4	1
done	4	1
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	10	12
1	17	12
2	21	12
3	23	12
done	23	12
0	10	12
1	18	12
2	23	12
3	25	12
done	25	12
0	11	13
1	15	13
2	17	13
done	17	13
0	11	13
1	16	13
2	21	13
done	21	13
0	2	2
1	4	1
done	4	1
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	12	30
1	31	22
2	67	22
3	165	22
4	479	22
5	1379	22
6	3702	22
done	5000	22
0	10	20
1	25	20
2	57	20
3	174	20
4	557	20
5	1614	20
done	5000	20
0	8	10
1	15	10
2	23	10
3	33	10
4	43	10
5	52	10
6	57	10
7	66	10
8	83	10
9	106	10
10	119	10
11	121	10
12	125	10
13	128	10
done	128	10
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	9	11
1	17	9
2	26	9
3	38	9
4	55	9
5	59	9
6	67	9
7	82	9
8	110	9
9	123	9
10	125	9
done	125	9
0	10	23
1	18	23
2	27	23
3	39	23
4	56	23
5	60	23
6	68	23
7	83	23
8	111	23
9	124	23
10	126	23
done	126	23
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	10	32
1	19	32
2	30	12
3	47	12
4	70	12
5	85	12
6	116	12
7	196	12
8	438	12
9	1384	12
done	5000	12
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	9	11
1	17	11
2	26	11
3	38	11
4	55	11
5	59	11
6	67	11
7	82	11
8	110	11
9	123	11
10	125	11
done	125	11
0	9	11
1	17	10
2	28	10
3	47	10
4	80	10
5	119	10
6	189	10
7	329	10
8	407	10
9	419	10
done	419	10
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	8	10
1	19	10
2	33	10
3	54	10
4	91	10
5	142	10
6	238	10
7	365	10
8	428	10
9	438	10
done	438	10
0	9	21
1	17	21
2	26	21
3	38	21
4	55	21
5	59	21
6	67	21
7	82	21
8	110	21
9	123	21
10	125	21
done	125	21
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	9	29
1	18	29
2	41	11
3	128	11
4	565	11
5	3103	11
done	5001	11
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	10	13
1	34	13
2	80	13
3	267	13
4	1025	13
5	3945	13
done	5001	13
0	11	29
1	30	21
2	66	21
3	164	21
4	477	21
5	1378	21
6	3729	21
done	5001	21
0	7	8
1	15	8
2	22	8
3	29	8
4	33	7
5	34	7
done	34	7
0	9	19
1	24	19
2	53	19
3	169	19
4	552	19
5	1608	19
done	5001	19
0	7	9
1	14	9
2	22	9
3	32	9
4	42	9
5	51	9
6	56	9
7	65	9
8	82	9
9	105	9
10	118	9
11	120	9
12	124	9
13	127	9
done	127	9
0	9	11
1	16	11
2	20	11
3	22	11
done	22	11
0	9	11
1	17	11
2	22	11
3	24	11
done	24	11
0	10	12
1	14	12
2	16	12
done	16	12
0	10	12
1	15	12
2	20	12
done	20	12
0	7	9
1	15	9
2	24	9
3	36	9
4	53	9
5	57	9
6	65	9
7	80	9
8	108	9
9	121	9
10	123	9
done	123	9
0	6	7
1	10	7
2	14	7
done	14	7
0	7	8
1	15	8
2	22	8
3	29	8
4	33	7
5	34	7
done	34	7
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	8	10
1	15	10
2	30	8
3	38	8
4	45	8
5	56	8
6	79	8
7	111	8
8	143	8
9	150	8
10	175	8
11	198	8
12	199	8
done	199	8
0	15	24
1	39	21
2	89	13
3	313	13
4	583	13
5	986	13
6	1359	13
7	1401	13
8	1431	13
9	1706	13
10	3797	13
done	5000	13
0	18	24
1	41	23
2	99	17
3	356	17
4	1373	17
5	4053	13
done	5001	13
0	7	9
1	14	9
2	30	9
3	52	7
4	80	7
5	109	7
6	141	7
7	196	7
8	225	7
9	262	7
10	349	7
11	501	7
12	859	7
13	989	7
done	989	7
0	13	17
1	30	17
2	67	15
3	143	13
4	332	13
5	1084	13
done	5000	13
0	13	17
1	30	17
2	67	15
3	143	13
4	332	13
5	1084	13
done	5000	13
0	9	13
1	21	11
2	46	9
3	81	9
4	119	9
5	182	9
6	260	9
7	449	9
8	761	9
9	1454	9
10	1950	9
11	2010	9
done	2010	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9

prune186.0ms

Filtered

69 candidates to 94 candidates (-36.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	91	3	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	3	95

Merged error: 0b

Counts

95 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- 1.0 y))
0.1b	(* (- x y) (/ 1 (- 1.0 y)))
4.1b	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
5.1b	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`times-frac`
25×	`add-cube-cbrt`
21×	`associate-r`
18×	`add-exp-log`
11×	`add-cbrt-cube`
8×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`flip3--` `flip--` `add-log-exp`
5×	`associate-l` `associate-/r*`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`log-prod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `log-div` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-r/` `rem-log-exp` `pow-prod-down` `clear-num` `log-pow` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 117

Calls

4 calls:

6.0ms	(/ 1 (- 1.0 y))
16.0ms	(* (- x y) (/ 1 (- 1.0 y)))
3.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
4.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series39.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 1 (- 1.0 y))
7.0ms	(* (- x y) (/ 1 (- 1.0 y)))
15.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
15.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify8.7min

Counts

129 → 129

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	23	12
2	47	10
3	121	10
4	313	10
5	668	10
6	1636	10
done	5000	10
0	10	12
1	20	12
2	40	10
3	111	10
4	263	10
5	370	10
6	460	10
7	554	10
8	754	10
9	1103	10
10	1652	10
11	2284	10
12	2786	10
13	3212	10
14	3276	10
15	3286	10
16	3303	10
17	3324	10
18	3406	10
19	3697	10
20	4831	10
done	5000	10
0	10	12
1	23	12
2	49	10
3	147	10
4	379	10
5	742	10
6	1681	10
done	5000	10
0	11	25
1	21	25
2	41	21
3	112	21
4	264	21
5	371	21
6	461	21
7	555	21
8	759	21
9	1111	21
10	1663	21
11	2267	21
12	2793	21
13	3127	21
14	3182	21
done	3182	21
0	10	12
1	20	12
2	40	10
3	111	10
4	263	10
5	370	10
6	460	10
7	554	10
8	754	10
9	1103	10
10	1652	10
11	2284	10
12	2786	10
13	3212	10
14	3271	10
done	3271	10
0	11	35
1	22	35
2	56	11
3	206	11
4	980	11
done	5000	11
0	10	12
1	20	12
2	40	10
3	111	10
4	263	10
5	370	10
6	460	10
7	554	10
8	754	10
9	1103	10
10	1652	10
11	2284	10
12	2786	10
13	3212	10
14	3271	10
done	3271	10
0	10	12
1	20	12
2	40	10
3	111	10
4	263	10
5	370	10
6	460	10
7	554	10
8	754	10
9	1103	10
10	1652	10
11	2284	10
12	2786	10
13	3212	10
14	3271	10
done	3271	10
0	12	15
1	38	15
2	116	13
3	504	13
4	2410	13
done	5001	13
0	13	35
1	37	25
2	123	21
3	388	21
4	1231	21
5	2914	21
done	5001	21
0	9	10
1	21	10
2	44	8
3	113	8
4	250	7
5	355	7
6	441	7
7	525	7
8	703	7
9	1076	7
10	1682	7
11	2281	7
12	2793	7
13	3127	7
14	3172	7
done	3172	7
0	11	23
1	31	23
2	100	19
3	391	19
4	1373	19
5	3631	19
done	5001	19
0	9	11
1	18	11
2	29	9
3	71	9
4	126	9
5	170	9
6	214	9
7	264	9
8	400	9
9	622	9
10	1090	9
11	1761	9
12	2276	9
13	2656	9
14	2738	9
done	2738	9
0	9	10
1	21	10
2	44	8
3	113	8
4	250	7
5	355	7
6	441	7
7	525	7
8	703	7
9	1076	7
10	1682	7
11	2281	7
12	2793	7
13	3127	7
14	3172	7
done	3172	7
0	12	26
1	24	26
2	46	13
3	118	13
4	270	13
5	377	13
6	467	13
7	560	13
8	761	13
9	1114	13
10	1663	13
11	2280	13
12	2793	13
13	3122	13
14	3173	13
done	3173	13
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3182	11
done	3182	11
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3182	11
done	3182	11
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3182	11
done	3182	11
0	2	2
1	4	1
done	4	1
0	10	12
1	20	12
2	40	10
3	111	10
4	263	10
5	370	10
6	460	10
7	554	10
8	754	10
9	1103	10
10	1652	10
11	2284	10
12	2786	10
13	3212	10
14	3276	10
15	3286	10
16	3303	10
17	3324	10
18	3406	10
19	3697	10
20	4831	10
done	5000	10
0	13	16
1	39	16
2	117	14
3	509	14
4	2437	14
done	5000	14
0	14	36
1	38	26
2	124	22
3	391	22
4	1232	22
5	2903	22
done	5000	22
0	12	24
1	32	24
2	104	20
3	396	20
4	1377	20
5	3665	20
done	5000	20
0	10	12
1	19	12
2	30	10
3	72	10
4	129	10
5	173	10
6	217	10
7	267	10
8	403	10
9	627	10
10	1098	10
11	1753	10
12	2292	10
13	2674	10
14	2761	10
15	2771	10
16	2788	10
17	2809	10
18	2893	10
19	3203	10
done	5000	10
0	10	12
1	20	12
2	40	10
3	111	10
4	263	10
5	370	10
6	460	10
7	554	10
8	754	10
9	1103	10
10	1652	10
11	2284	10
12	2786	10
13	3212	10
14	3276	10
15	3286	10
16	3303	10
17	3324	10
18	3406	10
19	3697	10
20	4831	10
done	5000	10
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3187	11
15	3197	11
16	3214	11
17	3236	11
18	3312	11
19	3566	11
20	4705	11
done	5001	11
0	11	13
1	21	11
2	41	9
3	112	9
4	264	9
5	371	9
6	461	9
7	555	9
8	759	9
9	1103	9
10	1652	9
11	2240	9
12	2754	9
13	3086	9
14	3145	9
15	3158	9
16	3188	9
17	3216	9
18	3390	9
19	3892	9
done	5000	9
0	12	27
1	22	27
2	42	23
3	113	23
4	265	23
5	367	23
6	457	23
7	548	23
8	747	23
9	1098	23
10	1643	23
11	2275	23
12	2779	23
13	3090	23
14	3146	23
15	3156	23
16	3173	23
17	3200	23
18	3276	23
19	3584	23
20	4930	23
done	5000	23
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3187	11
15	3197	11
16	3214	11
17	3236	11
18	3312	11
19	3566	11
20	4705	11
done	5001	11
0	12	38
1	23	38
2	45	12
3	121	12
4	279	12
5	394	12
6	505	12
7	659	12
8	1074	12
9	2322	12
done	5001	12
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3187	11
15	3197	11
16	3214	11
17	3236	11
18	3312	11
19	3566	11
20	4705	11
done	5001	11
0	11	13
1	21	13
2	41	11
3	112	11
4	264	11
5	371	11
6	461	11
7	555	11
8	759	11
9	1111	11
10	1663	11
11	2267	11
12	2793	11
13	3127	11
14	3187	11
15	3197	11
16	3214	11
17	3236	11
18	3312	11
19	3566	11
20	4705	11
done	5001	11
0	8	9
1	16	9
2	27	7
3	65	7
4	112	7
5	150	7
6	187	7
7	222	7
8	308	7
9	460	7
10	720	7
11	1125	7
12	1621	7
13	2185	7
14	2412	7
15	2460	7
done	2460	7
0	9	10
1	14	9
2	16	9
done	16	9
0	10	11
1	18	10
2	30	9
3	39	9
4	57	9
5	83	9
6	88	9
7	97	9
8	113	9
done	113	9
0	11	12
1	21	11
2	30	9
3	47	9
4	65	9
5	90	9
6	95	9
7	104	9
8	116	9
done	116	9
0	10	11
1	20	10
2	28	9
3	39	9
4	51	9
5	83	9
6	105	9
7	112	9
8	120	9
done	120	9
0	9	10
1	20	10
2	37	8
3	81	8
4	146	8
5	199	8
6	269	8
7	309	8
8	421	8
9	567	8
10	878	8
11	1417	8
12	2013	8
13	2555	8
14	3117	8
15	4746	8
done	5001	8
0	9	10
1	19	10
2	41	8
3	97	8
4	213	8
5	404	8
6	946	8
7	3313	8
done	5000	8
0	14	29
1	33	25
2	105	11
3	409	11
4	1421	11
done	5000	11
0	12	29
1	30	29
2	93	13
3	315	13
4	1134	9
5	4578	9
done	5000	9
0	10	21
1	18	21
2	29	17
3	67	17
4	114	17
5	152	17
6	189	17
7	224	17
8	312	17
9	460	17
10	721	17
11	1114	17
12	1593	17
13	2165	17
14	2374	17
15	2427	17
done	2427	17
0	9	10
1	17	10
2	28	8
3	66	8
4	113	8
5	151	8
6	188	8
7	223	8
8	308	8
9	460	8
10	730	8
11	1119	8
12	1591	8
13	2212	8
14	2433	8
15	2486	8
done	2486	8
0	10	29
1	28	29
2	108	9
3	470	9
4	1676	9
5	4835	9
done	5000	9
0	9	10
1	17	10
2	28	8
3	66	8
4	113	8
5	151	8
6	188	8
7	223	8
8	308	8
9	460	8
10	730	8
11	1119	8
12	1591	8
13	2212	8
14	2433	8
15	2486	8
done	2486	8
0	9	10
1	17	10
2	28	8
3	66	8
4	113	8
5	151	8
6	188	8
7	223	8
8	308	8
9	460	8
10	730	8
11	1119	8
12	1591	8
13	2212	8
14	2433	8
15	2486	8
done	2486	8
0	8	9
1	26	7
2	57	7
3	142	7
4	376	7
5	975	7
6	3730	7
done	5001	7
0	10	15
1	20	13
2	49	13
3	152	13
4	373	13
5	965	13
6	2117	13
7	4421	13
done	5000	13
0	7	9
1	15	7
2	35	7
3	92	7
4	180	7
5	245	7
6	340	7
7	544	7
8	2073	7
done	5001	7
0	6	7
1	10	7
2	25	7
3	54	7
4	100	7
5	149	7
6	200	7
7	302	7
8	512	7
9	838	7
10	952	7
11	960	7
done	960	7
0	10	11
1	16	11
2	18	11
done	18	11
0	10	11
1	16	11
2	18	11
done	18	11
0	11	12
1	19	11
2	24	11
3	28	9
4	39	9
done	39	9
0	11	12
1	19	11
2	24	11
3	28	9
4	39	9
done	39	9
0	10	11
1	18	11
2	23	9
3	38	9
4	41	9
done	41	9
0	10	11
1	18	11
2	23	9
3	38	9
4	41	9
done	41	9
0	10	17
1	18	17
2	28	17
3	45	17
4	55	17
5	65	17
done	65	17
0	9	10
1	15	10
2	23	10
3	28	10
4	32	10
done	32	10
0	12	19
1	26	17
2	63	15
3	144	13
4	258	13
5	330	13
6	412	13
7	443	13
8	454	13
done	454	13
0	11	14
1	21	12
2	39	10
3	80	8
4	146	8
5	187	8
6	208	8
7	210	8
8	211	8
done	211	8
0	8	11
1	17	7
2	39	5
3	57	3
4	72	3
5	76	3
done	76	3
0	12	15
1	22	13
2	39	11
3	80	9
4	146	9
5	186	9
6	207	9
7	209	9
8	210	9
done	210	9
0	8	11
1	17	7
2	39	5
3	57	3
4	72	3
5	76	3
done	76	3
0	11	16
1	21	15
2	40	15
3	88	13
4	196	13
5	285	13
6	360	13
7	388	13
8	406	13
9	408	13
done	408	13
0	10	11
1	18	10
2	29	10
3	53	8
4	101	8
5	129	8
6	148	8
7	150	8
8	151	8
done	151	8
0	7	8
1	14	5
2	26	3
3	44	3
4	55	3
5	59	3
done	59	3
0	11	12
1	19	11
2	29	11
3	53	9
4	101	9
5	127	9
6	146	9
7	148	9
8	149	9
done	149	9
0	7	8
1	14	5
2	26	3
3	44	3
4	55	3
5	59	3
done	59	3
0	10	15
1	20	15
2	38	13
3	103	13
4	206	13
5	281	13
6	354	13
7	384	13
8	402	13
9	404	13
done	404	13
0	9	10
1	17	10
2	28	8
3	63	8
4	105	8
5	133	8
6	152	8
7	154	8
8	155	8
done	155	8
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	10	11
1	18	11
2	28	9
3	63	9
4	105	9
5	132	9
6	151	9
7	153	9
8	154	9
done	154	9
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	11	13
1	33	13
2	64	11
3	145	11
4	400	11
5	1459	11
done	5001	11
0	10	13
1	22	13
2	44	11
3	128	11
4	325	11
5	667	11
6	1212	11
7	2291	11
done	5000	11
0	9	10
1	17	10
2	22	8
3	40	8
4	46	8
5	50	8
6	53	8
7	55	8
8	57	8
done	57	8
0	9	10
1	17	10
2	22	8
3	40	8
4	46	8
5	50	8
6	53	8
7	55	8
8	57	8
done	57	8
0	8	9
1	16	9
2	27	7
3	65	7
4	112	7
5	150	7
6	187	7
7	222	7
8	308	7
9	460	7
10	720	7
11	1125	7
12	1621	7
13	2185	7
14	2412	7
15	2460	7
done	2460	7
0	10	11
1	19	11
2	30	9
3	68	9
4	117	9
5	155	9
6	197	9
7	222	9
8	236	9
9	237	9
done	237	9
0	8	9
1	16	9
2	27	7
3	65	7
4	112	7
5	150	7
6	187	7
7	222	7
8	308	7
9	460	7
10	720	7
11	1125	7
12	1621	7
13	2185	7
14	2412	7
15	2460	7
done	2460	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	11	13
1	33	13
2	64	11
3	184	11
4	551	11
5	2053	11
done	5000	11
0	10	13
1	22	13
2	44	11
3	149	11
4	386	11
5	794	11
6	1127	11
7	1818	11
done	5000	11
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
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	7	9
1	14	9
2	30	9
3	52	7
4	80	7
5	109	7
6	141	7
7	196	7
8	225	7
9	262	7
10	349	7
11	501	7
12	859	7
13	989	7
done	989	7
0	13	17
1	30	17
2	67	15
3	143	13
4	332	13
5	1084	13
done	5000	13
0	13	17
1	30	17
2	67	15
3	143	13
4	332	13
5	1084	13
done	5000	13
0	8	10
1	15	10
2	30	8
3	38	8
4	45	8
5	56	8
6	79	8
7	111	8
8	143	8
9	150	8
10	175	8
11	198	8
12	199	8
done	199	8
0	15	24
1	39	21
2	89	13
3	313	13
4	583	13
5	986	13
6	1359	13
7	1401	13
8	1431	13
9	1706	13
10	3797	13
done	5000	13
0	18	24
1	41	23
2	99	17
3	356	17
4	1373	17
5	4053	13
done	5001	13
0	9	13
1	21	11
2	46	9
3	81	9
4	119	9
5	182	9
6	260	9
7	449	9
8	761	9
9	1454	9
10	1950	9
11	2010	9
done	2010	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	8	11
1	21	9
2	46	9
3	67	9
4	94	9
5	134	9
6	156	9
7	226	9
8	453	9
9	1393	9
done	5000	9
0	15	20
1	39	20
2	106	16
3	317	15
4	1205	15
5	4433	12
done	5000	12
0	15	20
1	39	20
2	106	16
3	317	15
4	1205	15
5	4433	12
done	5000	12

prune176.0ms

Filtered

84 candidates to 129 candidates (-53.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	129	3	132

Merged error: 0b

Counts

132 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
2.4b	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
12.3b	(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
13.9b	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

rewrite224.0ms

Algorithm

rewrite-expression-head

Rules

148×	`add-sqr-sqrt`
73×	`difference-of-squares`
72×	`log-prod`
54×	`unpow-prod-down` `cube-prod`
42×	`*-un-lft-identity`
33×	`associate--l+`
30×	`sqr-pow`
24×	`times-frac`
19×	`distribute-lft-out--`
10×	`pow1`
8×	`add-cube-cbrt` `log-div`
6×	`add-exp-log` `log-pow` `add-log-exp`
4×	`flip3--` `add-cbrt-cube` `flip--`
3×	`difference-cubes` `associate--r+`
2×	`associate--l-` `sub-neg` `flip3-+` `diff-log` `rem-log-exp` `flip-+` `associate--r-`

Counts

4 → 157

Calls

4 calls:

89.0ms	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
47.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
31.0ms	(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
47.0ms	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

series307.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
69.0ms	(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
40.0ms	(log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
85.0ms	(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

simplify8.6min

Counts

169 → 169

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	30
1	39	30
2	86	17
3	274	17
4	1029	17
5	3944	17
done	5000	17
0	12	15
1	36	15
2	82	15
3	269	15
4	1029	15
5	3939	15
done	5000	15
0	12	15
1	36	15
2	82	15
3	269	15
4	1029	15
5	3939	15
done	5000	15
0	12	15
1	36	15
2	82	15
3	269	15
4	1029	15
5	3939	15
done	5000	15
0	12	30
1	31	22
2	67	22
3	165	22
4	479	22
5	1379	22
6	3702	22
done	5000	22
0	8	10
1	16	10
2	25	10
3	37	10
4	54	10
5	58	10
6	66	10
7	81	10
8	109	10
9	122	10
10	124	10
done	124	10
0	2	2
1	4	1
done	4	1
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	13	16
1	33	16
2	46	16
3	76	16
4	140	16
5	285	16
6	720	16
7	2587	16
done	5000	16
0	13	16
1	34	16
2	60	16
3	125	16
4	284	16
5	721	16
6	2582	16
done	5001	16
0	14	17
1	34	17
2	63	17
3	128	17
4	340	17
5	1019	17
6	4251	17
done	5000	17
0	14	17
1	35	17
2	79	17
3	192	17
4	624	17
5	2182	17
done	5000	17
0	13	16
1	33	16
2	46	16
3	76	16
4	140	16
5	285	16
6	720	16
7	2587	16
done	5000	16
0	13	16
1	34	16
2	60	16
3	125	16
4	284	16
5	721	16
6	2582	16
done	5001	16
0	14	17
1	34	17
2	63	17
3	128	17
4	340	17
5	1019	17
6	4251	17
done	5000	17
0	14	17
1	35	17
2	79	17
3	192	17
4	624	17
5	2182	17
done	5000	17
0	13	16
1	36	16
2	68	16
3	201	16
4	643	16
5	2062	16
done	5000	16
0	13	16
1	37	16
2	70	16
3	203	16
4	645	16
5	2066	16
done	5000	16
0	14	17
1	31	15
2	45	15
3	63	15
4	101	15
5	210	15
6	624	15
7	2455	15
done	5000	15
0	14	17
1	31	15
2	53	15
3	87	15
4	178	15
5	519	15
6	2321	15
done	5000	15
0	13	16
1	33	16
2	46	16
3	76	16
4	140	16
5	285	16
6	720	16
7	2587	16
done	5000	16
0	13	16
1	34	16
2	60	16
3	125	16
4	284	16
5	721	16
6	2582	16
done	5001	16
0	14	17
1	34	17
2	63	17
3	128	17
4	340	17
5	1019	17
6	4251	17
done	5000	17
0	14	17
1	35	17
2	79	17
3	192	17
4	624	17
5	2182	17
done	5000	17
0	13	16
1	33	16
2	46	16
3	76	16
4	140	16
5	285	16
6	720	16
7	2587	16
done	5000	16
0	13	16
1	34	16
2	60	16
3	125	16
4	284	16
5	721	16
6	2582	16
done	5001	16
0	14	17
1	34	17
2	63	17
3	128	17
4	340	17
5	1019	17
6	4251	17
done	5000	17
0	14	17
1	35	17
2	79	17
3	192	17
4	624	17
5	2182	17
done	5000	17
0	13	16
1	36	16
2	68	16
3	201	16
4	643	16
5	2062	16
done	5000	16
0	13	16
1	37	16
2	70	16
3	203	16
4	645	16
5	2066	16
done	5000	16
0	14	17
1	31	15
2	45	15
3	63	15
4	101	15
5	210	15
6	624	15
7	2455	15
done	5000	15
0	14	17
1	31	15
2	53	15
3	87	15
4	178	15
5	519	15
6	2321	15
done	5000	15
0	13	16
1	33	16
2	47	16
3	77	16
4	143	16
5	288	16
6	745	16
7	2620	16
done	5001	16
0	13	16
1	34	16
2	58	16
3	114	16
4	246	16
5	523	16
6	1306	16
7	4624	16
done	5000	16
0	14	17
1	34	17
2	64	17
3	129	17
4	341	17
5	1021	17
6	4227	17
done	5001	17
0	14	17
1	35	17
2	77	17
3	181	17
4	582	17
5	1977	17
done	5000	17
0	13	16
1	33	16
2	47	16
3	77	16
4	143	16
5	288	16
6	745	16
7	2620	16
done	5001	16
0	13	16
1	34	16
2	58	16
3	114	16
4	246	16
5	523	16
6	1306	16
7	4624	16
done	5000	16
0	14	17
1	34	17
2	64	17
3	129	17
4	341	17
5	1021	17
6	4227	17
done	5001	17
0	14	17
1	35	17
2	77	17
3	181	17
4	582	17
5	1977	17
done	5000	17
0	13	16
1	36	16
2	69	16
3	202	16
4	642	16
5	2061	16
done	5000	16
0	13	16
1	37	16
2	71	16
3	204	16
4	644	16
5	2054	16
done	5000	16
0	14	17
1	31	15
2	46	15
3	64	15
4	104	15
5	224	15
6	633	15
7	2482	15
done	5000	15
0	14	17
1	32	15
2	51	15
3	76	15
4	140	15
5	330	15
6	1049	15
7	4271	15
done	5000	15
0	14	17
1	31	15
2	45	15
3	74	15
4	137	15
5	281	15
6	721	15
7	2589	15
done	5001	15
0	14	17
1	32	15
2	59	15
3	123	15
4	281	15
5	718	15
6	2596	15
done	5000	15
0	15	18
1	32	16
2	62	16
3	126	16
4	337	16
5	1024	16
6	4242	16
done	5000	16
0	15	18
1	33	16
2	78	16
3	190	16
4	621	16
5	2185	16
done	5000	16
0	14	17
1	31	15
2	45	15
3	74	15
4	137	15
5	281	15
6	721	15
7	2589	15
done	5001	15
0	14	17
1	32	15
2	59	15
3	123	15
4	281	15
5	718	15
6	2596	15
done	5000	15
0	15	18
1	32	16
2	62	16
3	126	16
4	337	16
5	1024	16
6	4242	16
done	5000	16
0	15	18
1	33	16
2	78	16
3	190	16
4	621	16
5	2185	16
done	5000	16
0	14	17
1	34	15
2	67	15
3	199	15
4	635	15
5	2053	15
done	5000	15
0	14	17
1	35	15
2	69	15
3	201	15
4	640	15
5	2057	15
done	5000	15
0	13	18
1	27	14
2	40	14
3	59	14
4	98	14
5	213	14
6	624	14
7	2462	14
done	5000	14
0	13	18
1	27	14
2	48	14
3	83	14
4	171	14
5	512	14
6	2314	14
done	5000	14
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	2	2
1	4	1
done	4	1
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	13	18
1	47	18
2	180	18
3	937	18
done	5000	18
0	15	42
1	48	28
2	166	28
3	728	28
done	5000	28
0	13	28
1	44	14
2	127	14
3	509	14
4	3872	14
done	5001	14
0	11	14
1	34	14
2	65	14
3	198	14
4	642	14
5	2074	14
done	5000	14
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	12	15
1	36	15
2	82	15
3	272	15
4	1036	15
5	3967	15
done	5001	15
0	12	15
1	36	13
2	82	13
3	272	13
4	1039	13
5	3974	13
done	5001	13
0	13	31
1	37	31
2	83	31
3	273	31
4	1037	31
5	3976	31
done	5001	31
0	12	15
1	36	15
2	82	15
3	272	15
4	1036	15
5	3967	15
done	5001	15
0	13	44
1	38	44
2	85	16
3	277	16
4	1055	16
5	4021	16
done	5000	16
0	12	15
1	36	15
2	82	15
3	272	15
4	1036	15
5	3967	15
done	5001	15
0	12	15
1	36	15
2	82	15
3	272	15
4	1036	15
5	3967	15
done	5001	15
0	13	46
1	31	46
2	61	25
3	141	25
4	415	25
5	1220	25
6	3168	25
done	5001	25
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	2	2
1	4	1
done	4	1
0	11	22
1	27	22
2	55	22
3	134	22
4	408	22
5	1205	22
6	3169	22
done	5000	22
0	14	26
1	48	26
2	149	24
3	657	24
4	3963	24
done	5001	24
0	15	66
1	52	62
2	178	62
3	689	44
4	3422	44
done	5000	44
0	13	44
1	43	44
2	136	42
3	499	40
4	2406	40
done	5000	40
0	11	22
1	28	22
2	60	22
3	146	22
4	436	22
5	1315	22
6	3854	22
done	5000	22
0	11	22
1	27	22
2	55	22
3	134	22
4	408	22
5	1205	22
6	3169	22
done	5000	22
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	12	23
1	28	21
2	56	21
3	135	21
4	409	21
5	1212	21
6	3169	21
done	5000	21
0	13	47
1	29	47
2	57	47
3	136	47
4	410	47
5	1210	47
6	3164	47
done	5000	47
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	13	68
1	30	68
2	60	24
3	144	24
4	424	24
5	1243	24
6	3219	24
done	5001	24
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	12	15
1	36	14
2	84	14
3	270	14
4	999	14
5	3870	14
done	5000	14
0	11	14
1	35	14
2	81	14
3	271	14
4	1034	14
5	3968	14
done	5000	14
0	11	14
1	38	14
2	98	14
3	328	14
4	1268	14
done	5000	14
0	12	29
1	36	29
2	82	29
3	269	29
4	1029	29
5	3939	29
done	5000	29
0	11	14
1	35	14
2	81	14
3	268	14
4	1027	14
5	3942	14
done	5001	14
0	12	41
1	37	41
2	96	15
3	427	15
4	2903	15
done	5001	15
0	11	14
1	35	14
2	81	14
3	268	14
4	1027	14
5	3942	14
done	5001	14
0	11	14
1	35	14
2	81	14
3	268	14
4	1027	14
5	3942	14
done	5001	14
0	11	29
1	30	21
2	66	21
3	164	21
4	477	21
5	1378	21
6	3729	21
done	5001	21
0	7	9
1	15	9
2	24	9
3	36	9
4	53	9
5	57	9
6	65	9
7	80	9
8	108	9
9	121	9
10	123	9
done	123	9
0	12	17
1	46	17
2	179	17
3	926	17
done	5001	17
0	14	41
1	47	27
2	165	27
3	728	27
done	5000	27
0	9	10
1	26	10
2	65	10
3	239	10
4	952	10
5	3644	10
done	5000	10
0	12	27
1	43	13
2	123	13
3	503	13
4	3871	13
done	5000	13
0	10	13
1	33	13
2	64	13
3	197	13
4	640	13
5	2075	13
done	5000	13
0	12	15
1	32	15
2	45	15
3	75	15
4	139	15
5	285	15
6	720	15
7	2584	15
done	5001	15
0	12	15
1	33	15
2	59	15
3	121	15
4	275	15
5	702	15
6	2600	15
done	5000	15
0	13	16
1	33	16
2	62	16
3	127	16
4	339	16
5	1017	16
6	4241	16
done	5000	16
0	13	16
1	34	16
2	78	16
3	188	16
4	616	16
5	2162	16
done	5001	16
0	12	15
1	32	15
2	45	15
3	75	15
4	139	15
5	285	15
6	720	15
7	2584	15
done	5001	15
0	12	15
1	33	15
2	59	15
3	121	15
4	275	15
5	702	15
6	2600	15
done	5000	15
0	13	16
1	33	16
2	62	16
3	127	16
4	339	16
5	1017	16
6	4241	16
done	5000	16
0	13	16
1	34	16
2	78	16
3	188	16
4	616	16
5	2162	16
done	5001	16
0	12	15
1	35	15
2	67	15
3	200	15
4	642	15
5	2062	15
done	5000	15
0	12	15
1	36	15
2	69	15
3	202	15
4	646	15
5	2063	15
done	5000	15
0	13	16
1	30	14
2	44	14
3	62	14
4	100	14
5	209	14
6	613	14
7	2465	14
done	5000	14
0	13	16
1	31	14
2	52	14
3	83	14
4	170	14
5	503	14
6	2238	14
done	5000	14
0	12	15
1	32	15
2	45	15
3	75	15
4	139	15
5	285	15
6	720	15
7	2584	15
done	5001	15
0	12	15
1	33	15
2	59	15
3	121	15
4	275	15
5	702	15
6	2600	15
done	5000	15
0	13	16
1	33	16
2	62	16
3	127	16
4	339	16
5	1017	16
6	4241	16
done	5000	16
0	13	16
1	34	16
2	78	16
3	188	16
4	616	16
5	2162	16
done	5001	16
0	12	15
1	32	15
2	45	15
3	75	15
4	139	15
5	285	15
6	720	15
7	2584	15
done	5001	15
0	12	15
1	33	15
2	59	15
3	121	15
4	275	15
5	702	15
6	2600	15
done	5000	15
0	13	16
1	33	16
2	62	16
3	127	16
4	339	16
5	1017	16
6	4241	16
done	5000	16
0	13	16
1	34	16
2	78	16
3	188	16
4	616	16
5	2162	16
done	5001	16
0	12	15
1	35	15
2	67	15
3	200	15
4	642	15
5	2062	15
done	5000	15
0	12	15
1	36	15
2	69	15
3	202	15
4	646	15
5	2063	15
done	5000	15
0	13	16
1	30	14
2	44	14
3	62	14
4	100	14
5	209	14
6	613	14
7	2465	14
done	5000	14
0	13	16
1	31	14
2	52	14
3	83	14
4	170	14
5	503	14
6	2238	14
done	5000	14
0	12	15
1	32	15
2	46	15
3	76	15
4	142	15
5	290	15
6	736	15
7	2592	15
done	5001	15
0	12	15
1	33	15
2	57	15
3	113	15
4	245	15
5	521	15
6	1302	15
7	4598	15
done	5000	15
0	13	16
1	33	16
2	63	16
3	128	16
4	342	16
5	1019	16
6	4238	16
done	5000	16
0	13	16
1	34	16
2	76	16
3	180	16
4	579	16
5	1977	16
done	5000	16
0	12	15
1	32	15
2	46	15
3	76	15
4	142	15
5	290	15
6	736	15
7	2592	15
done	5001	15
0	12	15
1	33	15
2	57	15
3	113	15
4	245	15
5	521	15
6	1302	15
7	4598	15
done	5000	15
0	13	16
1	33	16
2	63	16
3	128	16
4	342	16
5	1019	16
6	4238	16
done	5000	16
0	13	16
1	34	16
2	76	16
3	180	16
4	579	16
5	1977	16
done	5000	16
0	12	15
1	35	15
2	68	15
3	201	15
4	642	15
5	2061	15
done	5001	15
0	12	15
1	36	15
2	70	15
3	203	15
4	644	15
5	2058	15
done	5000	15
0	13	16
1	29	14
2	45	14
3	63	14
4	103	14
5	223	14
6	628	14
7	2477	14
done	5000	14
0	13	16
1	31	14
2	50	14
3	75	14
4	136	14
5	326	14
6	1058	14
7	4274	14
done	5000	14
0	13	16
1	29	14
2	44	14
3	73	14
4	136	14
5	283	14
6	713	14
7	2583	14
done	5000	14
0	13	16
1	31	14
2	58	14
3	119	14
4	273	14
5	698	14
6	2612	14
done	5001	14
0	14	17
1	31	15
2	61	15
3	125	15
4	338	15
5	1013	15
6	4242	15
done	5001	15
0	14	17
1	32	15
2	77	15
3	186	15
4	610	15
5	2164	15
done	5001	15
0	13	16
1	29	14
2	44	14
3	73	14
4	136	14
5	283	14
6	713	14
7	2583	14
done	5000	14
0	13	16
1	31	14
2	58	14
3	119	14
4	273	14
5	698	14
6	2612	14
done	5001	14
0	14	17
1	31	15
2	61	15
3	125	15
4	338	15
5	1013	15
6	4242	15
done	5001	15
0	14	17
1	32	15
2	77	15
3	186	15
4	610	15
5	2164	15
done	5001	15
0	13	16
1	32	14
2	66	14
3	198	14
4	636	14
5	2044	14
done	5000	14
0	13	16
1	34	14
2	68	14
3	200	14
4	636	14
5	2051	14
done	5001	14
0	12	17
1	26	13
2	39	13
3	58	13
4	97	13
5	211	13
6	621	13
7	2467	13
done	5000	13
0	12	17
1	27	13
2	47	13
3	79	13
4	164	13
5	495	13
6	2247	13
done	5000	13
0	10	13
1	34	13
2	80	13
3	267	13
4	1025	13
5	3945	13
done	5001	13
0	10	13
1	34	13
2	80	13
3	267	13
4	1025	13
5	3945	13
done	5001	13
0	10	13
1	34	13
2	80	13
3	267	13
4	1025	13
5	3945	13
done	5001	13
0	10	13
1	34	13
2	80	13
3	267	13
4	1025	13
5	3945	13
done	5001	13
0	10	13
1	34	13
2	80	13
3	267	13
4	1025	13
5	3945	13
done	5001	13
0	9	10
1	26	10
2	65	10
3	239	10
4	952	10
5	3644	10
done	5000	10
0	15	35
1	50	35
2	132	35
3	438	35
4	1898	35
done	5001	35
0	18	38
1	52	38
2	119	38
3	360	38
4	1311	38
5	4887	38
done	5000	38
0	18	38
1	55	38
2	124	35
3	375	35
4	1414	35
done	5002	35
0	19	77
1	53	77
2	120	77
3	361	77
4	1314	77
5	4892	77
done	5000	77
0	18	38
1	52	38
2	119	38
3	360	38
4	1311	38
5	4887	38
done	5000	38
0	19	113
1	54	113
2	134	39
3	415	39
4	1513	39
done	5001	39
0	18	38
1	52	38
2	119	38
3	360	38
4	1311	38
5	4887	38
done	5000	38
0	18	38
1	52	38
2	119	38
3	360	38
4	1311	38
5	4887	38
done	5000	38
0	19	41
1	63	41
2	148	41
3	420	41
4	1459	41
done	5000	41
0	21	113
1	60	90
2	134	90
3	378	90
4	1338	90
5	4990	90
done	5000	90
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	19	75
1	56	75
2	129	75
3	385	75
4	1386	75
done	5000	75
0	17	37
1	50	37
2	116	37
3	357	37
4	1305	37
5	4871	37
done	5000	37
0	19	39
1	52	39
2	118	39
3	359	39
4	1308	39
5	4870	39
done	5000	39
0	19	39
1	53	39
2	120	39
3	361	39
4	1308	39
5	4877	39
done	5000	39
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	19	61
1	55	61
2	127	40
3	378	40
4	1345	40
5	4950	40
done	5000	40
0	18	38
1	52	38
2	119	38
3	360	38
4	1314	38
5	4892	38
done	5000	38
0	14	17
1	42	16
2	89	14
3	286	14
4	1056	14
5	3994	14
done	5000	14
0	18	38
1	52	38
2	119	38
3	357	38
4	1301	38
5	4849	38
done	5000	38
0	18	38
1	52	38
2	119	38
3	357	38
4	1301	38
5	4849	38
done	5000	38
0	14	33
1	34	33
2	68	33
3	157	33
4	448	33
5	1250	33
6	3241	33
done	5001	33
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	19	39
1	52	39
2	103	39
3	257	39
4	744	39
5	2120	39
done	5000	39
0	21	40
1	57	40
2	128	40
3	320	40
4	1084	40
5	4076	40
done	5001	40
0	19	39
1	52	39
2	103	39
3	257	39
4	744	39
5	2120	39
done	5000	39
0	21	40
1	57	40
2	128	40
3	320	40
4	1084	40
5	4076	40
done	5001	40
0	19	39
1	54	39
2	108	39
3	292	39
4	914	39
5	2954	39
done	5000	39
0	20	40
1	50	38
2	96	38
3	207	38
4	575	38
5	1729	38
done	5000	38
0	19	39
1	52	39
2	103	39
3	257	39
4	744	39
5	2120	39
done	5000	39
0	21	40
1	57	40
2	128	40
3	320	40
4	1084	40
5	4076	40
done	5001	40
0	19	39
1	52	39
2	103	39
3	257	39
4	744	39
5	2120	39
done	5000	39
0	21	40
1	57	40
2	128	40
3	320	40
4	1084	40
5	4076	40
done	5001	40
0	19	39
1	54	39
2	108	39
3	292	39
4	914	39
5	2954	39
done	5000	39
0	20	40
1	50	38
2	96	38
3	207	38
4	575	38
5	1729	38
done	5000	38
0	19	39
1	51	39
2	100	39
3	245	39
4	697	39
5	1902	39
done	5002	39
0	21	40
1	56	40
2	125	40
3	308	40
4	1033	40
5	3859	40
done	5001	40
0	19	39
1	51	39
2	100	39
3	245	39
4	697	39
5	1902	39
done	5002	39
0	21	40
1	56	40
2	125	40
3	308	40
4	1033	40
5	3859	40
done	5001	40
0	19	39
1	53	39
2	108	39
3	292	39
4	912	39
5	2953	39
done	5000	39
0	20	40
1	49	38
2	93	38
3	195	38
4	531	38
5	1522	38
6	4218	38
done	5000	38
0	20	40
1	50	38
2	102	38
3	255	38
4	743	38
5	2120	38
done	5001	38
0	22	41
1	55	39
2	127	39
3	318	39
4	1087	39
5	4078	39
done	5001	39
0	20	40
1	50	38
2	102	38
3	255	38
4	743	38
5	2120	38
done	5001	38
0	22	41
1	55	39
2	127	39
3	318	39
4	1087	39
5	4078	39
done	5001	39
0	20	40
1	52	38
2	107	38
3	290	38
4	909	38
5	2956	38
done	5001	38
0	19	41
1	45	37
2	90	37
3	208	37
4	591	37
5	1757	37
done	5001	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	17	37
1	51	37
2	118	37
3	359	37
4	1310	37
5	4887	37
done	5000	37
0	21	65
1	63	51
2	201	51
3	809	51
done	5000	51
0	17	37
1	49	37
2	100	37
3	284	37
4	907	37
5	2955	37
done	5001	37
0	19	41
1	66	41
2	206	39
3	906	39
done	5002	39
0	19	59
1	65	57
2	203	55
3	737	55
4	3409	55
done	5000	55
0	12	23
1	28	23
2	56	23
3	135	23
4	409	23
5	1212	23
6	3169	23
done	5000	23
0	14	16
1	35	16
2	98	16
3	185	14
4	344	14
5	723	14
6	2168	14
done	5000	14
0	22	30
1	53	27
2	127	21
3	315	19
4	546	17
5	1131	15
6	3762	15
done	5001	15
0	24	30
1	54	29
2	122	23
3	305	23
4	639	21
5	1775	19
done	5000	19
0	8	10
1	15	10
2	30	8
3	38	8
4	45	8
5	56	8
6	79	8
7	111	8
8	143	8
9	150	8
10	175	8
11	198	8
12	199	8
done	199	8
0	19	28
1	46	25
2	105	19
3	233	17
4	395	15
5	677	15
6	1068	15
7	1341	15
8	1455	15
9	1537	15
10	2099	15
done	5000	15
0	22	28
1	48	27
2	101	21
3	215	21
4	399	19
5	1209	19
6	3020	15
done	5001	15
0	13	15
1	34	15
2	97	15
3	184	13
4	354	13
5	766	13
6	2353	13
done	5000	13
0	15	23
1	44	23
2	152	21
3	376	19
4	1038	17
5	3983	15
done	5001	15
0	15	23
1	44	23
2	152	21
3	376	19
4	1038	17
5	3983	15
done	5001	15
0	11	13
1	24	13
2	49	13
3	83	11
4	131	11
5	184	11
6	280	11
7	417	11
8	649	11
9	1569	11
done	5000	11
0	13	21
1	35	19
2	78	13
3	227	13
4	545	13
5	1083	13
6	1395	13
7	1437	13
8	1466	13
9	1740	13
10	3839	13
done	5001	13
0	16	21
1	36	21
2	79	17
3	222	17
4	808	17
5	2783	15
done	5000	15

prune481.0ms

Filtered

105 candidates to 169 candidates (-61.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	169	3	172

Merged error: 0b

Counts

172 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))))
0.0b	(- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))
0.1b	(* (+ (/ 1.0 y) 1) (/ x y))
3.2b	(log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 101

Calls

4 calls:

19.0ms	(- 1.0 (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))))
20.0ms	(- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))
14.0ms	(* (+ (/ 1.0 y) 1) (/ x y))
16.0ms	(log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- 1.0 (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))))
7.0ms	(- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))
7.0ms	(* (+ (/ 1.0 y) 1) (/ x y))
12.0ms	(log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))

simplify13.6min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	30
1	22	30
2	38	17
3	71	17
4	127	17
5	234	17
6	330	17
7	492	17
8	945	17
9	2042	17
10	2699	15
11	3084	15
12	3121	15
done	3121	15
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	478	15
8	930	15
9	2040	15
10	2728	13
11	3149	13
12	3186	13
done	3186	13
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	478	15
8	930	15
9	2040	15
10	2728	13
11	3149	13
12	3186	13
done	3186	13
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	478	15
8	930	15
9	2040	15
10	2728	13
11	3149	13
12	3186	13
done	3186	13
0	2	2
1	4	1
done	4	1
0	10	14
1	18	14
2	32	14
3	64	14
4	120	14
5	223	14
6	321	14
7	479	14
8	934	14
9	2035	14
10	2740	12
11	3173	12
12	3315	12
13	3452	12
14	3951	12
done	5001	12
0	9	10
1	15	10
2	24	10
3	40	10
4	46	10
5	52	10
6	61	10
7	85	10
8	134	10
9	182	10
10	213	10
11	253	10
12	295	10
13	428	10
14	712	10
15	920	10
16	997	10
17	1005	10
18	1022	10
19	1043	10
20	1125	10
21	1392	10
22	2497	10
done	5000	10
0	2	2
done	2	2
0	20	36
1	59	30
2	173	30
3	474	26
4	1825	26
done	5000	26
0	12	22
1	35	18
2	95	18
3	220	16
4	561	16
5	1193	10
6	3558	10
done	5000	10
0	15	26
1	38	24
2	95	24
3	285	22
4	787	18
5	1973	14
done	5000	14
0	8	10
1	20	10
2	34	10
3	58	10
4	75	10
5	84	8
6	96	8
7	102	6
8	173	6
9	390	6
10	1081	6
11	2438	6
done	5000	6
0	11	14
1	21	14
2	44	12
3	83	12
4	130	12
5	179	12
6	304	10
7	543	10
8	1359	10
done	5000	10
0	3	4
1	5	4
2	7	4
3	8	4
done	8	4
0	20	36
1	58	30
2	169	30
3	428	28
4	1648	26
done	5000	24
0	11	20
1	31	16
2	85	16
3	179	14
4	406	14
5	796	10
6	2150	10
done	5000	10
0	15	26
1	37	24
2	93	24
3	300	24
4	983	18
5	2655	16
done	5000	16
0	7	8
1	16	8
2	24	8
3	30	8
4	35	8
5	36	6
6	37	6
done	37	4
0	13	18
1	40	18
2	134	18
3	551	18
4	2448	18
done	5000	18
0	14	42
1	42	38
2	127	38
3	377	32
4	1248	32
5	3780	30
done	5000	30
0	12	28
1	34	28
2	106	28
3	351	28
4	1177	28
5	3506	28
done	5000	28
0	10	14
1	17	14
2	28	14
3	56	14
4	112	14
5	220	14
6	304	14
7	382	14
8	422	14
9	450	14
10	484	12
11	503	12
12	519	12
13	539	12
14	567	12
15	572	12
16	581	12
done	581	12
0	10	14
1	18	14
2	32	14
3	64	14
4	120	14
5	223	14
6	321	14
7	479	14
8	934	14
9	2035	14
10	2740	12
11	3173	12
12	3315	12
13	3452	12
14	3951	12
done	5001	12
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	480	15
8	935	15
9	2036	15
10	2742	13
11	3199	13
12	3336	13
13	3472	13
14	3962	13
done	5000	13
0	11	15
1	19	13
2	33	13
3	65	13
4	121	13
5	224	13
6	322	13
7	480	13
8	935	13
9	2036	13
10	2745	11
11	3216	11
12	3710	11
13	3919	11
14	4998	11
done	5000	11
0	12	31
1	20	31
2	34	31
3	66	31
4	122	31
5	225	31
6	323	31
7	481	31
8	935	31
9	2028	31
10	2754	27
11	3162	27
12	3299	27
13	3436	27
14	3922	27
done	5000	27
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	480	15
8	935	15
9	2036	15
10	2742	13
11	3199	13
12	3336	13
13	3472	13
14	3962	13
done	5000	13
0	12	44
1	21	44
2	37	16
3	74	16
4	136	16
5	249	16
6	368	16
7	587	16
8	1255	16
9	3296	16
done	5001	16
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	480	15
8	935	15
9	2036	15
10	2742	13
11	3199	13
12	3336	13
13	3472	13
14	3962	13
done	5000	13
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	480	15
8	935	15
9	2036	15
10	2742	13
11	3199	13
12	3336	13
13	3472	13
14	3962	13
done	5000	13
0	8	9
1	14	9
2	25	9
3	45	9
4	97	9
5	198	9
6	271	9
7	333	9
8	344	9
done	344	9
0	11	12
1	19	12
2	26	12
3	35	12
4	41	12
5	51	12
6	58	12
7	70	12
8	93	12
9	107	12
10	113	12
done	113	12
0	10	11
1	17	11
2	23	11
3	32	11
4	42	11
5	51	11
6	56	11
7	65	11
8	82	11
9	101	11
10	109	11
done	109	11
0	9	10
1	18	10
2	35	10
3	65	10
4	139	10
5	272	10
6	473	10
7	634	10
8	700	10
9	721	10
10	758	10
done	758	10
0	9	10
1	17	10
2	38	10
3	72	10
4	165	10
5	391	10
6	1066	10
7	4493	10
done	5000	10
0	14	29
1	44	29
2	166	15
3	774	13
4	4356	13
done	5000	13
0	12	29
1	40	29
2	133	13
3	514	13
4	2491	11
done	5000	11
0	10	21
1	16	21
2	27	21
3	47	21
4	99	21
5	198	21
6	271	21
7	325	21
8	336	21
done	336	21
0	9	10
1	15	10
2	26	10
3	46	10
4	98	10
5	201	10
6	280	10
7	342	10
8	354	10
done	354	10
0	10	29
1	26	29
2	112	11
3	558	11
4	2462	11
done	5000	11
0	9	10
1	15	10
2	26	10
3	46	10
4	98	10
5	201	10
6	280	10
7	342	10
8	354	10
done	354	10
0	9	10
1	15	10
2	26	10
3	46	10
4	98	10
5	201	10
6	280	10
7	342	10
8	354	10
done	354	10
0	10	11
1	30	9
2	64	9
3	142	9
4	439	9
5	1578	9
done	5000	9
0	10	19
1	27	15
2	80	15
3	174	13
4	397	13
5	783	9
6	2145	9
done	5000	9
0	9	13
1	22	11
2	42	11
3	96	11
4	225	11
5	498	11
6	929	11
7	1694	11
done	5000	11
0	6	7
1	12	7
2	19	7
3	25	7
4	30	7
5	31	5
6	32	5
done	32	3
0	10	11
1	14	11
done	14	11
0	10	11
1	14	11
done	14	11
0	11	12
1	17	12
2	20	12
3	24	12
4	25	12
done	25	12
0	11	12
1	17	12
2	20	12
3	24	12
4	25	12
done	25	12
0	10	15
1	16	15
2	26	15
3	42	15
4	100	15
5	173	15
6	215	15
7	251	15
8	262	15
done	262	15
0	9	10
1	13	10
2	21	10
3	25	10
4	50	10
5	91	10
6	111	10
7	129	10
8	133	10
done	133	10
0	12	17
1	24	17
2	61	17
3	158	17
4	450	17
5	1032	17
6	1803	17
7	2478	17
8	2973	17
9	2976	17
done	2976	17
0	11	14
1	19	14
2	37	14
3	86	14
4	232	14
5	481	14
6	721	14
7	975	14
8	1128	14
9	1131	14
done	1131	14
0	10	13
1	18	11
2	43	11
3	113	11
4	282	11
5	538	11
6	860	11
7	1022	11
8	1032	11
done	1032	11
0	11	14
1	19	14
2	38	14
3	79	14
4	180	14
5	469	14
6	826	14
7	1124	14
8	1320	14
9	1321	14
done	1321	14
0	10	11
1	16	11
2	27	11
3	47	11
4	101	11
5	233	11
6	361	11
7	490	11
8	556	11
done	556	11
0	9	10
1	15	8
2	30	8
3	45	8
4	99	8
5	228	8
6	366	8
7	446	8
done	446	8
0	9	13
1	17	13
2	35	11
3	86	11
4	158	11
5	250	11
6	343	11
7	407	11
8	448	11
done	448	11
0	8	10
1	14	10
2	25	8
3	51	8
4	79	8
5	123	8
6	152	8
7	171	8
8	182	8
done	182	8
0	7	9
1	13	7
2	24	5
3	38	5
4	46	5
5	48	5
6	51	5
7	53	5
done	53	5
0	6	7
1	10	5
2	19	5
3	29	5
4	37	5
5	39	5
6	42	5
7	44	5
done	44	5
0	7	7
1	11	7
2	19	7
3	23	7
4	27	7
5	29	7
6	30	7
done	30	7
0	9	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	9	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	8	9
1	14	9
2	25	9
3	45	9
4	97	9
5	198	9
6	271	9
7	333	9
8	344	9
done	344	9
0	8	9
1	14	9
2	25	9
3	45	9
4	97	9
5	198	9
6	271	9
7	333	9
8	344	9
done	344	9
0	7	7
1	11	7
2	19	7
3	23	7
4	27	7
5	29	7
6	30	7
done	30	7
0	11	13
1	33	11
2	70	11
3	166	11
4	627	11
5	3025	11
done	5001	11
0	10	15
1	25	13
2	50	13
3	137	13
4	385	13
5	1015	13
6	2380	13
7	4295	13
done	5000	13
0	11	15
1	21	14
2	43	14
3	92	14
4	217	14
5	515	14
6	1493	14
done	5001	14
0	10	14
1	18	14
2	32	14
3	64	14
4	120	14
5	223	14
6	321	14
7	479	14
8	934	14
9	2035	14
10	2740	12
11	3173	12
12	3315	12
13	3452	12
14	3951	12
done	5001	12
0	10	14
1	21	14
2	41	14
3	88	14
4	204	14
5	448	14
6	1128	14
7	3494	14
done	5000	14
0	11	29
1	19	29
2	33	29
3	65	29
4	121	29
5	224	29
6	322	29
7	478	29
8	930	29
9	2040	29
10	2728	25
11	3149	25
12	3186	25
done	3186	25
0	10	14
1	18	14
2	32	14
3	64	14
4	120	14
5	223	14
6	321	14
7	477	14
8	929	14
9	2024	14
10	2729	12
11	3163	12
12	3200	12
done	3200	12
0	11	41
1	20	41
2	48	15
3	175	15
4	909	15
done	5000	15
0	10	14
1	18	14
2	32	14
3	64	14
4	120	14
5	223	14
6	321	14
7	477	14
8	929	14
9	2024	14
10	2729	12
11	3163	12
12	3200	12
done	3200	12
0	10	14
1	18	14
2	32	14
3	64	14
4	120	14
5	223	14
6	321	14
7	477	14
8	929	14
9	2024	14
10	2729	12
11	3163	12
12	3200	12
done	3200	12
0	8	9
1	14	9
2	23	9
3	39	9
4	47	9
5	53	9
6	62	9
7	86	9
8	135	9
9	183	9
10	214	9
11	252	9
12	294	9
13	425	9
14	709	9
15	926	9
16	994	9
done	994	9
0	19	35
1	58	29
2	174	29
3	474	25
4	1826	25
done	5001	25
0	11	21
1	31	17
2	85	17
3	206	15
4	545	15
5	1172	9
6	3663	9
done	5001	9
0	14	25
1	37	23
2	94	23
3	284	21
4	781	17
5	1962	13
done	5001	13
0	7	9
1	16	9
2	24	9
3	44	9
4	59	9
5	67	7
6	79	7
7	85	5
8	156	5
9	365	5
10	1098	5
11	2430	5
done	5000	5
0	10	13
1	20	13
2	43	11
3	79	11
4	125	11
5	172	11
6	299	9
7	542	9
8	1395	9
done	5000	9
0	2	3
done	2	3
0	19	35
1	57	29
2	166	29
3	424	27
4	1648	25
done	5001	23
0	10	19
1	27	15
2	80	15
3	174	13
4	397	13
5	783	9
6	2145	9
done	5000	9
0	14	25
1	36	23
2	92	23
3	299	23
4	984	17
5	2643	15
done	5001	15
0	6	7
1	12	7
2	19	7
3	25	7
4	30	7
5	31	5
6	32	5
done	32	3
0	12	17
1	39	17
2	133	17
3	537	17
4	2439	17
done	5000	17
0	13	41
1	41	37
2	126	37
3	376	31
4	1251	31
5	3814	29
done	5001	29
0	4	4
1	6	4
done	6	4
0	11	27
1	33	27
2	102	27
3	347	27
4	1183	27
5	3518	27
done	5001	27
0	9	13
1	16	13
2	27	13
3	55	13
4	109	13
5	213	13
6	299	13
7	375	13
8	412	13
9	439	13
10	462	11
11	464	11
done	464	11
0	4	4
1	6	4
done	6	4
0	11	16
1	19	16
2	33	16
3	65	16
4	123	16
5	228	16
6	324	16
7	482	16
8	935	16
9	2024	16
10	2741	14
11	3196	14
12	3263	14
13	3345	14
14	3670	14
15	4440	14
done	5000	14
0	12	17
1	22	17
2	37	17
3	69	17
4	125	17
5	228	17
6	326	17
7	486	17
8	945	17
9	2046	17
10	2801	15
11	3293	15
12	3864	15
13	4982	15
done	5000	15
0	12	17
1	25	17
2	42	16
3	76	16
4	136	16
5	245	16
6	376	16
7	793	16
8	3114	16
done	5000	14
0	13	35
1	23	35
2	38	35
3	70	35
4	126	35
5	231	35
6	327	35
7	487	35
8	945	35
9	2053	35
10	2746	31
11	3234	31
12	3792	31
13	4906	31
done	5000	31
0	12	17
1	22	17
2	37	17
3	69	17
4	125	17
5	228	17
6	326	17
7	486	17
8	945	17
9	2046	17
10	2801	15
11	3293	15
12	3864	15
13	4982	15
done	5000	15
0	13	50
1	24	50
2	53	18
3	128	18
4	295	18
5	723	18
6	2042	18
done	5001	18
0	12	17
1	22	17
2	37	17
3	69	17
4	125	17
5	228	17
6	326	17
7	486	17
8	945	17
9	2046	17
10	2801	15
11	3293	15
12	3864	15
13	4982	15
done	5000	15
0	12	17
1	22	17
2	37	17
3	69	17
4	125	17
5	228	17
6	326	17
7	486	17
8	945	17
9	2046	17
10	2801	15
11	3293	15
12	3864	15
13	4982	15
done	5000	15
0	14	20
1	37	20
2	73	20
3	139	20
4	278	20
5	720	20
6	2606	20
done	5001	20
0	15	50
1	30	35
2	52	35
3	85	35
4	144	35
5	249	35
6	347	35
7	511	35
8	981	35
9	2149	35
10	2894	31
11	3533	31
done	5000	31
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	480	15
8	937	15
9	2040	15
10	2792	13
11	3305	13
12	3618	12
13	4034	12
14	4850	12
done	5000	12
0	13	33
1	26	33
2	47	33
3	94	33
4	177	33
5	321	33
6	476	33
7	802	33
8	2572	33
done	5001	33
0	11	16
1	20	16
2	34	16
3	66	16
4	122	16
5	225	16
6	323	16
7	481	16
8	938	16
9	2038	16
10	2756	14
11	3226	14
12	3480	14
13	3831	14
done	5000	14
0	13	18
1	22	18
2	36	18
3	68	18
4	124	18
5	229	18
6	327	18
7	489	18
8	944	18
9	2051	18
10	2745	16
11	3231	16
12	3372	16
13	3508	16
14	3995	16
done	5000	16
0	13	18
1	23	18
2	38	18
3	70	18
4	126	18
5	227	18
6	329	18
7	487	18
8	941	18
9	2044	18
10	2742	16
11	3144	16
12	3283	16
13	3420	16
14	3901	16
done	5000	16
0	11	16
1	21	16
2	36	16
3	68	16
4	124	16
5	227	16
6	329	16
7	489	16
8	946	16
9	2054	16
10	2758	14
11	3283	14
12	3838	14
13	4957	14
done	5000	14
0	11	16
1	21	16
2	36	16
3	68	16
4	124	16
5	227	16
6	329	16
7	489	16
8	946	16
9	2054	16
10	2758	14
11	3283	14
12	3838	14
13	4957	14
done	5000	14
0	13	32
1	25	32
2	46	19
3	88	19
4	150	19
5	260	19
6	368	19
7	544	19
8	1000	19
9	2036	19
10	2776	17
11	3202	17
12	3239	17
done	3239	17
0	12	17
1	22	17
2	37	17
3	69	17
4	125	17
5	228	17
6	326	17
7	484	17
8	936	17
9	2023	17
10	2700	15
11	3103	15
12	3139	15
done	3139	15
0	4	4
1	8	3
2	9	1
done	9	1
0	10	12
1	18	12
2	28	12
3	44	12
4	50	12
5	56	12
6	65	12
7	89	12
8	138	12
9	186	12
10	217	12
11	255	12
12	297	12
13	432	12
14	716	12
15	924	12
16	999	12
17	1022	12
18	1085	12
19	1243	12
20	1831	12
21	4364	12
done	5000	12
0	21	38
1	62	32
2	179	32
3	485	28
4	1835	28
done	5000	28
0	16	28
1	41	26
2	99	26
3	289	24
4	791	20
5	1995	16
done	5000	16
0	12	16
1	24	16
2	48	14
3	87	14
4	139	14
5	196	14
6	332	12
7	575	12
8	1423	12
done	5001	12
0	21	38
1	61	32
2	171	32
3	433	30
4	1640	28
done	5000	26
0	16	28
1	40	26
2	97	26
3	304	26
4	989	20
5	2648	18
done	5000	18
0	14	20
1	43	20
2	138	20
3	542	20
4	2451	20
done	5000	20
0	13	30
1	37	30
2	110	30
3	359	30
4	1202	30
5	3529	30
done	5000	30
0	11	15
1	19	15
2	33	15
3	65	15
4	121	15
5	224	15
6	322	15
7	480	15
8	937	15
9	2040	15
10	2792	13
11	3305	13
12	3618	12
13	4034	12
14	4850	12
done	5000	12
0	16	20
1	35	20
2	88	20
3	221	20
4	434	18
5	766	18
6	1447	18
7	2149	18
8	2482	18
9	3423	18
done	5000	18
0	15	24
1	39	21
2	89	13
3	318	13
4	658	13
5	1070	13
6	1482	13
7	1531	13
8	1560	13
9	1835	13
10	3920	13
done	5001	13
0	18	24
1	41	23
2	99	17
3	356	17
4	1373	17
5	4053	13
done	5001	13
0	9	11
1	18	11
2	40	11
3	61	11
4	80	9
5	95	9
6	125	9
7	199	9
8	456	9
9	1509	9
done	5000	9
0	9	11
1	18	11
2	40	11
3	61	11
4	80	9
5	95	9
6	125	9
7	199	9
8	456	9
9	1509	9
done	5000	9
0	9	11
1	18	11
2	40	11
3	61	11
4	80	9
5	95	9
6	125	9
7	199	9
8	456	9
9	1509	9
done	5000	9
0	13	17
1	30	17
2	67	15
3	143	13
4	332	13
5	1084	13
done	5000	13
0	13	17
1	30	17
2	69	15
3	143	13
4	322	13
5	995	13
6	4446	13
done	5000	13
0	13	17
1	30	17
2	69	15
3	143	13
4	322	13
5	995	13
6	4446	13
done	5000	13
0	17	22
1	39	22
2	109	22
3	319	22
4	942	20
5	2405	20
done	5000	20
0	16	26
1	43	23
2	119	15
3	420	15
4	1114	15
5	2393	15
6	3380	15
7	4217	15
8	4655	15
done	5000	15
0	19	26
1	45	25
2	120	19
3	433	19
4	1997	19
done	5000	19

prune206.0ms

Filtered

93 candidates to 113 candidates (-21.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	113	3	116

Merged error: 0b

Counts

116 → 3

regimes167.0ms

Accuracy

99.4% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 18.2b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	40
1	27	40
done	27	40

end0.0ms

sample1.6s

Algorithm

intervals

Results

288.0ms	5649×	body	80	valid
212.0ms	830×	body	1280	valid
150.0ms	801×	body	640	valid
143.0ms	701×	body	1280	nan
115.0ms	749×	body	640	nan
113.0ms	2676×	body	80	nan
63.0ms	467×	body	320	valid
58.0ms	468×	body	320	nan
23.0ms	253×	body	160	valid
17.0ms	219×	body	160	nan

Details

sample59.0ms

simplify100.0ms

prune4.0ms

localize10.0ms

rewrite42.0ms

series37.0ms

simplify58.7s

prune186.0ms

localize11.0ms

rewrite33.0ms

series39.0ms

simplify8.7min

prune176.0ms

localize25.0ms

rewrite224.0ms

series307.0ms

simplify8.6min

prune481.0ms

localize11.0ms

rewrite72.0ms

series42.0ms

simplify13.6min

prune206.0ms

regimes167.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling