Details

sample32.0ms

Algorithm

intervals

Results

13.0ms	309×	body	80	valid
1.0ms	5×	body	1280	valid
1.0ms	6×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	3×	body	160	valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	21	13
2	47	13
3	124	13
4	284	13
5	639	13
6	1179	13
7	2078	13
8	3434	13
done	5001	13

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.3b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 2.0 3.0) z)
0.0b	(* (- y x) 6.0)
0.0b	(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
0.3b	(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

12.0ms	(- (/ 2.0 3.0) z)
7.0ms	(* (- y x) 6.0)
5.0ms	(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
16.0ms	(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

series33.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(- (/ 2.0 3.0) z)
5.0ms	(* (- y x) 6.0)
15.0ms	(+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))
10.0ms	(* (* (- y x) 6.0) (- (/ 2.0 3.0) z))

simplify4.0min

Counts

97 → 97

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	45	11
3	118	11
4	257	11
5	534	11
6	908	11
7	1431	11
8	2102	11
9	3582	11
10	4042	11
11	4058	11
done	4058	11
0	11	11
1	19	11
2	45	11
3	118	11
4	257	11
5	534	11
6	908	11
7	1431	11
8	2102	11
9	3582	11
10	4042	11
11	4058	11
done	4058	11
0	14	14
1	22	14
2	30	14
3	32	14
done	32	14
0	13	13
1	22	13
2	35	13
3	44	13
4	48	13
done	48	13
0	12	12
1	23	12
2	56	12
3	141	12
4	282	12
5	559	12
6	916	12
7	1437	12
8	2108	12
9	3606	12
10	4085	12
11	4121	12
done	4121	12
0	12	12
1	22	12
2	59	12
3	175	12
4	431	12
5	1066	12
6	2759	12
done	5000	12
0	17	35
1	34	35
2	131	17
3	667	17
4	4359	15
done	5001	15
0	15	35
1	36	35
2	147	15
3	786	15
4	4760	13
done	5000	13
0	13	25
1	21	25
2	47	25
3	120	25
4	259	25
5	534	25
6	903	25
7	1424	25
8	2096	25
9	3580	25
10	4041	25
11	4057	25
done	4057	25
0	12	12
1	20	12
2	46	12
3	119	12
4	262	12
5	533	12
6	892	12
7	1411	12
8	2078	12
9	3568	12
10	4029	12
11	4044	12
done	4044	12
0	13	35
1	31	35
2	139	13
3	866	13
done	5002	13
0	12	12
1	20	12
2	46	12
3	119	12
4	262	12
5	533	12
6	892	12
7	1411	12
8	2078	12
9	3568	12
10	4029	12
11	4044	12
done	4044	12
0	12	12
1	20	12
2	46	12
3	119	12
4	262	12
5	533	12
6	892	12
7	1411	12
8	2078	12
9	3568	12
10	4029	12
11	4044	12
done	4044	12
0	16	19
1	50	19
2	133	19
3	459	19
4	2417	19
done	5001	19
0	17	29
1	44	25
2	136	25
3	601	23
4	2144	23
done	5000	23
0	16	21
1	44	21
2	109	21
3	371	21
4	1829	21
done	5000	21
0	13	17
1	28	15
2	83	15
3	251	15
4	580	15
5	1199	15
6	1406	15
7	1478	15
8	1518	15
9	1523	15
done	1523	15
0	16	19
1	43	19
2	120	19
3	451	19
4	2751	19
done	5000	19
0	13	21
1	34	19
2	100	19
3	289	17
4	678	17
5	1449	17
6	2022	17
7	2269	17
8	2368	17
9	2385	17
10	2411	17
11	2449	17
12	2471	17
done	2471	17
0	15	21
1	33	21
2	89	21
3	365	21
4	1972	21
done	5000	21
0	9	9
1	18	9
2	47	9
3	83	9
4	121	9
5	136	9
6	142	9
7	144	9
done	144	9
0	9	9
1	17	9
2	38	9
3	89	9
4	166	9
5	281	9
6	393	9
7	461	9
8	466	9
done	466	9
0	8	8
1	16	8
2	37	8
3	88	8
4	172	8
5	269	7
6	339	7
7	373	7
8	429	7
9	548	7
10	552	7
done	552	7
0	9	9
1	17	9
2	38	9
3	89	9
4	166	9
5	281	9
6	393	9
7	461	9
8	466	9
done	466	9
0	8	8
1	16	8
2	37	8
3	88	8
4	172	8
5	269	7
6	339	7
7	373	7
8	429	7
9	548	7
10	552	7
done	552	7
0	9	9
1	17	9
2	44	9
3	114	9
4	187	9
5	270	9
6	396	9
7	464	9
8	471	9
done	471	9
0	8	8
1	16	8
2	43	8
3	117	8
4	199	8
5	261	7
6	284	7
7	318	7
8	378	7
9	501	7
10	505	7
done	505	7
0	9	9
1	17	9
2	44	9
3	114	9
4	187	9
5	270	9
6	396	9
7	464	9
8	471	9
done	471	9
0	8	8
1	16	8
2	43	8
3	117	8
4	199	8
5	261	7
6	284	7
7	318	7
8	378	7
9	501	7
10	505	7
done	505	7
0	13	19
1	23	19
2	44	19
3	87	19
4	143	19
5	193	19
6	234	19
7	239	19
done	239	19
0	12	12
1	20	12
2	34	12
3	61	12
4	82	12
5	101	12
6	109	12
done	109	12
0	7	7
1	15	5
2	34	5
3	57	5
4	82	5
5	102	5
6	120	5
7	124	5
done	124	5
0	13	13
1	26	13
2	60	13
3	139	13
4	234	13
5	372	13
6	520	13
7	700	13
8	1262	13
9	2131	13
10	2420	13
11	2431	13
done	2431	13
0	14	14
1	27	14
2	65	14
3	166	14
4	314	14
5	525	14
6	778	14
7	1052	14
8	1765	14
9	3289	14
10	3905	14
11	3948	14
done	3948	14
0	7	7
1	15	5
2	34	5
3	57	5
4	82	5
5	102	5
6	120	5
7	124	5
done	124	5
0	7	7
1	10	7
2	17	7
3	26	7
4	34	7
5	36	7
6	37	7
done	37	7
0	14	15
1	38	15
2	103	15
3	350	15
4	1629	15
done	5001	15
0	13	17
1	28	17
2	72	17
3	252	17
4	950	17
5	2804	17
done	5000	17
0	14	15
1	35	15
2	82	15
3	239	15
4	968	15
5	4519	15
done	5000	15
0	13	15
1	24	15
2	62	15
3	219	15
4	867	15
5	2470	15
done	5000	15
0	14	15
1	27	14
2	65	14
3	188	14
4	487	14
5	1302	14
6	3639	14
done	5001	14
0	13	14
1	22	14
2	48	14
3	125	14
4	289	14
5	648	14
6	1189	14
7	2090	14
8	3445	14
done	5000	14
0	13	14
1	25	14
2	58	14
3	170	14
4	441	14
5	1174	14
6	3328	14
done	5001	14
0	14	29
1	23	29
2	49	29
3	126	29
4	286	29
5	645	29
6	1175	29
7	2080	29
8	3446	29
done	5001	29
0	13	14
1	22	14
2	48	14
3	125	14
4	289	14
5	648	14
6	1189	14
7	2090	14
8	3445	14
done	5000	14
0	14	41
1	36	41
2	118	15
3	615	15
4	4066	15
done	5001	15
0	13	14
1	22	14
2	48	14
3	125	14
4	289	14
5	648	14
6	1189	14
7	2090	14
8	3445	14
done	5000	14
0	13	14
1	22	14
2	48	14
3	125	14
4	289	14
5	648	14
6	1189	14
7	2090	14
8	3445	14
done	5000	14
0	15	17
1	40	17
2	121	17
3	623	17
4	4354	17
done	5001	17
0	16	41
1	41	29
2	163	29
3	813	29
4	3840	29
done	5000	29
0	14	27
1	34	27
2	130	27
3	716	27
4	4135	27
done	5000	27
0	12	13
1	22	13
2	59	13
3	196	13
4	581	13
5	1286	13
6	2700	13
7	3930	13
done	5000	13
0	10	11
1	19	11
2	40	11
3	91	11
4	176	11
5	302	11
6	422	11
7	513	11
8	625	11
9	939	11
10	1389	11
11	1595	11
12	1834	11
13	2070	11
14	2085	11
15	2121	11
16	2279	11
17	3008	11
18	4067	11
done	5000	11
0	10	11
1	19	11
2	40	11
3	91	11
4	176	11
5	302	11
6	422	11
7	513	11
8	625	11
9	939	11
10	1389	11
11	1595	11
12	1834	11
13	2070	11
14	2085	11
15	2121	11
16	2279	11
17	3008	11
18	4067	11
done	5000	11
0	10	11
1	19	11
2	46	11
3	116	11
4	197	11
5	290	11
6	425	11
7	516	11
8	629	11
9	946	11
10	1397	11
11	1604	11
12	1848	11
13	2084	11
14	2099	11
15	2135	11
16	2293	11
17	3030	11
18	4118	11
done	5000	11
0	10	11
1	19	11
2	46	11
3	116	11
4	197	11
5	290	11
6	425	11
7	516	11
8	629	11
9	946	11
10	1397	11
11	1604	11
12	1848	11
13	2084	11
14	2099	11
15	2135	11
16	2293	11
17	3030	11
18	4118	11
done	5000	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	54	6
10	63	6
11	83	6
12	104	6
13	121	6
14	124	6
done	124	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	56	6
9	65	6
10	86	6
11	107	6
12	119	6
13	122	6
done	122	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	76	7
4	228	7
5	687	7
6	2225	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	26	9
2	66	9
3	148	9
4	384	9
5	1176	9
done	5000	9
0	9	17
1	22	15
2	39	15
3	48	13
4	58	13
5	68	13
6	71	13
7	73	13
8	74	13
done	74	13
0	2	2
done	2	2
0	7	11
1	16	11
2	29	11
3	51	11
4	89	11
5	152	11
6	228	11
7	413	11
8	1810	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
done	2	2
0	11	13
1	22	13
2	39	11
3	77	11
4	116	11
5	145	11
6	216	11
7	333	11
8	349	11
9	354	11
done	354	11
0	12	15
1	26	15
2	45	15
3	89	11
4	143	11
5	197	11
6	346	11
7	499	11
8	585	11
9	591	11
done	591	11
0	12	15
1	26	15
2	45	15
3	89	11
4	143	11
5	197	11
6	346	11
7	499	11
8	585	11
9	591	11
done	591	11
0	12	13
1	23	13
2	42	13
3	52	11
4	63	11
5	94	11
6	167	11
7	271	11
8	297	11
9	307	11
10	341	11
11	362	11
done	362	11
0	12	15
1	26	15
2	55	13
3	98	11
4	135	11
5	183	11
6	282	11
7	420	11
8	488	11
9	555	11
10	613	11
done	613	11
0	12	15
1	26	15
2	55	13
3	98	11
4	135	11
5	183	11
6	282	11
7	420	11
8	488	11
9	555	11
10	613	11
done	613	11
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3

prune177.0ms

Filtered

72 candidates to 97 candidates (-34.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	88	9	97
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	10	98

Merged error: 0.0b

Counts

98 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 2.0 3.0) z)
0.0b	(* 6.0 (- (/ 2.0 3.0) z))
0.0b	(+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
0.1b	(* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

8.0ms	(- (/ 2.0 3.0) z)
10.0ms	(* 6.0 (- (/ 2.0 3.0) z))
6.0ms	(+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
16.0ms	(* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))

series35.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(- (/ 2.0 3.0) z)
4.0ms	(* 6.0 (- (/ 2.0 3.0) z))
18.0ms	(+ x (* (- y x) (* 6.0 (- (/ 2.0 3.0) z))))
11.0ms	(* (- y x) (* 6.0 (- (/ 2.0 3.0) z)))

simplify5.1min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	45	11
3	120	11
4	269	11
5	553	11
6	919	11
7	1454	11
8	2137	11
9	3603	11
10	4025	11
11	4040	11
done	4040	11
0	11	11
1	19	11
2	45	11
3	120	11
4	269	11
5	553	11
6	919	11
7	1454	11
8	2137	11
9	3603	11
10	4025	11
11	4040	11
done	4040	11
0	14	14
1	22	14
2	30	14
3	32	14
done	32	14
0	13	13
1	22	13
2	35	13
3	48	13
4	56	13
5	58	13
6	59	13
done	59	13
0	12	12
1	23	12
2	56	12
3	143	12
4	294	12
5	579	12
6	936	12
7	1469	12
8	2159	12
9	3640	12
10	4081	12
11	4108	12
done	4108	12
0	12	12
1	22	12
2	61	12
3	173	12
4	461	12
5	1129	12
6	3210	12
done	5000	12
0	17	35
1	34	35
2	132	17
3	694	17
4	4208	15
done	5000	15
0	15	35
1	36	35
2	142	15
3	787	15
4	4705	13
done	5000	13
0	13	25
1	21	25
2	47	25
3	122	25
4	269	25
5	551	25
6	913	25
7	1448	25
8	2133	25
9	3603	25
10	4025	25
11	4041	25
done	4041	25
0	12	12
1	20	12
2	46	12
3	121	12
4	278	12
5	560	12
6	925	12
7	1458	12
8	2150	12
9	3639	12
10	4061	12
11	4076	12
done	4076	12
0	13	35
1	31	35
2	140	13
3	930	13
done	5000	13
0	12	12
1	20	12
2	46	12
3	121	12
4	278	12
5	560	12
6	925	12
7	1458	12
8	2150	12
9	3639	12
10	4061	12
11	4076	12
done	4076	12
0	12	12
1	20	12
2	46	12
3	121	12
4	278	12
5	560	12
6	925	12
7	1458	12
8	2150	12
9	3639	12
10	4061	12
11	4076	12
done	4076	12
0	16	19
1	50	19
2	133	19
3	461	19
4	2468	19
done	5000	19
0	17	29
1	44	25
2	136	25
3	601	23
4	2144	23
done	5000	23
0	16	21
1	44	21
2	109	21
3	384	21
4	2101	21
done	5000	21
0	13	17
1	28	15
2	83	15
3	251	15
4	580	15
5	1199	15
6	1406	15
7	1478	15
8	1518	15
9	1523	15
done	1523	15
0	16	19
1	43	19
2	120	19
3	444	19
4	2559	19
done	5000	19
0	13	21
1	34	19
2	100	19
3	289	17
4	678	17
5	1449	17
6	2022	17
7	2269	17
8	2368	17
9	2385	17
10	2411	17
11	2449	17
12	2471	17
done	2471	17
0	15	21
1	33	21
2	89	21
3	369	21
4	1981	21
done	5000	21
0	9	9
1	18	9
2	47	9
3	83	9
4	121	9
5	136	9
6	142	9
7	144	9
done	144	9
0	9	9
1	17	9
2	39	9
3	101	9
4	212	9
5	342	9
6	424	9
7	454	9
done	454	9
0	8	8
1	16	8
2	38	8
3	104	8
4	194	8
5	268	7
6	396	7
7	450	7
8	572	7
9	575	7
done	575	7
0	9	9
1	17	9
2	39	9
3	101	9
4	212	9
5	342	9
6	424	9
7	454	9
done	454	9
0	8	8
1	16	8
2	38	8
3	104	8
4	194	8
5	268	7
6	396	7
7	450	7
8	572	7
9	575	7
done	575	7
0	9	9
1	17	9
2	39	9
3	105	9
4	196	9
5	316	9
6	425	9
7	449	9
done	449	9
0	8	8
1	16	8
2	38	8
3	100	8
4	186	8
5	260	7
6	388	7
7	444	7
8	564	7
9	567	7
done	567	7
0	9	9
1	17	9
2	39	9
3	105	9
4	196	9
5	316	9
6	425	9
7	449	9
done	449	9
0	8	8
1	16	8
2	38	8
3	100	8
4	186	8
5	260	7
6	388	7
7	444	7
8	564	7
9	567	7
done	567	7
0	9	9
1	17	9
2	45	9
3	118	9
4	226	9
5	349	9
6	435	9
7	456	9
8	457	9
done	457	9
0	8	8
1	16	8
2	44	8
3	113	8
4	200	8
5	261	7
6	339	7
7	397	7
8	520	7
9	524	7
done	524	7
0	9	9
1	17	9
2	45	9
3	118	9
4	226	9
5	349	9
6	435	9
7	456	9
8	457	9
done	457	9
0	8	8
1	16	8
2	44	8
3	113	8
4	200	8
5	261	7
6	339	7
7	397	7
8	520	7
9	524	7
done	524	7
0	9	9
1	17	9
2	45	9
3	115	9
4	200	9
5	324	9
6	427	9
7	453	9
8	455	9
done	455	9
0	8	8
1	16	8
2	44	8
3	113	8
4	201	8
5	267	7
6	397	7
7	455	7
8	578	7
9	582	7
done	582	7
0	9	9
1	17	9
2	45	9
3	115	9
4	200	9
5	324	9
6	427	9
7	453	9
8	455	9
done	455	9
0	8	8
1	16	8
2	44	8
3	113	8
4	201	8
5	267	7
6	397	7
7	455	7
8	578	7
9	582	7
done	582	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	12	12
1	20	12
2	40	12
3	74	12
4	111	12
5	146	12
6	160	12
7	168	12
done	168	12
0	12	12
1	20	12
2	40	12
3	74	12
4	111	12
5	146	12
6	160	12
7	168	12
done	168	12
0	11	11
1	19	11
2	45	11
3	120	11
4	269	11
5	553	11
6	919	11
7	1454	11
8	2137	11
9	3603	11
10	4025	11
11	4040	11
done	4040	11
0	13	13
1	21	13
2	47	13
3	124	13
4	277	13
5	564	13
6	932	13
7	1480	13
8	2133	13
9	3338	13
10	3751	13
11	3765	13
done	3765	13
0	11	11
1	19	11
2	45	11
3	120	11
4	269	11
5	553	11
6	919	11
7	1454	11
8	2137	11
9	3603	11
10	4025	11
11	4040	11
done	4040	11
0	14	15
1	38	15
2	103	15
3	352	15
4	1614	15
done	5000	15
0	13	17
1	28	17
2	72	17
3	265	17
4	1052	17
5	3013	17
done	5000	17
0	14	15
1	35	15
2	82	15
3	241	15
4	956	15
5	4635	15
done	5000	15
0	13	15
1	24	15
2	62	15
3	212	15
4	799	15
5	2417	15
done	5000	15
0	14	15
1	27	14
2	66	14
3	190	14
4	522	14
5	1380	14
6	4210	14
done	5000	14
0	13	14
1	22	14
2	48	14
3	131	14
4	300	14
5	674	14
6	1223	14
7	2124	14
8	3420	14
done	5000	14
0	13	14
1	25	14
2	58	14
3	175	14
4	483	14
5	1242	14
6	3791	14
done	5000	14
0	14	29
1	23	29
2	49	29
3	132	29
4	303	29
5	680	29
6	1221	29
7	2124	29
8	3453	29
done	5001	29
0	13	14
1	22	14
2	48	14
3	131	14
4	300	14
5	674	14
6	1223	14
7	2124	14
8	3420	14
done	5000	14
0	14	41
1	36	41
2	118	15
3	643	15
4	4467	15
done	5000	15
0	13	14
1	22	14
2	48	14
3	131	14
4	300	14
5	674	14
6	1223	14
7	2124	14
8	3420	14
done	5000	14
0	13	14
1	22	14
2	48	14
3	131	14
4	300	14
5	674	14
6	1223	14
7	2124	14
8	3420	14
done	5000	14
0	15	17
1	40	17
2	121	17
3	637	17
4	4408	17
done	5001	17
0	16	41
1	41	29
2	162	29
3	811	29
4	3764	29
done	5000	29
0	14	27
1	34	27
2	130	27
3	771	27
4	4241	27
done	5001	27
0	12	13
1	22	13
2	59	13
3	202	13
4	591	13
5	1460	13
6	2806	13
7	4150	13
done	5000	13
0	10	11
1	19	11
2	41	11
3	109	11
4	225	11
5	361	11
6	452	11
7	510	11
8	620	11
9	924	11
10	1374	11
11	1580	11
12	1823	11
13	2061	11
14	2076	11
15	2112	11
16	2270	11
17	3005	11
18	4080	11
done	5000	11
0	10	11
1	19	11
2	41	11
3	109	11
4	225	11
5	361	11
6	452	11
7	510	11
8	620	11
9	924	11
10	1374	11
11	1580	11
12	1823	11
13	2061	11
14	2076	11
15	2112	11
16	2270	11
17	3005	11
18	4080	11
done	5000	11
0	10	11
1	19	11
2	41	11
3	113	11
4	211	11
5	341	11
6	458	11
7	510	11
8	618	11
9	922	11
10	1372	11
11	1578	11
12	1823	11
13	2058	11
14	2073	11
15	2109	11
16	2267	11
17	3000	11
18	4062	11
done	5000	11
0	10	11
1	19	11
2	41	11
3	113	11
4	211	11
5	341	11
6	458	11
7	510	11
8	618	11
9	922	11
10	1372	11
11	1578	11
12	1823	11
13	2058	11
14	2073	11
15	2109	11
16	2267	11
17	3000	11
18	4062	11
done	5000	11
0	10	11
1	19	11
2	47	11
3	126	11
4	235	11
5	364	11
6	459	11
7	507	11
8	616	11
9	920	11
10	1370	11
11	1576	11
12	1823	11
13	2065	11
14	2080	11
15	2116	11
16	2274	11
17	3011	11
18	4079	11
done	5000	11
0	10	11
1	19	11
2	47	11
3	126	11
4	235	11
5	364	11
6	459	11
7	507	11
8	616	11
9	920	11
10	1370	11
11	1576	11
12	1823	11
13	2065	11
14	2080	11
15	2116	11
16	2274	11
17	3011	11
18	4079	11
done	5000	11
0	10	11
1	19	11
2	47	11
3	123	11
4	210	11
5	340	11
6	450	11
7	504	11
8	614	11
9	918	11
10	1368	11
11	1574	11
12	1825	11
13	2062	11
14	2077	11
15	2113	11
16	2271	11
17	3002	11
18	4086	11
done	5001	11
0	10	11
1	19	11
2	47	11
3	123	11
4	210	11
5	340	11
6	450	11
7	504	11
8	614	11
9	918	11
10	1368	11
11	1574	11
12	1825	11
13	2062	11
14	2077	11
15	2113	11
16	2271	11
17	3002	11
18	4086	11
done	5001	11
0	7	7
1	10	7
2	17	7
3	26	7
4	34	7
5	36	7
6	37	7
done	37	7
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	14	8
2	22	8
3	31	8
4	39	8
5	41	8
6	42	8
done	42	8
0	8	8
1	13	8
2	26	8
3	55	8
4	102	8
5	213	8
6	480	8
7	1492	8
done	5000	8
0	11	23
1	20	23
2	64	11
3	253	11
4	978	9
5	3889	9
done	5000	9
0	9	17
1	12	17
2	19	17
3	28	17
4	36	17
5	38	17
6	39	17
done	39	17
0	8	8
1	11	8
2	18	8
3	27	8
4	35	8
5	37	8
6	38	8
done	38	8
0	9	23
1	22	23
2	76	9
3	284	9
4	948	9
5	3454	9
done	5001	9
0	8	8
1	11	8
2	18	8
3	27	8
4	35	8
5	37	8
6	38	8
done	38	8
0	8	8
1	11	8
2	18	8
3	27	8
4	35	8
5	37	8
6	38	8
done	38	8
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	9	15
1	14	15
2	17	15
done	17	15
0	8	8
1	11	8
2	12	8
done	12	8
0	3	3
1	6	1
done	6	1
0	9	9
1	17	9
2	18	9
done	18	9
0	10	10
1	18	10
2	23	10
3	27	10
4	29	10
5	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	8	8
1	11	8
2	18	8
3	27	8
4	35	8
5	37	8
6	38	8
done	38	8
0	8	8
1	11	8
2	18	8
3	27	8
4	35	8
5	37	8
6	38	8
done	38	8
0	7	7
1	10	7
2	17	7
3	26	7
4	34	7
5	36	7
6	37	7
done	37	7
0	10	11
1	29	11
2	75	11
3	210	11
4	653	11
5	2358	11
done	5000	11
0	9	13
1	19	13
2	42	13
3	105	13
4	246	13
5	440	13
6	701	13
7	1236	13
8	4288	13
done	5001	13
0	7	7
1	9	6
2	11	6
3	14	6
4	17	6
5	23	6
6	27	6
7	43	6
8	47	6
9	54	6
10	63	6
11	83	6
12	104	6
13	121	6
14	124	6
done	124	6
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	11	6
2	14	6
3	17	6
4	23	6
5	27	6
6	43	6
7	49	6
8	56	6
9	65	6
10	86	6
11	107	6
12	119	6
13	122	6
done	122	6
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	10	17
2	25	7
3	76	7
4	228	7
5	687	7
6	2225	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	8	9
1	26	9
2	66	9
3	148	9
4	384	9
5	1176	9
done	5000	9
0	9	17
1	22	15
2	39	15
3	48	13
4	58	13
5	68	13
6	71	13
7	73	13
8	74	13
done	74	13
0	2	2
done	2	2
0	7	11
1	16	11
2	29	11
3	51	11
4	89	11
5	152	11
6	228	11
7	413	11
8	1810	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
done	2	2
0	11	13
1	22	13
2	39	11
3	77	11
4	116	11
5	145	11
6	216	11
7	333	11
8	349	11
9	354	11
done	354	11
0	12	15
1	26	15
2	45	15
3	89	11
4	143	11
5	197	11
6	346	11
7	499	11
8	585	11
9	591	11
done	591	11
0	12	15
1	26	15
2	45	15
3	89	11
4	143	11
5	197	11
6	346	11
7	499	11
8	585	11
9	591	11
done	591	11
0	12	13
1	23	13
2	42	13
3	52	11
4	63	11
5	94	11
6	167	11
7	271	11
8	297	11
9	307	11
10	341	11
11	362	11
done	362	11
0	12	15
1	26	15
2	55	13
3	98	11
4	135	11
5	183	11
6	282	11
7	420	11
8	488	11
9	555	11
10	613	11
done	613	11
0	12	15
1	26	15
2	55	13
3	98	11
4	135	11
5	183	11
6	282	11
7	420	11
8	488	11
9	555	11
10	613	11
done	613	11
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3

prune177.0ms

Filtered

77 candidates to 109 candidates (-41.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	3	5	8
Picked	0	1	1
Done	1	0	1
Total	108	11	119

Merged error: 0.0b

Counts

119 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* 6.0 (* z (- x y))))
0.0b	(* z (- x y))
0.0b	(+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* 6.0 (* z (- x y)))))
0.3b	(* 6.0 (* z (- x y)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-*r/`
18×	`distribute-rgt-in` `distribute-lft-in`
11×	`pow1` `add-exp-log` `add-sqr-sqrt` `flip3--` `*-un-lft-identity` `add-cbrt-cube` `flip--` `add-log-exp`
10×	`sub-neg` `frac-add`
9×	`associate-+r+`
7×	`add-cube-cbrt`
6×	`associate-r` `associate-l`
4×	`frac-times` `pow-prod-down` `associate-*l/` `prod-exp` `sum-log` `cbrt-unprod`
2×	`+-commutative` `flip3-+` `*-commutative` `flip-+`
1×	`distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 97

Calls

4 calls:

14.0ms	(+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* 6.0 (* z (- x y))))
8.0ms	(* z (- x y))
12.0ms	(+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* 6.0 (* z (- x y)))))
9.0ms	(* 6.0 (* z (- x y)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* 6.0 (* z (- x y))))
8.0ms	(* z (- x y))
22.0ms	(+ x (+ (* (- y x) (* 6.0 (/ 2.0 3.0))) (* 6.0 (* z (- x y)))))
10.0ms	(* 6.0 (* z (- x y)))

