Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	17
1	36	17
2	130	17
3	411	17
4	1210	17
done	5001	17

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.0b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x y) (+ x y))
0.0b	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
21.7b	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

60×	`frac-times` `flip3-+` `flip-+`
31×	`add-exp-log` `add-cbrt-cube`
30×	`associate-*l/`
27×	`*-un-lft-identity`
26×	`associate-/r/`
18×	`associate-*r/`
15×	`pow1`
13×	`prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
9×	`associate-r` `distribute-lft-out`
8×	`add-cube-cbrt`
6×	`cbrt-undiv` `swap-sqr` `div-exp`
5×	`associate-l`
4×	`pow-prod-down`
3×	`add-log-exp`
2×	`distribute-rgt-in` `distribute-lft-in` `*-commutative` `unswap-sqr`
1×	`pow2` `frac-2neg` `times-frac` `pow-plus` `clear-num` `associate-/r` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l`

Counts

3 → 140

Calls

3 calls:

9.0ms	(* (+ x y) (+ x y))
18.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
21.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

series37.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* (+ x y) (+ x y))
10.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
23.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

simplify4.9min

Counts

149 → 149

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	22
1	29	19
2	68	19
3	151	19
4	302	19
5	591	19
6	1067	19
7	1395	19
8	1423	19
done	1423	19
0	13	21
1	33	21
2	82	19
3	170	19
4	345	19
5	630	19
6	1114	19
7	1436	19
8	1468	19
done	1468	19
0	12	20
1	39	20
2	124	20
3	374	19
4	1125	19
5	4653	19
done	5000	19
0	12	21
1	29	18
2	60	18
3	130	18
4	268	18
5	518	18
6	907	18
7	1388	18
8	1433	18
done	1433	18
0	12	20
1	33	20
2	70	18
3	149	18
4	312	18
5	552	18
6	952	18
7	1428	18
8	1479	18
done	1479	18
0	11	19
1	39	19
2	115	19
3	358	18
4	1101	18
5	4570	18
done	5000	18
0	10	18
1	40	18
2	154	18
3	495	18
4	1462	17
done	5000	17
0	10	18
1	37	18
2	133	18
3	429	18
4	1268	18
done	5000	18
0	17	53
1	72	53
2	490	27
3	4444	21
done	5000	21
0	17	53
1	67	53
2	482	25
3	4438	21
done	5000	21
0	15	53
1	58	53
2	437	23
3	4683	23
done	5000	23
0	15	53
1	74	53
2	494	25
3	4763	19
done	5000	19
0	15	53
1	69	53
2	483	23
3	4757	19
done	5000	19
0	13	53
1	60	53
2	439	21
done	5000	19
0	11	37
1	38	37
2	132	37
3	415	37
4	1212	37
done	5000	37
0	10	18
1	37	18
2	131	18
3	412	18
4	1215	18
done	5001	18
0	11	53
1	45	53
2	231	19
3	1897	19
done	5000	19
0	10	18
1	37	18
2	131	18
3	412	18
4	1215	18
done	5001	18
0	10	18
1	37	18
2	131	18
3	412	18
4	1215	18
done	5001	18
0	4	4
1	9	4
2	11	4
done	11	4
0	8	14
1	31	14
2	133	14
3	495	14
4	1854	14
done	5000	14
0	5	9
1	14	9
2	27	9
3	43	9
4	62	9
5	78	9
6	85	9
7	87	9
done	87	9
0	6	7
1	10	7
2	16	7
done	16	7
0	9	15
1	32	15
2	103	15
3	311	15
4	953	15
5	4258	15
done	5001	15
0	9	17
1	36	17
2	131	17
3	463	17
4	1559	17
done	5000	17
0	6	11
1	21	11
2	42	11
3	71	11
4	102	11
5	128	11
6	143	11
7	154	11
8	180	11
9	718	11
10	4669	11
done	5000	11
0	8	15
1	29	15
2	103	15
3	341	15
4	1093	15
5	4792	15
done	5000	15
0	15	29
1	64	29
2	231	29
3	974	29
done	5000	29
0	15	31
1	58	31
2	192	31
3	865	31
done	5001	31
0	18	29
1	64	29
2	213	29
3	1062	29
done	5001	29
0	18	31
1	58	31
2	186	31
3	1009	31
done	5001	31
0	18	29
1	70	29
2	274	29
3	1529	29
done	5000	29
0	18	31
1	64	31
2	235	31
3	1315	31
done	5000	31
0	15	29
1	51	29
2	179	29
3	874	29
done	5000	29
0	14	31
1	41	31
2	145	31
3	842	31
done	5000	31
0	15	25
1	65	25
2	251	25
3	1103	25
done	5000	25
0	15	27
1	59	27
2	212	27
3	972	27
done	5002	27
0	15	25
1	52	25
2	192	25
3	880	25
4	4134	25
done	5001	25
0	14	27
1	42	27
2	158	27
3	856	27
done	5000	27
0	15	25
1	65	25
2	231	25
3	947	25
4	4452	25
done	5001	25
0	15	27
1	59	27
2	192	27
3	888	26
done	5000	25
0	15	25
1	58	25
2	227	25
3	1030	25
done	5001	25
0	14	27
1	48	27
2	181	27
3	938	26
done	5001	25
0	12	21
1	49	21
2	173	21
3	599	21
4	2179	21
done	5000	21
0	10	23
1	33	23
2	122	23
3	573	22
4	3212	21
done	5000	21
0	13	25
1	54	25
2	189	25
3	753	25
4	3255	25
done	5001	25
0	16	25
1	54	25
2	180	25
3	839	25
4	4198	25
done	5000	25
0	16	25
1	60	25
2	241	25
3	1270	25
done	5001	25
0	12	25
1	37	25
2	132	25
3	650	25
4	3365	25
done	5000	25
0	13	21
1	55	21
2	216	21
3	876	21
4	3386	21
done	5000	21
0	12	21
1	38	21
2	146	21
3	658	21
4	2616	21
done	5000	21
0	13	21
1	55	21
2	194	21
3	707	21
4	2622	21
done	5000	21
0	12	21
1	44	21
2	184	21
3	774	21
4	3145	21
done	5001	21
0	7	13
1	26	13
2	92	13
3	294	13
4	933	13
5	4242	13
done	5000	13
0	7	13
1	26	13
2	92	13
3	294	13
4	933	13
5	4242	13
done	5000	13
0	9	16
1	18	13
2	27	13
done	27	13
0	9	15
1	22	15
2	47	13
3	64	13
4	83	13
5	98	13
6	105	13
7	107	13
done	107	13
0	8	14
1	30	14
2	101	14
3	311	13
4	952	13
5	4272	13
done	5000	13
0	8	14
1	29	14
2	110	14
3	372	14
4	1234	14
done	5000	14
0	11	41
1	52	41
2	271	19
3	1535	13
done	5001	13
0	11	41
1	47	41
2	260	17
3	1499	13
done	5001	13
0	9	29
1	28	29
2	94	29
3	298	29
4	938	29
5	4265	29
done	5000	29
0	8	14
1	27	14
2	93	14
3	295	14
4	931	14
5	4233	14
done	5000	14
0	9	41
1	38	41
2	226	15
3	1548	15
done	5001	15
0	8	14
1	27	14
2	93	14
3	295	14
4	931	14
5	4233	14
done	5000	14
0	8	14
1	27	14
2	93	14
3	295	14
4	931	14
5	4233	14
done	5000	14
0	13	25
1	54	25
2	187	25
3	881	25
done	5000	25
0	16	41
1	54	35
2	191	35
3	1004	33
done	5000	33
0	13	27
1	48	27
2	150	27
3	673	27
done	5001	27
0	12	29
1	34	25
2	113	25
3	538	25
4	3098	25
done	5000	25
0	16	25
1	54	25
2	162	25
3	837	25
done	5002	25
0	17	33
1	52	29
2	166	29
3	857	27
done	5000	27
0	16	27
1	48	27
2	137	27
3	693	27
done	5000	27
0	13	21
1	32	19
2	98	19
3	410	19
4	2022	19
done	5000	19
0	16	25
1	60	25
2	223	25
3	1300	25
done	5000	25
0	17	33
1	58	29
2	209	29
3	1082	27
done	5000	27
0	16	27
1	54	27
2	186	27
3	979	27
done	5000	27
0	13	21
1	38	19
2	127	19
3	568	19
4	2755	19
done	5001	19
0	13	25
1	41	25
2	135	25
3	685	25
4	4300	25
done	5001	25
0	12	25
1	38	23
2	130	23
3	507	21
4	2609	21
done	5001	21
0	12	27
1	31	27
2	103	27
3	557	27
4	4609	26
done	5000	26
0	8	13
1	18	13
2	56	13
3	191	13
4	612	13
5	2443	13
done	5001	13
0	13	21
1	55	21
2	200	21
3	968	21
done	5000	21
0	15	29
1	45	25
2	143	25
3	635	23
4	3799	23
done	5001	23
0	13	23
1	49	23
2	163	23
3	712	23
done	5002	23
0	11	17
1	25	15
2	67	15
3	240	15
4	835	15
5	3465	15
done	5000	15
0	13	21
1	42	21
2	141	21
3	685	21
4	3503	21
done	5000	21
0	11	21
1	35	19
2	121	19
3	445	17
4	2022	17
done	5001	17
0	12	23
1	32	23
2	109	23
3	559	23
4	4229	22
done	5000	21
0	7	9
1	15	9
2	41	9
3	129	9
4	296	9
5	878	9
6	2311	9
done	5000	9
0	13	21
1	55	21
2	180	21
3	786	21
4	4107	21
done	5000	21
0	15	29
1	45	25
2	143	25
3	635	23
4	3799	23
done	5001	23
0	13	23
1	49	23
2	143	23
3	632	22
4	4513	21
done	5000	21
0	11	17
1	25	15
2	67	15
3	240	15
4	835	15
5	3465	15
done	5000	15
0	13	21
1	48	21
2	176	21
3	816	21
4	4580	21
done	5000	21
0	11	21
1	35	19
2	121	19
3	445	17
4	2022	17
done	5001	17
0	12	23
1	38	23
2	132	23
3	634	22
done	5001	21
0	7	9
1	15	9
2	41	9
3	129	9
4	296	9
5	878	9
6	2311	9
done	5000	9
0	7	10
1	12	10
2	26	10
done	26	10
0	7	10
1	12	10
2	26	10
done	26	10
0	5	11
1	19	11
2	51	5
3	116	5
4	275	5
5	844	5
6	1909	5
7	2739	5
8	3263	5
9	4328	5
done	5000	5
0	6	9
1	16	9
2	37	9
3	84	9
4	149	9
5	206	9
6	254	9
7	280	9
done	280	9
0	5	11
1	15	5
2	47	5
3	108	5
4	247	5
5	596	5
6	1547	5
7	3033	5
8	4721	5
done	5000	5
0	6	9
1	16	9
2	53	9
3	104	9
4	157	9
5	214	9
6	262	9
7	288	9
done	288	9
0	9	21
1	26	21
2	62	21
3	138	21
4	273	21
5	391	21
6	512	21
7	608	21
8	614	21
done	614	21
0	8	14
1	21	14
2	48	14
3	95	14
4	158	14
5	217	14
6	265	14
7	291	14
8	295	14
done	295	14
0	6	9
1	18	7
2	45	7
3	92	7
4	237	7
5	270	7
6	298	7
7	308	7
done	308	7
0	6	9
1	18	7
2	45	7
3	92	7
4	237	7
5	270	7
6	298	7
7	308	7
done	308	7
0	6	9
1	18	7
2	45	7
3	92	7
4	237	7
5	270	7
6	298	7
7	308	7
done	308	7
0	6	9
1	16	9
2	51	9
3	118	9
4	251	9
5	572	9
6	777	9
7	797	9
8	799	9
done	799	9
0	10	17
1	39	17
2	135	17
3	490	17
4	1952	17
done	5000	17
0	8	19
1	23	19
2	80	19
3	382	18
4	2506	17
done	5000	17
0	11	21
1	44	21
2	145	21
3	629	21
4	3010	21
done	5000	21
0	14	21
1	44	21
2	129	21
3	602	21
4	3319	21
done	5000	21
0	14	21
1	50	21
2	190	21
3	1019	21
done	5000	21
0	10	21
1	27	21
2	88	21
3	434	21
4	2375	21
done	5001	21
0	11	17
1	45	17
2	165	17
3	710	17
4	2985	17
done	5001	17
0	10	17
1	28	17
2	95	17
3	453	17
4	1947	17
done	5001	17
0	11	17
1	45	17
2	143	17
3	540	17
4	2227	17
done	5001	17
0	10	17
1	34	17
2	133	17
3	563	17
4	2435	17
done	5000	17
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	6	1
done	6	1
0	5	9
1	8	6
2	9	6
done	9	6
0	5	8
1	14	8
2	29	6
3	46	6
4	65	6
5	80	6
6	87	6
7	89	6
done	89	6
0	5	8
1	14	8
2	38	8
3	71	8
4	147	8
5	323	8
6	988	8
done	5000	8
0	6	23
1	26	23
2	105	11
3	362	5
4	1483	5
done	5002	5
0	6	17
1	13	17
2	26	17
3	42	17
4	61	17
5	77	17
6	84	17
7	86	17
done	86	17
0	5	8
1	12	8
2	25	8
3	41	8
4	62	8
5	78	8
6	85	8
7	87	8
done	87	8
0	6	23
1	21	23
2	92	9
3	297	5
4	1027	5
done	5001	5
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	5	8
1	13	4
2	26	4
3	42	4
4	61	4
5	77	4
6	84	4
7	86	4
done	86	4
0	7	15
1	27	15
2	73	15
3	224	15
4	665	15
5	2459	15
done	5000	15
0	8	23
1	22	19
2	64	19
3	247	19
4	913	19
5	3506	19
done	5000	19
0	10	15
1	28	15
2	62	15
3	193	15
4	793	15
5	3088	15
done	5000	15
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	6	19
1	11	19
2	13	11
3	22	6
4	45	6
5	71	6
6	143	6
7	358	6
8	1286	6
done	5000	6
0	5	9
1	6	9
done	6	9
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	2	3
1	4	1
done	4	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	3
2	7	3
done	7	3
0	5	9
1	6	3
2	7	3
done	7	3
0	3	3
1	6	1
done	6	1
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	6	5
2	13	5
done	13	5
0	4	5
1	11	5
2	12	5
done	12	5
0	4	5
1	11	5
2	12	5
done	12	5
0	6	13
1	10	13
2	20	13
3	32	13
4	34	13
done	34	13
0	5	8
1	7	8
2	15	8
done	15	8
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	8
1	13	8
2	14	8
done	14	8
0	5	8
1	13	8
2	14	8
done	14	8
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	8	11
1	30	11
2	88	11
3	207	11
4	433	11
5	1016	11
6	3242	11
done	5001	11
0	7	11
1	13	11
2	35	11
3	106	11
4	259	11
5	562	11
6	1875	11
done	5001	11
0	8	11
1	30	11
2	64	11
3	162	11
4	382	11
5	901	11
6	2996	11
done	5000	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	14	21
1	40	19
2	105	17
3	215	13
4	502	11
5	1043	11
6	1900	11
7	3068	11
8	4406	11
done	5001	11
0	1	1
done	1	1
0	1	1
done	1	1
0	13	17
1	33	15
2	74	15
3	82	15
4	99	15
5	120	15
6	160	15
7	285	15
8	705	15
9	2529	15
done	5000	15
0	13	19
1	39	19
2	107	17
3	161	15
4	238	13
5	363	13
6	609	13
7	1660	13
done	5000	13
0	13	19
1	39	19
2	107	17
3	161	15
4	238	13
5	363	13
6	609	13
7	1660	13
done	5000	13
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11
0	9	13
1	25	13
2	48	13
3	56	13
4	73	11
5	94	11
6	134	11
7	254	11
8	667	11
9	2518	11
done	5000	11

prune250.0ms

Filtered

118 candidates to 149 candidates (-26.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	141	8	149
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	142	8	150

Merged error: 5.7b

Counts

150 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ x y))
0.0b	(* (/ y (+ x y)) (/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0)))))
5.2b	(/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0))))
9.8b	(* (* (/ y (+ x y)) (/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0))))) (- (+ x y) 1.0))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
53×	`add-sqr-sqrt`
52×	`times-frac`
39×	`add-cube-cbrt`
38×	`add-exp-log` `add-cbrt-cube`
28×	`associate-r`
19×	`associate-l`
16×	`associate-/r/`
15×	`associate-*l/`
13×	`prod-exp` `cbrt-unprod`
11×	`pow1`
10×	`cbrt-undiv` `frac-times` `flip3-+` `div-exp` `flip-+`
9×	`distribute-lft-out--`
8×	`cube-div` `associate-/r*` `frac-sub` `distribute-lft-out`
7×	`cube-mult`
6×	`flip3--` `associate-r/` `flip--` `associate-/l`
4×	`pow-prod-down` `div-inv` `add-log-exp` `unswap-sqr`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`sub-neg` `frac-2neg` `associate--l+` `clear-num` `*-commutative`
1×	`difference-of-squares`

Counts

4 → 178

Calls

