Details

sample41.0ms

Algorithm

intervals

Results

11.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

simplify8.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	20	13
2	45	13
3	109	13
4	244	13
5	485	13
6	944	13
7	1551	13
8	2732	13
9	3945	13
10	4555	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: 23.3b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y z) (- t x))
2.1b	(+ x (/ (* (- y z) (- t x)) (- a z)))
17.0b	(/ (* (- y z) (- t x)) (- a z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 81

Calls

3 calls:

11.0ms	(* (- y z) (- t x))
8.0ms	(+ x (/ (* (- y z) (- t x)) (- a z)))
15.0ms	(/ (* (- y z) (- t x)) (- a z))

series114.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(* (- y z) (- t x))
62.0ms	(+ x (/ (* (- y z) (- t x)) (- a z)))
41.0ms	(/ (* (- y z) (- t x)) (- a z))

simplify3.2min

Counts

90 → 90

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	14
1	23	14
2	33	14
3	39	14
4	45	14
5	54	14
6	67	14
7	85	14
8	101	14
9	108	14
10	125	14
11	127	14
done	127	14
0	12	13
1	23	13
2	44	13
3	87	13
4	154	13
5	250	13
6	334	13
7	471	13
8	727	13
9	906	13
10	940	13
11	977	13
12	1021	13
13	1023	13
done	1023	13
0	11	12
1	22	12
2	55	12
3	131	12
4	262	12
5	457	12
6	743	12
7	1061	12
8	1592	12
9	2059	12
10	2249	12
11	2286	12
12	2330	12
done	2330	12
0	11	12
1	19	12
2	44	12
3	109	12
4	247	12
5	491	12
6	951	12
7	2031	12
done	5000	12
0	16	35
1	36	35
2	177	17
3	906	17
4	4562	15
done	5000	15
0	14	35
1	38	35
2	202	15
3	1241	13
done	5001	13
0	12	25
1	20	25
2	45	25
3	105	25
4	221	25
5	414	25
6	689	25
7	986	25
8	1501	25
9	1957	25
10	2101	25
11	2107	25
done	2107	25
0	11	12
1	19	12
2	44	12
3	104	12
4	220	12
5	411	12
6	689	12
7	985	12
8	1500	12
9	1956	12
10	2100	12
11	2106	12
done	2106	12
0	12	35
1	27	35
2	89	13
3	466	13
4	2993	13
done	5000	13
0	11	12
1	19	12
2	44	12
3	104	12
4	220	12
5	411	12
6	689	12
7	985	12
8	1500	12
9	1956	12
10	2100	12
11	2106	12
done	2106	12
0	11	12
1	19	12
2	44	12
3	104	12
4	220	12
5	411	12
6	689	12
7	985	12
8	1500	12
9	1956	12
10	2100	12
11	2106	12
done	2106	12
0	8	8
1	17	8
2	45	8
3	126	8
4	248	7
5	572	7
6	720	7
7	845	7
8	965	7
done	965	7
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	8	8
1	15	8
2	19	8
3	21	8
done	21	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
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	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	5	5
1	12	3
2	17	3
done	17	3
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	10	11
1	21	11
2	49	11
3	91	11
4	161	11
5	256	11
6	331	11
7	455	11
8	694	11
9	869	11
10	882	11
11	884	11
12	886	11
done	886	11
0	12	17
1	25	17
2	63	17
3	148	17
4	353	17
5	727	17
6	1217	17
7	1726	17
8	2527	17
9	3357	17
10	3683	17
11	3702	17
done	3702	17
0	11	12
1	19	12
2	41	12
3	96	12
4	208	12
5	397	12
6	650	12
7	929	12
8	1418	12
9	1866	12
10	2008	12
11	2014	12
done	2014	12
0	9	9
1	18	7
2	43	7
3	107	7
4	227	7
5	370	7
6	528	7
7	774	7
8	1098	7
9	1336	7
10	1351	7
done	1351	7
0	12	13
1	20	13
2	41	13
3	96	13
4	208	13
5	397	13
6	650	13
7	926	13
8	1418	13
9	1866	13
10	2008	13
11	2014	13
done	2014	13
0	9	9
1	18	7
2	43	7
3	107	7
4	227	7
5	370	7
6	528	7
7	774	7
8	1098	7
9	1336	7
10	1351	7
done	1351	7
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	13	15
1	35	15
2	80	15
3	197	15
4	531	15
5	1795	15
done	5000	15
0	12	15
1	24	15
2	63	15
3	178	15
4	433	15
5	1044	15
6	1938	15
7	3325	15
done	5000	15
0	18	27
1	44	23
2	170	23
3	932	23
4	4480	23
done	5000	23
0	14	19
1	34	17
2	126	17
3	531	17
4	2013	17
done	5000	17
0	14	19
1	34	17
2	128	17
3	523	17
4	1824	17
done	5000	17
0	10	11
1	24	11
2	84	11
3	264	11
4	699	11
5	1996	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	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	13	15
1	24	14
2	50	14
3	119	14
4	284	14
5	609	14
6	1416	14
7	3926	14
done	5000	14
0	12	14
1	21	14
2	46	14
3	110	14
4	245	14
5	488	14
6	949	14
7	1551	14
8	2741	14
9	3955	14
10	4563	14
done	5000	14
0	12	14
1	24	14
2	50	14
3	119	14
4	284	14
5	605	14
6	1413	14
7	3912	14
done	5000	14
0	13	29
1	22	29
2	47	29
3	111	29
4	246	29
5	487	29
6	948	29
7	1562	29
8	2744	29
9	3953	29
10	4561	29
done	5000	29
0	12	14
1	21	14
2	46	14
3	110	14
4	245	14
5	488	14
6	949	14
7	1551	14
8	2741	14
9	3955	14
10	4563	14
done	5000	14
0	13	41
1	35	41
2	108	15
3	418	15
4	2106	15
done	5000	15
0	12	14
1	21	14
2	46	14
3	110	14
4	245	14
5	488	14
6	949	14
7	1551	14
8	2741	14
9	3955	14
10	4563	14
done	5000	14
0	12	14
1	21	14
2	46	14
3	110	14
4	245	14
5	488	14
6	949	14
7	1551	14
8	2741	14
9	3955	14
10	4563	14
done	5000	14
0	14	17
1	39	17
2	105	17
3	428	17
4	2639	17
done	5001	17
0	15	41
1	37	29
2	111	29
3	449	29
4	1969	29
done	5000	29
0	13	27
1	30	27
2	84	27
3	365	27
4	1911	27
done	5000	27
0	11	13
1	21	13
2	51	13
3	134	13
4	342	13
5	818	13
6	1460	13
7	2295	13
8	3153	13
9	3754	13
10	3998	13
11	4164	13
12	4545	13
done	5000	13
0	11	13
1	20	13
2	45	13
3	109	13
4	244	13
5	485	13
6	944	13
7	1551	13
8	2732	13
9	3945	13
10	4555	13
done	5000	13
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	9	9
1	14	9
2	16	9
done	16	9
0	8	8
1	16	8
2	31	8
3	65	8
4	129	8
5	223	8
6	298	8
7	422	8
8	660	8
9	823	8
10	830	8
done	830	8
0	8	8
1	15	8
2	40	8
3	100	8
4	228	8
5	512	8
6	1224	8
7	4841	8
done	5000	8
0	11	23
1	22	23
2	79	11
3	338	11
4	1589	9
done	5001	9
0	9	17
1	14	17
2	28	17
3	62	17
4	126	17
5	222	17
6	297	17
7	421	17
8	659	17
9	818	17
10	825	17
done	825	17
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	9	23
1	24	23
2	103	9
3	532	9
4	2485	9
done	5000	9
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	8	8
1	13	8
2	27	8
3	61	8
4	125	8
5	219	8
6	294	8
7	418	8
8	656	8
9	815	8
10	822	8
done	822	8
0	12	15
1	40	15
2	93	15
3	288	15
4	1330	15
done	5001	15
0	15	23
1	36	19
2	115	19
3	485	19
4	1614	19
done	5000	19
0	12	15
1	33	15
2	78	15
3	259	15
4	1286	15
done	5001	15
0	11	15
1	26	13
2	77	13
3	209	13
4	486	13
5	1009	13
6	1178	13
7	1180	13
done	1180	13
0	12	15
1	33	15
2	78	15
3	259	15
4	1285	15
done	5000	15
0	11	15
1	26	13
2	79	13
3	211	13
4	446	13
5	987	13
6	1364	13
7	1378	13
done	1378	13
0	11	15
1	22	15
2	56	15
3	226	15
4	1041	15
5	3745	15
done	5000	15
0	7	7
1	16	7
2	41	7
3	61	7
4	87	7
5	95	7
done	95	7
0	9	9
1	14	9
2	16	9
done	16	9
0	9	9
1	14	9
2	16	9
done	16	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	21	6
3	43	6
4	67	5
5	73	5
done	73	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	27	6
3	45	6
4	66	5
5	71	5
done	71	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	6
1	11	6
2	27	6
3	45	6
4	66	5
5	71	5
done	71	5
0	9	13
1	16	13
2	26	13
3	43	13
4	57	13
5	67	13
done	67	13
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	9	9
1	19	9
2	39	9
3	66	9
4	113	9
5	162	9
6	232	9
7	413	9
8	649	9
9	722	9
10	726	9
done	726	9
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
0	8	8
1	13	8
2	21	8
3	26	8
4	30	8
done	30	8
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	9	9
1	14	9
2	28	9
3	62	9
4	126	9
5	222	9
6	297	9
7	427	9
8	646	9
9	803	9
10	810	9
done	810	9
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	10	11
1	28	11
2	63	11
3	179	11
4	616	11
5	2285	11
done	5001	11
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	10	11
1	28	11
2	63	11
3	179	11
4	615	11
5	2298	11
done	5000	11
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	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	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9
0	9	11
1	17	11
2	28	9
3	54	9
4	69	9
5	98	9
6	153	9
7	208	9
8	228	9
9	235	9
done	235	9

prune176.0ms

Filtered

72 candidates to 90 candidates (-25.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	79	11	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	11	91

Merged error: 3.9b

Counts

91 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
1.8b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
6.7b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
52×	`times-frac`
46×	`associate-r`
37×	`cbrt-prod`
27×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`flip3--` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 134

Calls

4 calls:

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

series192.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (- a z))
31.0ms	(cbrt (- a z))
69.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
58.0ms	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify5.9min

Counts

146 → 146

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	26
1	39	25
2	86	25
3	241	25
4	665	17
5	1566	14
6	3409	14
done	5000	14
0	15	25
1	34	25
2	71	25
3	200	25
4	543	17
5	1178	14
6	2201	14
7	3739	14
done	5001	14
0	15	25
1	37	25
2	79	25
3	227	25
4	626	17
5	1440	14
6	3094	14
done	5000	14
0	16	51
1	35	51
2	72	51
3	201	51
4	545	35
5	1176	29
6	2206	29
7	3736	29
done	5000	29
0	15	25
1	34	25
2	71	25
3	200	25
4	543	17
5	1178	14
6	2201	14
7	3739	14
done	5001	14
0	16	74
1	48	74
2	149	26
3	716	26
4	4688	18
done	5000	18
0	15	25
1	34	25
2	71	25
3	200	25
4	543	17
5	1178	14
6	2201	14
7	3739	14
done	5001	14
0	15	25
1	34	25
2	71	25
3	200	25
4	543	17
5	1178	14
6	2201	14
7	3739	14
done	5001	14
0	17	28
1	52	28
2	155	28
3	785	17
done	5000	17
0	18	74
1	53	51
2	189	51
3	901	51
done	5001	51
0	16	49
1	46	49
2	153	49
3	789	49
done	5000	49
0	14	24
1	34	24
2	82	24
3	264	24
4	856	16
5	2196	13
6	4178	13
done	5001	13
0	13	22
1	31	22
2	68	22
3	197	22
4	531	14
5	1113	11
6	2035	11
7	3258	11
done	5000	11
0	16	27
1	34	23
2	75	23
3	168	23
4	334	18
5	496	17
6	640	17
7	683	17
done	683	17
0	16	26
1	35	22
2	71	22
3	146	22
4	301	22
5	471	17
6	613	17
7	659	17
done	659	17
0	17	26
1	32	26
2	65	23
3	156	23
4	305	18
5	468	18
6	613	17
7	658	17
done	658	17
0	16	25
1	33	25
2	63	22
3	136	22
4	281	22
5	451	17
6	595	17
7	641	17
done	641	17
0	16	25
1	34	25
2	62	25
3	129	23
4	255	22
5	497	17
6	630	17
7	705	17
8	707	17
done	707	17
0	15	24
1	35	24
2	62	24
3	116	22
4	230	22
5	438	18
6	597	17
7	680	17
8	697	17
done	697	17
0	14	23
1	35	23
2	85	23
3	247	23
4	698	15
5	1497	12
6	2707	12
7	4141	12
done	5000	12
0	14	23
1	34	23
2	80	23
3	231	23
4	631	15
5	1425	12
6	2919	12
done	5000	12
0	16	35
1	37	35
2	145	23
3	654	23
4	3531	17
done	5000	17
0	17	46
1	45	46
2	167	24
3	786	24
done	5000	24
0	19	57
1	48	57
2	212	27
3	1378	22
done	5001	22
0	19	68
1	55	68
2	233	28
3	1545	22
done	5000	22
0	17	57
1	42	57
2	160	25
3	877	25
done	5002	25
0	17	68
1	49	68
2	181	26
3	982	26
done	5000	26
0	15	47
1	33	47
2	70	47
3	199	47
4	531	31
5	1115	25
6	2022	25
7	3240	25
done	5000	25
0	14	23
1	32	23
2	69	23
3	198	23
4	529	15
5	1116	12
6	2045	12
7	3270	12
done	5000	12
0	15	68
1	43	68
2	163	24
3	1054	24
done	5001	24
0	14	23
1	32	23
2	69	23
3	198	23
4	529	15
5	1116	12
6	2045	12
7	3270	12
done	5000	12
0	14	23
1	32	23
2	69	23
3	198	23
4	529	15
5	1116	12
6	2045	12
7	3270	12
done	5000	12
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	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	15	24
1	29	24
2	41	24
3	48	24
4	51	24
done	51	24
0	15	24
1	29	24
2	41	24
3	48	24
4	51	24
done	51	24
0	17	25
1	30	25
2	43	25
3	52	25
4	56	25
done	56	25
0	17	25
1	30	25
2	43	25
3	52	25
4	56	25
done	56	25
0	16	25
1	29	25
2	42	25
3	51	25
4	55	25
done	55	25
0	16	25
1	29	25
2	42	25
3	51	25
4	55	25
done	55	25
0	14	19
1	25	19
2	33	19
3	37	19
4	39	19
5	40	19
done	40	19
0	14	19
1	25	19
2	33	19
3	37	19
4	39	19
5	40	19
done	40	19
0	16	20
1	26	20
2	38	20
3	55	20
4	76	20
5	88	20
6	90	20
done	90	20
0	16	20
1	26	20
2	38	20
3	55	20
4	76	20
5	88	20
6	90	20
done	90	20
0	15	20
1	25	20
2	37	20
3	54	20
4	75	20
5	87	20
6	89	20
done	89	20
0	15	20
1	25	20
2	37	20
3	54	20
4	75	20
5	87	20
6	89	20
done	89	20
0	15	33
1	33	33
2	63	33
3	127	33
4	259	33
5	412	33
6	579	33
7	712	33
8	765	33
9	776	33
done	776	33
0	14	23
1	30	23
2	53	23
3	90	23
4	138	23
5	198	23
6	233	23
7	252	23
8	256	23
done	256	23
0	16	34
1	33	34
2	71	34
3	194	34
4	564	34
5	1205	34
6	1979	34
7	2861	34
8	3337	34
9	3399	34
done	3399	34
0	17	29
1	34	29
2	72	29
3	195	29
4	568	29
5	1207	29
6	1979	29
7	2859	29
8	3343	29
9	3401	29
done	3401	29
0	17	26
1	36	25
2	74	25
3	194	23
4	555	23
5	1023	23
6	1624	23
7	2204	23
8	2457	23
9	2458	23
done	2458	23
0	19	30
1	37	30
2	75	30
3	198	30
4	567	30
5	1209	30
6	1972	30
7	2847	30
8	3352	30
9	3419	30
done	3419	30
0	17	26
1	36	25
2	74	25
3	194	23
4	555	23
5	1023	23
6	1624	23
7	2204	23
8	2457	23
9	2458	23
done	2458	23
0	17	35
1	38	35
2	99	35
3	313	35
4	1066	35
5	2625	35
6	4549	35
done	5000	35
0	16	29
1	33	29
2	71	29
3	194	29
4	564	29
5	1205	29
6	1979	29
7	2861	29
8	3337	29
9	3399	29
done	3399	29
0	16	25
1	35	23
2	79	23
3	248	23
4	662	23
5	1103	23
6	1499	23
7	2088	23
8	2288	23
9	2290	23
done	2290	23
0	15	29
1	30	29
2	59	29
3	133	29
4	298	29
5	507	29
6	718	29
7	935	29
8	1014	29
9	1018	29
done	1018	29
0	16	24
1	31	24
2	60	24
3	134	24
4	298	24
5	507	24
6	718	24
7	932	24
8	1012	24
9	1016	24
done	1016	24
0	16	21
1	33	20
2	62	20
3	136	18
4	367	18
5	621	18
6	867	18
7	1020	18
8	1040	18
done	1040	18
0	18	25
1	34	25
2	63	25
3	137	25
4	301	25
5	510	25
6	721	25
7	935	25
8	1016	25
9	1020	25
done	1020	25
0	16	21
1	33	20
2	62	20
3	136	18
4	367	18
5	621	18
6	867	18
7	1020	18
8	1040	18
done	1040	18
0	16	30
1	33	30
2	72	30
3	189	30
4	511	30
5	1018	30
6	1575	30
7	2184	30
8	2511	30
9	2532	30
done	2532	30
0	15	24
1	30	24
2	59	24
3	133	24
4	298	24
5	507	24
6	718	24
7	935	24
8	1014	24
9	1018	24
done	1018	24
0	15	20
1	32	18
2	63	18
3	145	18
4	322	18
5	461	18
6	568	18
7	717	18
8	737	18
done	737	18
0	12	26
1	27	26
2	55	24
3	160	24
4	369	24
5	635	24
6	943	24
7	1296	24
8	1548	24
9	1642	24
done	1642	24
0	13	21
1	28	21
2	56	19
3	161	19
4	370	19
5	638	19
6	952	19
7	1290	19
8	1508	19
9	1584	19
done	1584	19
0	12	18
1	27	17
2	54	15
3	162	13
4	628	13
5	828	13
6	961	13
7	1154	13
8	1256	13
9	1258	13
done	1258	13
0	15	22
1	31	22
2	59	20
3	164	20
4	374	20
5	641	20
6	951	20
7	1306	20
8	1544	20
9	1617	20
done	1617	20
0	12	18
1	27	17
2	54	15
3	162	13
4	628	13
5	828	13
6	961	13
7	1154	13
8	1256	13
9	1258	13
done	1258	13
0	13	27
1	30	27
2	67	25
3	227	25
4	647	25
5	1281	25
6	2021	25
7	3023	25
8	3696	25
9	3898	25
done	3898	25
0	12	21
1	27	21
2	55	19
3	160	19
4	369	19
5	635	19
6	943	19
7	1296	19
8	1548	19
9	1642	19
done	1642	19
0	11	17
1	26	15
2	53	13
3	126	13
4	300	13
5	424	13
6	558	13
7	737	13
8	840	13
done	840	13
0	16	30
1	30	30
2	66	30
3	176	30
4	436	30
5	850	30
6	1452	30
7	2449	30
8	3942	30
done	5000	30
0	17	25
1	31	25
2	67	25
3	177	25
4	435	25
5	846	25
6	1454	25
7	2448	25
8	3936	25
done	5000	25
0	17	22
1	33	21
2	69	21
3	179	19
4	505	19
5	1016	19
6	1878	19
7	2476	19
8	3381	19
done	5000	19
0	19	26
1	34	26
2	70	26
3	180	26
4	439	26
5	849	26
6	1454	26
7	2449	26
8	3945	26
done	5001	26
0	17	22
1	33	21
2	69	21
3	179	19
4	505	19
5	1016	19
6	1878	19
7	2476	19
8	3381	19
done	5000	19
0	17	31
1	33	31
2	79	31
3	234	31
4	661	31
5	1409	31
6	2575	31
7	4752	31
done	5001	31
0	16	25
1	30	25
2	66	25
3	176	25
4	436	25
5	850	25
6	1452	25
7	2449	25
8	3942	25
done	5000	25
0	16	21
1	32	19
2	78	19
3	202	19
4	497	19
5	990	19
6	1526	19
7	2199	19
8	3223	19
9	4960	19
done	5000	19
0	12	26
1	27	26
2	55	24
3	160	24
4	369	24
5	635	24
6	943	24
7	1296	24
8	1548	24
9	1642	24
done	1642	24
0	13	21
1	28	21
2	56	19
3	161	19
4	370	19
5	638	19
6	952	19
7	1290	19
8	1508	19
9	1584	19
done	1584	19
0	12	18
1	27	17
2	54	15
3	162	13
4	628	13
5	828	13
6	961	13
7	1154	13
8	1256	13
9	1258	13
done	1258	13
0	15	22
1	31	22
2	59	20
3	164	20
4	374	20
5	641	20
6	951	20
7	1306	20
8	1544	20
9	1617	20
done	1617	20
0	12	18
1	27	17
2	54	15
3	162	13
4	628	13
5	828	13
6	961	13
7	1154	13
8	1256	13
9	1258	13
done	1258	13
0	13	27
1	30	27
2	67	25
3	227	25
4	647	25
5	1281	25
6	2021	25
7	3023	25
8	3696	25
9	3898	25
done	3898	25
0	12	21
1	27	21
2	55	19
3	160	19
4	369	19
5	635	19
6	943	19
7	1296	19
8	1548	19
9	1642	19
done	1642	19
0	11	17
1	26	15
2	53	13
3	126	13
4	300	13
5	424	13
6	558	13
7	737	13
8	840	13
done	840	13
0	10	15
1	23	13
2	50	13
3	90	13
4	163	13
5	226	13
6	296	13
7	348	13
8	381	13
9	386	13
done	386	13
0	12	17
1	25	17
2	58	17
3	148	17
4	336	17
5	728	17
6	1221	17
7	1761	17
8	2661	17
9	3544	17
10	3715	17
11	3728	17
done	3728	17
0	18	26
1	51	26
2	109	26
3	281	26
4	760	26
5	1882	26
done	5000	26
0	17	26
1	39	26
2	87	26
3	250	26
4	666	26
5	1519	26
6	3003	26
done	5000	26
0	14	23
1	30	23
2	51	23
3	73	23
4	99	23
5	118	23
6	125	23
7	126	23
done	126	23
0	14	23
1	30	23
2	51	23
3	73	23
4	99	23
5	118	23
6	125	23
7	126	23
done	126	23
0	13	18
1	26	18
2	45	18
3	88	18
4	144	18
5	192	18
6	234	18
7	247	18
done	247	18
0	13	18
1	26	18
2	45	18
3	88	18
4	144	18
5	192	18
6	234	18
7	247	18
done	247	18
0	12	17
1	28	17
2	49	17
3	132	17
4	335	17
5	677	17
6	1172	17
7	1717	17
8	2472	17
9	3527	17
10	3859	17
11	3883	17
done	3883	17
0	14	19
1	31	19
2	52	19
3	135	19
4	338	19
5	678	19
6	1176	19
7	1721	19
8	2484	19
9	3504	19
10	3834	19
11	3858	19
done	3858	19
0	12	17
1	28	17
2	49	17
3	132	17
4	335	17
5	677	17
6	1172	17
7	1717	17
8	2472	17
9	3527	17
10	3859	17
11	3883	17
done	3883	17
0	13	22
1	31	22
2	68	22
3	197	22
4	531	14
5	1113	11
6	2035	11
7	3258	11
done	5000	11
0	12	20
1	28	20
2	56	18
3	178	18
4	430	10
5	542	7
6	760	7
7	1026	7
8	1711	7
9	4299	7
done	5000	7
0	16	34
1	35	30
2	61	30
3	104	30
4	156	30
5	224	30
6	277	30
7	294	30
8	299	30
done	299	30
0	18	26
1	38	24
2	69	24
3	139	24
4	220	24
5	329	24
6	438	24
7	472	24
8	488	24
done	488	24
0	18	26
1	38	24
2	69	24
3	139	24
4	220	24
5	329	24
6	438	24
7	474	24
8	490	24
done	490	24
0	12	18
1	25	18
2	43	18
3	85	18
4	134	18
5	202	18
6	255	18
7	274	18
8	279	18
done	279	18
0	15	21
1	32	19
2	53	19
3	71	19
4	95	19
5	114	19
6	121	19
7	122	19
done	122	19
0	11	13
1	22	13
2	35	13
3	52	13
4	75	13
5	94	13
6	101	13
7	102	13
done	102	13
0	15	21
1	32	19
2	53	19
3	71	19
4	95	19
5	114	19
6	121	19
7	122	19
done	122	19
0	11	13
1	22	13
2	35	13
3	52	13
4	75	13
5	94	13
6	101	13
7	102	13
done	102	13
0	12	17
1	25	17
2	58	17
3	148	17
4	336	17
5	728	17
6	1221	17
7	1761	17
8	2661	17
9	3544	17
10	3715	17
11	3728	17
done	3728	17
0	11	12
1	22	12
2	42	12
3	107	12
4	230	12
5	442	12
6	675	12
7	957	12
8	1539	12
9	1966	12
10	1996	12
done	1996	12
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	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
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

prune209.0ms

Filtered

114 candidates to 146 candidates (-28.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	147	10	157

Merged error: 3.9b

Counts

157 → 10

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

330×	`times-frac`
323×	`*-un-lft-identity`
321×	`add-sqr-sqrt`
113×	`add-cube-cbrt`
104×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
15×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`flip3--` `flip--`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1`
2×	`frac-2neg` `div-sub` `clear-num`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 273

Calls

3 calls:

10.0ms	(/ (- a z) (- y z))
69.0ms	(+ x (pow (/ (- t x) (/ (- a z) (- y z))) 1))
18.0ms	(/ (- t x) (/ (- a z) (- y z)))

series128.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify5.9min

Counts

282 → 282

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	14
1	24	14
2	35	14
3	48	14
4	52	14
5	60	14
6	75	14
7	101	14
8	110	14
done	110	14
0	12	13
1	25	13
2	35	13
3	44	13
4	57	13
5	62	13
6	70	13
7	85	13
8	111	13
9	120	13
done	120	13
0	11	12
1	27	12
2	55	12
3	112	12
4	241	12
5	464	12
6	718	12
7	1017	12
8	1535	12
9	2137	12
10	2285	12
11	2326	12
12	2365	12
13	2412	12
done	2412	12
0	11	12
1	24	12
2	50	12
3	115	12
4	279	12
5	637	12
6	1553	12
done	5000	12
0	16	35
1	35	35
2	157	17
3	759	15
4	3894	13
done	5000	13
0	14	35
1	37	35
2	127	15
3	571	13
4	2824	13
done	5000	13
0	12	25
1	25	25
2	46	25
3	95	25
4	214	25
5	417	25
6	666	25
7	951	25
8	1449	25
9	2028	25
10	2163	25
11	2176	25
done	2176	25
0	11	12
1	24	12
2	45	12
3	94	12
4	213	12
5	419	12
6	676	12
7	960	12
8	1459	12
9	2038	12
10	2173	12
11	2186	12
done	2186	12
0	12	35
1	32	35
2	100	13
3	540	13
4	3482	13
done	5000	13
0	11	12
1	24	12
2	45	12
3	94	12
4	213	12
5	419	12
6	676	12
7	960	12
8	1459	12
9	2038	12
10	2173	12
11	2186	12
done	2186	12
0	11	12
1	24	12
2	45	12
3	94	12
4	213	12
5	419	12
6	676	12
7	960	12
8	1459	12
9	2038	12
10	2173	12
11	2186	12
done	2186	12
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	7	8
1	15	8
2	22	8
3	29	8
4	33	7
5	34	7
done	34	7
0	8	9
1	16	9
2	29	9
3	49	9
4	67	9
5	90	9
6	113	9
7	130	9
8	136	9
9	138	9
done	138	9
0	8	9
1	16	9
2	29	9
3	49	9
4	67	9
5	90	9
6	113	9
7	130	9
8	136	9
9	138	9
done	138	9
0	14	27
1	28	27
2	42	27
3	50	27
done	50	27
0	12	13
1	20	13
2	25	13
3	27	13
done	27	13
0	13	18
1	23	18
2	30	18
3	33	18
done	33	18
0	12	13
1	20	13
2	25	13
3	27	13
done	27	13
0	16	29
1	31	29
2	70	29
3	163	29
4	292	29
5	387	29
6	427	29
7	437	29
done	437	29
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	15	24
1	26	24
2	47	24
3	91	24
4	135	24
5	155	24
6	160	24
7	161	24
done	161	24
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	13	21
1	25	19
2	50	19
3	125	19
4	156	19
5	176	19
6	178	19
done	178	19
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	16	25
1	27	25
2	55	25
3	139	25
4	257	25
5	380	25
6	430	25
7	449	25
8	455	25
9	458	25
10	460	25
done	460	25
0	14	15
1	22	15
2	34	15
3	52	15
4	70	15
5	84	15
6	98	15
7	102	15
8	103	15
done	103	15
0	13	21
1	25	19
2	50	19
3	125	19
4	156	19
5	176	19
6	178	19
done	178	19
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	15	24
1	26	24
2	44	24
3	72	24
4	108	24
5	130	24
6	140	24
7	149	24
8	151	24
done	151	24
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	14	19
1	23	19
2	35	19
3	45	19
4	55	19
5	59	19
6	61	19
7	62	19
done	62	19
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	12	16
1	22	14
2	35	14
3	57	14
4	62	14
5	66	14
6	72	14
done	72	14
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	15	20
1	24	20
2	43	20
3	77	20
4	123	20
5	147	20
6	157	20
7	164	20
8	165	20
done	165	20
0	14	15
1	22	15
2	34	15
3	52	15
4	70	15
5	84	15
6	98	15
7	102	15
8	103	15
done	103	15
0	12	16
1	22	14
2	35	14
3	57	14
4	62	14
5	66	14
6	72	14
done	72	14
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	13	21
1	25	21
2	42	19
3	89	19
4	202	19
5	261	19
6	306	19
done	306	19
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	12	16
1	22	16
2	33	14
3	59	14
4	106	14
5	115	14
done	115	14
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	13	17
1	22	17
2	40	15
3	84	15
4	173	15
5	229	15
6	301	15
done	301	15
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	16	25
1	27	25
2	44	25
3	72	25
4	108	25
5	130	25
6	140	25
7	149	25
8	151	25
done	151	25
0	14	15
1	25	15
2	33	15
3	36	15
4	38	15
5	43	15
6	46	15
7	48	15
done	48	15
0	15	20
1	24	20
2	35	20
3	45	20
4	55	20
5	59	20
6	61	20
7	62	20
done	62	20
0	14	15
1	25	15
2	33	15
3	36	15
4	38	15
5	43	15
6	46	15
7	48	15
done	48	15
0	13	17
1	22	15
2	34	15
3	56	15
4	61	15
5	65	15
6	71	15
done	71	15
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	15	21
1	23	21
2	41	21
3	75	21
4	121	21
5	145	21
6	155	21
7	162	21
8	163	21
done	163	21
0	14	16
1	24	16
2	38	16
3	58	16
4	76	16
5	99	16
6	122	16
7	139	16
8	145	16
9	147	16
done	147	16
0	13	17
1	22	15
2	34	15
3	56	15
4	61	15
5	65	15
6	71	15
done	71	15
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	13	21
1	25	21
2	42	19
3	89	19
4	202	19
5	261	19
6	306	19
done	306	19
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	12	16
1	22	16
2	33	14
3	59	14
4	106	14
5	115	14
done	115	14
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	13	17
1	22	17
2	40	15
3	84	15
4	173	15
5	229	15
6	301	15
done	301	15
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	9	13
1	15	13
2	22	13
3	25	13
4	27	13
done	27	13
0	10	10
1	18	10
2	29	8
3	45	8
4	67	8
5	92	8
6	134	8
7	140	8
done	140	8
0	15	21
1	41	21
2	84	21
3	216	21
4	736	21
5	3036	21
done	5000	21
0	12	16
1	21	14
2	30	14
3	31	14
4	32	14
done	32	14
0	14	21
1	30	21
2	66	21
3	183	21
4	564	21
5	1217	21
6	2163	21
7	3899	21
done	5000	21
0	8	8
1	11	8
2	12	8
done	12	8
0	13	22
1	23	22
2	28	22
3	30	22
done	30	22
0	12	13
1	20	13
2	25	13
3	27	13
done	27	13
0	12	13
1	20	13
2	25	13
3	27	13
done	27	13
0	12	13
1	20	13
2	25	13
3	27	13
done	27	13
0	15	24
1	28	24
2	52	24
3	81	24
4	107	24
5	139	24
6	164	24
7	174	24
done	174	24
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	14	19
1	23	19
2	34	19
3	47	19
4	55	19
5	61	19
6	64	19
done	64	19
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	12	16
1	22	14
2	37	14
3	64	14
4	76	14
5	88	14
6	93	14
done	93	14
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	15	20
1	24	20
2	42	20
3	75	20
4	107	20
5	139	20
6	158	20
7	163	20
8	164	20
9	166	20
10	167	20
done	167	20
0	14	15
1	22	15
2	34	15
3	52	15
4	70	15
5	84	15
6	98	15
7	102	15
8	103	15
done	103	15
0	12	16
1	22	14
2	37	14
3	64	14
4	76	14
5	88	14
6	93	14
done	93	14
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	14	19
1	23	19
2	33	19
3	41	19
4	45	19
5	54	19
6	60	19
7	65	19
done	65	19
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	13	14
1	20	14
2	26	14
3	27	14
4	29	14
5	31	14
6	32	14
done	32	14
0	11	11
1	19	9
2	27	9
3	32	9
4	34	9
5	37	9
6	41	9
done	41	9
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	14	15
1	21	15
2	34	15
3	47	15
4	55	15
5	61	15
6	68	15
7	70	15
done	70	15
0	14	15
1	22	15
2	34	15
3	52	15
4	70	15
5	84	15
6	98	15
7	102	15
8	103	15
done	103	15
0	11	11
1	19	9
2	27	9
3	32	9
4	34	9
5	37	9
6	41	9
done	41	9
0	12	13
1	19	13
2	31	13
3	49	13
4	67	13
5	81	13
6	95	13
7	99	13
8	100	13
done	100	13
0	12	16
1	22	16
2	31	14
3	47	14
4	74	14
5	97	14
6	117	14
done	117	14
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	11	11
1	19	11
2	24	11
3	33	9
4	42	9
5	44	9
done	44	9
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	12	12
1	19	12
2	31	10
3	42	10
4	57	10
5	71	10
6	95	10
done	95	10
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	15	20
1	24	20
2	33	20
3	41	20
4	45	20
5	54	20
6	60	20
7	65	20
done	65	20
0	14	15
1	25	15
2	33	15
3	36	15
4	38	15
5	43	15
6	46	15
7	48	15
done	48	15
0	14	15
1	21	15
2	26	15
3	27	15
4	29	15
5	31	15
6	32	15
done	32	15
0	14	15
1	25	15
2	33	15
3	36	15
4	38	15
5	43	15
6	46	15
7	48	15
done	48	15
0	12	12
1	19	10
2	26	10
3	31	10
4	33	10
5	36	10
6	40	10
done	40	10
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	14	16
1	20	16
2	32	16
3	45	16
4	53	16
5	59	16
6	66	16
7	68	16
done	68	16
0	14	16
1	24	16
2	38	16
3	58	16
4	76	16
5	99	16
6	122	16
7	139	16
8	145	16
9	147	16
done	147	16
0	12	12
1	19	10
2	26	10
3	31	10
4	33	10
5	36	10
6	40	10
done	40	10
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	12	16
1	22	16
2	31	14
3	47	14
4	74	14
5	97	14
6	117	14
done	117	14
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	11	11
1	19	11
2	24	11
3	33	9
4	42	9
5	44	9
done	44	9
0	12	13
1	22	13
2	30	13
3	33	13
4	35	13
5	40	13
6	43	13
7	45	13
done	45	13
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	12	12
1	19	12
2	31	10
3	42	10
4	57	10
5	71	10
6	95	10
done	95	10
0	13	14
1	24	14
2	38	14
3	58	14
4	76	14
5	99	14
6	122	14
7	137	14
8	142	14
9	144	14
done	144	14
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	6	6
1	10	4
2	13	4
done	13	4
0	11	12
1	21	12
2	35	12
3	55	12
4	73	12
5	96	12
6	119	12
7	136	12
8	142	12
9	144	12
done	144	12
0	8	8
1	12	8
2	14	8
done	14	8
0	10	10
1	18	10
2	29	8
3	45	8
4	67	8
5	92	8
6	134	8
7	140	8
done	140	8
0	14	16
1	38	16
2	72	16
3	174	16
4	476	16
5	1740	16
done	5000	16
0	12	16
1	21	14
2	30	14
3	31	14
4	32	14
done	32	14
0	13	16
1	27	16
2	54	16
3	133	16
4	310	16
5	561	16
6	966	16
7	1797	16
done	5000	16
0	8	8
1	11	8
2	12	8
done	12	8
0	10	19
1	20	19
2	24	19
3	26	19
done	26	19
0	11	12
1	22	12
2	29	12
3	33	12
done	33	12
0	9	10
1	17	10
2	21	10
3	23	10
done	23	10
0	11	12
1	22	12
2	29	12
3	33	12
done	33	12
0	12	21
1	25	21
2	48	21
3	79	19
4	139	19
5	205	19
done	205	19
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	11	16
1	20	16
2	30	16
3	43	14
4	70	14
5	104	14
done	104	14
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	12	17
1	21	17
2	38	17
3	71	15
4	144	15
5	223	15
6	227	15
done	227	15
0	13	14
1	24	14
2	43	14
3	90	14
4	209	14
5	400	14
6	646	14
7	945	14
8	1359	14
9	1800	14
10	1928	14
11	1941	14
done	1941	14
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	11	16
1	20	16
2	29	16
3	37	14
4	61	14
5	76	14
done	76	14
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	10	11
1	17	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	7	8
1	13	6
2	19	6
done	19	6
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	11	12
1	18	12
2	30	12
3	43	10
4	78	10
5	95	10
done	95	10
0	13	14
1	24	14
2	43	14
3	90	14
4	209	14
5	400	14
6	646	14
7	945	14
8	1359	14
9	1800	14
10	1928	14
11	1941	14
done	1941	14
0	7	8
1	13	6
2	19	6
done	19	6
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	688	13
7	1007	13
8	1439	13
9	1888	13
10	2020	13
11	2033	13
done	2033	13
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	12	17
1	21	17
2	29	17
3	37	15
4	61	15
5	76	15
done	76	15
0	13	14
1	27	14
2	42	14
3	58	14
4	77	14
5	90	14
6	115	14
7	131	14
8	141	14
9	143	14
done	143	14
0	11	12
1	18	12
2	22	12
3	23	10
4	36	10
5	41	10
done	41	10
0	13	14
1	27	14
2	42	14
3	58	14
4	77	14
5	90	14
6	115	14
7	131	14
8	141	14
9	143	14
done	143	14
0	8	9
1	13	7
2	18	7
done	18	7
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	672	13
7	957	13
8	1454	13
9	2034	13
10	2169	13
11	2182	13
done	2182	13
0	11	13
1	17	13
2	28	13
3	41	11
4	76	11
5	93	11
done	93	11
0	13	15
1	26	15
2	47	15
3	96	15
4	215	15
5	416	15
6	695	15
7	1023	15
8	1457	15
9	1909	15
10	2039	15
11	2052	15
done	2052	15
0	8	9
1	13	7
2	18	7
done	18	7
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	672	13
7	957	13
8	1454	13
9	2034	13
10	2169	13
11	2182	13
done	2182	13
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	688	13
7	1007	13
8	1439	13
9	1888	13
10	2020	13
11	2033	13
done	2033	13
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	2	3
1	4	1
done	4	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	5	5
1	9	5
2	10	5
done	10	5
0	9	9
1	20	9
2	38	7
3	106	7
4	196	7
5	366	7
6	590	7
7	786	7
8	1120	7
9	1345	7
10	1359	7
done	1359	7
0	11	13
1	35	13
2	68	13
3	170	11
4	542	11
5	2162	11
done	5001	11
0	11	15
1	23	13
2	34	13
3	37	13
4	38	13
done	38	13
0	10	13
1	24	13
2	50	13
3	129	11
4	380	11
5	835	11
6	1208	11
7	2241	11
done	5001	11
0	7	7
1	13	7
2	16	7
3	18	7
done	18	7
0	14	23
1	23	23
2	27	23
3	29	23
done	29	23
0	13	14
1	24	14
2	31	14
3	35	14
done	35	14
0	13	14
1	20	14
2	24	14
3	26	14
done	26	14
0	13	14
1	24	14
2	31	14
3	35	14
done	35	14
0	16	25
1	28	25
2	51	25
3	80	25
4	114	25
5	167	25
6	222	25
7	278	25
8	340	25
9	408	25
10	437	25
11	451	25
12	456	25
13	458	25
14	459	25
done	459	25
0	14	15
1	24	15
2	37	15
3	51	15
4	70	15
5	80	15
6	94	15
7	99	15
8	101	15
done	101	15
0	15	20
1	23	20
2	33	20
3	46	20
4	62	20
5	76	20
6	89	20
7	99	20
8	119	20
9	137	20
10	153	20
11	156	20
12	158	20
13	159	20
done	159	20
0	14	15
1	24	15
2	37	15
3	51	15
4	70	15
5	80	15
6	94	15
7	99	15
8	101	15
done	101	15
0	13	17
1	22	15
2	36	15
3	63	15
4	81	15
5	117	15
6	144	15
7	156	15
8	172	15
9	180	15
done	180	15
0	13	14
1	23	14
2	42	14
3	89	14
4	208	14
5	399	14
6	629	14
7	895	14
8	1376	14
9	1925	14
10	2052	14
11	2065	14
done	2065	14
0	16	21
1	24	21
2	41	21
3	74	21
4	130	21
5	190	21
6	275	21
7	340	21
8	455	21
9	533	21
10	586	21
11	597	21
12	601	21
13	608	21
done	608	21
0	15	16
1	26	16
2	45	16
3	92	16
4	211	16
5	402	16
6	653	16
7	954	16
8	1369	16
9	1787	16
10	1870	16
11	1881	16
done	1881	16
0	13	17
1	22	15
2	36	15
3	63	15
4	81	15
5	117	15
6	144	15
7	156	15
8	172	15
9	180	15
done	180	15
0	13	14
1	23	14
2	42	14
3	89	14
4	208	14
5	399	14
6	629	14
7	895	14
8	1376	14
9	1925	14
10	2052	14
11	2065	14
done	2065	14
0	15	20
1	23	20
2	32	20
3	40	20
4	52	20
5	73	20
6	89	20
7	114	20
8	134	20
9	148	20
10	156	20
11	162	20
12	163	20
done	163	20
0	14	15
1	24	15
2	37	15
3	51	15
4	70	15
5	80	15
6	94	15
7	99	15
8	101	15
done	101	15
0	14	15
1	20	15
2	25	15
3	26	15
4	36	15
5	38	15
6	47	15
7	49	15
8	55	15
9	59	15
10	65	15
11	67	15
done	67	15
0	14	15
1	24	15
2	37	15
3	51	15
4	70	15
5	80	15
6	94	15
7	99	15
8	101	15
done	101	15
0	12	12
1	19	10
2	26	10
3	31	10
4	41	10
5	52	10
6	64	10
7	70	10
8	74	10
9	76	10
done	76	10
0	13	14
1	23	14
2	42	14
3	89	14
4	208	14
5	399	14
6	629	14
7	895	14
8	1376	14
9	1925	14
10	2052	14
11	2065	14
done	2065	14
0	15	16
1	21	16
2	33	16
3	46	16
4	78	16
5	104	16
6	164	16
7	190	16
8	236	16
9	258	16
10	272	16
11	278	16
done	278	16
0	15	16
1	26	16
2	45	16
3	92	16
4	211	16
5	402	16
6	653	16
7	954	16
8	1369	16
9	1787	16
10	1870	16
11	1881	16
done	1881	16
0	12	12
1	19	10
2	26	10
3	31	10
4	41	10
5	52	10
6	64	10
7	70	10
8	74	10
9	76	10
done	76	10
0	13	14
1	23	14
2	42	14
3	89	14
4	208	14
5	399	14
6	629	14
7	895	14
8	1376	14
9	1925	14
10	2052	14
11	2065	14
done	2065	14
0	13	17
1	22	17
2	30	15
3	54	15
4	93	15
5	126	15
6	165	15
7	197	15
8	264	15
9	288	15
done	288	15
0	13	14
1	26	14
2	41	14
3	57	14
4	76	14
5	89	14
6	114	14
7	130	14
8	140	14
9	142	14
done	142	14
0	12	12
1	19	12
2	23	10
3	40	10
4	49	10
5	59	10
6	61	10
7	67	10
8	81	10
9	109	10
done	109	10
0	13	14
1	26	14
2	41	14
3	57	14
4	76	14
5	89	14
6	114	14
7	130	14
8	140	14
9	142	14
done	142	14
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	25	13
2	46	13
3	95	13
4	214	13
5	414	13
6	675	13
7	963	13
8	1464	13
9	2021	13
10	2152	13
11	2165	13
done	2165	13
0	13	13
1	19	13
2	30	11
3	65	11
4	100	11
5	144	11
6	192	11
7	202	11
8	224	11
9	272	11
done	272	11
0	14	15
1	28	15
2	49	15
3	98	15
4	217	15
5	420	15
6	685	15
7	1004	15
8	1436	15
9	1863	15
10	1950	15
11	1961	15
done	1961	15
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	25	13
2	46	13
3	95	13
4	214	13
5	414	13
6	675	13
7	963	13
8	1464	13
9	2021	13
10	2152	13
11	2165	13
done	2165	13
0	16	21
1	24	21
2	32	21
3	40	21
4	52	21
5	73	21
6	89	21
7	114	21
8	135	21
9	149	21
10	157	21
11	163	21
12	164	21
done	164	21
0	15	16
1	29	16
2	44	16
3	60	16
4	79	16
5	92	16
6	117	16
7	133	16
8	143	16
9	145	16
done	145	16
0	15	16
1	21	16
2	25	16
3	26	16
4	36	16
5	38	16
6	47	16
7	49	16
8	55	16
9	59	16
10	65	16
11	67	16
done	67	16
0	15	16
1	29	16
2	44	16
3	60	16
4	79	16
5	92	16
6	117	16
7	133	16
8	143	16
9	145	16
done	145	16
0	13	13
1	19	11
2	25	11
3	30	11
4	40	11
5	51	11
6	63	11
7	70	11
8	74	11
9	76	11
done	76	11
0	14	15
1	28	15
2	49	15
3	98	15
4	217	15
5	420	15
6	667	15
7	952	15
8	1452	15
9	2011	15
10	2142	15
11	2155	15
done	2155	15
0	15	17
1	20	17
2	31	17
3	44	17
4	76	17
5	102	17
6	155	17
7	187	17
8	233	17
9	253	17
10	267	17
11	273	17
done	273	17
0	15	17
1	28	17
2	49	17
3	98	17
4	217	17
5	420	17
6	692	17
7	1018	17
8	1453	17
9	1881	17
10	1966	17
11	1977	17
done	1977	17
0	13	13
1	19	11
2	25	11
3	30	11
4	40	11
5	51	11
6	63	11
7	70	11
8	74	11
9	76	11
done	76	11
0	14	15
1	28	15
2	49	15
3	98	15
4	217	15
5	420	15
6	667	15
7	952	15
8	1452	15
9	2011	15
10	2142	15
11	2155	15
done	2155	15
0	13	17
1	22	17
2	30	15
3	54	15
4	93	15
5	126	15
6	165	15
7	197	15
8	264	15
9	288	15
done	288	15
0	13	14
1	26	14
2	41	14
3	57	14
4	76	14
5	89	14
6	114	14
7	130	14
8	140	14
9	142	14
done	142	14
0	12	12
1	19	12
2	23	10
3	40	10
4	49	10
5	59	10
6	61	10
7	67	10
8	81	10
9	109	10
done	109	10
0	13	14
1	26	14
2	41	14
3	57	14
4	76	14
5	89	14
6	114	14
7	130	14
8	140	14
9	142	14
done	142	14
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	25	13
2	46	13
3	95	13
4	214	13
5	414	13
6	675	13
7	963	13
8	1464	13
9	2021	13
10	2152	13
11	2165	13
done	2165	13
0	13	13
1	19	13
2	30	11
3	65	11
4	100	11
5	144	11
6	192	11
7	202	11
8	224	11
9	272	11
done	272	11
0	14	15
1	28	15
2	49	15
3	98	15
4	217	15
5	420	15
6	685	15
7	1004	15
8	1436	15
9	1863	15
10	1950	15
11	1961	15
done	1961	15
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	12	13
1	25	13
2	46	13
3	95	13
4	214	13
5	414	13
6	675	13
7	963	13
8	1464	13
9	2021	13
10	2152	13
11	2165	13
done	2165	13
0	7	7
1	10	5
2	12	5
done	12	5
0	12	13
1	25	13
2	46	13
3	95	13
4	214	13
5	414	13
6	675	13
7	963	13
8	1464	13
9	2021	13
10	2152	13
11	2165	13
done	2165	13
0	9	9
1	12	9
2	13	9
done	13	9
0	11	11
1	22	11
2	40	9
3	108	9
4	202	9
5	353	9
6	540	9
7	731	9
8	1041	9
9	1263	9
10	1277	9
done	1277	9
0	15	17
1	38	17
2	71	17
3	173	17
4	504	17
5	2078	17
done	5000	17
0	13	17
1	25	15
2	36	15
3	39	15
4	40	15
done	40	15
0	14	17
1	27	17
2	53	17
3	132	17
4	333	17
5	724	17
6	1548	17
7	4650	17
done	5000	17
0	9	9
1	15	9
2	18	9
3	20	9
done	20	9
0	10	19
1	20	19
2	24	19
3	26	19
done	26	19
0	11	12
1	22	12
2	29	12
3	33	12
done	33	12
0	9	10
1	17	10
2	21	10
3	23	10
done	23	10
0	11	12
1	22	12
2	29	12
3	33	12
done	33	12
0	12	21
1	25	21
2	48	21
3	79	19
4	139	19
5	205	19
done	205	19
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	11	16
1	20	16
2	30	16
3	43	14
4	70	14
5	104	14
done	104	14
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	12	17
1	21	17
2	38	17
3	71	15
4	144	15
5	223	15
6	227	15
done	227	15
0	13	14
1	24	14
2	43	14
3	90	14
4	209	14
5	400	14
6	646	14
7	945	14
8	1359	14
9	1800	14
10	1928	14
11	1941	14
done	1941	14
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	11	16
1	20	16
2	29	16
3	37	14
4	61	14
5	76	14
done	76	14
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	10	11
1	17	11
2	22	11
3	23	9
4	36	9
5	43	9
done	43	9
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	7	8
1	13	6
2	19	6
done	19	6
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	11	12
1	18	12
2	30	12
3	43	10
4	78	10
5	95	10
done	95	10
0	13	14
1	24	14
2	43	14
3	90	14
4	209	14
5	400	14
6	646	14
7	945	14
8	1359	14
9	1800	14
10	1928	14
11	1941	14
done	1941	14
0	7	8
1	13	6
2	19	6
done	19	6
0	11	12
1	21	12
2	40	12
3	87	12
4	206	12
5	397	12
6	623	12
7	887	12
8	1367	12
9	1940	12
10	2071	12
11	2084	12
done	2084	12
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	688	13
7	1007	13
8	1439	13
9	1888	13
10	2020	13
11	2033	13
done	2033	13
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	12	17
1	21	17
2	29	17
3	37	15
4	61	15
5	76	15
done	76	15
0	13	14
1	27	14
2	42	14
3	58	14
4	77	14
5	90	14
6	115	14
7	131	14
8	141	14
9	143	14
done	143	14
0	11	12
1	18	12
2	22	12
3	23	10
4	36	10
5	41	10
done	41	10
0	13	14
1	27	14
2	42	14
3	58	14
4	77	14
5	90	14
6	115	14
7	131	14
8	141	14
9	143	14
done	143	14
0	8	9
1	13	7
2	18	7
done	18	7
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	672	13
7	957	13
8	1454	13
9	2034	13
10	2169	13
11	2182	13
done	2182	13
0	11	13
1	17	13
2	28	13
3	41	11
4	76	11
5	93	11
done	93	11
0	13	15
1	26	15
2	47	15
3	96	15
4	215	15
5	416	15
6	695	15
7	1023	15
8	1457	15
9	1909	15
10	2039	15
11	2052	15
done	2052	15
0	8	9
1	13	7
2	18	7
done	18	7
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	672	13
7	957	13
8	1454	13
9	2034	13
10	2169	13
11	2182	13
done	2182	13
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	11	12
1	24	12
2	39	12
3	55	12
4	74	12
5	87	12
6	112	12
7	128	12
8	138	12
9	140	12
done	140	12
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	12	13
1	26	13
2	47	13
3	96	13
4	215	13
5	416	13
6	688	13
7	1007	13
8	1439	13
9	1888	13
10	2020	13
11	2033	13
done	2033	13
0	3	5
1	6	1
done	6	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	2	3
1	4	1
done	4	1
0	10	11
1	23	11
2	44	11
3	93	11
4	212	11
5	418	11
6	667	11
7	955	11
8	1454	11
9	2034	11
10	2169	11
11	2182	11
done	2182	11
0	5	5
1	9	5
2	10	5
done	10	5
0	9	9
1	20	9
2	38	7
3	106	7
4	196	7
5	366	7
6	590	7
7	786	7
8	1120	7
9	1345	7
10	1359	7
done	1359	7
0	11	13
1	35	13
2	68	13
3	170	11
4	542	11
5	2162	11
done	5001	11
0	11	15
1	23	13
2	34	13
3	37	13
4	38	13
done	38	13
0	10	13
1	24	13
2	50	13
3	129	11
4	380	11
5	835	11
6	1208	11
7	2241	11
done	5001	11
0	7	7
1	13	7
2	16	7
3	18	7
done	18	7
0	8	9
1	18	9
2	31	9
3	51	7
4	107	7
5	175	7
6	301	7
7	512	7
8	777	7
9	1047	7
10	1696	7
11	2289	7
12	2482	7
13	2538	7
done	2538	7
0	10	11
1	20	11
2	40	11
3	80	11
4	134	11
5	216	11
6	297	11
7	415	11
8	650	11
9	819	11
10	834	11
11	836	11
12	838	11
done	838	11
0	12	21
1	25	21
2	37	21
3	44	21
4	47	21
done	47	21
0	11	12
1	22	12
2	29	12
3	33	12
done	33	12
0	14	23
1	30	23
2	73	23
3	162	23
4	313	23
5	496	23
6	656	23
7	747	23
8	769	23
9	770	23
done	770	23
0	13	18
1	25	18
2	47	18
3	95	18
4	151	18
5	198	18
6	234	18
7	246	18
8	249	18
done	249	18
0	11	15
1	24	13
2	49	13
3	114	13
4	199	13
5	288	13
6	366	13
7	393	13
8	400	13
done	400	13
0	14	19
1	26	19
2	55	19
3	139	19
4	315	19
5	585	19
6	894	19
7	1181	19
8	1845	19
9	3152	19
10	3991	19
11	4133	19
12	4144	19
13	4147	19
done	4147	19
0	11	15
1	24	13
2	49	13
3	114	13
4	199	13
5	288	13
6	366	13
7	393	13
8	400	13
done	400	13
0	13	18
1	25	18
2	46	18
3	81	18
4	132	18
5	183	18
6	224	18
7	264	18
8	281	18
done	281	18
0	12	13
1	22	13
2	35	13
3	49	13
4	68	13
5	78	13
6	92	13
7	97	13
8	99	13
done	99	13
0	10	10
1	21	8
2	33	8
3	53	8
4	84	8
5	104	8
6	125	8
7	141	8
8	154	8
9	156	8
done	156	8
0	13	14
1	23	14
2	43	14
3	85	14
4	182	14
5	323	14
6	471	14
7	629	14
8	1039	14
9	1711	14
10	2097	14
11	2154	14
12	2158	14
13	2159	14
done	2159	14
0	10	10
1	21	8
2	33	8
3	53	8
4	84	8
5	104	8
6	125	8
7	141	8
8	154	8
9	156	8
done	156	8
0	11	15
1	24	15
2	44	13
3	94	13
4	167	13
5	258	13
6	389	13
7	412	13
done	412	13
0	10	10
1	21	10
2	33	8
3	62	8
4	81	8
5	107	8
6	126	8
7	129	8
done	129	8
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	11	11
1	21	11
2	40	9
3	103	9
4	170	9
5	277	9
6	392	9
7	531	9
8	800	9
9	1149	9
10	1303	9
11	1322	9
12	1323	9
done	1323	9
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	14	19
1	26	19
2	46	19
3	81	19
4	132	19
5	183	19
6	224	19
7	264	19
8	282	19
done	282	19
0	13	14
1	23	14
2	35	14
3	49	14
4	68	14
5	78	14
6	92	14
7	97	14
8	99	14
done	99	14
0	11	11
1	21	9
2	32	9
3	52	9
4	83	9
5	103	9
6	124	9
7	139	9
8	152	9
9	154	9
done	154	9
0	13	15
1	22	15
2	41	15
3	83	15
4	180	15
5	320	15
6	463	15
7	617	15
8	1027	15
9	1699	15
10	2079	15
11	2172	15
12	2226	15
13	2241	15
done	2241	15
0	11	11
1	21	9
2	32	9
3	52	9
4	83	9
5	103	9
6	124	9
7	139	9
8	152	9
9	154	9
done	154	9
0	11	15
1	24	15
2	44	13
3	94	13
4	167	13
5	258	13
6	389	13
7	412	13
done	412	13
0	10	10
1	21	10
2	33	8
3	62	8
4	81	8
5	107	8
6	126	8
7	129	8
done	129	8
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	11	11
1	21	11
2	40	9
3	103	9
4	170	9
5	277	9
6	392	9
7	531	9
8	800	9
9	1149	9
10	1303	9
11	1322	9
12	1323	9
done	1323	9
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	13	15
1	40	15
2	81	15
3	216	15
4	846	15
5	3874	15
done	5000	15
0	12	15
1	29	15
2	63	15
3	183	15
4	684	15
5	1905	15
done	5001	15
0	11	12
1	21	12
2	41	12
3	57	12
4	67	12
5	70	12
done	70	12
0	11	12
1	21	12
2	41	12
3	57	12
4	67	12
5	70	12
done	70	12
0	10	11
1	20	11
2	40	11
3	80	11
4	134	11
5	216	11
6	297	11
7	415	11
8	650	11
9	819	11
10	834	11
11	836	11
12	838	11
done	838	11
0	12	13
1	22	13
2	42	13
3	82	13
4	136	13
5	216	13
6	297	13
7	419	13
8	631	13
9	800	13
10	815	13
11	817	13
12	819	13
done	819	13
0	10	11
1	20	11
2	40	11
3	80	11
4	134	11
5	216	11
6	297	11
7	415	11
8	650	11
9	819	11
10	834	11
11	836	11
12	838	11
done	838	11
0	7	7
1	14	7
2	18	7
3	20	7
done	20	7
0	14	19
1	36	17
2	90	17
3	261	17
4	695	17
5	1783	17
6	4041	17
done	5000	17
0	10	11
1	26	11
2	46	11
3	104	11
4	193	11
5	350	11
6	502	11
7	798	11
8	1467	11
9	2214	11
10	2312	11
11	2324	11
12	2327	11
done	2327	11
0	15	17
1	38	14
2	76	14
3	172	14
4	436	14
5	1177	14
6	3665	14
done	5000	14
0	14	16
1	35	14
2	67	14
3	138	14
4	326	14
5	756	14
6	1508	14
7	3157	14
done	5001	14
0	14	16
1	38	14
2	78	14
3	177	14
4	453	14
5	1246	14
6	3894	14
done	5000	14
0	15	33
1	36	29
2	68	29
3	139	29
4	327	29
5	753	29
6	1496	29
7	3170	29
done	5000	29
0	14	16
1	35	14
2	67	14
3	138	14
4	326	14
5	756	14
6	1508	14
7	3157	14
done	5001	14
0	15	47
1	49	41
2	139	15
3	583	15
4	4043	15
done	5000	15
0	14	16
1	35	14
2	67	14
3	138	14
4	326	14
5	756	14
6	1508	14
7	3157	14
done	5001	14
0	14	16
1	35	14
2	67	14
3	138	14
4	326	14
5	756	14
6	1508	14
7	3157	14
done	5001	14
0	16	19
1	49	17
2	125	17
3	498	17
4	3300	17
done	5001	17
0	17	47
1	47	29
2	127	29
3	519	29
4	2383	29
done	5001	29
0	15	31
1	42	17
2	99	17
3	410	17
4	2430	17
done	5000	17
0	13	15
1	35	13
2	75	13
3	176	13
4	447	13
5	1121	13
6	2594	13
done	5001	13
0	13	15
1	34	13
2	66	13
3	137	13
4	325	13
5	753	13
6	1479	13
7	3147	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	3	3
1	5	3
2	6	3
done	6	3
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	9	11
1	16	11
2	29	11
3	47	9
4	71	7
5	81	7
6	86	7
7	89	7
8	91	7
9	92	7
done	92	7
0	1	1
done	1	1
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	10	13
1	20	13
2	39	13
3	63	11
4	97	9
5	146	9
6	221	9
7	319	9
8	362	9
9	420	9
10	460	9
11	476	9
12	512	9
13	602	9
14	832	9
15	1112	9
16	1655	9
17	2144	9
18	2203	9
done	2203	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune293.0ms

Filtered

177 candidates to 282 candidates (-59.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	280	2	282
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	283	9	292

Merged error: 3.9b

Counts

292 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

1.1b	(cbrt (/ (- t x) (cbrt (- a z))))
1.1b	(cbrt (/ (- t x) (cbrt (- a z))))
1.3b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z))))))
8.9b	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z))))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

142×	`cbrt-prod`
100×	`add-sqr-sqrt`
98×	`*-un-lft-identity`
86×	`times-frac`
44×	`add-cube-cbrt`
27×	`distribute-lft-out--` `difference-of-squares`
26×	`cbrt-div`
25×	`add-exp-log`
17×	`associate-l`
15×	`add-cbrt-cube`
12×	`associate-/r/`
11×	`prod-exp` `cbrt-unprod`
9×	`pow1` `frac-times`
8×	`flip3--` `flip--`
7×	`associate-*r/`
6×	`add-log-exp`
5×	`associate-*l/`
4×	`cbrt-undiv` `div-exp`
3×	`pow-prod-down` `div-inv`
2×	`pow1/3` `unswap-sqr`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+`

Counts

4 → 170

Calls

4 calls:

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

series357.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(cbrt (/ (- t x) (cbrt (- a z))))
76.0ms	(cbrt (/ (- t x) (cbrt (- a z))))
141.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z))))))
67.0ms	(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (/ (- t x) (cbrt (- a z)))) (cbrt (/ (- t x) (cbrt (- a z)))))) (cbrt (/ (- t x) (cbrt (- a z))))))

simplify2.2min

Counts

182 → 182

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	47
1	45	46
2	101	46
3	246	28
4	654	25
5	1765	25
6	4840	25
done	5000	25
0	18	46
1	40	46
2	82	46
3	189	28
4	443	25
5	1000	25
6	2034	25
7	4219	17
done	5000	17
0	18	46
1	43	46
2	92	46
3	226	28
4	595	25
5	1643	25
6	4469	25
done	5000	25
0	19	93
1	41	93
2	83	93
3	190	57
4	445	51
5	990	51
6	2034	51
7	4205	35
done	5000	35
0	18	46
1	40	46
2	82	46
3	189	28
4	443	25
5	1000	25
6	2034	25
7	4219	17
done	5000	17
0	19	137
1	54	137
2	152	47
3	739	29
done	5000	29
0	18	46
1	40	46
2	82	46
3	189	28
4	443	25
5	1000	25
6	2034	25
7	4219	17
done	5000	17
0	18	46
1	40	46
2	82	46
3	189	28
4	443	25
5	1000	25
6	2034	25
7	4219	17
done	5000	17
0	20	49
1	58	49
2	157	28
3	877	28
done	5000	28
0	21	137
1	58	93
2	197	93
3	1003	57
done	5001	57
0	19	91
1	51	91
2	166	91
3	887	55
done	5001	55
0	17	45
1	40	45
2	93	45
3	276	27
4	862	24
5	2191	24
6	4566	24
done	5000	24
0	15	33
1	33	33
2	63	33
3	127	33
4	259	33
5	412	33
6	579	33
7	712	33
8	765	33
9	776	33
done	776	33
0	15	33
1	33	33
2	63	33
3	127	33
4	259	33
5	412	33
6	579	33
7	712	33
8	765	33
9	776	33
done	776	33
0	18	38
1	38	25
2	78	23
3	154	23
4	297	23
5	514	23
6	672	23
7	809	23
8	829	23
9	830	23
done	830	23
0	18	37
1	37	33
2	73	25
3	141	23
4	274	23
5	475	23
6	630	23
7	773	23
8	794	23
9	795	23
done	795	23
0	18	37
1	37	28
2	67	25
3	132	23
4	250	23
5	429	23
6	620	23
7	779	23
8	831	23
9	832	23
done	832	23
0	18	36
1	35	36
2	65	25
3	128	23
4	243	23
5	427	23
6	620	23
7	782	23
8	834	23
9	835	23
done	835	23
0	17	36
1	38	27
2	65	27
3	111	25
4	197	23
5	362	23
6	478	23
7	634	23
8	773	23
9	794	23
10	795	23
done	795	23
0	17	35
1	36	35
2	64	27
3	109	25
4	187	23
5	317	23
6	533	23
7	689	23
8	825	23
9	848	23
10	849	23
done	849	23
0	16	34
1	37	34
2	80	34
3	178	27
4	400	25
5	738	22
6	1129	22
7	1553	22
8	1830	22
9	1891	22
done	1891	22
0	16	34
1	36	34
2	77	34
3	163	34
4	370	34
5	733	34
6	1520	34
7	3845	34
done	5000	34
0	16	37
1	41	37
2	141	31
3	636	31
4	3543	31
done	5000	31
0	19	79
1	48	79
2	156	35
3	645	25
4	3308	25
done	5000	25
0	18	59
1	51	59
2	207	35
3	1315	29
done	5000	27
0	21	101
1	58	101
2	222	39
3	1534	24
done	5000	24
0	16	59
1	45	59
2	155	33
3	837	33
done	5002	33
0	19	101
1	52	101
2	171	37
3	843	27
done	5002	27
0	17	69
1	35	69
2	65	69
3	129	69
4	260	69
5	419	69
6	589	69
7	719	69
8	778	69
9	789	69
done	789	69
0	16	34
1	34	34
2	64	34
3	128	34
4	259	34
5	416	34
6	584	34
7	721	34
8	779	34
9	790	34
done	790	34
0	17	101
1	45	101
2	156	35
3	918	35
done	5001	35
0	16	34
1	34	34
2	64	34
3	128	34
4	259	34
5	416	34
6	584	34
7	721	34
8	779	34
9	790	34
done	790	34
0	16	34
1	34	34
2	64	34
3	128	34
4	259	34
5	416	34
6	584	34
7	721	34
8	779	34
9	790	34
done	790	34
0	9	13
1	16	13
2	26	13
3	43	13
4	57	13
5	67	13
done	67	13
0	8	21
1	17	21
2	29	21
done	29	21
0	14	18
1	26	18
2	43	18
3	76	18
4	92	18
5	110	18
done	110	18
0	7	15
1	12	15
2	15	15
done	15	15
0	14	18
1	26	18
2	43	18
3	76	18
4	92	18
5	110	18
done	110	18
0	7	15
1	12	15
2	15	15
done	15	15
0	15	24
1	29	24
2	41	24
3	48	24
4	51	24
done	51	24
0	15	24
1	29	24
2	41	24
3	48	24
4	51	24
done	51	24
0	14	19
1	25	19
2	33	19
3	37	19
4	39	19
5	40	19
done	40	19
0	14	19
1	25	19
2	33	19
3	37	19
4	39	19
5	40	19
done	40	19
0	14	23
1	30	23
2	53	23
3	90	23
4	138	23
5	198	23
6	233	23
7	252	23
8	256	23
done	256	23
0	16	34
1	32	34
2	46	34
3	53	34
4	56	34
done	56	34
0	16	34
1	32	34
2	46	34
3	53	34
4	56	34
done	56	34
0	15	29
1	28	29
2	41	29
3	51	29
4	60	29
5	66	29
6	71	29
done	71	29
0	15	29
1	28	29
2	41	29
3	51	29
4	60	29
5	66	29
6	71	29
done	71	29
0	14	28
1	30	28
2	45	28
3	80	28
4	131	28
5	186	28
6	240	28
7	275	28
8	290	28
9	295	28
done	295	28
0	16	30
1	33	30
2	48	30
3	83	30
4	134	30
5	187	30
6	239	30
7	274	30
8	289	30
9	294	30
done	294	30
0	14	28
1	30	28
2	45	28
3	80	28
4	131	28
5	186	28
6	240	28
7	275	28
8	290	28
9	295	28
done	295	28
0	15	33
1	33	33
2	63	33
3	127	33
4	259	33
5	412	33
6	579	33
7	712	33
8	765	33
9	776	33
done	776	33
0	14	31
1	30	31
2	51	29
3	116	29
4	185	29
5	191	29
6	206	29
7	237	29
8	248	29
9	260	29
10	277	29
11	293	29
12	298	29
done	298	29
0	18	45
1	39	41
2	62	41
3	67	41
4	68	41
done	68	41
0	20	37
1	40	35
2	64	35
3	77	35
4	78	35
done	78	35
0	20	37
1	40	35
2	64	35
3	79	35
4	80	35
done	80	35
0	14	29
1	29	29
2	44	29
3	48	29
done	48	29
0	17	32
1	34	30
2	48	30
3	51	30
4	52	30
done	52	30
0	13	24
1	24	24
2	30	24
3	32	24
done	32	24
0	17	32
1	34	30
2	48	30
3	51	30
4	52	30
done	52	30
0	13	24
1	24	24
2	30	24
3	32	24
done	32	24
0	14	23
1	29	23
2	57	23
3	119	23
4	253	23
5	408	23
6	573	23
7	709	23
8	768	23
9	779	23
done	779	23
0	16	28
1	35	28
2	71	28
3	162	28
4	377	28
5	638	28
6	944	28
7	1206	28
8	1307	28
9	1329	28
done	1329	28
0	16	28
1	35	28
2	71	28
3	162	28
4	377	28
5	639	28
6	944	28
7	1198	28
8	1301	28
9	1323	28
done	1323	28
0	13	23
1	24	23
2	37	23
3	56	23
4	70	23
5	80	23
done	80	23
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	11	20
1	18	20
2	22	20
3	24	20
done	24	20
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	13	21
1	19	21
2	23	21
3	24	21
done	24	21
0	11	11
1	15	11
2	17	11
done	17	11
0	12	16
1	18	16
2	22	16
3	23	16
done	23	16
0	11	11
1	15	11
2	17	11
done	17	11
0	9	13
1	15	12
2	18	12
3	19	10
4	26	10
done	26	10
0	10	10
1	14	10
2	16	10
done	16	10
0	13	17
1	18	17
2	21	17
3	22	17
done	22	17
0	12	12
1	16	12
2	18	12
done	18	12
0	9	13
1	15	12
2	18	12
3	19	10
4	26	10
done	26	10
0	10	10
1	14	10
2	16	10
done	16	10
0	13	22
1	23	22
2	34	22
3	40	22
done	40	22
0	11	11
1	15	11
2	17	11
done	17	11
0	12	16
1	18	16
2	22	16
3	23	16
done	23	16
0	11	11
1	15	11
2	17	11
done	17	11
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	10	10
1	14	10
2	16	10
done	16	10
0	12	16
1	16	16
2	18	16
done	18	16
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	8	8
1	12	7
2	13	7
done	13	7
0	10	10
1	14	10
2	16	10
done	16	10
0	12	12
1	15	12
2	16	12
done	16	12
0	12	12
1	16	12
2	18	12
done	18	12
0	8	8
1	12	7
2	13	7
done	13	7
0	10	10
1	14	10
2	16	10
done	16	10
0	12	17
1	18	17
2	20	17
done	20	17
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	7	7
1	11	5
2	14	5
done	14	5
0	10	10
1	14	10
2	16	10
done	16	10
0	9	13
1	13	13
2	14	13
done	14	13
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	9
1	12	9
done	12	9
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	14
1	15	14
2	16	14
done	16	14
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	3	4
1	5	1
done	5	1
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	13	17
1	16	17
2	17	17
done	17	17
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	12	12
1	15	12
2	16	12
done	16	12
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	9	9
1	12	8
done	12	8
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	13	13
1	15	13
done	15	13
0	13	13
1	20	13
2	24	13
3	26	13
done	26	13
0	9	9
1	12	8
done	12	8
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	13	18
1	18	18
2	19	18
done	19	18
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	12	12
1	15	12
2	16	12
done	16	12
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	8	8
1	11	6
2	13	6
done	13	6
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	9	13
1	13	13
2	14	13
done	14	13
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	9
1	12	9
done	12	9
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	14
1	15	14
2	16	14
done	16	14
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	3	4
1	5	1
done	5	1
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	2
1	4	1
done	4	1
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	4	4
1	6	4
2	7	4
done	7	4
0	7	7
1	11	7
2	12	7
done	12	7
0	12	13
1	32	13
2	57	13
3	93	13
4	181	13
5	512	13
6	2310	13
done	5001	13
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	11	13
1	21	13
2	31	13
3	48	13
4	73	13
5	114	13
6	178	13
7	346	13
8	1644	13
done	5000	13
0	5	5
1	6	5
done	6	5
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	11	21
1	18	21
2	22	21
3	24	21
done	24	21
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	11	29
1	19	29
2	25	11
3	32	8
4	38	8
5	48	8
6	69	8
7	125	8
8	335	8
9	1256	8
done	5000	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	11	20
1	18	20
2	22	20
3	24	20
done	24	20
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	13	21
1	19	21
2	23	21
3	24	21
done	24	21
0	11	11
1	15	11
2	17	11
done	17	11
0	12	16
1	18	16
2	22	16
3	23	16
done	23	16
0	11	11
1	15	11
2	17	11
done	17	11
0	9	13
1	15	12
2	18	12
3	19	10
4	26	10
done	26	10
0	10	10
1	14	10
2	16	10
done	16	10
0	13	17
1	18	17
2	21	17
3	22	17
done	22	17
0	12	12
1	16	12
2	18	12
done	18	12
0	9	13
1	15	12
2	18	12
3	19	10
4	26	10
done	26	10
0	10	10
1	14	10
2	16	10
done	16	10
0	13	22
1	23	22
2	34	22
3	40	22
done	40	22
0	11	11
1	15	11
2	17	11
done	17	11
0	12	16
1	18	16
2	22	16
3	23	16
done	23	16
0	11	11
1	15	11
2	17	11
done	17	11
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	10	10
1	14	10
2	16	10
done	16	10
0	12	16
1	16	16
2	18	16
done	18	16
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	8	8
1	12	7
2	13	7
done	13	7
0	10	10
1	14	10
2	16	10
done	16	10
0	12	12
1	15	12
2	16	12
done	16	12
0	12	12
1	16	12
2	18	12
done	18	12
0	8	8
1	12	7
2	13	7
done	13	7
0	10	10
1	14	10
2	16	10
done	16	10
0	12	17
1	18	17
2	20	17
done	20	17
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	11	11
1	15	11
2	17	11
done	17	11
0	7	7
1	11	5
2	14	5
done	14	5
0	10	10
1	14	10
2	16	10
done	16	10
0	9	13
1	13	13
2	14	13
done	14	13
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	9
1	12	9
done	12	9
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	14
1	15	14
2	16	14
done	16	14
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	3	4
1	5	1
done	5	1
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	13	17
1	16	17
2	17	17
done	17	17
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	12	12
1	15	12
2	16	12
done	16	12
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	9	9
1	12	8
done	12	8
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	13	13
1	15	13
done	15	13
0	13	13
1	20	13
2	24	13
3	26	13
done	26	13
0	9	9
1	12	8
done	12	8
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	13	18
1	18	18
2	19	18
done	19	18
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	12	12
1	15	12
2	16	12
done	16	12
0	12	12
1	19	12
2	23	12
3	25	12
done	25	12
0	8	8
1	11	6
2	13	6
done	13	6
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	9	13
1	13	13
2	14	13
done	14	13
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	9
1	12	9
done	12	9
0	11	11
1	18	11
2	22	11
3	24	11
done	24	11
0	4	5
1	6	4
done	6	4
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	9	14
1	15	14
2	16	14
done	16	14
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	8	8
1	12	8
2	13	8
done	13	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	3	4
1	5	1
done	5	1
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	2	2
1	4	1
done	4	1
0	9	9
1	16	9
2	20	9
3	22	9
done	22	9
0	4	4
1	6	4
2	7	4
done	7	4
0	7	7
1	11	7
2	12	7
done	12	7
0	12	13
1	32	13
2	57	13
3	93	13
4	181	13
5	512	13
6	2310	13
done	5001	13
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	11	13
1	21	13
2	31	13
3	48	13
4	73	13
5	114	13
6	178	13
7	346	13
8	1644	13
done	5000	13
0	5	5
1	6	5
done	6	5
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	11	21
1	18	21
2	22	21
3	24	21
done	24	21
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	11	29
1	19	29
2	25	11
3	32	8
4	38	8
5	48	8
6	69	8
7	125	8
8	335	8
9	1256	8
done	5000	8
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
0	10	10
1	17	10
2	21	10
3	23	10
done	23	10
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	36	75
1	84	68
2	200	45
3	638	29
4	2538	21
done	5000	21
0	26	55
1	62	45
2	137	18
3	409	15
4	1338	13
done	5001	13
0	27	55
1	63	39
2	129	21
3	396	16
4	1381	15
done	5001	15
0	38	67
1	89	63
2	205	63
3	594	53
4	2275	38
done	5000	38
0	17	21
1	43	16
2	76	11
3	155	8
4	371	6
5	1158	6
6	4881	6
done	5000	6
0	20	22
1	44	20
2	79	20
3	190	16
4	504	8
5	1842	8
done	5000	8
0	38	67
1	89	63
2	205	63
3	594	53
4	2275	38
done	5000	38
0	17	21
1	43	16
2	76	11
3	155	8
4	371	6
5	1158	6
6	4881	6
done	5000	6
0	20	22
1	44	20
2	79	20
3	190	16
4	504	8
5	1842	8
done	5000	8

prune221.0ms

Filtered

139 candidates to 182 candidates (-30.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	179	3	182
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	180	11	191

Merged error: 3.9b

Counts

191 → 11

regimes575.0ms

Accuracy

12.7% (7.4b remaining)

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

bsearch25.0ms

Steps

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

simplify2.0ms

Iterations

Useful iterations: done (2.0ms)

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

end0.0ms

sample1.2s

Algorithm

intervals

Results

348.0ms	7823×	body	80	valid
81.0ms	506×	body	640	valid
53.0ms	254×	body	1280	valid
48.0ms	399×	body	320	valid
23.0ms	270×	body	160	valid
3.0ms	14×	body	2560	valid

Details

sample41.0ms

simplify8.7s

prune9.0ms

localize10.0ms

rewrite37.0ms

series114.0ms

simplify3.2min

prune176.0ms

localize14.0ms

rewrite64.0ms

series192.0ms

simplify5.9min

prune209.0ms

localize12.0ms

rewrite126.0ms

series128.0ms

simplify5.9min

prune293.0ms

localize19.0ms

rewrite85.0ms

series357.0ms

simplify2.2min

prune221.0ms

regimes575.0ms

bsearch25.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling