Details

sample43.0ms

Algorithm

intervals

Results

10.0ms	254×	body	80	valid
3.0ms	19×	body	640	valid
2.0ms	15×	body	320	valid
1.0ms	6×	body	1280	valid
0.0ms	5×	body	160	valid

simplify9.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	23	13
2	43	13
3	115	13
4	263	13
5	568	13
6	1005	13
7	1711	13
8	3060	13
9	3801	13
10	4007	13
11	4459	13
done	5000	13

prune9.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: 14.7b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
3.3b	(+ x (* (- y z) (/ (- t x) (- a z))))
5.0b	(* (- y z) (/ (- t x) (- a z)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
73×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
23×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`associate-/r/`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 119

Calls

3 calls:

9.0ms	(/ (- t x) (- a z))
4.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
18.0ms	(* (- y z) (/ (- t x) (- a z)))

series118.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(/ (- t x) (- a z))
63.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
40.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify3.0min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	11
2	41	11
3	109	11
4	237	11
5	461	11
6	718	11
7	1027	11
8	1628	11
9	2062	11
10	2092	11
done	2092	11
0	13	14
1	23	14
2	33	14
3	42	14
4	48	14
5	58	14
6	65	14
7	77	14
8	100	14
9	114	14
10	120	14
done	120	14
0	12	13
1	24	13
2	35	13
3	46	13
4	56	13
5	65	13
6	70	13
7	79	13
8	96	13
9	115	13
10	123	13
done	123	13
0	11	12
1	25	12
2	51	12
3	129	12
4	276	12
5	514	12
6	783	12
7	1110	12
8	1723	12
9	2170	12
10	2244	12
11	2274	12
12	2319	12
done	2319	12
0	11	12
1	24	12
2	55	12
3	147	12
4	351	12
5	795	12
6	1661	12
done	5001	12
0	16	35
1	36	35
2	156	17
3	755	15
4	4170	15
done	5000	15
0	14	35
1	35	35
2	113	15
3	508	15
4	2895	13
done	5000	13
0	12	25
1	23	25
2	43	25
3	111	25
4	239	25
5	464	25
6	718	25
7	1027	25
8	1623	25
9	2057	25
10	2087	25
done	2087	25
0	11	12
1	22	12
2	42	12
3	110	12
4	238	12
5	462	12
6	718	12
7	1027	12
8	1624	12
9	2061	12
10	2091	12
done	2091	12
0	12	35
1	33	35
2	122	13
3	668	13
4	4176	13
done	5000	13
0	11	12
1	22	12
2	42	12
3	110	12
4	238	12
5	462	12
6	718	12
7	1027	12
8	1624	12
9	2061	12
10	2091	12
done	2091	12
0	11	12
1	22	12
2	42	12
3	110	12
4	238	12
5	462	12
6	718	12
7	1027	12
8	1624	12
9	2061	12
10	2091	12
done	2091	12
0	10	11
1	28	11
2	63	11
3	179	11
4	615	11
5	2298	11
done	5000	11
0	10	15
1	20	13
2	49	13
3	152	13
4	373	13
5	965	13
6	2117	13
7	4421	13
done	5000	13
0	9	11
1	17	11
2	41	11
3	136	11
4	427	11
5	1044	11
6	2909	11
done	5000	11
0	6	7
1	10	7
2	25	7
3	54	7
4	100	7
5	149	7
6	200	7
7	302	7
8	512	7
9	838	7
10	952	7
11	960	7
done	960	7
0	12	13
1	21	13
2	26	13
3	28	13
done	28	13
0	12	13
1	21	13
2	26	13
3	28	13
done	28	13
0	13	14
1	21	14
2	27	14
3	31	14
4	32	14
done	32	14
0	13	14
1	21	14
2	27	14
3	31	14
4	32	14
done	32	14
0	12	21
1	23	21
2	36	21
3	55	21
4	67	21
5	75	21
done	75	21
0	11	12
1	20	12
2	31	12
3	38	12
4	42	12
done	42	12
0	14	23
1	28	23
2	66	23
3	170	23
4	357	23
5	583	23
6	751	23
7	793	23
8	795	23
done	795	23
0	13	18
1	23	18
2	42	18
3	95	18
4	171	18
5	236	18
6	285	18
7	290	18
done	290	18
0	11	15
1	22	13
2	47	13
3	119	13
4	205	13
5	313	13
6	378	13
7	412	13
8	413	13
done	413	13
0	14	19
1	24	19
2	42	19
3	95	19
4	171	19
5	236	19
6	285	19
7	290	19
done	290	19
0	11	15
1	22	13
2	47	13
3	119	13
4	205	13
5	313	13
6	378	13
7	412	13
8	413	13
done	413	13
0	13	18
1	23	18
2	43	18
3	92	18
4	151	18
5	216	18
6	251	18
7	258	18
done	258	18
0	12	13
1	20	13
2	32	13
3	56	13
4	79	13
5	95	13
6	106	13
done	106	13
0	10	10
1	19	8
2	34	8
3	53	8
4	77	8
5	111	8
6	136	8
7	142	8
done	142	8
0	13	14
1	21	14
2	32	14
3	56	14
4	79	14
5	95	14
6	106	14
done	106	14
0	10	10
1	19	8
2	34	8
3	53	8
4	77	8
5	111	8
6	136	8
7	142	8
done	142	8
0	10	15
1	20	15
2	38	13
3	103	13
4	206	13
5	281	13
6	354	13
7	384	13
8	402	13
9	404	13
done	404	13
0	9	10
1	17	10
2	28	8
3	63	8
4	105	8
5	133	8
6	152	8
7	154	8
8	155	8
done	155	8
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	10	11
1	18	11
2	28	9
3	63	9
4	105	9
5	132	9
6	151	9
7	153	9
8	154	9
done	154	9
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	14	19
1	23	19
2	50	19
3	115	19
4	218	19
5	362	19
6	563	19
7	955	19
8	1488	19
9	2294	19
10	3022	19
11	3311	19
12	3317	19
done	3317	19
0	13	14
1	20	14
2	39	14
3	79	14
4	138	14
5	217	14
6	332	14
7	551	14
8	882	14
9	1367	14
10	1718	14
11	1821	14
12	1822	14
done	1822	14
0	11	11
1	19	9
2	41	9
3	84	9
4	160	9
5	254	9
6	345	9
7	557	9
8	902	9
9	1252	9
10	1409	9
11	1431	9
12	1432	9
done	1432	9
0	14	15
1	21	15
2	39	15
3	79	15
4	138	15
5	214	15
6	327	15
7	545	15
8	882	15
9	1368	15
10	1718	15
11	1821	15
12	1822	15
done	1822	15
0	11	11
1	19	9
2	41	9
3	84	9
4	160	9
5	254	9
6	345	9
7	557	9
8	902	9
9	1252	9
10	1409	9
11	1431	9
12	1432	9
done	1432	9
0	10	15
1	20	15
2	38	13
3	103	13
4	206	13
5	281	13
6	354	13
7	384	13
8	402	13
9	404	13
done	404	13
0	9	10
1	17	10
2	28	8
3	63	8
4	105	8
5	133	8
6	152	8
7	154	8
8	155	8
done	155	8
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	10	11
1	18	11
2	28	9
3	63	9
4	105	9
5	132	9
6	151	9
7	153	9
8	154	9
done	154	9
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	13	15
1	38	15
2	78	15
3	194	15
4	529	15
5	1895	15
done	5000	15
0	12	15
1	27	15
2	63	15
3	186	15
4	475	15
5	1134	15
6	2047	15
7	3538	15
done	5000	15
0	11	12
1	22	12
2	36	12
3	56	12
4	84	12
5	107	12
6	128	12
7	137	12
8	145	12
done	145	12
0	11	12
1	22	12
2	36	12
3	56	12
4	84	12
5	107	12
6	128	12
7	137	12
8	145	12
done	145	12
0	10	11
1	21	11
2	41	11
3	109	11
4	237	11
5	461	11
6	718	11
7	1027	11
8	1628	11
9	2062	11
10	2092	11
done	2092	11
0	12	13
1	24	13
2	44	13
3	112	13
4	240	13
5	461	13
6	719	13
7	1039	13
8	1588	13
9	2025	13
10	2055	13
done	2055	13
0	10	11
1	21	11
2	41	11
3	109	11
4	237	11
5	461	11
6	718	11
7	1027	11
8	1628	11
9	2062	11
10	2092	11
done	2092	11
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	13	15
1	38	15
2	78	15
3	234	15
4	983	15
5	4301	15
done	5000	15
0	12	15
1	27	15
2	58	15
3	207	15
4	743	15
5	1961	15
done	5000	15
0	13	15
1	29	14
2	61	14
3	161	14
4	405	14
5	1002	14
6	2387	14
done	5000	14
0	12	14
1	24	14
2	44	14
3	116	14
4	264	14
5	570	14
6	1004	14
7	1717	14
8	3062	14
9	3798	14
10	4002	14
11	4455	14
done	5000	14
0	12	14
1	27	14
2	52	14
3	145	14
4	351	14
5	866	14
6	2048	14
done	5000	14
0	13	29
1	25	29
2	45	29
3	117	29
4	265	29
5	575	29
6	1008	29
7	1720	29
8	3074	29
9	3806	29
10	4012	29
11	4469	29
done	5000	29
0	12	14
1	24	14
2	44	14
3	116	14
4	264	14
5	570	14
6	1004	14
7	1717	14
8	3062	14
9	3798	14
10	4002	14
11	4455	14
done	5000	14
0	13	41
1	38	41
2	114	15
3	514	15
4	3118	15
done	5000	15
0	12	14
1	24	14
2	44	14
3	116	14
4	264	14
5	570	14
6	1004	14
7	1717	14
8	3062	14
9	3798	14
10	4002	14
11	4455	14
done	5000	14
0	12	14
1	24	14
2	44	14
3	116	14
4	264	14
5	570	14
6	1004	14
7	1717	14
8	3062	14
9	3798	14
10	4002	14
11	4455	14
done	5000	14
0	14	17
1	42	17
2	113	17
3	503	17
4	3094	17
done	5001	17
0	15	41
1	43	29
2	146	29
3	596	29
4	2770	29
done	5000	29
0	13	27
1	36	27
2	114	27
3	516	27
4	2688	27
done	5001	27
0	11	13
1	24	13
2	53	13
3	159	13
4	442	13
5	1066	13
6	1701	13
7	2507	13
8	3389	13
9	3629	13
10	3754	13
11	3911	13
12	4286	13
done	5001	13
0	9	9
1	15	9
2	18	9
done	18	9
0	8	8
1	18	8
2	24	8
3	27	8
done	27	8
0	8	8
1	15	8
2	22	8
3	26	8
4	29	8
5	35	8
6	39	8
7	55	8
8	59	8
9	66	8
10	75	8
11	95	8
12	116	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	11	23
1	24	23
2	85	11
3	261	9
4	760	9
5	2798	9
done	5000	9
0	9	17
1	16	17
2	20	17
3	22	17
done	22	17
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	9	23
1	23	23
2	55	9
3	187	9
4	615	9
5	1968	9
done	5000	9
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	11	19
1	21	19
2	32	19
3	38	19
done	38	19
0	9	9
1	13	9
2	15	9
done	15	9
0	10	14
1	16	14
2	20	14
3	21	14
done	21	14
0	9	9
1	13	9
2	15	9
done	15	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	14	8
done	14	8
0	11	15
1	16	15
2	19	15
3	20	15
done	20	15
0	10	10
1	14	10
2	16	10
done	16	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	8
1	12	8
2	14	8
done	14	8
0	10	14
1	16	14
2	18	14
done	18	14
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	14	8
done	14	8
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	14	10
2	16	10
done	16	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	8
1	12	8
2	14	8
done	14	8
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	10	7
done	10	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	11	15
1	16	15
2	17	15
done	17	15
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	11	11
1	13	11
done	13	11
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	7	11
1	13	11
2	14	11
done	14	11
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	6	6
1	10	6
2	11	6
done	11	6
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	7	7
1	10	7
done	10	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	9	13
1	18	13
2	27	13
3	32	13
4	35	13
done	35	13
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	5	5
1	12	3
2	17	3
done	17	3
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	5	5
1	12	3
2	17	3
done	17	3
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	10	11
1	30	11
2	55	11
3	97	11
4	202	11
5	583	11
6	2459	11
done	5001	11
0	9	11
1	19	11
2	35	11
3	61	11
4	94	11
5	137	11
6	202	11
7	370	11
8	1677	11
done	5000	11
0	11	15
1	27	13
2	75	13
3	214	13
4	503	13
5	1212	13
6	2467	13
done	5000	13
0	7	7
1	17	7
2	37	7
3	64	7
4	110	7
5	157	7
6	227	7
7	408	7
8	644	7
9	711	7
10	715	7
done	715	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	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune215.0ms

Filtered

92 candidates to 128 candidates (-39.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	114	14	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	15	129

Merged error: 3.9b

Counts

129 → 15

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- t x))
0.6b	(cbrt (- t x))
0.9b	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
9.6b	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

4.0ms	(cbrt (- t x))
4.0ms	(cbrt (- t x))
29.0ms	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
4.0ms	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series267.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(cbrt (- t x))
31.0ms	(cbrt (- t x))
145.0ms	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
61.0ms	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify2.7min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	37
1	42	36
2	113	36
3	409	18
4	1245	18
5	3003	14
done	5001	14
0	18	36
1	37	36
2	96	36
3	350	18
4	983	18
5	1861	14
6	3455	14
done	5001	14
0	18	36
1	40	36
2	106	36
3	382	18
4	1178	18
5	2819	14
done	5001	14
0	19	73
1	38	73
2	97	73
3	346	37
4	989	37
5	1855	29
6	3438	29
done	5000	29
0	18	36
1	37	36
2	96	36
3	350	18
4	983	18
5	1861	14
6	3455	14
done	5001	14
0	19	107
1	51	107
2	174	37
3	992	19
done	5000	19
0	18	36
1	37	36
2	96	36
3	350	18
4	983	18
5	1861	14
6	3455	14
done	5001	14
0	18	36
1	37	36
2	96	36
3	350	18
4	983	18
5	1861	14
6	3455	14
done	5001	14
0	20	39
1	55	39
2	182	21
3	1181	17
done	5000	17
0	21	107
1	55	73
2	226	73
3	1454	37
done	5001	37
0	19	71
1	48	71
2	189	71
3	1257	35
done	5001	35
0	17	35
1	37	35
2	109	35
3	468	17
4	1777	17
5	4404	13
done	5000	13
0	14	23
1	28	23
2	66	23
3	170	23
4	357	23
5	583	23
6	751	23
7	793	23
8	795	23
done	795	23
0	17	28
1	34	20
2	71	18
3	126	18
4	231	18
5	415	18
6	671	18
7	799	18
8	820	18
done	820	18
0	17	27
1	33	23
2	60	20
3	109	18
4	198	18
5	369	18
6	657	18
7	813	18
8	867	18
done	867	18
0	17	27
1	33	23
2	67	20
3	124	18
4	211	18
5	384	18
6	595	18
7	858	18
8	893	18
9	894	18
done	894	18
0	17	26
1	31	26
2	56	20
3	105	18
4	176	18
5	317	18
6	530	18
7	798	18
8	862	18
9	865	18
done	865	18
0	16	25
1	31	25
2	59	25
3	114	17
4	209	17
5	380	17
6	606	17
7	761	17
8	845	17
9	849	17
done	849	17
0	15	24
1	32	24
2	84	24
3	237	17
4	549	17
5	1009	17
6	1492	17
7	1678	17
8	1758	17
9	1759	17
done	1759	17
0	15	24
1	31	24
2	80	24
3	218	24
4	538	24
5	1163	24
6	2593	24
done	5000	24
0	14	27
1	31	27
2	114	21
3	458	21
4	2183	21
done	5000	21
0	17	49
1	43	49
2	171	25
3	956	20
done	5000	20
0	17	49
1	43	49
2	156	25
3	717	20
4	3999	20
done	5000	20
0	20	71
1	54	71
2	259	29
3	2097	19
done	5000	19
0	18	71
1	42	71
2	174	27
3	991	27
done	5000	27
0	16	49
1	30	49
2	68	49
3	174	49
4	359	49
5	583	49
6	741	49
7	780	49
8	781	49
done	781	49
0	15	24
1	29	24
2	67	24
3	173	24
4	358	24
5	581	24
6	740	24
7	777	24
8	778	24
done	778	24
0	16	71
1	40	71
2	177	25
3	1254	25
done	5000	25
0	15	24
1	29	24
2	67	24
3	173	24
4	358	24
5	581	24
6	740	24
7	777	24
8	778	24
done	778	24
0	15	24
1	29	24
2	67	24
3	173	24
4	358	24
5	581	24
6	740	24
7	777	24
8	778	24
done	778	24
0	12	17
1	32	17
2	63	17
3	162	17
4	466	17
5	1564	17
done	5001	17
0	12	21
1	24	19
2	49	19
3	119	19
4	180	19
5	205	19
6	206	19
done	206	19
0	11	17
1	21	17
2	43	17
3	115	17
4	277	17
5	476	17
6	758	17
7	1337	17
8	4475	17
done	5000	17
0	8	13
1	14	13
2	25	13
3	37	13
done	37	13
0	16	25
1	28	25
2	41	15
3	47	15
done	47	15
0	16	25
1	28	25
2	41	15
3	47	15
done	47	15
0	13	14
1	21	14
2	27	14
3	31	14
4	32	14
done	32	14
0	13	14
1	21	14
2	27	14
3	31	14
4	32	14
done	32	14
0	16	45
1	30	45
2	50	45
3	73	45
4	85	45
5	95	45
done	95	45
0	15	24
1	27	24
2	46	14
3	57	14
4	61	14
done	61	14
0	12	13
1	20	13
2	32	13
3	56	13
4	79	13
5	95	13
6	106	13
done	106	13
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	9	13
1	16	13
2	26	13
3	43	13
4	57	13
5	67	13
done	67	13
0	17	31
1	45	31
2	103	31
3	244	31
4	520	31
5	1087	31
6	2997	31
done	5000	31
0	21	31
1	54	31
2	125	31
3	327	31
4	733	31
5	1512	31
6	3637	31
done	5001	31
0	21	31
1	54	31
2	125	31
3	327	31
4	736	31
5	1504	31
6	3628	31
done	5000	31
0	16	31
1	34	31
2	77	31
3	199	31
4	409	31
5	674	31
6	890	31
7	1097	31
8	2361	31
done	5000	31
0	19	27
1	50	27
2	117	27
3	309	27
4	692	27
5	1424	27
6	3489	27
done	5001	27
0	18	27
1	38	27
2	95	27
3	277	27
4	606	27
5	1061	27
6	1486	27
7	2729	27
done	5000	27
0	19	27
1	50	27
2	117	27
3	309	27
4	692	27
5	1426	27
6	3476	27
done	5000	27
0	18	27
1	38	27
2	95	27
3	279	27
4	608	27
5	1061	27
6	1478	27
7	2719	27
done	5000	27
0	15	24
1	29	24
2	61	24
3	103	24
4	159	24
5	171	24
done	171	24
0	15	24
1	29	24
2	61	24
3	103	24
4	159	24
5	171	24
done	171	24
0	14	23
1	28	23
2	66	23
3	170	23
4	357	23
5	583	23
6	751	23
7	793	23
8	795	23
done	795	23
0	16	25
1	31	25
2	69	25
3	174	25
4	359	25
5	586	25
6	740	25
7	777	25
8	778	25
done	778	25
0	14	23
1	28	23
2	66	23
3	170	23
4	357	23
5	583	23
6	751	23
7	793	23
8	795	23
done	795	23
0	9	13
1	16	13
2	26	13
3	43	13
4	57	13
5	67	13
done	67	13
0	17	27
1	45	27
2	103	27
3	308	27
4	1285	27
done	5000	27
0	16	27
1	34	27
2	83	27
3	290	27
4	1016	27
5	2638	27
6	4977	27
done	5000	27
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	10
1	8	10
2	9	10
done	9	10
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	1	1
done	1	1
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	29	57
1	62	54
2	156	33
3	379	29
4	918	25
5	2906	21
done	5000	21
0	20	43
1	42	37
2	94	16
3	243	13
4	623	12
5	1803	9
done	5001	9
0	21	43
1	44	22
2	90	18
3	226	16
4	665	15
5	2295	13
done	5000	13
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	30	41
1	69	40
2	150	40
3	385	37
4	1251	26
done	5001	23
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune176.0ms

Filtered

79 candidates to 97 candidates (-22.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	97	15	112

Merged error: 3.9b

Counts

112 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- y z)) (cbrt (- y z)))
2.3b	(* (cbrt (- y z)) (/ (- t x) (- a z)))
2.9b	(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
7.7b	(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

124×	`cbrt-div`
88×	`frac-times`
73×	`add-sqr-sqrt`
63×	`flip3--` `flip--`
61×	`*-un-lft-identity`
42×	`associate-*l/`
40×	`associate-r`
35×	`cbrt-prod`
32×	`add-exp-log`
29×	`associate-*r/`
27×	`times-frac`
25×	`pow1` `add-cube-cbrt`
18×	`add-cbrt-cube`
17×	`associate-l` `distribute-lft-out--`
16×	`prod-exp` `cbrt-unprod`
15×	`difference-of-squares`
11×	`pow-prod-down`
10×	`swap-sqr`
8×	`unswap-sqr`
6×	`pow1/3` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `*-commutative`
2×	`associate-/r/` `pow-sqr` `pow-prod-up`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `flip-+` `div-inv`

Counts

4 → 207

Calls

4 calls:

12.0ms	(* (cbrt (- y z)) (cbrt (- y z)))
25.0ms	(* (cbrt (- y z)) (/ (- t x) (- a z)))
27.0ms	(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
4.0ms	(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

series305.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (cbrt (- y z)) (cbrt (- y z)))
162.0ms	(* (cbrt (- y z)) (/ (- t x) (- a z)))
41.0ms	(* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z))))
63.0ms	(+ x (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- y z)) (/ (- t x) (- a z)))))