4 calls:

6.0ms	(/ y (+ x y))
32.0ms	(* (/ y (+ x y)) (/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0)))))
17.0ms	(/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0))))
34.0ms	(* (* (/ y (+ x y)) (/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0))))) (- (+ x y) 1.0))

series126.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ y (+ x y))
44.0ms	(* (/ y (+ x y)) (/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0)))))
36.0ms	(/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0))))
39.0ms	(* (* (/ y (+ x y)) (/ x (- (pow (+ x y) 3) (* (+ x y) (* 1.0 1.0))))) (- (+ x y) 1.0))

simplify4.9min

Counts

190 → 190

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	27
1	40	27
2	142	27
3	508	27
4	1797	27
done	5000	27
0	14	27
1	40	27
2	142	27
3	508	27
4	1797	27
done	5000	27
0	19	32
1	49	32
2	144	32
3	405	32
4	1130	32
5	3253	32
done	5000	32
0	18	31
1	47	31
2	132	31
3	361	31
4	992	31
5	3021	31
done	5001	31
0	18	31
1	47	31
2	128	31
3	348	31
4	976	31
5	2987	31
done	5000	31
0	17	30
1	45	30
2	118	30
3	313	30
4	871	30
5	2771	30
done	5000	30
0	16	29
1	43	29
2	118	29
3	302	29
4	967	29
5	4009	29
done	5001	29
0	15	28
1	44	28
2	159	28
3	572	28
4	2043	28
done	5001	28
0	15	28
1	43	28
2	155	28
3	565	28
4	2040	28
done	5001	28
0	24	83
1	80	77
2	383	37
3	3201	33
done	5000	33
0	22	83
1	76	77
2	335	35
3	2324	33
done	5000	33
0	22	83
1	67	83
2	314	35
3	2236	33
done	5000	33
0	20	83
1	63	83
2	266	33
3	1597	33
done	5000	33
0	18	83
1	57	83
2	267	31
3	1784	31
done	5000	31
0	16	57
1	42	57
2	144	57
3	510	57
4	1799	57
done	5001	57
0	15	28
1	41	28
2	143	28
3	509	28
4	1804	28
done	5000	28
0	16	83
1	52	83
2	272	29
3	1983	29
done	5000	29
0	15	28
1	41	28
2	143	28
3	509	28
4	1804	28
done	5000	28
0	15	28
1	41	28
2	143	28
3	509	28
4	1804	28
done	5000	28
0	10	13
1	30	13
2	86	13
3	282	13
4	937	13
5	3431	13
done	5000	13
0	15	35
1	50	33
2	202	33
3	954	31
done	5000	31
0	9	15
1	25	15
2	75	15
3	317	15
4	1384	15
5	4443	15
done	5000	15
0	12	23
1	39	23
2	139	23
3	544	23
4	2838	23
done	5000	23
0	11	17
1	33	17
2	98	17
3	340	17
4	1347	17
done	5000	17
0	14	31
1	46	29
2	172	29
3	785	27
done	5001	27
0	10	19
1	28	19
2	87	19
3	397	19
4	2064	19
done	5000	19
0	11	19
1	35	19
2	117	19
3	442	19
4	2021	19
done	5000	19
0	14	27
1	40	27
2	126	27
3	465	27
4	2233	27
done	5001	27
0	10	21
1	31	19
2	118	17
3	416	17
4	1740	17
done	5000	17
0	14	29
1	44	29
2	143	29
3	585	29
4	3292	9
done	5000	9
0	6	9
1	16	9
2	51	9
3	118	9
4	251	9
5	572	9
6	777	9
7	797	9
8	799	9
done	799	9
0	13	25
1	41	25
2	145	25
3	382	25
4	1250	19
done	5000	19
0	14	24
1	38	24
2	121	24
3	354	24
4	1246	24
done	5002	24
0	13	23
1	35	23
2	105	23
3	273	23
4	879	23
5	3813	23
done	5000	23
0	14	25
1	38	25
2	120	25
3	374	25
4	1279	25
done	5000	25
0	13	25
1	41	25
2	145	25
3	382	25
4	1250	19
done	5000	19
0	14	24
1	38	24
2	121	24
3	354	24
4	1246	24
done	5002	24
0	13	25
1	35	25
2	114	25
3	337	25
4	1129	19
done	5000	17
0	14	24
1	38	24
2	121	24
3	350	24
4	1191	24
done	5000	24
0	13	23
1	35	23
2	103	23
3	266	23
4	861	23
5	3714	23
done	5001	23
0	14	25
1	38	25
2	116	25
3	357	25
4	1237	25
done	5000	25
0	13	25
1	35	25
2	114	25
3	337	25
4	1129	19
done	5000	17
0	14	24
1	38	24
2	121	24
3	350	24
4	1191	24
done	5000	24
0	16	35
1	44	35
2	133	35
3	367	35
4	1267	35
done	5000	35
0	15	28
1	41	28
2	119	28
3	307	28
4	1010	28
5	4787	28
done	5000	28
0	14	23
1	38	21
2	116	21
3	325	21
4	1044	21
5	4243	21
done	5001	21
0	16	29
1	45	29
2	154	29
3	433	29
4	1439	29
done	5000	29
0	14	23
1	38	21
2	116	21
3	325	21
4	1044	21
5	4243	21
done	5001	21
0	14	23
1	38	21
2	116	21
3	325	21
4	1044	21
5	4243	21
done	5001	21
0	12	21
1	33	21
2	108	21
3	268	21
4	756	21
5	2657	21
done	5000	21
0	15	31
1	43	31
2	141	31
3	548	31
4	2990	31
done	5000	31
0	15	33
1	47	33
2	163	33
3	694	33
4	4456	13
done	5000	13
0	7	9
1	16	9
2	52	9
3	122	9
4	176	9
5	220	9
6	292	9
7	391	9
8	494	9
9	648	9
10	866	9
11	1029	9
12	1158	9
done	1158	9
0	8	13
1	19	13
2	64	13
3	208	13
4	384	13
5	631	11
6	977	11
7	3026	11
done	5000	11
0	13	23
1	37	23
2	127	23
3	398	23
4	1246	23
5	4914	23
done	5000	23
0	12	17
1	28	17
2	74	17
3	186	17
4	488	17
5	1463	17
done	5001	17
0	11	16
1	28	16
2	75	16
3	190	16
4	496	16
5	1475	16
done	5000	16
0	11	16
1	25	16
2	70	16
3	181	16
4	478	16
5	1429	16
done	5000	16
0	14	47
1	37	47
2	125	19
3	468	17
4	2997	17
done	5001	17
0	12	33
1	26	33
2	71	33
3	182	33
4	475	33
5	1421	33
done	5000	33
0	11	16
1	25	16
2	70	16
3	181	16
4	478	16
5	1429	16
done	5000	16
0	12	47
1	33	47
2	93	17
3	268	17
4	1048	17
done	5000	17
0	11	16
1	25	16
2	70	16
3	181	16
4	478	16
5	1429	16
done	5000	16
0	11	16
1	25	16
2	70	16
3	181	16
4	478	16
5	1429	16
done	5000	16
0	2	2
done	2	2
0	10	14
1	24	14
2	72	14
3	211	14
4	694	13
5	2685	13
done	5000	13
0	14	35
1	34	35
2	88	35
3	203	35
4	488	35
5	1431	35
done	5001	35
0	12	17
1	26	17
2	71	17
3	180	17
4	469	17
5	1429	17
done	5001	17
0	13	20
1	29	20
2	76	20
3	186	20
4	473	20
5	1414	20
done	5000	20
0	12	17
1	26	17
2	71	17
3	180	17
4	469	17
5	1429	17
done	5001	17
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	16
1	25	16
2	70	16
3	181	16
4	478	16
5	1424	16
done	5001	16
0	6	9
1	9	9
2	11	9
3	12	9
done	12	9
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5001	14
0	13	32
1	29	32
2	74	32
3	183	32
4	476	32
5	1427	32
done	5000	32
0	12	17
1	26	17
2	71	17
3	180	17
4	469	17
5	1429	17
done	5001	17
0	12	17
1	26	17
2	71	17
3	180	17
4	469	17
5	1429	17
done	5001	17
0	12	17
1	26	17
2	71	17
3	180	17
4	469	17
5	1429	17
done	5001	17
0	4	4
1	6	2
2	8	2
done	8	2
0	11	16
1	25	16
2	70	16
3	181	16
4	478	16
5	1424	16
done	5001	16
0	5	6
1	6	6
done	6	6
0	9	14
1	21	14
2	55	14
3	141	14
4	452	14
5	1297	14
done	5001	14
0	13	31
1	31	31
2	76	31
3	185	31
4	476	31
5	1426	31
done	5001	31
0	11	16
1	25	16
2	70	16
3	179	16
4	468	16
5	1398	16
done	5000	16
0	12	16
1	28	16
2	73	16
3	182	16
4	471	16
5	1415	16
done	5000	16
0	11	16
1	25	16
2	70	16
3	179	16
4	468	16
5	1398	16
done	5000	16
0	2	3
1	4	1
done	4	1
0	10	15
1	24	15
2	69	15
3	180	15
4	471	15
5	1414	15
done	5000	15
0	5	5
1	8	5
done	8	5
0	8	13
1	20	13
2	54	13
3	140	13
4	449	13
5	1298	13
done	5000	13
0	11	15
1	27	15
2	72	15
3	183	15
4	480	15
5	1436	15
done	5000	15
0	10	15
1	27	15
2	85	15
3	226	15
4	625	15
5	1866	15
done	5000	15
0	12	31
1	28	31
2	73	31
3	182	31
4	475	31
5	1397	31
done	5000	31
0	11	16
1	25	16
2	70	16
3	179	16
4	468	16
5	1398	16
done	5000	16
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	11	16
1	28	16
2	86	16
3	227	16
4	624	16
5	1850	16
done	5000	16
0	11	16
1	28	16
2	86	16
3	227	16
4	624	16
5	1850	16
done	5000	16
0	10	15
1	27	15
2	85	15
3	226	15
4	625	15
5	1866	15
done	5000	15
0	20	49
1	65	45
2	244	45
3	1323	45
done	5000	45
0	22	41
1	67	39
2	221	39
3	1215	39
done	5000	39
0	22	41
1	73	39
2	264	39
3	1531	39
done	5000	39
0	16	33
1	44	33
2	179	33
3	1135	29
done	5001	25
0	12	19
1	38	19
2	176	19
3	975	17
4	4937	17
done	5000	17
0	12	29
1	38	23
2	146	23
3	637	21
4	2570	19
done	5001	19
0	12	21
1	31	21
2	85	21
3	220	21
4	691	21
5	2817	21
done	5001	21
0	16	25
1	39	25
2	107	25
3	274	25
4	676	25
5	1886	25
done	5000	25
0	15	24
1	37	24
2	100	24
3	255	24
4	654	24
5	1871	24
done	5001	24
0	15	24
1	37	24
2	97	24
3	248	24
4	640	24
5	1822	24
done	5000	24
0	14	23
1	35	23
2	92	23
3	235	23
4	616	23
5	1827	23
done	5001	23
0	13	22
1	35	22
2	100	22
3	260	22
4	826	22
5	3238	22
done	5000	22
0	13	22
1	34	22
2	93	22
3	238	22
4	773	22
5	3357	22
done	5001	22
0	20	65
1	66	59
2	278	29
3	1785	25
done	5001	25
0	18	65
1	62	59
2	233	27
3	1117	25
done	5000	25
0	18	65
1	53	65
2	211	27
3	1047	25
done	5001	25
0	16	65
1	49	65
2	166	25
3	612	25
4	3797	23
done	5000	23
0	14	45
1	33	45
2	87	45
3	222	45
4	693	45
5	2817	45
done	5001	45
0	13	22
1	32	22
2	86	22
3	221	22
4	696	22
5	2825	22
done	5000	22
0	14	65
1	43	65
2	169	23
3	759	23
4	4599	23
done	5000	23
0	13	22
1	32	22
2	86	22
3	221	22
4	696	22
5	2825	22
done	5000	22
0	13	22
1	32	22
2	86	22
3	221	22
4	696	22
5	2825	22
done	5000	22
0	3	3
1	4	3
done	4	3
0	10	17
1	25	17
2	84	17
3	260	17
4	914	17
5	3513	15
done	5000	15
0	14	23
1	29	23
2	74	23
3	185	23
4	478	23
5	1441	23
done	5000	23
0	14	23
1	29	23
2	74	23
3	185	23
4	478	23
5	1441	23
done	5000	23
0	15	24
1	32	24
2	80	24
3	193	24
4	481	24
5	1410	24
done	5001	24
0	15	24
1	32	24
2	80	24
3	193	24
4	481	24
5	1410	24
done	5001	24
0	15	24
1	32	24
2	80	24
3	193	24
4	486	24
5	1436	24
done	5001	24
0	15	24
1	32	24
2	80	24
3	193	24
4	486	24
5	1436	24
done	5001	24
0	16	25
1	35	25
2	89	25
3	215	25
4	521	25
5	1468	25
done	5000	25
0	16	25
1	35	25
2	89	25
3	215	25
4	521	25
5	1468	25
done	5000	25
0	14	39
1	33	39
2	86	39
3	205	39
4	509	39
5	1448	39
done	5000	39
0	13	22
1	30	22
2	78	22
3	191	22
4	488	22
5	1426	22
done	5000	22
0	16	41
1	41	41
2	127	41
3	328	41
4	842	41
5	2104	41
done	5000	41
0	15	26
1	36	26
2	99	26
3	251	26
4	627	26
5	1673	26
done	5000	26
0	9	13
1	19	11
2	45	11
3	138	11
4	287	11
5	378	11
6	415	11
7	701	11
8	2832	11
done	5001	11
0	8	15
1	16	15
2	33	15
3	69	15
4	138	15
5	202	15
6	250	15
7	328	15
8	433	15
9	555	15
10	2379	15
done	5000	15
0	15	38
1	36	38
2	100	38
3	248	38
4	623	38
5	1649	38
done	5001	38
0	14	23
1	33	23
2	87	23
3	213	23
4	537	23
5	1494	23
done	5000	23
0	8	10
1	16	8
2	29	8
3	69	8
4	138	8
5	160	8
done	160	8
0	7	12
1	13	12
2	21	12
3	33	12
4	61	12
5	86	12
6	110	12
7	145	12
8	187	12
9	240	12
10	708	12
11	2797	12
done	5001	12
0	15	37
1	38	37
2	101	35
3	278	35
4	649	35
5	1719	35
done	5000	35
0	14	22
1	35	22
2	89	20
3	236	20
4	545	20
5	1519	20
done	5000	20
0	7	9
1	15	7
2	25	5
3	46	5
4	85	5
5	116	5
6	117	5
7	118	5
8	122	5
9	138	5
10	154	5
11	158	5
done	158	5
0	7	11
1	15	11
2	23	9
3	65	9
4	90	9
5	123	9
6	149	9
7	196	9
8	289	9
9	542	9
10	1798	9
done	5001	9
0	6	7
1	12	5
2	22	5
done	22	5
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	23	55
1	74	51
2	261	51
3	1380	51
done	5000	51
0	25	47
1	75	45
2	236	45
3	1242	45
done	5000	45
0	25	47
1	81	45
2	279	45
3	1568	45
done	5000	45
0	19	39
1	52	39
2	195	39
3	1155	35
done	5000	31
0	14	25
1	45	25
2	192	25
3	1027	23
done	5000	19
0	14	35
1	45	29
2	167	29
3	719	27
4	3122	19
done	5000	19
0	13	22
1	30	22
2	78	22
3	204	22
4	558	22
5	1730	22
done	5000	22
0	13	22
1	30	22
2	78	22
3	204	22
4	558	22
5	1730	22
done	5000	22
0	14	23
1	33	23
2	87	23
3	230	23
4	696	23
5	2810	23
done	5001	23
0	14	23
1	33	23
2	87	23
3	230	23
4	696	23
5	2810	23
done	5001	23
0	13	22
1	32	22
2	86	22
3	227	22
4	694	22
5	2803	22
done	5001	22
0	13	22
1	32	22
2	86	22
3	227	22
4	694	22
5	2803	22
done	5001	22
0	14	23
1	33	23
2	87	23
3	230	23
4	696	23
5	2810	23
done	5001	23
0	14	23
1	33	23
2	87	23
3	230	23
4	696	23
5	2810	23
done	5001	23
0	13	22
1	32	22
2	86	22
3	227	22
4	694	22
5	2803	22
done	5001	22
0	13	22
1	32	22
2	86	22
3	227	22
4	694	22
5	2803	22
done	5001	22
0	13	22
1	32	22
2	86	22
3	223	22
4	689	22
5	2800	22
done	5001	22
0	13	22
1	32	22
2	86	22
3	223	22
4	689	22
5	2800	22
done	5001	22
0	12	21
1	31	21
2	85	21
3	220	21
4	691	21
5	2817	21
done	5001	21
0	12	21
1	31	21
2	85	21
3	220	21
4	691	21
5	2817	21
done	5001	21
0	12	21
1	31	21
2	85	21
3	220	21
4	691	21
5	2817	21
done	5001	21
0	13	21
1	34	21
2	88	19
3	251	19
4	746	19
5	2907	19
done	5000	19
0	16	27
1	41	25
2	112	25
3	299	25
4	847	25
5	2940	25
done	5001	25
0	12	19
1	31	19
2	86	19
3	228	19
4	631	19
5	2020	19
done	5000	19
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	11	17
1	28	17
2	76	17
3	196	17
4	548	17
5	1742	17
done	5000	17
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	14	21
1	40	19
2	105	17
3	215	13
4	502	11
5	1043	11
6	1900	11
7	3068	11
8	4406	11
done	5001	11
0	1	1
done	1	1
0	1	1
done	1	1
0	14	18
1	37	16
2	108	14
3	243	14
4	480	12
5	895	12
6	1396	12
7	2650	12
done	5000	12
0	1	1
done	1	1
0	1	1
done	1	1
0	18	24
1	50	24
2	168	20
3	392	20
4	1046	18
5	2571	16
done	5000	16
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune378.0ms