simplify4.3min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	32	7
3	58	7
4	78	7
5	94	7
done	94	7
0	7	7
1	13	7
2	32	7
3	58	7
4	78	7
5	94	7
done	94	7
0	10	10
1	16	10
2	23	10
3	25	10
done	25	10
0	9	9
1	16	9
2	28	9
3	37	9
4	41	9
done	41	9
0	8	8
1	17	8
2	43	8
3	81	8
4	99	8
5	113	8
done	113	8
0	8	8
1	16	8
2	43	8
3	100	8
4	212	8
5	478	8
6	1352	8
done	5000	8
0	13	23
1	28	23
2	113	13
3	572	13
4	2679	11
done	5000	11
0	11	23
1	30	23
2	123	11
3	664	11
4	3055	9
done	5000	9
0	9	17
1	15	17
2	34	17
3	60	17
4	78	17
5	92	17
done	92	17
0	8	8
1	14	8
2	33	8
3	59	8
4	79	8
5	93	8
done	93	8
0	9	23
1	25	23
2	109	9
3	624	9
4	3115	9
done	5001	9
0	8	8
1	14	8
2	33	8
3	59	8
4	79	8
5	93	8
done	93	8
0	8	8
1	14	8
2	33	8
3	59	8
4	79	8
5	93	8
done	93	8
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	44	6
4	56	6
done	56	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	44	6
4	56	6
done	56	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	40	6
4	50	6
5	51	6
done	51	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	40	6
4	50	6
5	51	6
done	51	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	40	6
4	50	6
5	51	6
done	51	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	40	6
4	50	6
5	51	6
done	51	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	44	6
4	56	6
done	56	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	27	6
3	44	6
4	56	6
done	56	6
0	3	3
1	4	3
done	4	3
0	8	8
1	14	8
2	33	8
3	59	8
4	77	8
5	91	8
done	91	8
0	8	8
1	14	8
2	33	8
3	59	8
4	77	8
5	91	8
done	91	8
0	7	7
1	13	7
2	32	7
3	58	7
4	78	7
5	94	7
done	94	7
0	10	11
1	29	11
2	69	11
3	213	11
4	641	11
5	2158	11
done	5000	11
0	9	11
1	18	11
2	49	11
3	160	11
4	413	11
5	683	11
6	1094	11
7	1934	11
done	5000	11
0	18	22
1	42	21
2	115	20
3	323	18
4	997	18
5	3851	18
done	5000	18
0	17	21
1	38	20
2	101	20
3	275	18
4	782	18
5	2696	18
done	5001	18
0	16	20
1	34	20
2	81	20
3	199	18
4	418	18
5	758	18
6	1187	18
7	2221	18
8	4388	14
done	5001	14
0	16	20
1	37	20
2	91	20
3	252	18
4	627	18
5	1757	18
done	5000	18
0	17	41
1	35	41
2	82	41
3	198	37
4	417	37
5	758	37
6	1187	37
7	2220	37
8	4387	29
done	5000	29
0	16	20
1	34	20
2	81	20
3	199	18
4	418	18
5	758	18
6	1187	18
7	2221	18
8	4388	14
done	5001	14
0	17	59
1	48	59
2	163	21
3	793	19
done	5000	19
0	16	20
1	34	20
2	81	20
3	199	18
4	418	18
5	758	18
6	1187	18
7	2221	18
8	4388	14
done	5001	14
0	16	20
1	34	20
2	81	20
3	199	18
4	418	18
5	758	18
6	1187	18
7	2221	18
8	4388	14
done	5001	14
0	18	23
1	47	23
2	113	23
3	404	21
4	2388	21
done	5001	21
0	19	59
1	54	41
2	187	41
3	896	37
done	5000	37
0	17	39
1	43	39
2	141	39
3	697	35
4	4461	35
done	5000	35
0	15	19
1	34	19
2	84	19
3	247	17
4	701	17
5	1769	17
6	3379	13
7	4836	13
done	5000	13
0	15	19
1	33	19
2	80	19
3	198	17
4	415	17
5	751	17
6	1176	17
7	2209	17
8	4380	13
done	5001	13
0	10	11
1	19	11
2	41	11
3	109	11
4	225	11
5	361	11
6	452	11
7	510	11
8	620	11
9	924	11
10	1374	11
11	1580	11
12	1823	11
13	2061	11
14	2076	11
15	2112	11
16	2270	11
17	3005	11
18	4080	11
done	5000	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	16	19
1	37	18
2	99	18
3	276	16
4	781	16
5	2548	16
done	5000	16
0	15	18
1	30	18
2	71	18
3	173	16
4	347	16
5	584	16
6	813	16
7	1341	16
8	2733	12
9	3332	12
10	3457	12
11	3470	12
done	3470	12
0	15	18
1	33	18
2	87	18
3	242	16
4	629	16
5	1883	16
done	5001	16
0	16	37
1	31	37
2	72	37
3	174	33
4	340	33
5	582	33
6	809	33
7	1337	33
8	2730	25
9	3312	25
10	3414	25
11	3415	25
done	3415	25
0	15	18
1	30	18
2	71	18
3	173	16
4	344	16
5	580	16
6	809	16
7	1337	16
8	2730	12
9	3305	12
10	3404	12
11	3405	12
done	3405	12
0	16	53
1	44	53
2	165	19
3	1012	17
done	5001	17
0	15	18
1	30	18
2	71	18
3	173	16
4	344	16
5	580	16
6	809	16
7	1337	16
8	2730	12
9	3305	12
10	3404	12
11	3405	12
done	3405	12
0	15	18
1	30	18
2	71	18
3	173	16
4	344	16
5	580	16
6	809	16
7	1337	16
8	2730	12
9	3305	12
10	3404	12
11	3405	12
done	3405	12
0	27	49
1	78	45
2	261	45
3	1259	35
done	5000	35
0	13	25
1	35	21
2	98	21
3	448	21
4	1436	21
5	4131	21
done	5001	21
0	25	41
1	73	39
2	233	39
3	996	39
done	5002	35
0	11	17
1	28	15
2	76	15
3	300	15
4	514	15
5	919	15
6	1594	15
7	2210	15
8	2388	15
9	2667	15
10	3704	15
done	5000	15
0	25	41
1	73	39
2	255	39
3	1260	35
done	5000	35
0	11	17
1	28	15
2	96	15
3	291	15
4	530	15
5	966	15
6	1670	15
7	2218	15
8	2397	15
9	2588	15
10	3240	15
done	5000	15
0	20	33
1	52	33
2	190	33
3	853	29
4	3742	25
done	5000	25
0	7	9
1	15	9
2	39	9
3	83	9
4	121	9
5	185	9
6	242	9
7	281	9
8	287	9
done	287	9
0	23	33
1	66	31
2	213	31
3	879	31
4	3027	29
done	5000	29
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	18	25
1	46	25
2	147	25
3	529	25
4	1530	21
5	3478	19
done	5000	19
0	5	5
1	13	5
2	14	5
done	14	5
0	27	49
1	77	45
2	255	45
3	1398	35
done	5001	35
0	11	23
1	30	19
2	88	19
3	339	19
4	925	19
5	2975	19
done	5000	19
0	25	41
1	72	39
2	228	39
3	1077	39
done	5000	35
0	9	15
1	23	13
2	73	13
3	156	13
4	340	13
5	603	13
6	790	13
7	847	13
8	922	13
9	1187	13
10	2314	13
done	5001	13
0	25	41
1	72	39
2	250	39
3	1373	35
done	5000	35
0	9	15
1	23	13
2	73	13
3	157	13
4	301	13
5	590	13
6	841	13
7	972	13
8	1052	13
9	1323	13
10	2456	13
done	5000	13
0	20	33
1	51	33
2	184	33
3	873	29
4	3647	25
done	5000	25
0	5	7
1	12	7
2	25	7
3	41	7
4	64	7
5	80	7
6	87	7
7	89	7
done	89	7
0	17	21
1	51	21
2	195	21
3	1103	21
done	5001	21
0	18	53
1	58	45
2	261	45
3	1604	41
done	5001	41
0	16	35
1	49	35
2	206	35
3	1108	31
4	4920	31
done	5000	31
0	14	17
1	30	17
2	82	17
3	234	15
4	511	15
5	939	15
6	1582	11
7	2430	11
8	3591	11
9	3663	11
done	3663	11
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	13	15
1	26	15
2	54	15
3	126	13
4	253	13
5	396	13
6	507	13
7	606	13
8	807	13
9	1255	13
10	1754	13
11	2010	13
12	2195	13
13	2216	13
done	2216	13
0	9	11
1	21	9
2	46	7
3	81	7
4	99	7
5	100	7
done	100	7
0	9	11
1	21	9
2	46	7
3	81	7
4	99	7
5	100	7
done	100	7
0	9	11
1	21	9
2	46	7
3	81	7
4	99	7
5	100	7
done	100	7
0	12	13
1	23	13
2	42	13
3	52	11
4	63	11
5	94	11
6	167	11
7	271	11
8	297	11
9	307	11
10	341	11
11	362	11
done	362	11
0	12	15
1	26	15
2	55	13
3	98	11
4	135	11
5	183	11
6	282	11
7	420	11
8	488	11
9	555	11
10	613	11
done	613	11
0	12	15
1	26	15
2	55	13
3	98	11
4	135	11
5	183	11
6	282	11
7	420	11
8	488	11
9	555	11
10	613	11
done	613	11
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	11	13
1	22	13
2	39	11
3	77	11
4	116	11
5	145	11
6	216	11
7	333	11
8	349	11
9	354	11
done	354	11
0	12	15
1	26	15
2	45	15
3	89	11
4	143	11
5	197	11
6	346	11
7	499	11
8	585	11
9	591	11
done	591	11
0	12	15
1	26	15
2	45	15
3	89	11
4	143	11
5	197	11
6	346	11
7	499	11
8	585	11
9	591	11
done	591	11