simplify5.6min

Counts

219 → 219

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	26
1	37	25
2	79	25
3	190	17
4	471	14
5	1341	14
6	3676	14
done	5000	14
0	15	25
1	32	25
2	62	25
3	135	17
4	264	14
5	566	14
6	1095	14
7	2207	14
8	4835	14
done	5000	14
0	15	25
1	35	25
2	74	25
3	170	17
4	396	14
5	1065	14
6	2830	14
done	5000	14
0	16	51
1	33	51
2	63	51
3	137	35
4	263	29
5	565	29
6	1091	29
7	2205	29
8	4817	29
done	5000	29
0	15	25
1	32	25
2	62	25
3	135	17
4	264	14
5	566	14
6	1095	14
7	2207	14
8	4835	14
done	5000	14
0	16	74
1	46	74
2	140	26
3	640	18
4	3532	15
done	5000	15
0	15	25
1	32	25
2	62	25
3	135	17
4	264	14
5	566	14
6	1095	14
7	2207	14
8	4835	14
done	5000	14
0	15	25
1	32	25
2	62	25
3	135	17
4	264	14
5	566	14
6	1095	14
7	2207	14
8	4835	14
done	5000	14
0	17	28
1	50	28
2	151	28
3	702	17
4	4145	17
done	5001	17
0	18	74
1	51	51
2	185	51
3	786	35
4	3214	29
done	5000	29
0	16	49
1	44	49
2	149	49
3	708	33
4	3628	26
done	5001	26
0	14	24
1	32	24
2	77	24
3	210	16
4	532	13
5	1234	13
6	2310	13
done	5000	13
0	13	22
1	29	22
2	59	22
3	133	14
4	256	11
5	555	11
6	1030	11
7	1975	11
8	4245	11
done	5000	11
0	13	22
1	29	22
2	59	22
3	133	14
4	256	11
5	555	11
6	1030	11
7	1975	11
8	4245	11
done	5000	11
0	13	22
1	29	22
2	59	22
3	133	14
4	256	11
5	555	11
6	1030	11
7	1975	11
8	4245	11
done	5000	11
0	13	22
1	29	22
2	59	22
3	133	14
4	256	11
5	555	11
6	1030	11
7	1975	11
8	4245	11
done	5000	11
0	16	27
1	33	23
2	65	17
3	123	17
4	184	17
5	307	17
6	393	17
7	526	17
8	700	17
9	790	17
done	790	17
0	15	26
1	34	22
2	59	16
3	98	16
4	165	16
5	275	16
6	364	16
7	476	16
8	646	16
9	808	16
10	815	16
done	815	16
0	15	25
1	33	21
2	61	21
3	109	16
4	203	16
5	341	16
6	520	16
7	656	16
8	775	16
9	872	16
10	948	16
done	948	16
0	17	26
1	31	26
2	60	23
3	121	17
4	191	17
5	312	17
6	398	17
7	529	17
8	705	17
9	793	17
done	793	17
0	16	25
1	32	25
2	57	22
3	100	16
4	170	16
5	280	16
6	369	16
7	482	16
8	654	16
9	816	16
10	823	16
done	823	16
0	15	24
1	31	24
2	61	21
3	110	16
4	204	16
5	340	16
6	520	16
7	656	16
8	773	16
9	868	16
10	945	16
done	945	16
0	14	23
1	33	23
2	76	23
3	182	15
4	369	12
5	788	12
6	1452	12
7	2774	12
done	5000	12
0	14	23
1	32	23
2	73	23
3	179	15
4	435	12
5	1236	12
6	3334	12
done	5001	12
0	16	35
1	38	35
2	166	23
3	890	15
4	4855	15
done	5000	15
0	14	35
1	37	35
2	123	21
3	584	15
4	3227	15
done	5000	15
0	15	46
1	41	46
2	145	22
3	785	22
done	5000	22
0	19	57
1	49	57
2	207	27
3	1274	20
done	5001	20
0	17	57
1	48	57
2	164	25
3	896	20
done	5002	20
0	17	68
1	50	68
2	179	26
3	952	20
done	5000	20
0	15	47
1	31	47
2	60	47
3	134	31
4	257	25
5	554	25
6	1033	25
7	1985	25
8	4266	25
done	5000	25
0	14	23
1	30	23
2	60	23
3	134	15
4	260	12
5	558	12
6	1034	12
7	1976	12
8	4257	12
done	5000	12
0	15	68
1	41	68
2	161	24
3	826	16
4	4823	13
done	5000	13
0	14	23
1	30	23
2	60	23
3	134	15
4	260	12
5	558	12
6	1034	12
7	1976	12
8	4257	12
done	5000	12
0	14	23
1	30	23
2	60	23
3	134	15
4	260	12
5	558	12
6	1034	12
7	1976	12
8	4257	12
done	5000	12
0	13	30
1	36	30
2	79	30
3	146	14
4	260	11
5	816	11
6	4647	11
done	5000	11
0	13	42
1	28	36
2	56	36
3	91	16
4	124	13
5	278	13
6	590	13
7	1382	13
8	3258	13
done	5000	13
0	17	30
1	43	30
2	96	30
3	202	30
4	364	30
5	793	30
6	2648	30
done	5000	30
0	15	34
1	30	30
2	63	30
3	125	30
4	179	30
5	225	30
6	255	30
done	255	30
0	15	26
1	40	26
2	88	26
3	183	26
4	321	26
5	706	26
6	2482	26
done	5000	26
0	12	29
1	24	25
2	47	25
3	62	25
4	73	25
5	79	25
done	79	25
0	16	34
1	46	34
2	96	34
3	204	18
4	411	15
5	1296	15
done	5001	15
0	10	38
1	18	32
2	28	12
3	34	9
4	41	9
5	51	9
6	72	9
7	139	9
8	358	9
9	1284	9
done	5000	9
0	20	34
1	53	34
2	113	34
3	259	34
4	581	34
5	1276	34
6	3504	34
done	5000	34
0	12	30
1	22	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	44	30
2	100	30
3	207	30
4	372	30
5	804	30
6	2662	30
done	5000	30
0	15	34
1	31	30
2	66	30
3	126	30
4	180	30
5	227	30
6	252	30
done	252	30
0	17	30
1	44	30
2	99	30
3	210	30
4	378	30
5	811	30
6	2654	30
done	5000	30
0	15	26
1	31	24
2	66	24
3	131	24
4	188	24
5	242	24
6	264	24
done	264	24
0	19	26
1	47	26
2	111	26
3	253	26
4	453	26
5	907	26
6	2883	26
done	5000	26
0	14	21
1	27	19
2	53	19
3	82	19
4	101	19
5	117	19
done	117	19
0	20	34
1	54	34
2	116	34
3	258	34
4	601	34
5	1339	34
6	3639	34
done	5001	34
0	12	30
1	21	26
2	31	26
3	32	26
4	33	26
done	33	26
0	20	34
1	54	34
2	116	34
3	259	34
4	596	34
5	1299	34
6	3601	34
done	5001	34
0	12	22
1	23	20
2	31	20
3	32	20
4	33	20
done	33	20
0	17	30
1	44	30
2	99	30
3	210	30
4	383	30
5	815	30
6	2677	30
done	5000	30
0	15	34
1	31	30
2	66	30
3	131	30
4	188	30
5	243	30
6	265	30
done	265	30
0	17	30
1	44	30
2	100	30
3	207	30
4	376	30
5	806	30
6	2674	30
done	5000	30
0	15	26
1	31	24
2	66	24
3	126	24
4	180	24
5	227	24
6	252	24
done	252	24
0	19	26
1	47	26
2	111	26
3	253	26
4	452	26
5	918	26
6	2883	26
done	5000	26
0	14	21
1	27	19
2	53	19
3	82	19
4	101	19
5	117	19
done	117	19
0	20	34
1	54	34
2	116	34
3	259	34
4	593	34
5	1307	34
6	3569	34
done	5000	34
0	12	30
1	23	26
2	31	26
3	32	26
4	33	26
done	33	26
0	20	34
1	54	34
2	116	34
3	258	34
4	600	34
5	1327	34
6	3643	34
done	5001	34
0	12	22
1	21	20
2	31	20
3	32	20
4	33	20
done	33	20
0	17	30
1	43	30
2	96	30
3	202	30
4	365	30
5	796	30
6	2652	30
done	5000	30
0	15	26
1	30	24
2	63	24
3	125	24
4	173	24
5	222	24
6	252	24
done	252	24
0	12	30
1	25	30
2	53	30
3	102	14
4	155	11
5	387	11
6	1120	11
7	3750	11
done	5000	11
0	9	18
1	18	18
2	38	18
3	73	10
4	103	7
5	183	7
6	294	7
7	560	7
8	1226	7
9	3536	7
done	5001	7
0	14	26
1	28	26
2	66	26
3	152	26
4	226	26
5	328	26
6	503	26
7	1703	26
done	5000	26
0	8	13
1	14	13
2	29	13
3	43	13
4	53	13
5	59	13
done	59	13
0	20	34
1	53	34
2	113	34
3	259	34
4	579	34
5	1264	34
6	3519	34
done	5000	34
0	12	22
1	22	20
2	31	20
3	34	20
4	35	20
done	35	20
0	15	34
1	35	34
2	69	34
3	157	18
4	306	15
5	847	15
6	2430	15
done	5000	15
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	15	26
1	41	26
2	91	26
3	187	26
4	327	26
5	711	26
6	2497	26
done	5000	26
0	12	29
1	25	25
2	47	25
3	62	25
4	73	25
5	79	25
done	79	25
0	19	26
1	47	26
2	111	26
3	253	26
4	456	26
5	934	26
6	2899	26
done	5000	26
0	14	21
1	27	19
2	53	19
3	82	19
4	101	19
5	117	19
done	117	19
0	15	22
1	41	22
2	91	22
3	184	22
4	320	22
5	708	22
6	2504	22
done	5001	22
0	11	16
1	21	14
2	36	14
3	42	14
4	47	14
done	47	14
0	18	30
1	50	30
2	108	30
3	242	30
4	553	30
5	1231	30
6	3423	30
done	5000	30
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	22	30
1	56	30
2	128	30
3	305	30
4	736	30
5	1615	30
6	4206	30
done	5000	30
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	19	26
1	47	26
2	111	26
3	253	26
4	459	26
5	914	26
6	2873	26
done	5001	26
0	14	21
1	27	19
2	53	19
3	82	19
4	101	19
5	117	19
done	117	19
0	14	26
1	29	26
2	69	26
3	158	26
4	244	26
5	351	26
6	524	26
7	1696	26
done	5000	26
0	8	13
1	15	13
2	29	13
3	43	13
4	53	13
5	59	13
done	59	13
0	14	22
1	29	22
2	70	22
3	154	22
4	235	22
5	341	22
6	511	22
7	1660	22
done	5000	22
0	7	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	22	30
1	56	30
2	128	30
3	305	30
4	736	30
5	1616	30
6	4218	30
done	5000	30
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	17	30
1	38	30
2	86	30
3	211	30
4	464	30
5	846	30
6	1434	30
7	3032	30
done	5000	30
0	5	9
1	6	9
done	6	9
0	15	26
1	41	26
2	91	26
3	184	26
4	324	26
5	703	26
6	2476	26
done	5001	26
0	12	29
1	25	25
2	47	25
3	62	25
4	73	25
5	79	25
done	79	25
0	19	26
1	47	26
2	111	26
3	253	26
4	451	26
5	911	26
6	2901	26
done	5001	26
0	14	21
1	27	19
2	53	19
3	82	19
4	101	19
5	117	19
done	117	19
0	15	22
1	41	22
2	91	22
3	187	22
4	327	22
5	706	22
6	2504	22
done	5000	22
0	11	16
1	21	14
2	36	14
3	42	14
4	47	14
done	47	14
0	18	30
1	50	30
2	109	30
3	242	30
4	560	30
5	1246	30
6	3457	30
done	5001	30
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	22	30
1	56	30
2	128	30
3	305	30
4	734	30
5	1623	30
6	4221	30
done	5001	30
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	19	26
1	47	26
2	111	26
3	253	26
4	456	26
5	915	26
6	2889	26
done	5000	26
0	14	21
1	27	19
2	53	19
3	82	19
4	101	19
5	117	19
done	117	19
0	14	26
1	29	26
2	70	26
3	154	26
4	239	26
5	347	26
6	517	26
7	1665	26
done	5001	26
0	8	13
1	15	13
2	29	13
3	43	13
4	53	13
5	59	13
done	59	13
0	14	22
1	29	22
2	69	22
3	158	22
4	244	22
5	350	22
6	523	22
7	1712	22
done	5001	22
0	7	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	22	30
1	56	30
2	128	30
3	305	30
4	735	30
5	1614	30
6	4216	30
done	5000	30
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	17	30
1	38	30
2	87	30
3	211	30
4	467	30
5	865	30
6	1464	30
7	3029	30
done	5000	30
0	5	9
1	6	9
done	6	9
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	12	17
1	26	17
2	47	17
3	92	17
4	156	17
5	244	17
6	327	17
7	390	17
8	422	17
9	430	17
done	430	17
0	15	22
1	40	22
2	88	22
3	183	22
4	320	22
5	709	22
6	2481	22
done	5001	22
0	14	22
1	28	22
2	66	22
3	152	22
4	227	22
5	332	22
6	507	22
7	1714	22
done	5001	22
0	10	18
1	20	18
2	42	18
3	77	10
4	105	7
5	187	7
6	318	7
7	620	7
8	1309	7
9	3622	7
done	5000	7
0	18	26
1	49	26
2	105	26
3	238	26
4	535	26
5	1193	26
6	3375	26
done	5000	26
0	17	26
1	37	26
2	83	26
3	209	26
4	447	26
5	828	26
6	1394	26
7	2956	26
done	5000	26
0	18	30
1	49	30
2	105	30
3	238	30
4	537	30
5	1193	30
6	3359	30
done	5001	30
0	22	30
1	56	30
2	128	30
3	305	30
4	734	30
5	1621	30
6	4223	30
done	5000	30
0	22	30
1	56	30
2	128	30
3	305	30
4	740	30
5	1610	30
6	4190	30
done	5001	30
0	17	30
1	37	30
2	83	30
3	209	30
4	447	30
5	822	30
6	1393	30
7	2990	30
done	5000	30
0	18	26
1	50	26
2	109	26
3	242	26
4	560	26
5	1245	26
6	3449	26
done	5001	26
0	17	26
1	38	26
2	87	26
3	211	26
4	468	26
5	878	26
6	1482	26
7	3035	26
done	5000	26
0	18	26
1	50	26
2	108	26
3	242	26
4	553	26
5	1233	26
6	3442	26
done	5000	26
0	17	26
1	38	26
2	86	26
3	211	26
4	464	26
5	850	26
6	1440	26
7	3012	26
done	5000	26
0	11	12
1	22	12
2	36	12
3	56	12
4	84	12
5	107	12
6	128	12
7	137	12
8	145	12
done	145	12
0	14	15
1	24	15
2	34	15
3	43	15
4	49	15
5	59	15
6	66	15
7	78	15
8	101	15
9	115	15
10	121	15
done	121	15
0	13	14
1	25	14
2	36	14
3	47	14
4	57	14
5	66	14
6	71	14
7	80	14
8	97	14
9	116	14
10	124	14
done	124	14
0	12	13
1	26	13
2	46	13
3	76	13
4	123	13
5	159	13
6	192	13
7	219	13
8	243	13
9	250	13
10	267	13
11	269	13
done	269	13
0	12	13
1	25	13
2	45	13
3	83	13
4	164	13
5	332	13
6	686	13
7	1929	13
done	5000	13
0	14	27
1	31	27
2	125	15
3	551	13
4	2194	13
done	5000	13
0	12	27
1	30	27
2	84	13
3	340	13
4	1558	13
done	5002	13
0	13	27
1	24	27
2	38	27
3	58	27
4	86	27
5	109	27
6	130	27
7	139	27
8	147	27
done	147	27
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	13	38
1	34	38
2	99	14
3	401	14
4	1918	13
done	5000	13
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	11	12
1	29	12
2	58	12
3	97	12
4	191	12
5	525	12
6	2325	12
done	5000	12
0	11	16
1	21	14
2	36	14
3	42	14
4	47	14
done	47	14
0	10	12
1	18	12
2	32	12
3	52	12
4	81	12
5	122	12
6	180	12
7	348	12
8	1633	12
done	5000	12
0	7	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	13	14
1	22	14
2	27	14
3	29	14
done	29	14
0	13	14
1	22	14
2	27	14
3	29	14
done	29	14
0	14	15
1	22	15
2	28	15
3	32	15
4	33	15
done	33	15
0	14	15
1	22	15
2	28	15
3	32	15
4	33	15
done	33	15
0	13	14
1	22	14
2	27	14
3	29	14
done	29	14
0	13	14
1	22	14
2	27	14
3	29	14
done	29	14
0	14	15
1	22	15
2	28	15
3	32	15
4	33	15
done	33	15
0	14	15
1	22	15
2	28	15
3	32	15
4	33	15
done	33	15
0	13	22
1	24	22
2	31	22
3	33	22
done	33	22
0	12	13
1	21	13
2	26	13
3	28	13
done	28	13
0	15	24
1	29	24
2	61	24
3	103	24
4	159	24
5	171	24
done	171	24
0	14	19
1	24	19
2	37	19
3	52	19
4	65	19
5	67	19
done	67	19
0	12	16
1	23	14
2	42	14
3	79	14
4	113	14
done	113	14
0	15	20
1	25	20
2	37	20
3	52	20
4	65	20
5	67	20
done	67	20
0	12	16
1	23	14
2	42	14
3	79	14
4	113	14
done	113	14
0	14	19
1	24	19
2	38	19
3	52	19
4	64	19
done	64	19
0	13	14
1	21	14
2	27	14
3	31	14
4	32	14
done	32	14
0	11	11
1	20	9
2	29	9
3	38	9
4	44	9
done	44	9
0	14	15
1	22	15
2	27	15
3	31	15
4	32	15
done	32	15
0	11	11
1	20	9
2	29	9
3	38	9
4	44	9
done	44	9
0	11	16
1	21	16
2	33	14
3	62	14
4	81	14
5	82	14
done	82	14
0	10	11
1	18	11
2	23	9
3	38	9
4	41	9
done	41	9
0	7	8
1	14	6
2	20	4
3	24	4
done	24	4
0	11	12
1	19	12
2	23	10
3	38	10
4	39	10
done	39	10
0	7	8
1	14	6
2	20	4
3	24	4
done	24	4
0	15	20
1	24	20
2	45	20
3	59	20
4	87	20
5	93	20
6	113	20
7	139	20
8	153	20
9	158	20
10	159	20
11	161	20
12	162	20
done	162	20
0	14	15
1	21	15
2	34	15
3	38	15
4	47	15
5	49	15
6	55	15
7	59	15
8	65	15
9	67	15
done	67	15
0	12	12
1	20	10
2	36	10
3	45	10
4	59	10
5	61	10
6	67	10
7	81	10
8	109	10
done	109	10
0	15	16
1	22	16
2	34	16
3	38	16
4	47	16
5	49	16
6	55	16
7	59	16
8	65	16
9	67	16
done	67	16
0	12	12
1	20	10
2	36	10
3	45	10
4	59	10
5	61	10
6	67	10
7	81	10
8	109	10
done	109	10
0	11	16
1	21	16
2	33	14
3	62	14
4	81	14
5	82	14
done	82	14
0	10	11
1	18	11
2	23	9
3	38	9
4	41	9
done	41	9
0	7	8
1	14	6
2	20	4
3	24	4
done	24	4
0	11	12
1	19	12
2	23	10
3	38	10
4	39	10
done	39	10
0	7	8
1	14	6
2	20	4
3	24	4
done	24	4
0	6	6
1	11	4
2	15	4
done	15	4
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	14	16
1	39	16
2	73	16
3	141	16
4	330	16
5	1108	16
6	4990	16
done	5000	16
0	13	16
1	28	16
2	58	16
3	122	16
4	235	16
5	435	16
6	675	16
7	1130	16
8	3046	16
done	5001	16
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	11	12
1	22	12
2	36	12
3	56	12
4	84	12
5	107	12
6	128	12
7	137	12
8	145	12
done	145	12
0	13	14
1	25	14
2	39	14
3	59	14
4	87	14
5	110	14
6	131	14
7	140	14
8	148	14
done	148	14
0	11	12
1	22	12
2	36	12
3	56	12
4	84	12
5	107	12
6	128	12
7	137	12
8	145	12
done	145	12
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	12	13
1	23	13
2	37	13
3	57	13
4	85	13
5	108	13
6	129	13
7	138	13
8	146	13
done	146	13
0	11	12
1	22	12
2	36	12
3	56	12
4	84	12
5	107	12
6	128	12
7	137	12
8	145	12
done	145	12
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	14	16
1	39	16
2	73	16
3	127	16
4	239	16
5	591	16
6	2386	16
done	5001	16
0	13	16
1	28	16
2	47	16
3	82	16
4	135	16
5	199	16
6	282	16
7	459	16
8	1770	16
done	5000	16
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
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	5	9
1	7	9
2	8	9
done	8	9
0	2	3
1	6	1
done	6	1
0	6	11
1	10	7
2	12	7
done	12	7
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	6	10
1	10	10
2	15	10
3	20	10
4	38	10
5	80	10
6	186	10
7	566	10
8	2256	10
done	5000	10
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	7	21
1	9	21
2	10	21
done	10	21
0	6	10
1	8	10
2	9	10
done	9	10
0	7	29
1	17	29
2	27	11
3	41	6
4	99	6
5	228	6
6	577	6
7	1955	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	6	10
1	9	5
2	10	5
done	10	5
0	8	17
1	23	17
2	45	17
3	79	17
4	166	17
5	494	17
6	2249	17
done	5000	17
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	12	17
1	31	17
2	58	17
3	103	17
4	218	17
5	592	17
6	2407	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	12	17
1	31	17
2	58	17
3	103	17
4	217	17
5	592	17
6	2426	17
done	5000	17
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	5	9
1	6	9
done	6	9
0	7	21
1	9	21
2	10	21
done	10	21
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	13
1	8	13
done	8	13
0	7	13
1	9	13
2	10	13
done	10	13
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
1	5	3
done	5	1
0	5	9
1	7	9
2	8	9
done	8	9
0	7	23
1	13	23
2	16	13
3	25	7
4	40	7
5	66	7
6	137	7
7	354	7
8	1244	7
done	5000	7
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	2	3
1	4	1
done	4	1
0	5	9
1	7	9
2	8	9
done	8	9
0	6	11
1	8	11
2	9	11
done	9	11
0	6	11
1	8	11
2	9	11
done	9	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	6	11
1	8	4
2	10	4
done	10	4
0	6	11
1	8	4
2	10	4
done	10	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	10	15
2	11	15
done	11	15
0	7	10
1	10	10
2	11	10
done	11	10
0	7	7
1	12	6
2	13	6
done	13	4
0	9	11
1	13	11
2	14	11
done	14	11
0	7	7
1	12	6
2	13	6
done	13	4
0	7	16
1	12	16
2	15	16
done	15	16
0	6	10
1	9	10
2	10	10
done	10	10
0	6	6
1	11	4
2	15	4
done	15	4
0	6	10
1	9	10
2	10	10
done	10	10
0	7	10
1	10	10
2	11	10
done	11	10
0	5	9
1	7	9
2	8	9
done	8	9
0	9	11
1	14	11
2	16	11
done	16	11
0	5	9
1	7	9
2	8	9
done	8	9
0	6	10
1	9	10
2	10	10
done	10	10
0	6	10
1	9	10
2	10	10
done	10	10
0	5	9
1	7	9
2	8	9
done	8	9
0	10	13
1	28	13
2	50	13
3	84	13
4	171	13
5	506	13
6	2262	13
done	5001	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	129	13
6	278	13
7	1442	13
done	5001	13
0	10	13
1	28	13
2	50	13
3	84	13
4	174	13
5	507	13
6	2255	13
done	5000	13
0	9	13
1	16	13
2	28	13
3	53	13
4	81	13
5	134	13
6	283	13
7	1483	13
done	5001	13
0	1	1
done	1	1
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
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	28	40
1	67	37
2	147	30
3	426	22
4	1334	20
done	5000	19
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3

prune315.0ms

Filtered

170 candidates to 219 candidates (-28.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	216	3	219
Fresh	2	10	12
Picked	0	1	1
Done	1	1	2
Total	219	15	234

Merged error: 3.9b

Counts

234 → 15

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y z) (- a z))
2.1b	(+ x (pow (* (/ (- y z) (- a z)) (- t x)) 1))
2.7b	(* (/ (- y z) (- a z)) (- t x))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
75×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
27×	`add-cube-cbrt`
23×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-r` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`associate-/r/`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `sub-neg` `distribute-lft-in` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `flip-+` `distribute-lft-out`

Counts

3 → 124

Calls

3 calls:

9.0ms	(/ (- y z) (- a z))
5.0ms	(+ x (pow (* (/ (- y z) (- a z)) (- t x)) 1))
17.0ms	(* (/ (- y z) (- a z)) (- t x))

series142.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ (- y z) (- a z))
66.0ms	(+ x (pow (* (/ (- y z) (- a z)) (- t x)) 1))
65.0ms	(* (/ (- y z) (- a z)) (- t x))

simplify3.0min

Counts

133 → 133

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	11
2	41	11
3	105	11
4	219	11
5	436	11
6	682	11
7	990	11
8	1571	11
9	2002	11
10	2032	11
done	2032	11
0	13	14
1	23	14
2	36	14
3	45	14
4	54	14
5	59	14
6	68	14
7	85	14
8	104	14
9	112	14
done	112	14
0	12	13
1	24	13
2	35	13
3	46	13
4	56	13
5	65	13
6	70	13
7	79	13
8	96	13
9	115	13
10	123	13
done	123	13
0	11	12
1	25	12
2	51	12
3	125	12
4	255	12
5	481	12
6	741	12
7	1061	12
8	1669	12
9	2121	12
10	2194	12
11	2226	12
12	2270	12
done	2270	12
0	11	12
1	24	12
2	53	12
3	139	12
4	308	12
5	700	12
6	1466	12
7	4441	12
done	5001	12
0	16	35
1	36	35
2	161	17
3	816	15
4	4682	15
done	5000	15
0	14	35
1	35	35
2	119	15
3	552	15
4	3119	13
done	5000	13
0	12	25
1	23	25
2	43	25
3	107	25
4	221	25
5	439	25
6	685	25
7	993	25
8	1573	25
9	2005	25
10	2035	25
done	2035	25
0	11	12
1	22	12
2	42	12
3	106	12
4	220	12
5	434	12
6	687	12
7	993	12
8	1576	12
9	2009	12
10	2039	12
done	2039	12
0	12	35
1	33	35
2	122	13
3	666	13
4	4025	13
done	5001	13
0	11	12
1	22	12
2	42	12
3	106	12
4	220	12
5	434	12
6	687	12
7	993	12
8	1576	12
9	2009	12
10	2039	12
done	2039	12
0	11	12
1	22	12
2	42	12
3	106	12
4	220	12
5	434	12
6	687	12
7	993	12
8	1576	12
9	2009	12
10	2039	12
done	2039	12
0	10	11
1	28	11
2	63	11
3	179	11
4	616	11
5	2285	11
done	5001	11
0	11	15
1	27	13
2	75	13
3	214	13
4	503	13
5	1212	13
6	2467	13
done	5000	13
0	9	11
1	17	11
2	41	11
3	136	11
4	427	11
5	1042	11
6	2916	11
done	5000	11
0	7	7
1	17	7
2	37	7
3	64	7
4	110	7
5	157	7
6	227	7
7	408	7
8	644	7
9	711	7
10	715	7
done	715	7
0	12	13
1	21	13
2	26	13
3	28	13
done	28	13
0	12	13
1	21	13
2	26	13
3	28	13
done	28	13
0	13	14
1	21	14
2	27	14
3	29	14
4	31	14
5	32	14
done	32	14
0	13	14
1	21	14
2	27	14
3	29	14
4	31	14
5	32	14
done	32	14
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	9	10
1	20	10
2	33	10
3	73	10
4	139	10
5	217	9
6	266	9
7	292	9
8	304	9
9	319	9
10	361	9
11	443	9
12	448	9
done	448	9
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	9	10
1	20	10
2	33	10
3	73	10
4	139	10
5	217	9
6	266	9
7	292	9
8	304	9
9	319	9
10	361	9
11	443	9
12	448	9
done	448	9
0	8	9
1	17	9
2	30	9
3	50	9
4	78	9
5	101	9
6	122	9
7	133	9
8	142	9
done	142	9
0	9	10
1	20	10
2	39	10
3	86	10
4	160	10
5	229	9
6	263	9
7	277	9
8	296	9
9	338	9
10	420	9
11	425	9
done	425	9
0	8	9
1	17	9
2	30	9
3	50	9
4	78	9
5	101	9
6	122	9
7	133	9
8	142	9
done	142	9
0	9	10
1	20	10
2	39	10
3	86	10
4	160	10
5	229	9
6	263	9
7	277	9
8	296	9
9	338	9
10	420	9
11	425	9
done	425	9
0	12	17
1	25	17
2	38	17
3	74	17
4	135	17
5	208	17
6	285	17
7	355	17
8	404	17
9	425	17
10	437	17
11	453	17
12	459	17
13	463	17
done	463	17
0	11	12
1	22	12
2	30	12
3	54	12
4	73	12
5	98	12
6	115	12
7	131	12
8	142	12
9	147	12
done	147	12
0	8	9
1	19	7
2	33	7
3	58	7
4	84	7
5	115	7
6	146	7
7	195	7
8	285	7
9	404	7
10	664	7
11	855	7
12	1238	7
13	1977	7
14	2311	7
15	2525	7
16	2535	7
done	2535	7
0	12	13
1	28	13
2	48	13
3	106	13
4	195	13
5	348	13
6	497	13
7	793	13
8	1463	13
9	2208	13
10	2304	13
11	2314	13
12	2317	13
done	2317	13
0	8	9
1	19	7
2	33	7
3	58	7
4	84	7
5	115	7
6	146	7
7	195	7
8	285	7
9	404	7
10	664	7
11	855	7
12	1238	7
13	1977	7
14	2311	7
15	2525	7
16	2535	7
done	2535	7
0	11	12
1	20	12
2	31	12
3	38	12
4	42	12
done	42	12
0	11	12
1	20	12
2	31	12
3	38	12
4	42	12
done	42	12
0	12	13
1	20	13
2	38	13
3	52	13
4	71	13
5	87	13
6	97	13
7	99	13
done	99	13
0	12	13
1	20	13
2	38	13
3	52	13
4	71	13
5	87	13
6	97	13
7	99	13
done	99	13
0	11	12
1	19	12
2	37	12
3	54	12
4	78	12
5	104	12
6	126	12
7	136	12
8	140	12
done	140	12
0	13	14
1	22	14
2	40	14
3	57	14
4	81	14
5	107	14
6	129	14
7	139	14
8	143	14
done	143	14
0	11	12
1	19	12
2	37	12
3	54	12
4	78	12
5	104	12
6	126	12
7	136	12
8	140	12
done	140	12
0	12	13
1	20	13
2	38	13
3	52	13
4	71	13
5	87	13
6	97	13
7	99	13
done	99	13
0	12	13
1	20	13
2	38	13
3	52	13
4	71	13
5	87	13
6	97	13
7	99	13
done	99	13
0	11	12
1	19	12
2	37	12
3	54	12
4	78	12
5	104	12
6	126	12
7	136	12
8	140	12
done	140	12
0	13	14
1	22	14
2	40	14
3	57	14
4	81	14
5	107	14
6	129	14
7	139	14
8	143	14
done	143	14
0	11	12
1	19	12
2	37	12
3	54	12
4	78	12
5	104	12
6	126	12
7	136	12
8	140	12
done	140	12
0	11	12
1	22	12
2	42	12
3	103	12
4	212	12
5	410	12
6	644	12
7	926	12
8	1492	12
9	1916	12
10	1946	12
done	1946	12
0	11	12
1	22	12
2	42	12
3	103	12
4	212	12
5	410	12
6	644	12
7	926	12
8	1492	12
9	1916	12
10	1946	12
done	1946	12
0	10	11
1	21	11
2	41	11
3	105	11
4	219	11
5	436	11
6	682	11
7	990	11
8	1571	11
9	2002	11
10	2032	11
done	2032	11
0	12	13
1	24	13
2	44	13
3	108	13
4	222	13
5	433	13
6	677	13
7	985	13
8	1568	13
9	2001	13
10	2031	13
done	2031	13
0	10	11
1	21	11
2	41	11
3	105	11
4	219	11
5	436	11
6	682	11
7	990	11
8	1571	11
9	2002	11
10	2032	11
done	2032	11
0	13	14
1	25	14
2	45	14
3	106	14
4	215	14
5	416	14
6	646	14
7	938	14
8	1469	14
9	1892	14
10	1922	14
done	1922	14
0	13	14
1	25	14
2	45	14
3	106	14
4	215	14
5	416	14
6	646	14
7	938	14
8	1469	14
9	1892	14
10	1922	14
done	1922	14
0	12	13
1	24	13
2	44	13
3	108	13
4	222	13
5	433	13
6	677	13
7	993	13
8	1543	13
9	1972	13
10	2002	13
done	2002	13
0	13	15
1	24	15
2	44	15
3	108	15
4	222	15
5	433	15
6	677	15
7	1005	15
8	1560	15
9	1989	15
10	2019	15
done	2019	15
0	12	13
1	24	13
2	44	13
3	108	13
4	222	13
5	433	13
6	677	13
7	993	13
8	1543	13
9	1972	13
10	2002	13
done	2002	13
0	11	12
1	22	12
2	42	12
3	103	12
4	212	12
5	410	12
6	644	12
7	926	12
8	1492	12
9	1916	12
10	1946	12
done	1946	12
0	11	12
1	22	12
2	42	12
3	103	12
4	212	12
5	410	12
6	644	12
7	926	12
8	1492	12
9	1916	12
10	1946	12
done	1946	12
0	10	11
1	21	11
2	41	11
3	105	11
4	219	11
5	436	11
6	682	11
7	990	11
8	1571	11
9	2002	11
10	2032	11
done	2032	11
0	12	13
1	24	13
2	44	13
3	108	13
4	222	13
5	433	13
6	677	13
7	985	13
8	1568	13
9	2001	13
10	2031	13
done	2031	13
0	10	11
1	21	11
2	41	11
3	105	11
4	219	11
5	436	11
6	682	11
7	990	11
8	1571	11
9	2002	11
10	2032	11
done	2032	11
0	10	11
1	21	11
2	41	11
3	105	11
4	219	11
5	436	11
6	682	11
7	990	11
8	1571	11
9	2002	11
10	2032	11
done	2032	11
0	9	9
1	18	9
2	35	7
3	77	7
4	122	7
5	160	7
6	180	7
7	193	7
8	199	7
done	199	7
0	11	15
1	21	13
2	50	13
3	153	13
4	374	13
5	894	13
6	2001	13
7	3996	13
done	5000	13
0	7	7
1	11	7
2	26	7
3	55	7
4	103	7
5	153	7
6	191	7
7	277	7
8	466	7
9	714	7
10	781	7
11	785	7
done	785	7
0	13	15
1	37	15
2	78	15
3	258	15
4	1052	15
5	4310	15
done	5000	15
0	12	15
1	26	15
2	58	15
3	204	15
4	696	15
5	1788	15
done	5000	15
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	15	17
1	36	14
2	70	14
3	173	14
4	403	14
5	1028	14
6	2655	14
done	5000	14
0	14	16
1	33	14
2	60	14
3	139	14
4	295	14
5	653	14
6	1295	14
7	2960	14
done	5000	14
0	14	16
1	36	14
2	70	14
3	173	14
4	403	14
5	1026	14
6	2660	14
done	5001	14
0	15	33
1	34	29
2	61	29
3	140	29
4	296	29
5	655	29
6	1293	29
7	2964	29
done	5000	29
0	14	16
1	33	14
2	60	14
3	139	14
4	295	14
5	653	14
6	1295	14
7	2960	14
done	5000	14
0	15	47
1	47	41
2	140	15
3	615	15
4	3783	15
done	5000	15
0	14	16
1	33	14
2	60	14
3	139	14
4	295	14
5	653	14
6	1295	14
7	2960	14
done	5000	14
0	14	16
1	33	14
2	60	14
3	139	14
4	295	14
5	653	14
6	1295	14
7	2960	14
done	5000	14
0	16	19
1	47	17
2	132	17
3	597	17
4	4211	17
done	5001	17
0	17	47
1	45	29
2	133	29
3	531	29
4	2517	29
done	5000	29
0	15	31
1	40	17
2	97	17
3	422	17
4	2446	17
done	5000	17
0	13	15
1	33	13
2	72	13
3	192	13
4	494	13
5	1220	13
6	2377	13
done	5000	13
0	13	15
1	32	13
2	59	13
3	138	13
4	294	13
5	653	13
6	1300	13
7	2982	13
done	5000	13
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	10	13
1	20	13
2	39	13
3	63	11
4	92	9
5	120	9
6	168	9
7	244	9
8	338	9
9	369	9
10	422	9
11	462	9
12	478	9
13	514	9
14	604	9
15	834	9
16	1112	9
17	1656	9
18	2136	9
19	2189	9
done	2189	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune143.0ms

Filtered

96 candidates to 133 candidates (-38.5%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	133	15	148

Merged error: 3.9b

Counts

148 → 15

regimes623.0ms

Accuracy

12.6% (7.4b remaining)

Error of 10.7b against oracle of 3.3b and baseline of 11.8b

bsearch26.0ms

Steps

Iters	Range		Point
7	-2.3717343991596876e+136	-6.788562290076345e+134	-2.1381817710311777e+136

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	28
1	26	26
done	26	26

end0.0ms

sample1.1s

Algorithm

intervals

Results

345.0ms	7825×	body	80	valid
78.0ms	505×	body	640	valid
49.0ms	254×	body	1280	valid
46.0ms	402×	body	320	valid
21.0ms	266×	body	160	valid
4.0ms	14×	body	2560	valid

Details

sample43.0ms

simplify9.7s

prune9.0ms

localize10.0ms

rewrite38.0ms

series118.0ms

simplify3.0min

prune215.0ms

localize18.0ms

rewrite48.0ms

series267.0ms

simplify2.7min

prune176.0ms

localize14.0ms

rewrite83.0ms

series305.0ms

simplify5.6min

prune315.0ms

localize12.0ms

rewrite42.0ms

series142.0ms

simplify3.0min

prune143.0ms

regimes623.0ms

bsearch26.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling