Details

sample24.0ms

Algorithm

intervals

Results

7.0ms	201×	body	80	valid
2.0ms	16×	body	1280	valid
2.0ms	18×	body	640	valid
1.0ms	15×	body	320	valid
0.0ms	6×	body	160	valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	35	11
3	70	11
4	130	11
5	213	11
6	256	11
7	272	11
8	299	11
9	368	11
10	420	11
11	426	11
12	441	11
13	477	11
14	567	11
15	799	11
16	1078	11
17	1516	11
18	1932	11
19	1967	11
done	1967	11

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 22.3b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 x) y)
1.5b	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
8.7b	(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

8.0ms	(* (- 1.0 x) y)
8.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
11.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

series27.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(* (- 1.0 x) y)
13.0ms	(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
8.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))

simplify2.0min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	18	12
2	26	12
3	32	12
4	38	12
5	47	12
6	60	12
7	78	12
8	94	12
9	101	12
10	118	12
11	120	12
done	120	12
0	9	11
1	18	11
2	31	11
3	45	11
4	52	11
5	58	11
6	67	11
7	80	11
8	98	11
9	114	11
10	121	11
11	138	11
12	140	11
done	140	11
0	8	10
1	17	10
2	39	10
3	70	10
4	108	10
5	130	10
6	151	10
7	171	10
8	187	10
9	194	10
10	211	10
11	213	10
done	213	10
0	8	10
1	14	10
2	28	10
3	48	10
4	86	10
5	126	10
6	222	10
7	510	10
8	2024	10
done	5001	10
0	13	29
1	43	29
2	181	15
3	763	15
4	3329	13
done	5000	13
0	11	29
1	45	29
2	198	13
3	1002	11
4	4211	11
done	5000	11
0	9	21
1	15	21
2	29	21
3	44	21
4	67	21
5	81	21
6	90	21
7	92	21
done	92	21
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	9	29
1	22	29
2	73	11
3	335	11
4	1756	11
done	5001	11
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	13
1	16	13
2	24	13
3	29	13
4	32	13
done	32	13
0	5	6
1	6	6
done	6	6
0	7	8
1	13	8
2	16	8
3	18	8
done	18	8
0	5	6
1	6	6
done	6	6
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	7	9
1	13	9
2	22	9
3	27	9
4	31	9
done	31	9
0	9	15
1	20	15
2	47	15
3	79	15
4	142	15
5	179	15
6	211	15
7	232	15
done	232	15
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	4	5
1	5	5
done	5	5
0	10	13
1	29	13
2	52	13
3	84	13
4	148	13
5	284	13
6	707	13
7	2568	13
done	5000	13
0	9	13
1	19	13
2	52	13
3	121	13
4	244	13
5	455	11
6	662	11
7	1768	11
done	5000	11
0	10	15
1	25	13
2	78	13
3	205	13
4	462	13
5	1083	13
6	1592	13
7	1709	13
8	1774	13
9	1991	13
10	2924	13
done	5000	13
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	10	13
1	18	12
2	34	12
3	68	12
4	143	12
5	298	12
6	555	12
7	1443	12
done	5000	12
0	9	12
1	17	12
2	36	12
3	71	12
4	131	12
5	214	12
6	257	12
7	273	12
8	300	12
9	369	12
10	421	12
11	427	12
12	442	12
13	478	12
14	568	12
15	798	12
16	1086	12
17	1525	12
18	1947	12
19	1993	12
20	2001	12
21	2018	12
22	2043	12
23	2127	12
24	2444	12
25	4313	12
done	5000	12
0	9	12
1	20	12
2	41	12
3	84	12
4	174	12
5	330	12
6	647	12
7	1877	12
done	5000	12
0	10	25
1	18	25
2	37	25
3	72	25
4	132	25
5	215	25
6	258	25
7	274	25
8	301	25
9	370	25
10	422	25
11	428	25
12	443	25
13	479	25
14	569	25
15	799	25
16	1081	25
17	1514	25
18	1939	25
19	1977	25
done	1977	25
0	9	12
1	17	12
2	36	12
3	71	12
4	131	12
5	214	12
6	257	12
7	273	12
8	300	12
9	369	12
10	421	12
11	427	12
12	442	12
13	478	12
14	568	12
15	798	12
16	1086	12
17	1525	12
18	1945	12
19	1985	12
done	1985	12
0	10	35
1	19	35
2	52	13
3	146	13
4	648	13
5	4190	13
done	5001	13
0	9	12
1	17	12
2	36	12
3	71	12
4	131	12
5	214	12
6	257	12
7	273	12
8	300	12
9	369	12
10	421	12
11	427	12
12	442	12
13	478	12
14	568	12
15	798	12
16	1086	12
17	1525	12
18	1945	12
19	1985	12
done	1985	12
0	9	12
1	17	12
2	36	12
3	71	12
4	131	12
5	214	12
6	257	12
7	273	12
8	300	12
9	369	12
10	421	12
11	427	12
12	442	12
13	478	12
14	568	12
15	798	12
16	1086	12
17	1525	12
18	1945	12
19	1985	12
done	1985	12
0	11	15
1	35	15
2	105	15
3	437	15
4	2593	15
done	5000	15
0	12	35
1	31	25
2	85	25
3	273	25
4	851	25
5	2494	25
done	5001	25
0	8	10
1	16	10
2	37	10
3	77	10
4	127	9
5	198	9
6	233	9
7	238	9
done	238	9
0	10	23
1	25	23
2	68	23
3	264	23
4	1075	23
5	3893	23
done	5000	23
0	8	11
1	15	11
2	29	11
3	48	11
4	79	11
5	103	11
6	126	11
7	137	11
8	156	11
9	204	11
10	296	11
11	439	11
12	503	11
13	606	11
14	838	11
15	1120	11
16	1551	11
17	1969	11
18	2012	11
done	2012	11
0	10	13
1	17	13
2	31	13
3	46	13
4	69	13
5	83	13
6	92	13
7	94	13
done	94	13
0	10	13
1	18	13
2	33	13
3	48	13
4	71	13
5	85	13
6	94	13
7	96	13
done	96	13
0	8	11
1	16	11
2	35	11
3	70	11
4	130	11
5	213	11
6	256	11
7	272	11
8	299	11
9	368	11
10	420	11
11	426	11
12	441	11
13	477	11
14	567	11
15	799	11
16	1078	11
17	1516	11
18	1932	11
19	1967	11
done	1967	11
0	8	10
1	16	10
2	37	10
3	77	10
4	127	9
5	198	9
6	233	9
7	238	9
done	238	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	11	15
1	29	13
2	70	9
3	143	9
4	273	9
5	409	9
6	668	9
7	1058	9
8	1968	9
9	3705	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	8	11
1	18	11
2	38	11
3	64	9
4	97	9
5	141	9
6	217	9
7	349	9
8	425	9
9	536	9
10	898	9
11	1410	9
12	1806	9
done	1806	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune143.0ms