prune172.0ms

Filtered

81 candidates to 109 candidates (-34.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	109	11	120

Merged error: 0.0b

Counts

120 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
0.2b	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
0.2b	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
0.8b	(* (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (cbrt (* 6.0 (- (/ 2.0 3.0) z))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/`
18×	`cbrt-div`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`flip3--` `pow1/3` `flip--`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`frac-times` `swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `associate-*l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

9.0ms	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
9.0ms	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
15.0ms	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
8.0ms	(* (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (cbrt (* 6.0 (- (/ 2.0 3.0) z))))

series47.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
11.0ms	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
10.0ms	(cbrt (* 6.0 (- (/ 2.0 3.0) z)))
15.0ms	(* (cbrt (* 6.0 (- (/ 2.0 3.0) z))) (cbrt (* 6.0 (- (/ 2.0 3.0) z))))

simplify1.5min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	18	15
2	48	15
3	136	15
4	363	15
5	810	15
6	1607	15
7	3091	15
done	5000	15
0	9	17
1	12	17
2	19	17
3	28	17
4	36	17
5	38	17
6	39	17
done	39	17
0	2	3
1	6	1
done	6	1
0	10	19
1	15	11
2	23	11
3	32	11
4	40	11
5	42	11
6	43	11
done	43	11
0	10	18
1	15	18
2	24	11
3	34	11
4	42	11
5	44	11
6	45	11
done	45	11
0	10	18
1	15	18
2	26	18
3	40	18
4	66	18
5	110	18
6	219	18
7	610	18
8	2296	18
done	5000	18
0	8	15
1	18	15
2	48	15
3	136	15
4	363	15
5	810	15
6	1607	15
7	3091	15
done	5000	15
0	11	37
1	14	37
2	21	37
3	30	37
4	38	37
5	40	37
6	41	37
done	41	37
0	10	18
1	13	18
2	20	18
3	29	18
4	37	18
5	39	18
6	40	18
done	40	18
0	11	53
1	22	53
2	36	19
3	59	10
4	153	10
5	467	10
6	1378	10
7	4667	10
done	5000	10
0	10	18
1	14	9
2	21	9
3	30	9
4	38	9
5	40	9
6	41	9
done	41	9
0	10	18
1	14	9
2	21	9
3	30	9
4	38	9
5	40	9
6	41	9
done	41	9
0	12	25
1	31	25
2	77	25
3	212	25
4	649	25
5	2367	25
done	5001	25
0	11	37
1	24	33
2	41	33
3	50	29
4	60	29
5	70	29
6	73	29
7	75	29
8	76	29
done	76	29
0	17	27
1	45	27
2	111	27
3	293	27
4	834	27
5	2635	27
done	5001	27
0	13	25
1	27	23
2	43	23
3	52	21
4	62	21
5	72	21
6	75	21
7	77	21
8	78	21
done	78	21
0	17	27
1	45	27
2	111	27
3	291	27
4	840	27
5	2653	27
done	5001	27
0	13	25
1	27	23
2	43	23
3	52	21
4	62	21
5	72	21
6	75	21
7	77	21
8	78	21
done	78	21
0	11	29
1	21	29
2	44	29
3	107	29
4	244	29
5	438	29
6	704	29
7	1239	29
8	4232	29
done	5000	29
0	7	13
1	8	13
done	8	13
0	3	5
done	3	5
0	7	13
1	9	13
2	10	13
done	10	13
0	11	39
1	18	39
2	27	21
3	45	11
4	68	11
5	96	11
6	170	11
7	381	11
8	1260	11
done	5000	11
0	10	19
1	13	19
2	20	19
3	29	19
4	37	19
5	39	19
6	40	19
done	40	19
0	10	19
1	13	8
2	21	8
3	30	8
4	38	8
5	40	8
6	41	8
done	41	8
0	10	19
1	13	8
2	21	8
3	30	8
4	38	8
5	40	8
6	41	8
done	41	8
0	2	3
1	4	1
done	4	1
0	9	17
1	12	17
2	19	17
3	28	17
4	36	17
5	38	17
6	39	17
done	39	17
0	10	19
1	13	8
2	21	8
3	30	8
4	38	8
5	40	8
6	41	8
done	41	8
0	10	19
1	13	8
2	21	8
3	30	8
4	38	8
5	40	8
6	41	8
done	41	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	10	11
1	14	11
2	21	11
3	30	11
4	38	11
5	40	11
6	41	11
done	41	11
0	11	28
1	17	28
2	26	28
3	35	28
4	43	28
5	45	28
6	46	28
done	46	28
0	10	18
1	14	18
2	21	18
3	30	18
4	38	18
5	40	18
6	41	18
done	41	18
0	10	10
1	16	8
2	26	8
3	35	8
4	43	8
5	45	8
6	46	8
done	46	8
0	10	15
1	14	15
2	21	15
3	30	15
4	38	15
5	40	15
6	41	15
done	41	15
0	10	18
1	14	18
2	21	18
3	30	18
4	38	18
5	40	18
6	41	18
done	41	18
0	10	18
1	14	18
2	21	18
3	30	18
4	38	18
5	40	18
6	41	18
done	41	18
0	9	17
1	12	17
2	19	17
3	28	17
4	36	17
5	38	17
6	39	17
done	39	17
0	15	21
1	38	21
2	90	21
3	228	21
4	667	21
5	2395	21
done	5000	21
0	14	23
1	27	23
2	60	23
3	150	23
4	336	23
5	587	23
6	960	23
7	2647	23
done	5000	23
0	15	21
1	38	21
2	90	21
3	228	21
4	662	21
5	2396	21
done	5000	21
0	14	23
1	27	23
2	60	23
3	150	23
4	336	23
5	597	23
6	952	23
7	2619	23
done	5001	23
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	2	2
done	2	2
0	6	6
1	8	6
2	9	6
done	9	6
0	11	12
1	30	12
2	76	12
3	211	12
4	659	12
5	2359	12
done	5000	12
0	10	18
1	23	16
2	40	16
3	51	14
4	61	14
5	71	14
6	74	14
7	76	14
8	77	14
done	77	14
0	10	14
1	20	14
2	43	14
3	106	14
4	245	14
5	438	14
6	693	14
7	1232	14
8	4248	14
done	5000	14
0	6	6
1	7	6
done	7	6
0	10	19
1	13	19
2	20	19
3	29	19
4	37	19
5	39	19
6	40	19
done	40	19
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	10	26
1	14	26
2	23	10
3	37	7
4	51	7
5	63	7
6	87	7
7	148	7
8	365	7
9	1285	7
done	5000	7
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	2	2
done	2	2
0	6	6
1	8	6
2	9	6
done	9	6
0	11	12
1	30	12
2	76	12
3	211	12
4	659	12
5	2359	12
done	5000	12
0	10	18
1	23	16
2	40	16
3	51	14
4	61	14
5	71	14
6	74	14
7	76	14
8	77	14
done	77	14
0	10	14
1	20	14
2	43	14
3	106	14
4	245	14
5	438	14
6	693	14
7	1232	14
8	4248	14
done	5000	14
0	6	6
1	7	6
done	7	6
0	10	19
1	13	19
2	20	19
3	29	19
4	37	19
5	39	19
6	40	19
done	40	19
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	10	26
1	14	26
2	23	10
3	37	7
4	51	7
5	63	7
6	87	7
7	148	7
8	365	7
9	1285	7
done	5000	7
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	2	2
done	2	2
0	6	6
1	8	6
2	9	6
done	9	6
0	11	12
1	30	12
2	76	12
3	211	12
4	659	12
5	2359	12
done	5000	12
0	10	18
1	23	16
2	40	16
3	51	14
4	61	14
5	71	14
6	74	14
7	76	14
8	77	14
done	77	14
0	10	14
1	20	14
2	43	14
3	106	14
4	245	14
5	438	14
6	693	14
7	1232	14
8	4248	14
done	5000	14
0	6	6
1	7	6
done	7	6
0	10	19
1	13	19
2	20	19
3	29	19
4	37	19
5	39	19
6	40	19
done	40	19
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	10	26
1	14	26
2	23	10
3	37	7
4	51	7
5	63	7
6	87	7
7	148	7
8	365	7
9	1285	7
done	5000	7
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	9	9
1	12	9
2	19	9
3	28	9
4	36	9
5	38	9
6	39	9
done	39	9
0	29	55
1	77	51
2	275	48
3	1528	42
done	5001	42
0	24	63
1	58	57
2	164	51
3	688	29
4	4515	25
done	5001	25
0	25	63
1	59	60
2	162	54
3	684	31
4	4546	29
done	5000	29
0	28	47
1	72	43
2	215	40
3	793	36
4	3542	32
done	5000	32
0	23	54
1	55	48
2	133	45
3	413	29
4	1866	23
done	5000	23
0	23	51
1	53	48
2	132	45
3	428	29
4	1949	27
done	5000	27
0	28	47
1	72	43
2	215	40
3	793	36
4	3542	32
done	5000	32
0	23	54
1	55	48
2	133	45
3	413	29
4	1866	23
done	5000	23
0	23	51
1	53	48
2	132	45
3	428	29
4	1949	27
done	5000	27
0	28	47
1	72	43
2	215	40
3	793	36
4	3542	32
done	5000	32
0	23	54
1	55	48
2	133	45
3	413	29
4	1866	23
done	5000	23
0	23	51
1	53	48
2	132	45
3	428	29
4	1949	27
done	5000	27

prune251.0ms

Filtered

69 candidates to 84 candidates (-21.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	84	11	95

Merged error: 0.0b

Counts

95 → 11

regimes697.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample936.0ms

Algorithm

intervals

Results

396.0ms	9481×	body	80	valid
41.0ms	274×	body	640	valid
27.0ms	145×	body	1280	valid
25.0ms	185×	body	320	valid
13.0ms	114×	body	160	valid

Details

sample32.0ms

simplify5.7s

prune3.0ms

localize9.0ms

rewrite44.0ms

series33.0ms

simplify4.0min

prune177.0ms

localize9.0ms

rewrite44.0ms

series35.0ms

simplify5.1min

prune177.0ms

localize13.0ms

rewrite47.0ms

series54.0ms

simplify4.3min

prune172.0ms

localize14.0ms

rewrite44.0ms

series47.0ms

simplify1.5min

prune251.0ms

regimes697.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample936.0ms

Profiling