Filtered

157 candidates to 190 candidates (-21.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	185	5	190
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	190	8	198

Merged error: 0.0b

Counts

198 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ x y))
0.0b	(/ (* (/ y (+ x y)) x) (+ x y))
0.1b	(/ (* 1 (/ (* (/ y (+ x y)) x) (+ x y))) (+ (+ x y) 1.0))
8.6b	(* (/ y (+ x y)) x)

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-exp-log` `*-un-lft-identity`
40×	`add-cbrt-cube`
34×	`times-frac`
31×	`add-sqr-sqrt`
26×	`add-cube-cbrt`
23×	`div-exp`
18×	`associate-l`
16×	`prod-exp`
15×	`cbrt-undiv` `distribute-lft-out`
13×	`associate-/r*`
10×	`cbrt-unprod`
8×	`associate-/r/`
6×	`pow1`
5×	`associate-/l*`
4×	`flip3-+` `1-exp` `flip-+` `div-inv` `add-log-exp`
3×	`frac-2neg` `associate-r` `clear-num`
2×	`associate-*l/` `associate-/l/` `unswap-sqr`
1×	`associate-r/` `pow-prod-down` `-commutative`

Counts

4 → 136

Calls

4 calls:

6.0ms	(/ y (+ x y))
12.0ms	(/ (* (/ y (+ x y)) x) (+ x y))
24.0ms	(/ (* 1 (/ (* (/ y (+ x y)) x) (+ x y))) (+ (+ x y) 1.0))
10.0ms	(* (/ y (+ x y)) x)

series46.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ y (+ x y))
12.0ms	(/ (* (/ y (+ x y)) x) (+ x y))
20.0ms	(/ (* 1 (/ (* (/ y (+ x y)) x) (+ x y))) (+ (+ x y) 1.0))
8.0ms	(* (/ y (+ x y)) x)

simplify4.0min

Counts

148 → 148

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	8	10
1	14	10
2	24	10
3	33	10
4	42	10
5	47	10
6	56	10
7	73	10
8	92	10
9	100	10
done	100	10
0	7	9
1	12	9
2	18	9
3	27	9
4	37	9
5	46	9
6	51	9
7	60	9
8	77	9
9	96	9
10	104	9
done	104	9
0	6	8
1	13	8
2	22	8
3	34	8
4	52	8
5	66	8
6	78	8
7	90	8
8	113	8
9	123	8
10	139	8
11	141	8
done	141	8
0	6	8
1	12	8
2	21	8
3	31	8
4	58	8
5	129	8
6	306	8
7	841	8
8	3172	8
done	5000	8
0	11	23
1	39	23
2	144	13
3	547	11
4	2076	11
done	5000	11
0	9	23
1	23	23
2	72	11
3	233	11
4	827	9
5	2835	9
done	5000	9
0	7	17
1	11	17
2	14	17
3	16	17
4	18	17
5	19	17
done	19	17
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	7	23
1	21	23
2	75	9
3	290	9
4	837	9
5	2409	9
done	5000	9
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	7	9
1	9	9
done	9	9
0	7	9
1	9	9
done	9	9
0	8	10
1	12	10
2	15	10
3	17	10
4	19	10
5	20	10
done	20	10
0	8	10
1	12	10
2	15	10
3	17	10
4	19	10
5	20	10
done	20	10
0	7	11
1	13	11
2	21	11
3	29	11
4	38	11
5	44	11
6	49	11
done	49	11
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	7
1	12	5
2	22	5
done	22	5
0	6	8
1	8	8
done	8	8
0	6	8
1	8	8
done	8	8
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
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	3	3
1	4	3
done	4	3
0	15	24
1	34	22
2	107	22
3	424	22
4	979	19
5	1444	19
6	1931	19
7	2092	19
done	2092	19
0	15	23
1	33	21
2	93	21
3	337	21
4	806	19
5	1432	19
6	1985	19
7	2163	19
done	2163	19
0	14	22
1	33	20
2	83	20
3	247	20
4	599	18
5	1150	18
6	1814	18
7	1983	18
done	1983	18
0	13	21
1	30	19
2	74	19
3	224	19
4	620	18
5	1340	18
6	2025	18
7	2461	18
8	3208	18
done	5000	18
0	16	25
1	37	24
2	99	22
3	425	22
4	994	19
5	1473	19
6	1970	19
7	2119	19
done	2119	19
0	16	24
1	36	23
2	85	21
3	338	21
4	829	19
5	1458	19
6	2021	19
7	2217	19
done	2217	19
0	15	23
1	36	22
2	77	20
3	249	20
4	624	18
5	1183	18
6	1859	18
7	2023	18
done	2023	18
0	14	22
1	33	21
2	72	19
3	217	19
4	599	18
5	1342	18
6	2028	18
7	2479	18
8	2721	18
9	3271	18
done	5000	18
0	13	21
1	31	19
2	77	19
3	215	19
4	641	19
5	1513	18
6	2392	18
7	4015	18
done	5000	18
0	12	20
1	31	18
2	97	18
3	385	18
4	1316	18
5	3403	17
done	5001	17
0	12	20
1	28	18
2	80	18
3	308	18
4	882	18
5	2085	18
done	5001	18
0	21	59
1	87	55
2	413	27
3	3301	21
done	5000	21
0	21	59
1	86	55
2	393	25
3	2872	25
done	5000	25
0	19	59
1	84	55
2	389	23
3	3051	21
done	5001	21
0	17	59
1	61	55
2	261	21
3	1542	21
done	5001	21
0	15	59
1	59	53
2	242	21
3	1430	19
done	5001	19
0	13	41
1	29	37
2	81	37
3	305	37
4	860	37
5	1959	37
6	4595	37
done	5000	37
0	12	20
1	28	18
2	80	18
3	306	18
4	865	18
5	1948	18
6	4573	18
done	5000	18
0	13	59
1	36	53
2	136	19
3	742	19
done	5000	19
0	12	20
1	28	18
2	80	18
3	306	18
4	865	18
5	1948	18
6	4573	18
done	5000	18
0	12	20
1	28	18
2	80	18
3	306	18
4	865	18
5	1948	18
6	4573	18
done	5000	18
0	9	14
1	25	12
2	73	12
3	236	12
4	529	12
5	850	12
6	1099	12
7	2968	12
done	5001	12
0	6	6
1	13	6
2	27	6
3	49	6
4	63	6
5	78	6
6	104	6
7	131	6
8	138	6
9	144	6
10	147	6
done	147	6
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	10	18
1	21	18
2	61	18
3	143	18
4	280	18
5	422	18
6	657	18
7	864	18
8	3063	18
done	5000	18
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	10	18
1	21	18
2	61	18
3	143	18
4	280	18
5	422	18
6	657	18
7	864	18
8	3063	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	9	17
1	20	17
2	60	17
3	196	17
4	490	17
5	1618	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	9	17
1	20	17
2	60	17
3	196	17
4	490	17
5	1618	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	9	17
1	20	17
2	60	17
3	196	17
4	490	17
5	1618	17
done	5000	17
0	7	7
1	13	7
2	19	7
done	19	7
0	11	19
1	27	17
2	77	17
3	201	17
4	490	17
5	1132	17
6	3052	17
done	5000	17
0	13	27
1	33	25
2	102	25
3	468	25
4	1492	25
5	3079	25
done	5000	25
0	12	20
1	28	18
2	80	18
3	306	18
4	796	18
5	1461	18
6	2485	18
done	5000	18
0	9	15
1	22	11
2	73	11
3	250	11
4	664	11
5	1318	11
6	3272	11
done	5001	11
0	9	15
1	22	11
2	73	11
3	250	11
4	664	11
5	1318	11
6	3272	11
done	5001	11
0	9	15
1	22	11
2	73	11
3	250	11
4	664	11
5	1318	11
6	3272	11
done	5001	11
0	9	17
1	20	17
2	54	17
3	155	17
4	408	17
5	1081	17
6	3166	17
done	5000	17
0	14	23
1	41	21
2	111	21
3	378	21
4	1097	21
5	3408	21
done	5000	21
0	13	25
1	37	23
2	125	23
3	606	23
4	3190	23
done	5000	23
0	6	9
1	17	9
2	62	9
3	124	9
4	333	9
5	587	9
6	660	9
7	667	9
done	667	9
0	9	15
1	18	15
2	43	15
3	91	15
4	164	12
5	203	12
6	258	12
7	319	12
8	321	12
done	321	12
0	9	14
1	17	14
2	31	14
3	69	14
4	130	12
5	214	12
6	265	12
7	351	12
8	366	12
done	366	12
0	8	13
1	17	13
2	30	13
3	58	13
4	111	11
5	190	11
6	243	11
7	303	11
8	371	11
9	381	11
done	381	11
0	7	12
1	16	12
2	36	12
3	95	12
4	181	11
5	291	11
6	381	11
7	483	11
8	1110	11
done	5000	11
0	7	12
1	13	12
2	23	12
3	54	12
4	87	12
5	130	12
6	210	12
7	401	12
8	1414	12
done	5000	12
0	12	35
1	47	35
2	217	19
3	1286	13
done	5000	13
0	12	35
1	46	35
2	197	17
3	916	17
done	5001	17
0	10	35
1	44	35
2	195	15
3	1123	13
done	5000	13
0	8	25
1	14	25
2	24	25
3	53	25
4	76	25
5	103	25
6	137	25
7	179	25
8	723	25
9	4702	25
done	5000	25
0	7	12
1	13	12
2	23	12
3	52	12
4	75	12
5	102	12
6	136	12
7	178	12
8	722	12
9	4653	12
done	5000	12
0	8	35
1	21	35
2	74	13
3	391	13
4	2241	13
done	5001	13
0	7	12
1	13	12
2	23	12
3	52	12
4	75	12
5	102	12
6	136	12
7	178	12
8	722	12
9	4653	12
done	5000	12
0	7	12
1	13	12
2	23	12
3	52	12
4	75	12
5	102	12
6	136	12
7	178	12
8	722	12
9	4653	12
done	5000	12
0	6	8
1	14	8
2	25	8
3	35	8
4	40	8
5	46	8
6	49	8
done	49	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	7	15
1	12	15
2	26	15
3	44	15
done	44	15
0	5	6
1	6	6
done	6	6
0	6	10
1	9	10
2	20	10
done	20	10
0	5	6
1	6	6
done	6	6
0	6	7
1	11	5
2	26	5
3	36	5
done	36	5
0	4	5
1	5	5
done	5	5
0	6	7
1	11	5
2	26	5
3	36	5
done	36	5
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	6	11
1	12	11
2	20	11
3	48	11
4	83	11
5	123	11
6	190	11
7	283	11
8	1448	11
done	5001	11
0	8	17
1	19	17
2	43	17
3	124	17
4	238	17
5	313	17
6	344	17
7	362	17
8	1775	17
done	5000	17
0	7	12
1	13	12
2	24	12
3	63	12
4	93	12
5	109	12
6	118	12
7	128	12
8	606	12
done	5000	12
0	7	9
1	15	7
2	30	7
3	81	7
4	147	7
5	160	7
done	160	7
0	7	9
1	15	7
2	30	7
3	81	7
4	147	7
5	160	7
done	160	7
0	4	5
1	5	5
done	5	5
0	10	15
1	30	15
2	50	15
3	106	15
4	201	15
5	516	15
6	2130	15
done	5000	15
0	9	15
1	19	15
2	48	15
3	137	15
4	364	15
5	872	13
6	2318	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	14	21
1	40	19
2	105	17
3	215	13
4	502	11
5	1043	11
6	1900	11
7	3068	11
8	4406	11
done	5001	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune190.0ms

Filtered

110 candidates to 148 candidates (-34.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	143	5	148
Fresh	6	1	7
Picked	1	0	1
Done	0	0	0
Total	150	6	156

Merged error: 0.0b

Counts

156 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (/ y (+ x y)) x) (+ x y))
0.0b	(/ 1 (+ (+ x y) 1.0))
0.1b	(* (* 1 (/ (* (/ y (+ x y)) x) (+ x y))) (/ 1 (+ (+ x y) 1.0)))
8.6b	(* (/ y (+ x y)) x)

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

167×	`add-exp-log`
88×	`prod-exp`
79×	`*-un-lft-identity`
65×	`add-cbrt-cube`
57×	`div-exp`
47×	`times-frac`
39×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
26×	`1-exp` `cbrt-unprod` `distribute-lft-out`
24×	`associate-r`
19×	`cbrt-undiv` `associate-l`
12×	`pow1`
10×	`rec-exp`
9×	`associate-/r*`
8×	`associate-/r/`
4×	`flip3-+` `pow-prod-down` `flip-+` `div-inv` `associate-/l*` `add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
1×	`frac-times` `pow-flip` `un-div-inv` `associate-/l/` `inv-pow`