Filtered

55 candidates to 72 candidates (-30.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	5	73

Merged error: 0.1b

Counts

73 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (/ (- x 1.0) (+ y 1.0)) y)
3.9b	(+ 1.0 (* (/ (- x 1.0) (+ y 1.0)) y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
26×	`add-sqr-sqrt` `associate-l`
21×	`times-frac`
13×	`add-cube-cbrt`
7×	`add-exp-log` `add-cbrt-cube`
5×	`distribute-lft-out`
4×	`pow1` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-r`
2×	`flip3-+` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `div-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `div-inv`

Counts

2 → 56

Calls

2 calls:

13.0ms	(* (/ (- x 1.0) (+ y 1.0)) y)
3.0ms	(+ 1.0 (* (/ (- x 1.0) (+ y 1.0)) y))

series21.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (/ (- x 1.0) (+ y 1.0)) y)
13.0ms	(+ 1.0 (* (/ (- x 1.0) (+ y 1.0)) y))

simplify3.0min

Counts

62 → 62

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	10	13
1	24	12
2	40	12
3	75	12
4	144	12
5	316	12
6	690	12
7	1903	12
done	5000	12
0	9	12
1	19	12
2	25	12
3	46	12
4	67	12
5	95	12
6	110	12
7	128	12
8	140	12
9	179	12
10	254	12
11	360	12
12	414	12
13	452	12
14	501	12
15	591	12
16	819	12
17	1100	12
18	1536	12
19	1969	12
20	2011	12
21	2019	12
22	2036	12
23	2057	12
24	2137	12
25	2406	12
26	3366	12
done	5001	12
0	9	12
1	22	12
2	33	12
3	66	12
4	118	12
5	248	12
6	502	12
7	1223	12
8	4410	12
done	5000	12
0	10	25
1	20	25
2	26	25
3	47	25
4	68	25
5	96	25
6	111	25
7	129	25
8	141	25
9	180	25
10	255	25
11	361	25
12	412	25
13	449	25
14	498	25
15	588	25
16	818	25
17	1099	25
18	1533	25
19	1967	25
20	2008	25
done	2008	25
0	9	12
1	19	12
2	25	12
3	46	12
4	67	12
5	95	12
6	110	12
7	128	12
8	140	12
9	179	12
10	254	12
11	360	12
12	414	12
13	452	12
14	501	12
15	591	12
16	819	12
17	1100	12
18	1536	12
19	1967	12
20	2003	12
done	2003	12
0	10	35
1	33	35
2	95	13
3	376	13
4	1652	13
done	5001	13
0	9	12
1	19	12
2	25	12
3	46	12
4	67	12
5	95	12
6	110	12
7	128	12
8	140	12
9	179	12
10	254	12
11	360	12
12	414	12
13	452	12
14	501	12
15	591	12
16	819	12
17	1100	12
18	1536	12
19	1967	12
20	2003	12
done	2003	12
0	9	12
1	19	12
2	25	12
3	46	12
4	67	12
5	95	12
6	110	12
7	128	12
8	140	12
9	179	12
10	254	12
11	360	12
12	414	12
13	452	12
14	501	12
15	591	12
16	819	12
17	1100	12
18	1536	12
19	1967	12
20	2003	12
done	2003	12
0	11	15
1	37	15
2	94	15
3	355	15
4	1651	15
done	5001	15
0	12	35
1	38	25
2	109	25
3	353	25
4	1081	25
5	2948	25
done	5001	25
0	10	23
1	31	23
2	83	23
3	305	23
4	1164	23
5	3982	23
done	5000	23
0	8	11
1	19	11
2	34	11
3	73	11
4	137	11
5	221	11
6	274	11
7	288	11
8	315	11
9	385	11
10	498	11
11	550	11
12	640	11
13	868	11
14	1152	11
15	1589	11
16	2011	11
17	2054	11
done	2054	11
0	7	9
1	16	9
2	22	9
3	43	9
4	57	9
5	78	9
6	87	9
7	93	9
8	94	9
done	94	9
0	10	12
1	18	12
2	29	12
3	38	12
4	47	12
5	52	12
6	61	12
7	78	12
8	97	12
9	105	12
done	105	12
0	9	11
1	19	11
2	28	11
3	39	11
4	49	11
5	58	11
6	63	11
7	72	11
8	89	11
9	108	11
10	116	11
done	116	11
0	8	10
1	20	10
2	32	10
3	63	10
4	93	10
5	127	10
6	148	10
7	166	10
8	190	10
9	202	10
10	218	10
11	220	10
done	220	10
0	8	10
1	19	10
2	34	10
3	65	10
4	115	10
5	228	10
6	476	10
7	1180	10
8	4239	10
done	5001	10
0	13	29
1	43	29
2	165	15
3	654	13
4	2747	13
done	5000	13
0	11	29
1	30	29
2	94	13
3	358	13
4	1598	11
done	5000	11
0	9	21
1	18	21
2	24	21
3	45	21
4	59	21
5	80	21
6	89	21
7	95	21
8	96	21
done	96	21
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	9	29
1	28	29
2	85	11
3	393	11
4	1799	11
done	5000	11
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	9	11
1	16	11
2	19	11
3	21	11
done	21	11
0	9	11
1	16	11
2	19	11
3	21	11
done	21	11
0	10	12
1	16	12
2	20	12
3	22	12
4	24	12
5	25	12
done	25	12
0	10	12
1	16	12
2	20	12
3	22	12
4	24	12
5	25	12
done	25	12
0	9	13
1	20	13
2	31	13
3	64	13
4	115	13
5	170	13
6	222	13
7	258	13
8	273	13
9	278	13
done	278	13
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	8	9
1	19	7
2	32	7
3	54	7
4	75	7
5	101	7
6	126	7
7	139	7
8	141	7
done	141	7
0	8	10
1	15	10
2	18	10
3	20	10
done	20	10
0	8	10
1	15	10
2	18	10
3	20	10
done	20	10
0	9	11
1	15	11
2	19	11
3	21	11
4	23	11
5	24	11
done	24	11
0	9	11
1	15	11
2	19	11
3	21	11
4	23	11
5	24	11
done	24	11
0	8	10
1	14	10
2	18	10
3	20	10
4	22	10
5	23	10
done	23	10
0	8	10
1	14	10
2	18	10
3	20	10
4	22	10
5	23	10
done	23	10
0	9	11
1	15	11
2	19	11
3	21	11
4	23	11
5	24	11
done	24	11
0	9	11
1	15	11
2	19	11
3	21	11
4	23	11
5	24	11
done	24	11
0	8	10
1	14	10
2	18	10
3	20	10
4	22	10
5	23	10
done	23	10
0	8	10
1	14	10
2	18	10
3	20	10
4	22	10
5	23	10
done	23	10
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	7	9
1	16	9
2	22	9
3	43	9
4	57	9
5	78	9
6	87	9
7	93	9
8	94	9
done	94	9
0	7	9
1	16	9
2	22	9
3	43	9
4	57	9
5	78	9
6	87	9
7	93	9
8	94	9
done	94	9
0	10	12
1	19	12
2	25	12
3	46	12
4	60	12
5	81	12
6	90	12
7	96	12
8	97	12
done	97	12
0	10	12
1	19	12
2	25	12
3	46	12
4	60	12
5	81	12
6	90	12
7	96	12
8	97	12
done	97	12
0	9	11
1	18	11
2	24	11
3	45	11
4	59	11
5	80	11
6	89	11
7	95	11
8	96	11
done	96	11
0	9	11
1	18	11
2	24	11
3	45	11
4	59	11
5	80	11
6	89	11
7	95	11
8	96	11
done	96	11
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	8	10
1	17	10
2	23	10
3	44	10
4	58	10
5	79	10
6	88	10
7	94	10
8	95	10
done	95	10
0	7	9
1	16	9
2	22	9
3	43	9
4	57	9
5	78	9
6	87	9
7	93	9
8	94	9
done	94	9
0	7	9
1	16	9
2	22	9
3	43	9
4	57	9
5	78	9
6	87	9
7	93	9
8	94	9
done	94	9
0	7	9
1	16	9
2	22	9
3	43	9
4	57	9
5	78	9
6	87	9
7	93	9
8	94	9
done	94	9
0	6	7
1	12	7
2	15	5
done	15	5
0	8	13
1	17	11
2	40	11
3	76	11
4	127	11
5	172	11
6	264	11
7	356	11
8	586	11
9	1013	11
10	3428	11
done	5000	11
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	11
1	18	11
2	38	11
3	64	9
4	97	9
5	141	9
6	217	9
7	349	9
8	425	9
9	536	9
10	898	9
11	1410	9
12	1806	9
done	1806	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	11	15
1	29	13
2	68	9
3	104	9
4	156	9
5	221	9
6	341	9
7	608	9
8	1032	9
9	2231	9
done	5000	9
0	7	9
1	15	9
2	30	9
3	59	9
4	96	9
5	157	9
6	232	9
7	355	9
8	759	9
9	978	9
10	1104	9
done	1104	9
0	7	9
1	15	9
2	30	9
3	59	9
4	96	9
5	157	9
6	232	9
7	355	9
8	759	9
9	978	9
10	1104	9
done	1104	9

prune99.0ms

Filtered

46 candidates to 62 candidates (-34.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	62	5	67

Merged error: 0.1b

Counts

67 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (- 1.0 x) (/ (+ y 1.0) y))
1.5b	(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

155×	`times-frac`
139×	`*-un-lft-identity`
110×	`add-sqr-sqrt`
67×	`add-cube-cbrt`
20×	`difference-of-squares`
18×	`distribute-lft-out` `distribute-lft-out--`
16×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube` `div-inv`
5×	`associate-/l*`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`pow1` `flip3--` `div-sub` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `clear-num` `associate-/r/` `associate--r-`

Counts

2 → 136

Calls

2 calls:

13.0ms	(/ (- 1.0 x) (/ (+ y 1.0) y))
33.0ms	(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

series20.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ (- 1.0 x) (/ (+ y 1.0) y))
13.0ms	(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

simplify1.9min

Counts

142 → 142

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	20	12
2	40	12
3	89	12
4	191	12
5	394	12
6	1005	12
7	4880	12
done	5000	12
0	9	12
1	19	12
2	39	12
3	70	12
4	129	12
5	191	12
6	231	12
7	272	12
8	333	12
9	390	12
10	416	12
11	446	12
12	482	12
13	572	12
14	802	12
15	1084	12
16	1526	12
17	1956	12
18	1999	12
19	2007	12
20	2024	12
21	2051	12
22	2127	12
23	2422	12
24	3815	12
done	5001	12
0	9	12
1	22	12
2	49	12
3	103	12
4	213	12
5	452	12
6	1249	12
done	5000	12
0	10	25
1	20	25
2	40	25
3	71	25
4	130	25
5	192	25
6	232	25
7	273	25
8	334	25
9	391	25
10	417	25
11	447	25
12	483	25
13	573	25
14	801	25
15	1085	25
16	1533	25
17	1964	25
18	2006	25
done	2006	25
0	9	12
1	19	12
2	39	12
3	70	12
4	129	12
5	191	12
6	231	12
7	272	12
8	333	12
9	390	12
10	416	12
11	446	12
12	482	12
13	572	12
14	802	12
15	1084	12
16	1526	12
17	1954	12
18	1991	12
done	1991	12
0	10	35
1	21	35
2	55	13
3	177	13
4	992	13
done	5001	13
0	9	12
1	19	12
2	39	12
3	70	12
4	129	12
5	191	12
6	231	12
7	272	12
8	333	12
9	390	12
10	416	12
11	446	12
12	482	12
13	572	12
14	802	12
15	1084	12
16	1526	12
17	1954	12
18	1991	12
done	1991	12
0	9	12
1	19	12
2	39	12
3	70	12
4	129	12
5	191	12
6	231	12
7	272	12
8	333	12
9	390	12
10	416	12
11	446	12
12	482	12
13	572	12
14	802	12
15	1084	12
16	1526	12
17	1954	12
18	1991	12
done	1991	12
0	11	15
1	37	15
2	106	15
3	448	15
4	2510	15
done	5000	15
0	12	35
1	33	25
2	93	25
3	300	25
4	1004	25
5	3255	25
done	5001	25
0	8	10
1	18	10
2	38	10
3	65	10
4	110	9
5	168	9
6	201	9
7	224	9
8	228	9
9	230	9
10	240	9
11	282	9
12	364	9
13	369	9
done	369	9
0	10	23
1	27	23
2	76	23
3	323	23
4	1354	23
5	4902	23
done	5000	23
0	8	11
1	17	11
2	32	11
3	54	11
4	83	11
5	102	11
6	121	11
7	142	11
8	188	11
9	286	11
10	447	11
11	511	11
12	614	11
13	844	11
14	1124	11
15	1564	11
16	2000	11
17	2048	11
done	2048	11
0	10	13
1	19	13
2	30	13
3	44	13
4	63	13
5	73	13
6	87	13
7	92	13
8	94	13
done	94	13
0	10	13
1	20	13
2	32	13
3	46	13
4	65	13
5	75	13
6	89	13
7	94	13
8	96	13
done	96	13
0	11	14
1	15	14
2	16	14
done	16	14
0	11	14
1	16	14
2	20	14
done	20	14
0	12	15
1	18	15
2	22	15
3	23	15
4	25	15
5	27	15
6	28	15
done	28	15
0	12	15
1	19	15
2	30	15
3	39	15
4	48	15
5	53	15
6	59	15
7	62	15
done	62	15
0	8	11
1	18	11
2	38	11
3	69	11
4	128	11
5	189	11
6	229	11
7	270	11
8	331	11
9	388	11
10	414	11
11	444	11
12	480	11
13	570	11
14	802	11
15	1083	11
16	1520	11
17	1936	11
18	1972	11
done	1972	11
0	6	9
1	11	9
2	21	9
3	30	9
4	39	9
5	44	9
6	50	9
7	58	9
8	62	9
9	69	9
10	70	9
done	70	9
0	8	10
1	18	10
2	38	10
3	65	10
4	110	9
5	168	9
6	201	9
7	224	9
8	228	9
9	230	9
10	240	9
11	282	9
12	364	9
13	369	9
done	369	9
0	10	12
1	19	12
2	28	12
3	41	12
4	45	12
5	53	12
6	68	12
7	94	12
8	103	12
done	103	12
0	9	11
1	17	11
2	23	11
3	30	11
4	43	11
5	48	11
6	56	11
7	71	11
8	97	11
9	106	11
done	106	11
0	8	10
1	19	10
2	37	10
3	59	10
4	88	10
5	115	10
6	137	10
7	153	10
8	173	10
9	193	10
10	199	10
done	199	10
0	8	10
1	16	10
2	32	10
3	59	10
4	99	10
5	175	10
6	433	10
7	1658	10
done	5001	10
0	13	29
1	42	29
2	164	15
3	675	13
4	2774	11
done	5000	11
0	11	29
1	29	29
2	119	13
3	460	11
4	1964	11
done	5000	11
0	9	21
1	17	21
2	28	21
3	42	21
4	61	21
5	71	21
6	85	21
7	90	21
8	92	21
done	92	21
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	9	29
1	24	29
2	82	11
3	407	11
4	2181	11
done	5000	11
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	6
1	8	6
2	12	6
3	14	6
4	20	6
5	26	5
6	28	5
done	28	5
0	5	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	11	23
1	20	23
2	30	23
3	36	23
done	36	23
0	9	11
1	12	11
2	13	11
done	13	11
0	10	16
1	15	16
2	18	16
3	19	16
done	19	16
0	9	11
1	12	11
2	13	11
done	13	11
0	13	25
1	26	25
2	63	25
3	154	25
4	281	25
5	376	25
6	412	25
7	422	25
done	422	25
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	12	22
1	21	22
2	40	22
3	84	22
4	128	22
5	148	22
6	153	22
7	154	22
done	154	22
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	12	21
1	23	19
2	47	19
3	122	19
4	152	19
5	172	19
6	174	19
done	174	19
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	12	20
1	21	20
2	37	20
3	65	20
4	101	20
5	122	20
6	132	20
7	141	20
done	141	20
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	11	17
1	18	17
2	28	17
3	38	17
4	48	17
5	52	17
6	54	17
7	55	17
done	55	17
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	11	16
1	20	14
2	32	14
3	54	14
4	59	14
5	63	14
6	69	14
done	69	14
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	8	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	8	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	8	13
1	13	13
2	16	13
3	17	13
done	17	13
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	10	18
1	15	18
2	16	18
done	16	18
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	12	20
1	23	20
2	45	20
3	76	20
4	102	20
5	133	20
6	155	20
7	165	20
done	165	20
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	11	17
1	18	17
2	27	17
3	40	17
4	48	17
5	54	17
6	57	17
done	57	17
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	11	16
1	20	14
2	34	14
3	61	14
4	71	14
5	83	14
6	88	14
done	88	14
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	11	15
1	18	15
2	26	15
3	34	15
4	38	15
5	47	15
6	53	15
7	58	15
done	58	15
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	11
1	17	9
2	24	9
3	29	9
4	31	9
5	34	9
6	38	9
7	39	9
done	39	9
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	8	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	9	11
1	14	11
2	18	11
3	19	11
4	21	11
5	23	11
6	24	11
done	24	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	8	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	7	8
1	10	8
2	11	8
done	11	8
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	8	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	8
1	10	8
done	10	8
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	10	17
1	21	17
2	42	17
3	73	15
4	133	15
5	208	15
done	208	15
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	9	14
1	16	14
2	24	14
3	37	12
4	64	12
5	97	12
done	97	12
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	9	12
1	16	12
2	23	12
3	31	10
4	55	10
5	72	10
done	72	10
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	7	8
1	12	6
2	17	6
done	17	6
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	2	3
1	4	1
done	4	1
0	7	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	5	5
1	8	5
done	8	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	11	19
1	15	19
done	15	19
0	10	12
1	16	12
2	19	12
3	21	12
done	21	12
0	10	12
1	12	12
done	12	12
0	10	12
1	16	12
2	19	12
3	21	12
done	21	12
0	13	21
1	23	21
2	44	21
3	75	21
4	109	21
5	160	21
6	211	21
7	265	21
8	323	21
9	391	21
10	420	21
11	434	21
12	439	21
13	441	21
14	442	21
done	442	21
0	11	13
1	19	13
2	30	13
3	44	13
4	63	13
5	73	13
6	87	13
7	92	13
8	94	13
done	94	13
0	12	18
1	18	18
2	26	18
3	39	18
4	55	18
5	69	18
6	82	18
7	92	18
8	112	18
9	130	18
10	146	18
11	149	18
12	151	18
13	152	18
done	152	18
0	11	13
1	19	13
2	30	13
3	44	13
4	63	13
5	73	13
6	87	13
7	92	13
8	94	13
done	94	13
0	12	17
1	20	15
2	33	15
3	60	15
4	80	15
5	116	15
6	143	15
7	155	15
8	171	15
9	179	15
done	179	15
0	10	12
1	18	12
2	29	12
3	43	12
4	62	12
5	72	12
6	86	12
7	91	12
8	93	12
done	93	12
0	12	16
1	18	16
2	25	16
3	33	16
4	45	16
5	66	16
6	80	16
7	105	16
8	125	16
9	139	16
10	147	16
11	153	16
12	154	16
done	154	16
0	11	13
1	19	13
2	30	13
3	44	13
4	63	13
5	73	13
6	87	13
7	92	13
8	94	13
done	94	13
0	11	13
1	15	13
2	18	13
3	19	13
4	29	13
5	31	13
6	40	13
7	42	13
8	48	13
9	52	13
10	58	13
11	60	13
done	60	13
0	11	13
1	19	13
2	30	13
3	44	13
4	63	13
5	73	13
6	87	13
7	92	13
8	94	13
done	94	13
0	11	12
1	17	10
2	23	10
3	28	10
4	38	10
5	49	10
6	61	10
7	67	10
8	71	10
9	73	10
done	73	10
0	10	12
1	18	12
2	29	12
3	43	12
4	62	12
5	72	12
6	86	12
7	91	12
8	93	12
done	93	12
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	10	12
1	18	12
2	29	12
3	43	12
4	62	12
5	72	12
6	86	12
7	91	12
8	93	12
done	93	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	10	12
1	18	12
2	29	12
3	43	12
4	62	12
5	72	12
6	86	12
7	91	12
8	93	12
done	93	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	10	12
1	18	12
2	29	12
3	43	12
4	62	12
5	72	12
6	86	12
7	91	12
8	93	12
done	93	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	10	12
1	18	12
2	29	12
3	43	12
4	62	12
5	72	12
6	86	12
7	91	12
8	93	12
done	93	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	8	9
1	10	9
done	10	9
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	8	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	8
1	10	8
done	10	8
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	10	17
1	21	17
2	42	17
3	73	15
4	133	15
5	208	15
done	208	15
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	9	14
1	16	14
2	24	14
3	37	12
4	64	12
5	97	12
done	97	12
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	9	12
1	16	12
2	23	12
3	31	10
4	55	10
5	72	10
done	72	10
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	7	8
1	12	6
2	17	6
done	17	6
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	8	10
1	16	10
2	27	10
3	41	10
4	60	10
5	70	10
6	84	10
7	89	10
8	91	10
done	91	10
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	2	3
1	4	1
done	4	1
0	7	9
1	15	9
2	26	9
3	40	9
4	59	9
5	69	9
6	83	9
7	88	9
8	90	9
done	90	9
0	5	5
1	8	5
done	8	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	6	7
1	11	7
2	14	7
3	15	5
done	15	5
0	7	9
1	12	9
2	16	9
3	24	9
4	28	9
5	32	9
done	32	9
0	9	17
1	17	17
2	25	17
3	30	17
4	33	17
done	33	17
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	11	19
1	25	19
2	66	19
3	159	19
4	310	19
5	492	19
6	653	19
7	752	19
8	776	19
done	776	19
0	10	16
1	20	16
2	40	16
3	88	16
4	144	16
5	191	16
6	227	16
7	239	16
8	242	16
done	242	16
0	10	15
1	22	13
2	46	13
3	111	13
4	196	13
5	289	13
6	371	13
7	402	13
8	410	13
done	410	13
0	10	14
1	20	14
2	39	14
3	74	14
4	125	14
5	176	14
6	217	14
7	257	14
8	277	14
9	278	14
done	278	14
0	9	11
1	17	11
2	28	11
3	42	11
4	61	11
5	71	11
6	85	11
7	90	11
8	92	11
done	92	11
0	9	10
1	19	8
2	30	8
3	50	8
4	81	8
5	101	8
6	122	8
7	138	8
8	149	8
9	151	8
done	151	8
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	10
1	13	10
2	17	10
done	17	10
0	8	10
1	13	10
2	17	10
done	17	10
0	7	9
1	12	9
2	16	9
3	24	9
4	28	9
5	32	9
done	32	9
0	9	11
1	14	11
2	18	11
3	26	11
4	30	11
5	34	11
done	34	11
0	7	9
1	12	9
2	16	9
3	24	9
4	28	9
5	32	9
done	32	9
0	6	7
1	12	7
2	15	7
3	17	7
done	17	7
0	11	17
1	28	15
2	78	15
3	197	15
4	399	15
5	842	15
6	1763	15
7	2561	15
8	3626	15
9	4296	15
done	5000	15
0	7	9
1	18	9
2	34	9
3	65	9
4	91	9
5	146	9
6	188	9
7	240	9
8	256	9
9	281	9
10	500	9
11	2141	9
done	5001	9
0	8	11
1	18	11
2	38	11
3	64	9
4	97	9
5	141	9
6	217	9
7	349	9
8	425	9
9	536	9
10	898	9
11	1410	9
12	1806	9
done	1806	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	11	15
1	29	13
2	70	9
3	143	9
4	273	9
5	409	9
6	668	9
7	1058	9
8	1968	9
9	3705	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9

prune209.0ms

Filtered

95 candidates to 142 candidates (-49.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	142	5	147

Merged error: 0.1b

Counts

147 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

8.7b	(/ (* (- 1.0 x) y) (+ y 1.0))
8.7b	(/ (* (- 1.0 x) y) (+ y 1.0))
8.7b	(/ (* (- 1.0 x) y) (+ y 1.0))
11.8b	(/ (- (* 1.0 1.0) (* (/ (* (- 1.0 x) y) (+ y 1.0)) (/ (* (- 1.0 x) y) (+ y 1.0)))) (+ 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
28×	`times-frac`
21×	`add-exp-log` `add-cbrt-cube`
20×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`associate-/r*`
11×	`distribute-lft-out`
8×	`associate-/r/` `associate-/l/`
7×	`cbrt-undiv` `div-exp` `associate-/l*`
6×	`associate-*l/`
5×	`difference-of-squares`
4×	`pow1` `flip3--` `frac-2neg` `flip3-+` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
1×	`div-sub`

Counts

4 → 122

Calls

4 calls:

11.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))
10.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))
10.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))
22.0ms	(/ (- (* 1.0 1.0) (* (/ (* (- 1.0 x) y) (+ y 1.0)) (/ (* (- 1.0 x) y) (+ y 1.0)))) (+ 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))))

series122.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))
7.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))
8.0ms	(/ (* (- 1.0 x) y) (+ y 1.0))
100.0ms	(/ (- (* 1.0 1.0) (* (/ (* (- 1.0 x) y) (+ y 1.0)) (/ (* (- 1.0 x) y) (+ y 1.0)))) (+ 1.0 (/ (* (- 1.0 x) y) (+ y 1.0))))

simplify4.4min

Counts

134 → 134

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	37
1	31	37
2	76	37
3	281	37
4	1104	37
5	3935	14
done	5000	14
0	13	36
1	34	36
2	90	36
3	370	36
4	1766	14
done	5000	14
0	13	36
1	31	36
2	86	36
3	358	36
4	1751	14
done	5000	14
0	16	107
1	52	107
2	204	39
3	1069	15
done	5000	15
0	14	73
1	32	73
2	84	73
3	352	73
4	1727	29
done	5001	29
0	13	36
1	31	36
2	83	36
3	353	36
4	1723	14
done	5000	14
0	14	107
1	39	107
2	125	37
3	644	37
4	4583	15
done	5000	15
0	13	36
1	31	36
2	83	36
3	353	36
4	1723	14
done	5000	14
0	13	36
1	31	36
2	83	36
3	353	36
4	1723	14
done	5000	14
0	11	24
1	26	24
2	76	24
3	294	24
4	1278	23
done	5001	23
0	9	12
1	19	12
2	39	12
3	78	12
4	145	11
5	244	11
6	306	11
7	329	11
8	373	11
9	445	11
10	506	11
11	637	11
12	950	11
13	1226	11
14	1949	11
15	2051	11
done	2051	11
0	10	15
1	19	15
2	35	15
3	55	15
4	92	15
5	135	15
6	214	15
7	360	15
8	1304	15
done	5001	15
0	10	31
1	23	31
2	69	31
3	332	31
4	1465	31
5	4975	31
done	5000	31
0	16	75
1	37	75
2	88	75
3	290	75
4	1101	75
5	3917	75
done	5000	75
0	14	37
1	29	37
2	71	37
3	271	37
4	1083	37
5	3900	37
done	5000	37
0	15	62
1	32	62
2	76	62
3	273	62
4	1084	62
5	3896	62
done	5001	62
0	14	37
1	29	37
2	71	37
3	271	37
4	1083	37
5	3900	37
done	5000	37
0	14	51
1	33	49
2	82	49
3	287	49
4	1097	49
5	3921	49
done	5000	49
0	13	36
1	28	36
2	70	36
3	270	36
4	1085	36
5	3900	36
done	5000	36
0	14	51
1	33	49
2	82	49
3	287	49
4	1097	49
5	3921	49
done	5000	49
0	13	36
1	28	36
2	70	36
3	270	36
4	1085	36
5	3900	36
done	5000	36
0	15	50
1	32	50
2	74	50
3	270	50
4	1081	50
5	3895	50
done	5000	50
0	14	37
1	29	37
2	71	37
3	271	37
4	1083	37
5	3900	37
done	5000	37
0	14	37
1	29	37
2	71	37
3	271	37
4	1083	37
5	3900	37
done	5000	37
0	14	37
1	29	37
2	71	37
3	271	37
4	1083	37
5	3900	37
done	5000	37
0	13	26
1	30	24
2	75	24
3	271	24
4	1082	24
5	3906	24
done	5001	24
0	13	36
1	28	36
2	70	36
3	270	36
4	1085	36
5	3900	36
done	5000	36
0	13	26
1	30	24
2	75	24
3	271	24
4	1082	24
5	3906	24
done	5001	24
0	13	36
1	28	36
2	70	36
3	270	36
4	1085	36
5	3900	36
done	5000	36
0	12	27
1	23	27
2	37	27
3	56	27
4	87	27
5	111	27
6	133	27
7	142	27
8	161	27
9	209	27
10	301	27
11	444	27
12	508	27
13	611	27
14	841	27
15	1125	27
16	1549	27
17	1972	27
18	2009	27
done	2009	27
0	13	36
1	31	36
2	83	36
3	356	36
4	1675	36
done	5000	36
0	11	14
1	20	14
2	34	14
3	53	14
4	84	14
5	108	14
6	130	14
7	139	14
8	158	14
9	206	14
10	298	14
11	441	14
12	505	14
13	608	14
14	838	14
15	1127	14
16	1556	14
17	1982	14
18	2022	14
done	2022	14
0	13	36
1	31	36
2	83	36
3	356	36
4	1675	36
done	5000	36
0	2	3
1	4	1
done	4	1
0	12	35
1	30	35
2	82	35
3	350	35
4	1723	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	12	35
1	30	35
2	82	35
3	350	35
4	1723	13
done	5000	13
0	11	37
1	20	37
2	34	37
3	53	37
4	96	37
5	169	37
6	351	37
7	725	37
8	1154	37
9	1519	37
10	2017	37
11	2864	37
done	5000	37
0	11	24
1	23	24
2	48	24
3	122	24
4	264	24
5	543	24
6	873	24
7	1025	24
8	1136	24
9	1334	24
10	1571	24
11	3914	24
done	5001	24
0	10	24
1	17	24
2	31	24
3	50	24
4	87	24
5	130	24
6	215	24
7	364	24
8	512	24
9	672	24
10	892	24
11	1320	24
12	3603	24
done	5000	24
0	11	24
1	23	24
2	48	24
3	122	24
4	264	24
5	543	24
6	873	24
7	1025	24
8	1136	24
9	1334	24
10	1571	24
11	3914	24
done	5001	24
0	10	13
1	19	11
2	35	11
3	54	11
4	91	11
5	134	11
6	227	11
7	423	11
8	564	11
9	669	11
10	832	11
11	1108	11
12	1202	11
13	1392	11
14	1928	11
15	3052	11
done	5000	11
0	10	23
1	22	23
2	47	23
3	121	23
4	299	23
5	827	23
6	2143	23
7	4990	23
done	5000	23
0	10	13
1	19	11
2	35	11
3	54	11
4	91	11
5	134	11
6	227	11
7	423	11
8	564	11
9	669	11
10	832	11
11	1108	11
12	1202	11
13	1392	11
14	1928	11
15	3052	11
done	5000	11
0	10	23
1	22	23
2	47	23
3	121	23
4	299	23
5	827	23
6	2143	23
7	4990	23
done	5000	23
0	10	13
1	19	13
2	33	13
3	52	13
4	83	13
5	107	13
6	129	13
7	138	13
8	157	13
9	205	13
10	297	13
11	440	13
12	504	13
13	607	13
14	837	13
15	1117	13
16	1554	13
17	1974	13
18	2019	13
19	2027	13
20	2029	13
done	2029	13
0	12	35
1	27	35
2	71	35
3	270	13
4	1095	13
5	3962	13
done	5001	13
0	14	49
1	34	49
2	100	49
3	425	49
4	2208	49
done	5000	49
0	13	36
1	31	36
2	83	36
3	356	36
4	1675	36
done	5000	36
0	12	25
1	32	23
2	87	23
3	365	23
4	1611	23
done	5000	23
0	12	25
1	32	23
2	87	23
3	365	23
4	1611	23
done	5000	23
0	13	36
1	28	36
2	70	36
3	270	36
4	1087	36
5	3925	36
done	5000	36
0	13	36
1	28	36
2	70	36
3	270	36
4	1087	36
5	3925	36
done	5000	36
0	12	35
1	27	35
2	71	35
3	270	13
4	1095	13
5	3962	13
done	5001	13
0	10	23
1	19	23
2	38	23
3	77	23
4	150	23
5	262	23
6	431	23
7	968	23
8	3014	23
done	5000	23
0	15	39
1	48	39
2	137	39
3	602	39
4	3323	39
done	5000	39
0	11	47
1	30	1
2	91	1
3	416	1
4	2439	1
done	5000	1
0	16	83
1	55	63
2	216	53
3	1061	51
done	5000	51
0	12	35
1	31	35
2	102	35
3	405	35
4	1887	35
done	5001	35
0	10	12
1	18	12
2	26	12
3	32	12
4	38	12
5	47	12
6	60	12
7	78	12
8	94	12
9	101	12
10	118	12
11	120	12
done	120	12
0	9	11
1	18	11
2	31	11
3	45	11
4	52	11
5	58	11
6	67	11
7	80	11
8	98	11
9	114	11
10	121	11
11	138	11
12	140	11
done	140	11
0	8	10
1	17	10
2	39	10
3	70	10
4	108	10
5	130	10
6	151	10
7	171	10
8	187	10
9	194	10
10	211	10
11	213	10
done	213	10
0	8	10
1	14	10
2	28	10
3	48	10
4	86	10
5	126	10
6	222	10
7	510	10
8	2024	10
done	5001	10
0	13	29
1	43	29
2	181	15
3	763	15
4	3329	13
done	5000	13
0	11	29
1	45	29
2	198	13
3	1002	11
4	4211	11
done	5000	11
0	9	21
1	15	21
2	29	21
3	44	21
4	67	21
5	81	21
6	90	21
7	92	21
done	92	21
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	9	29
1	22	29
2	73	11
3	335	11
4	1756	11
done	5001	11
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	13
1	16	13
2	24	13
3	29	13
4	32	13
done	32	13
0	5	6
1	6	6
done	6	6
0	7	8
1	13	8
2	16	8
3	18	8
done	18	8
0	5	6
1	6	6
done	6	6
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	7	9
1	13	9
2	22	9
3	27	9
4	31	9
done	31	9
0	9	15
1	20	15
2	47	15
3	79	15
4	142	15
5	179	15
6	211	15
7	232	15
done	232	15
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	4	5
1	5	5
done	5	5
0	10	13
1	29	13
2	52	13
3	84	13
4	148	13
5	284	13
6	707	13
7	2568	13
done	5000	13
0	9	13
1	19	13
2	52	13
3	121	13
4	244	13
5	455	11
6	662	11
7	1768	11
done	5000	11
0	10	15
1	25	13
2	78	13
3	205	13
4	462	13
5	1083	13
6	1592	13
7	1709	13
8	1774	13
9	1991	13
10	2924	13
done	5000	13
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	10	12
1	18	12
2	26	12
3	32	12
4	38	12
5	47	12
6	60	12
7	78	12
8	94	12
9	101	12
10	118	12
11	120	12
done	120	12
0	9	11
1	18	11
2	31	11
3	45	11
4	52	11
5	58	11
6	67	11
7	80	11
8	98	11
9	114	11
10	121	11
11	138	11
12	140	11
done	140	11
0	8	10
1	17	10
2	39	10
3	70	10
4	108	10
5	130	10
6	151	10
7	171	10
8	187	10
9	194	10
10	211	10
11	213	10
done	213	10
0	8	10
1	14	10
2	28	10
3	48	10
4	86	10
5	126	10
6	222	10
7	510	10
8	2024	10
done	5001	10
0	13	29
1	43	29
2	181	15
3	763	15
4	3329	13
done	5000	13
0	11	29
1	45	29
2	198	13
3	1002	11
4	4211	11
done	5000	11
0	9	21
1	15	21
2	29	21
3	44	21
4	67	21
5	81	21
6	90	21
7	92	21
done	92	21
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	9	29
1	22	29
2	73	11
3	335	11
4	1756	11
done	5001	11
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	13
1	16	13
2	24	13
3	29	13
4	32	13
done	32	13
0	5	6
1	6	6
done	6	6
0	7	8
1	13	8
2	16	8
3	18	8
done	18	8
0	5	6
1	6	6
done	6	6
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	7	9
1	13	9
2	22	9
3	27	9
4	31	9
done	31	9
0	9	15
1	20	15
2	47	15
3	79	15
4	142	15
5	179	15
6	211	15
7	232	15
done	232	15
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	4	5
1	5	5
done	5	5
0	10	13
1	29	13
2	52	13
3	84	13
4	148	13
5	284	13
6	707	13
7	2568	13
done	5000	13
0	9	13
1	19	13
2	52	13
3	121	13
4	244	13
5	455	11
6	662	11
7	1768	11
done	5000	11
0	10	15
1	25	13
2	78	13
3	205	13
4	462	13
5	1083	13
6	1592	13
7	1709	13
8	1774	13
9	1991	13
10	2924	13
done	5000	13
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	10	12
1	18	12
2	26	12
3	32	12
4	38	12
5	47	12
6	60	12
7	78	12
8	94	12
9	101	12
10	118	12
11	120	12
done	120	12
0	9	11
1	18	11
2	31	11
3	45	11
4	52	11
5	58	11
6	67	11
7	80	11
8	98	11
9	114	11
10	121	11
11	138	11
12	140	11
done	140	11
0	8	10
1	17	10
2	39	10
3	70	10
4	108	10
5	130	10
6	151	10
7	171	10
8	187	10
9	194	10
10	211	10
11	213	10
done	213	10
0	8	10
1	14	10
2	28	10
3	48	10
4	86	10
5	126	10
6	222	10
7	510	10
8	2024	10
done	5001	10
0	13	29
1	43	29
2	181	15
3	763	15
4	3329	13
done	5000	13
0	11	29
1	45	29
2	198	13
3	1002	11
4	4211	11
done	5000	11
0	9	21
1	15	21
2	29	21
3	44	21
4	67	21
5	81	21
6	90	21
7	92	21
done	92	21
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	9	29
1	22	29
2	73	11
3	335	11
4	1756	11
done	5001	11
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	13
1	16	13
2	24	13
3	29	13
4	32	13
done	32	13
0	5	6
1	6	6
done	6	6
0	7	8
1	13	8
2	16	8
3	18	8
done	18	8
0	5	6
1	6	6
done	6	6
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	12	3
2	17	3
done	17	3
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	7	9
1	13	9
2	22	9
3	27	9
4	31	9
done	31	9
0	9	15
1	20	15
2	47	15
3	79	15
4	142	15
5	179	15
6	211	15
7	232	15
done	232	15
0	8	10
1	14	10
2	28	10
3	43	10
4	66	10
5	80	10
6	89	10
7	91	10
done	91	10
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	4	5
1	5	5
done	5	5
0	10	13
1	29	13
2	52	13
3	84	13
4	148	13
5	284	13
6	707	13
7	2568	13
done	5000	13
0	9	13
1	19	13
2	52	13
3	121	13
4	244	13
5	455	11
6	662	11
7	1768	11
done	5000	11
0	10	15
1	25	13
2	78	13
3	205	13
4	462	13
5	1083	13
6	1592	13
7	1709	13
8	1774	13
9	1991	13
10	2924	13
done	5000	13
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	8	11
1	18	11
2	38	11
3	64	9
4	97	9
5	141	9
6	217	9
7	349	9
8	425	9
9	536	9
10	898	9
11	1410	9
12	1806	9
done	1806	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	10	13
1	23	13
2	46	11
3	67	11
4	96	9
5	182	9
6	339	9
7	582	9
8	897	9
9	1084	9
10	1144	9
11	1146	9
done	1146	9
0	11	15
1	29	13
2	70	9
3	143	9
4	273	9
5	409	9
6	668	9
7	1058	9
8	1968	9
9	3705	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	11	15
1	29	13
2	70	9
3	143	9
4	273	9
5	409	9
6	668	9
7	1058	9
8	1968	9
9	3705	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	11	15
1	29	13
2	70	9
3	143	9
4	273	9
5	409	9
6	668	9
7	1058	9
8	1968	9
9	3705	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9
0	7	9
1	15	9
2	28	9
3	42	9
4	55	9
5	72	9
6	99	9
7	142	9
8	190	9
9	221	9
10	267	9
11	331	9
12	498	9
13	701	9
14	842	9
15	907	9
done	907	9

prune318.0ms

Filtered

110 candidates to 134 candidates (-21.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Merged error: 0.1b

Counts

139 → 5

regimes297.0ms

Accuracy

99.2% (0.1b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 14.5b

bsearch33.0ms

Steps

Iters	Range		Point
9	54027.26876101495	8048997583997.388	111713444.68685089
7	-1.530790709271042e+18	-2.591132052930294e+16	-26325748948677744.0

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	37
1	29	29
done	29	29

end0.0ms

sample714.0ms

Algorithm

intervals

Results

206.0ms	6081×	body	80	valid
103.0ms	765×	body	640	valid
74.0ms	386×	body	1280	valid
47.0ms	500×	body	320	valid
24.0ms	268×	body	160	valid

Details

sample24.0ms

simplify3.8s

prune3.0ms

localize7.0ms

rewrite28.0ms

series27.0ms

simplify2.0min

prune143.0ms

localize7.0ms

rewrite18.0ms

series21.0ms

simplify3.0min

prune99.0ms

localize7.0ms

rewrite55.0ms

series20.0ms

simplify1.9min

prune209.0ms

localize13.0ms

rewrite57.0ms

series122.0ms

simplify4.4min

prune318.0ms

regimes297.0ms

bsearch33.0ms

simplify2.0ms

end0.0ms

sample714.0ms

Profiling