Counts

4 → 188

Calls

4 calls:

16.0ms	(/ (* (/ y (+ x y)) x) (+ x y))
8.0ms	(/ 1 (+ (+ x y) 1.0))
24.0ms	(* (* 1 (/ (* (/ y (+ x y)) x) (+ x y))) (/ 1 (+ (+ x y) 1.0)))
10.0ms	(* (/ y (+ x y)) x)

series45.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(/ (* (/ y (+ x y)) x) (+ x y))
6.0ms	(/ 1 (+ (+ x y) 1.0))
20.0ms	(* (* 1 (/ (* (/ y (+ x y)) x) (+ x y))) (/ 1 (+ (+ x y) 1.0)))
8.0ms	(* (/ y (+ x y)) x)

simplify7.9min

Counts

200 → 200

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	8	10
1	14	10
2	24	10
3	33	10
4	42	10
5	47	10
6	56	10
7	73	10
8	92	10
9	100	10
done	100	10
0	7	9
1	12	9
2	18	9
3	27	9
4	37	9
5	46	9
6	51	9
7	60	9
8	77	9
9	96	9
10	104	9
done	104	9
0	6	8
1	13	8
2	22	8
3	34	8
4	52	8
5	66	8
6	78	8
7	90	8
8	113	8
9	123	8
10	139	8
11	141	8
done	141	8
0	6	8
1	12	8
2	21	8
3	31	8
4	58	8
5	129	8
6	306	8
7	841	8
8	3172	8
done	5000	8
0	11	23
1	39	23
2	144	13
3	547	11
4	2076	11
done	5000	11
0	9	23
1	23	23
2	72	11
3	233	11
4	827	9
5	2835	9
done	5000	9
0	7	17
1	11	17
2	14	17
3	16	17
4	18	17
5	19	17
done	19	17
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	7	23
1	21	23
2	75	9
3	290	9
4	837	9
5	2409	9
done	5000	9
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	7	9
1	9	9
done	9	9
0	7	9
1	9	9
done	9	9
0	8	10
1	12	10
2	15	10
3	17	10
4	19	10
5	20	10
done	20	10
0	8	10
1	12	10
2	15	10
3	17	10
4	19	10
5	20	10
done	20	10
0	7	11
1	13	11
2	21	11
3	29	11
4	38	11
5	44	11
6	49	11
done	49	11
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	7
1	12	5
2	22	5
done	22	5
0	6	8
1	8	8
done	8	8
0	6	8
1	8	8
done	8	8
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	7	9
1	11	9
2	14	9
3	16	9
4	18	9
5	19	9
done	19	9
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	6	8
1	10	8
2	13	8
3	15	8
4	17	8
5	18	8
done	18	8
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
0	5	7
1	9	7
2	12	7
3	14	7
4	16	7
5	17	7
done	17	7
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	3	3
1	4	3
done	4	3
0	12	21
1	31	17
2	94	17
3	313	17
4	851	17
5	1826	17
6	4085	17
done	5000	17
0	12	21
1	31	17
2	94	17
3	313	17
4	851	17
5	1826	17
6	4085	17
done	5000	17
0	16	25
1	35	22
2	117	22
3	471	22
4	1017	19
5	1490	19
6	1968	19
7	2127	19
done	2127	19
0	16	26
1	38	22
2	118	22
3	451	22
4	1112	19
5	1753	19
6	2114	19
done	2114	19
0	18	27
1	41	22
2	127	22
3	456	22
4	1102	19
5	1747	19
6	2109	19
done	2109	19
0	17	26
1	40	23
2	114	22
3	433	22
4	1080	19
5	1730	19
6	2091	19
done	2091	19
0	16	24
1	34	21
2	103	21
3	378	21
4	861	19
5	1496	19
6	2044	19
7	2220	19
done	2220	19
0	16	25
1	37	21
2	104	21
3	354	21
4	934	19
5	1780	19
6	2265	19
7	2304	19
done	2304	19
0	18	26
1	40	21
2	113	21
3	364	21
4	927	19
5	1774	19
6	2244	19
7	2281	19
done	2281	19
0	17	25
1	39	22
2	100	21
3	345	21
4	932	19
5	1767	19
6	2256	19
7	2295	19
done	2295	19
0	15	23
1	34	20
2	91	20
3	272	20
4	648	18
5	1204	18
6	1867	18
7	2044	18
done	2044	18
0	15	24
1	37	20
2	92	20
3	258	20
4	701	18
5	1452	18
6	2142	18
7	2344	18
done	2344	18
0	17	25
1	40	20
2	101	20
3	269	20
4	708	18
5	1461	18
6	2134	18
7	2309	18
done	2309	18
0	16	24
1	39	21
2	90	20
3	246	20
4	697	18
5	1447	18
6	2135	18
7	2324	18
done	2324	18
0	14	22
1	31	19
2	79	19
3	243	19
4	650	18
5	1379	18
6	2066	18
7	2417	18
8	3113	18
done	5000	18
0	14	23
1	34	19
2	80	19
3	233	19
4	714	18
5	1625	18
6	2347	18
7	2562	18
8	3130	18
done	5000	18
0	16	24
1	37	19
2	89	19
3	242	19
4	715	18
5	1622	18
6	2338	18
7	2549	18
8	2606	18
9	3158	18
done	5000	18
0	15	23
1	36	20
2	81	19
3	227	19
4	713	18
5	1653	18
6	2353	18
7	2560	18
8	2617	18
9	3167	18
done	5001	18
0	17	26
1	38	24
2	104	22
3	467	22
4	1018	19
5	1482	19
6	1960	19
7	2110	19
done	2110	19
0	18	27
1	41	25
2	110	22
3	425	22
4	1075	19
5	1729	19
6	2095	19
done	2095	19
0	17	28
1	41	26
2	114	22
3	426	22
4	1064	19
5	1720	19
6	2083	19
done	2083	19
0	17	27
1	40	25
2	106	22
3	427	22
4	1082	19
5	1735	19
6	2100	19
done	2100	19
0	17	25
1	37	23
2	90	21
3	374	21
4	848	19
5	1475	19
6	2021	19
7	2215	19
done	2215	19
0	18	26
1	40	24
2	96	21
3	332	21
4	891	19
5	1728	19
6	2211	19
7	2249	19
done	2249	19
0	17	27
1	40	25
2	100	21
3	340	21
4	909	19
5	1748	19
6	2237	19
7	2275	19
done	2275	19
0	17	26
1	39	24
2	92	21
3	341	21
4	929	19
5	1775	19
6	2262	19
7	2300	19
done	2300	19
0	16	24
1	37	22
2	82	20
3	270	20
4	629	18
5	1189	18
6	1832	18
7	1999	18
done	1999	18
0	17	25
1	40	23
2	88	20
3	246	20
4	678	18
5	1414	18
6	2074	18
7	2267	18
done	2267	18
0	16	26
1	40	24
2	92	20
3	248	20
4	672	18
5	1410	18
6	2087	18
7	2268	18
done	2268	18
0	16	25
1	39	23
2	84	20
3	251	20
4	688	18
5	1437	18
6	2110	18
7	2309	18
done	2309	18
0	15	23
1	34	21
2	75	19
3	231	19
4	619	18
5	1345	18
6	2042	18
7	2482	18
8	2720	18
9	3276	18
done	5000	18
0	16	24
1	37	22
2	82	19
3	219	19
4	679	18
5	1605	18
6	2363	18
7	2555	18
8	2612	18
9	3162	18
done	5000	18
0	15	25
1	37	23
2	86	19
3	223	19
4	691	18
5	1624	18
6	2367	18
7	2573	18
8	2630	18
9	3188	18
done	5000	18
0	15	24
1	36	22
2	79	19
3	225	19
4	693	18
5	1634	18
6	2396	18
7	2606	18
8	2663	18
9	3218	18
done	5000	18
0	14	22
1	32	19
2	79	19
3	222	19
4	596	19
5	1469	18
6	2328	18
7	3956	18
done	5000	18
0	15	23
1	35	20
2	84	19
3	227	19
4	679	19
5	1695	18
6	2606	18
7	3941	18
done	5000	18
0	15	24
1	35	21
2	87	19
3	230	19
4	678	19
5	1696	18
6	2607	18
7	3931	18
done	5001	18
0	14	23
1	34	20
2	85	19
3	229	19
4	680	19
5	1693	18
6	2608	18
7	3935	18
done	5001	18
0	13	22
1	35	18
2	113	18
3	400	18
4	1292	18
5	3244	17
done	5000	17
0	13	22
1	34	18
2	107	18
3	351	18
4	1082	18
5	2975	18
done	5000	18
0	22	65
1	92	57
2	409	27
3	2816	21
done	5001	21
0	22	65
1	80	61
2	340	29
3	2305	23
done	5000	23
0	22	65
1	91	57
2	389	25
3	2410	25
done	5001	25
0	22	65
1	79	61
2	319	27
3	1882	27
done	5000	25
0	20	65
1	89	57
2	385	23
3	2574	21
done	5000	21
0	20	65
1	77	61
2	310	25
3	2059	23
done	5000	23
0	18	65
1	66	57
2	251	21
3	1301	21
done	5001	21
0	18	65
1	54	61
2	179	23
3	892	23
done	5001	21
0	18	65
1	66	55
2	240	21
3	1188	21
done	5001	21
0	16	65
1	52	59
2	158	23
3	774	23
done	5000	21
0	14	45
1	33	37
2	96	37
3	315	37
4	859	37
5	1826	37
6	4098	37
done	5000	37
0	13	22
1	32	18
2	95	18
3	316	18
4	865	18
5	1845	18
6	4115	18
done	5000	18
0	14	65
1	43	53
2	189	19
3	1067	19
done	5000	19
0	13	22
1	32	18
2	95	18
3	316	18
4	865	18
5	1845	18
6	4115	18
done	5000	18
0	13	22
1	32	18
2	95	18
3	316	18
4	865	18
5	1845	18
6	4115	18
done	5000	18
0	8	11
1	18	7
2	39	7
3	74	7
4	90	7
5	106	7
6	108	7
done	108	7
0	6	9
1	16	9
2	51	9
3	118	9
4	251	9
5	572	9
6	777	9
7	797	9
8	799	9
done	799	9
0	14	31
1	33	29
2	98	29
3	349	29
4	779	29
5	1350	29
6	1723	29
done	5000	29
0	13	22
1	30	20
2	84	20
3	261	20
4	527	20
5	819	20
6	1026	20
7	3074	20
done	5001	20
0	16	33
1	41	29
2	126	25
3	375	25
4	1094	25
5	2278	25
6	3483	25
done	5001	25
0	15	26
1	36	22
2	103	18
3	281	18
4	788	18
5	1376	18
6	1905	18
done	5000	18
0	12	21
1	30	15
2	86	11
3	203	11
4	546	11
5	1011	11
6	1498	11
7	4248	11
done	5000	11
0	12	21
1	30	15
2	86	11
3	203	11
4	546	11
5	1011	11
6	1498	11
7	4248	11
done	5000	11
0	12	21
1	30	15
2	86	11
3	203	11
4	546	11
5	1011	11
6	1498	11
7	4248	11
done	5000	11
0	15	30
1	36	25
2	107	25
3	406	25
4	1315	25
5	2639	25
6	4446	25
done	5001	25
0	14	23
1	33	18
2	96	18
3	315	18
4	787	18
5	1314	18
6	1973	18
done	5001	18
0	11	18
1	27	11
2	64	11
3	214	11
4	547	11
5	1010	11
6	1527	11
7	4361	11
done	5001	11
0	11	18
1	27	11
2	64	11
3	214	11
4	547	11
5	1010	11
6	1527	11
7	4361	11
done	5001	11
0	11	18
1	27	11
2	64	11
3	214	11
4	547	11
5	1010	11
6	1527	11
7	4361	11
done	5001	11
0	14	29
1	35	25
2	106	25
3	404	25
4	1312	25
5	2647	25
6	4485	25
done	5001	25
0	13	22
1	32	18
2	95	18
3	316	18
4	798	18
5	1341	18
6	1988	18
done	5000	18
0	10	17
1	26	11
2	63	11
3	213	11
4	544	11
5	1023	11
6	1531	11
7	4257	11
done	5001	11
0	10	17
1	26	11
2	63	11
3	213	11
4	544	11
5	1023	11
6	1531	11
7	4257	11
done	5001	11
0	10	17
1	26	11
2	63	11
3	213	11
4	544	11
5	1023	11
6	1531	11
7	4257	11
done	5001	11
0	9	15
1	21	11
2	50	11
3	135	11
4	270	11
5	362	11
6	465	11
7	1530	11
done	5000	11
0	9	15
1	21	11
2	50	11
3	135	11
4	270	11
5	362	11
6	465	11
7	1530	11
done	5000	11
0	15	25
1	45	21
2	126	21
3	388	21
4	1083	21
5	3267	21
done	5000	21
0	14	27
1	41	23
2	131	23
3	524	23
4	2493	23
done	5000	23
0	11	19
1	27	19
2	63	17
3	227	17
4	681	17
5	1521	17
6	3357	17
done	5001	17
0	9	15
1	21	11
2	50	11
3	135	11
4	270	11
5	362	11
6	465	11
7	1530	11
done	5000	11
0	11	17
1	28	13
2	88	13
3	236	13
4	423	13
5	661	13
6	1085	13
7	1839	13
done	5000	13
0	2	2
1	5	1
done	5	1
0	7	7
1	11	7
2	17	7
done	17	7
0	8	8
1	14	7
2	24	7
3	26	7
4	32	7
5	37	7
done	37	7
0	9	9
1	17	8
2	24	7
3	30	7
4	36	7
5	41	7
done	41	7
0	8	8
1	18	7
2	25	7
3	31	7
4	33	7
5	39	7
6	44	7
done	44	7
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	11	23
1	37	19
2	121	9
3	469	9
4	2347	9
done	5001	9
0	9	17
1	15	17
2	21	17
done	21	17
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	9	23
1	22	23
2	44	9
3	83	9
4	123	9
5	321	9
6	1059	9
done	5001	9
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	2	2
1	5	1
done	5	1
0	6	6
1	13	6
2	27	6
3	49	6
4	63	6
5	78	6
6	104	6
7	131	6
8	138	6
9	144	6
10	147	6
done	147	6
0	11	19
1	23	17
2	38	15
3	44	15
done	44	15
0	9	9
1	15	8
2	21	8
done	21	8
0	10	12
1	18	10
2	26	8
3	27	8
done	27	8
0	9	9
1	15	8
2	21	8
done	21	8
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	14	7
2	20	7
done	20	7
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	14	7
2	20	7
done	20	7
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	14	7
2	20	7
done	20	7
0	10	16
1	18	15
2	24	15
done	24	15
0	9	9
1	15	8
2	21	8
done	21	8
0	9	9
1	15	8
2	21	8
done	21	8
0	9	9
1	15	8
2	21	8
done	21	8
0	3	4
1	5	1
done	5	1
0	8	8
1	14	7
2	20	7
done	20	7
0	3	4
1	5	1
done	5	1
0	8	8
1	14	7
2	20	7
done	20	7
0	3	4
1	5	1
done	5	1
0	8	8
1	14	7
2	20	7
done	20	7
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	7	7
1	13	7
2	19	7
done	19	7
0	2	3
1	4	1
done	4	1
0	7	7
1	13	7
2	19	7
done	19	7
0	2	3
1	4	1
done	4	1
0	7	7
1	13	7
2	19	7
done	19	7
0	7	7
1	13	7
2	19	7
done	19	7
0	7	7
1	13	5
2	21	5
done	21	5
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	8	8
1	14	7
2	20	7
done	20	7
0	8	8
1	14	7
2	20	7
done	20	7
0	7	7
1	13	5
2	21	5
done	21	5
0	10	11
1	27	11
2	52	11
3	109	11
4	250	11
5	713	11
6	2643	11
done	5000	11
0	9	13
1	23	13
2	57	13
3	143	13
4	458	13
5	1302	13
done	5000	13
0	9	15
1	18	15
2	43	15
3	91	15
4	164	12
5	203	12
6	258	12
7	319	12
8	321	12
done	321	12
0	9	14
1	17	14
2	31	14
3	69	14
4	130	12
5	214	12
6	265	12
7	351	12
8	366	12
done	366	12
0	8	13
1	17	13
2	30	13
3	58	13
4	111	11
5	190	11
6	243	11
7	303	11
8	371	11
9	381	11
done	381	11
0	7	12
1	16	12
2	36	12
3	95	12
4	181	11
5	291	11
6	381	11
7	483	11
8	1110	11
done	5000	11
0	7	12
1	13	12
2	23	12
3	54	12
4	87	12
5	130	12
6	210	12
7	401	12
8	1414	12
done	5000	12
0	12	35
1	47	35
2	217	19
3	1286	13
done	5000	13
0	12	35
1	46	35
2	197	17
3	916	17
done	5001	17
0	10	35
1	44	35
2	195	15
3	1123	13
done	5000	13
0	8	25
1	14	25
2	24	25
3	53	25
4	76	25
5	103	25
6	137	25
7	179	25
8	723	25
9	4702	25
done	5000	25
0	7	12
1	13	12
2	23	12
3	52	12
4	75	12
5	102	12
6	136	12
7	178	12
8	722	12
9	4653	12
done	5000	12
0	8	35
1	21	35
2	74	13
3	391	13
4	2241	13
done	5001	13
0	7	12
1	13	12
2	23	12
3	52	12
4	75	12
5	102	12
6	136	12
7	178	12
8	722	12
9	4653	12
done	5000	12
0	7	12
1	13	12
2	23	12
3	52	12
4	75	12
5	102	12
6	136	12
7	178	12
8	722	12
9	4653	12
done	5000	12
0	6	8
1	14	8
2	25	8
3	35	8
4	40	8
5	46	8
6	49	8
done	49	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	7	15
1	12	15
2	26	15
3	44	15
done	44	15
0	5	6
1	6	6
done	6	6
0	6	10
1	9	10
2	20	10
done	20	10
0	5	6
1	6	6
done	6	6
0	6	7
1	11	5
2	26	5
3	36	5
done	36	5
0	4	5
1	5	5
done	5	5
0	6	7
1	11	5
2	26	5
3	36	5
done	36	5
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	6	11
1	12	11
2	20	11
3	48	11
4	83	11
5	123	11
6	190	11
7	283	11
8	1448	11
done	5001	11
0	8	17
1	19	17
2	43	17
3	124	17
4	238	17
5	313	17
6	344	17
7	362	17
8	1775	17
done	5000	17
0	7	12
1	13	12
2	24	12
3	63	12
4	93	12
5	109	12
6	118	12
7	128	12
8	606	12
done	5000	12
0	7	9
1	15	7
2	30	7
3	81	7
4	147	7
5	160	7
done	160	7
0	7	9
1	15	7
2	30	7
3	81	7
4	147	7
5	160	7
done	160	7
0	4	5
1	5	5
done	5	5
0	10	15
1	30	15
2	50	15
3	106	15
4	201	15
5	516	15
6	2130	15
done	5000	15
0	9	15
1	19	15
2	48	15
3	137	15
4	364	15
5	872	13
6	2318	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	14	21
1	40	19
2	105	17
3	215	13
4	502	11
5	1043	11
6	1900	11
7	3068	11
8	4406	11
done	5001	11
0	1	1
done	1	1
0	1	1
done	1	1
0	7	9
1	16	7
2	31	7
3	59	7
4	80	7
5	132	7
6	215	7
7	291	7
8	344	7
9	407	7
10	526	7
11	953	7
12	1290	7
done	1290	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune206.0ms

Filtered

125 candidates to 200 candidates (-60.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	199	7	206

Merged error: 0b

Counts

206 → 7

regimes102.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	21
1	19	19
done	19	19

end0.0ms

sample810.0ms

Algorithm

intervals

Results

308.0ms

8000×

body

valid

Details

sample20.0ms

simplify2.0s

prune3.0ms

localize9.0ms

rewrite61.0ms

series37.0ms

simplify4.9min

prune250.0ms

localize18.0ms

rewrite101.0ms

series126.0ms

simplify4.9min

prune378.0ms

localize10.0ms

rewrite57.0ms

series46.0ms

simplify4.0min

prune190.0ms

localize11.0ms

rewrite69.0ms

series45.0ms

simplify7.9min

prune206.0ms

regimes102.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample810.0ms

Profiling