Details

sample25.0ms

Algorithm

intervals

Results

9.0ms

326×

body

valid

simplify3.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	15	9
2	28	9
3	55	9
4	84	9
5	109	9
6	126	9
7	143	9
8	194	9
9	296	9
10	416	9
11	464	9
12	529	9
13	591	9
14	606	9
15	642	9
16	731	9
17	959	9
18	1193	9
19	1501	9
20	1688	9
21	1692	9
done	1692	9

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* (* (- y x) 6.0) z))
0.0b	(* (- y x) 6.0)
0.2b	(* (* (- y x) 6.0) z)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
8×	`*-un-lft-identity`
6×	`add-cube-cbrt` `associate-r` `associate-l` `associate-*l/`
5×	`add-log-exp`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `*-commutative` `flip--`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 53

Calls

3 calls:

4.0ms	(+ x (* (* (- y x) 6.0) z))
7.0ms	(* (- y x) 6.0)
13.0ms	(* (* (- y x) 6.0) z)

series28.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ x (* (* (- y x) 6.0) z))
5.0ms	(* (- y x) 6.0)
10.0ms	(* (* (- y x) 6.0) z)

simplify3.1min

Counts

62 → 62

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	26	7
3	53	7
4	74	7
5	93	7
6	101	7
done	101	7
0	7	7
1	13	7
2	26	7
3	53	7
4	74	7
5	93	7
6	101	7
done	101	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	37	8
3	76	8
4	97	8
5	116	8
6	124	8
done	124	8
0	8	8
1	16	8
2	40	8
3	98	8
4	195	8
5	410	8
6	961	8
7	2860	8
done	5001	8
0	13	23
1	28	23
2	106	13
3	448	13
4	2010	11
done	5000	11
0	11	23
1	30	23
2	122	11
3	590	11
4	2610	9
done	5000	9
0	9	17
1	15	17
2	28	17
3	55	17
4	76	17
5	95	17
6	103	17
done	103	17
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	100	8
done	100	8
0	9	23
1	25	23
2	102	9
3	579	9
4	2818	9
done	5000	9
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	100	8
done	100	8
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	100	8
done	100	8
0	9	11
1	17	11
2	37	11
3	80	11
4	136	11
5	186	11
6	219	11
7	224	11
done	224	11
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	100	8
done	100	8
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	3	3
1	4	3
done	4	3
0	10	11
1	29	11
2	63	11
3	172	11
4	578	11
5	2037	11
done	5000	11
0	9	11
1	18	11
2	43	11
3	132	11
4	378	11
5	688	11
6	1079	11
7	1767	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	10	11
1	21	10
2	46	10
3	107	10
4	228	10
5	521	10
6	1246	10
7	3825	10
done	5001	10
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1184	10
19	1488	10
20	1692	10
21	1702	10
22	1710	10
23	1727	10
24	1749	10
25	1825	10
26	2094	10
27	3143	10
done	5000	10
0	9	10
1	19	10
2	39	10
3	92	10
4	189	10
5	422	10
6	987	10
7	3012	10
done	5000	10
0	10	21
1	17	21
2	30	21
3	57	21
4	86	21
5	111	21
6	128	21
7	145	21
8	196	21
9	298	21
10	418	21
11	466	21
12	535	21
13	597	21
14	612	21
15	648	21
16	737	21
17	959	21
18	1195	21
19	1491	21
20	1683	21
21	1687	21
done	1687	21
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1184	10
19	1488	10
20	1690	10
21	1694	10
done	1694	10
0	10	29
1	30	29
2	99	11
3	468	11
4	2400	11
done	5000	11
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1184	10
19	1488	10
20	1690	10
21	1694	10
done	1694	10
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1184	10
19	1488	10
20	1690	10
21	1694	10
done	1694	10
0	11	13
1	34	13
2	102	13
3	466	13
4	2471	13
done	5000	13
0	12	29
1	35	21
2	126	21
3	521	21
4	1517	21
5	3900	21
done	5001	21
0	10	19
1	28	19
2	99	19
3	487	19
4	1960	19
done	5002	19
0	8	9
1	16	9
2	40	9
3	105	9
4	206	9
5	270	9
6	341	9
7	361	9
8	437	9
9	569	9
10	591	9
11	627	9
12	716	9
13	944	9
14	1178	9
15	1488	9
16	1693	9
17	1697	9
done	1697	9
0	1	1
done	1	1
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
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	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9

prune100.0ms

Filtered

46 candidates to 62 candidates (-34.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	57	5	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	6	63

Merged error: 0.0b

Counts

63 → 6

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `-un-lft-identity` `associate-l*`
4×	`add-log-exp`
3×	`add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip--` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 33

Calls

2 calls:

5.0ms	(+ x (* (- y x) (* 6.0 z)))
8.0ms	(* (- y x) (* 6.0 z))

series21.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(+ x (* (- y x) (* 6.0 z)))
10.0ms	(* (- y x) (* 6.0 z))

simplify3.1min

Counts

39 → 39

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	26	7
3	55	7
4	79	7
5	97	7
done	97	7
0	7	7
1	13	7
2	26	7
3	55	7
4	79	7
5	97	7
done	97	7
0	10	10
1	16	10
2	23	10
3	25	10
done	25	10
0	9	9
1	16	9
2	22	9
3	26	9
done	26	9
0	8	8
1	17	8
2	37	8
3	78	8
4	96	8
5	114	8
done	114	8
0	8	8
1	16	8
2	42	8
3	102	8
4	209	8
5	425	8
6	1185	8
7	4606	8
done	5000	8
0	13	23
1	28	23
2	107	13
3	439	13
4	2195	11
done	5000	11
0	11	23
1	30	23
2	111	11
3	480	11
4	2223	9
done	5001	9
0	9	17
1	15	17
2	28	17
3	57	17
4	77	17
5	95	17
done	95	17
0	8	8
1	14	8
2	27	8
3	56	8
4	76	8
5	96	8
done	96	8
0	9	23
1	25	23
2	121	9
3	696	9
4	3520	9
done	5000	9
0	8	8
1	14	8
2	27	8
3	56	8
4	76	8
5	96	8
done	96	8
0	8	8
1	14	8
2	27	8
3	56	8
4	76	8
5	96	8
done	96	8
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	8
1	14	8
2	21	8
done	21	8
0	8	8
1	14	8
2	21	8
done	21	8
0	7	7
1	13	7
2	26	7
3	55	7
4	79	7
5	97	7
done	97	7
0	9	9
1	15	9
2	28	9
3	57	9
4	77	9
5	95	9
done	95	9
0	7	7
1	13	7
2	26	7
3	55	7
4	79	7
5	97	7
done	97	7
0	10	11
1	29	11
2	63	11
3	174	11
4	564	11
5	2069	11
done	5000	11
0	9	11
1	18	11
2	43	11
3	135	11
4	363	11
5	679	11
6	1091	11
7	1868	11
done	5000	11
0	10	11
1	21	10
2	47	10
3	115	10
4	255	10
5	543	10
6	1589	10
done	5001	10
0	9	10
1	16	10
2	29	10
3	62	10
4	87	10
5	113	10
6	122	10
7	144	10
8	198	10
9	287	10
10	406	10
11	453	10
12	519	10
13	581	10
14	596	10
15	632	10
16	721	10
17	945	10
18	1181	10
19	1487	10
20	1696	10
21	1706	10
22	1714	10
23	1731	10
24	1752	10
25	1832	10
26	2123	10
27	3062	10
done	5000	10
0	9	10
1	19	10
2	39	10
3	100	10
4	211	10
5	448	10
6	1301	10
done	5000	10
0	10	21
1	17	21
2	30	21
3	63	21
4	88	21
5	112	21
6	121	21
7	143	21
8	197	21
9	286	21
10	405	21
11	452	21
12	514	21
13	574	21
14	589	21
15	625	21
16	714	21
17	938	21
18	1174	21
19	1488	21
20	1685	21
21	1689	21
done	1689	21
0	9	10
1	16	10
2	29	10
3	62	10
4	87	10
5	113	10
6	122	10
7	144	10
8	198	10
9	287	10
10	406	10
11	453	10
12	519	10
13	581	10
14	596	10
15	632	10
16	721	10
17	945	10
18	1181	10
19	1487	10
20	1694	10
21	1698	10
done	1698	10
0	10	29
1	30	29
2	99	11
3	501	11
4	2765	11
done	5000	11
0	9	10
1	16	10
2	29	10
3	62	10
4	87	10
5	113	10
6	122	10
7	144	10
8	198	10
9	287	10
10	406	10
11	453	10
12	519	10
13	581	10
14	596	10
15	632	10
16	721	10
17	945	10
18	1181	10
19	1487	10
20	1694	10
21	1698	10
done	1698	10
0	9	10
1	16	10
2	29	10
3	62	10
4	87	10
5	113	10
6	122	10
7	144	10
8	198	10
9	287	10
10	406	10
11	453	10
12	519	10
13	581	10
14	596	10
15	632	10
16	721	10
17	945	10
18	1181	10
19	1487	10
20	1694	10
21	1698	10
done	1698	10
0	11	13
1	34	13
2	102	13
3	488	13
4	2569	13
done	5000	13
0	12	29
1	35	21
2	143	21
3	570	21
4	1828	21
done	5000	21
0	10	19
1	28	19
2	111	19
3	556	19
4	2286	19
done	5000	19
0	8	9
1	16	9
2	40	9
3	111	9
4	220	9
5	313	9
6	386	9
7	436	9
8	526	9
9	678	9
10	714	9
11	803	9
12	1029	9
13	1265	9
14	1569	9
15	1767	9
16	1771	9
done	1771	9
0	1	1
done	1	1
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9

prune61.0ms

Filtered

28 candidates to 39 candidates (-39.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	39	6	45

Merged error: 0.0b

Counts

45 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 57

Calls

3 calls:

8.0ms	(* z (- y x))
4.0ms	(+ x (* (* z (- y x)) 6.0))
9.0ms	(* (* z (- y x)) 6.0)

series29.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(* z (- y x))
11.0ms	(+ x (* (* z (- y x)) 6.0))
10.0ms	(* (* z (- y x)) 6.0)

simplify3.5min

Counts

66 → 66

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	26	7
3	53	7
4	74	7
5	93	7
6	101	7
done	101	7
0	7	7
1	13	7
2	26	7
3	53	7
4	74	7
5	93	7
6	101	7
done	101	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	37	8
3	76	8
4	97	8
5	116	8
6	124	8
done	124	8
0	8	8
1	16	8
2	40	8
3	98	8
4	195	8
5	413	8
6	990	8
7	2977	8
done	5000	8
0	13	23
1	28	23
2	112	13
3	529	13
4	2459	11
done	5000	11
0	11	23
1	30	23
2	122	11
3	602	11
4	2699	9
done	5001	9
0	9	17
1	15	17
2	28	17
3	55	17
4	76	17
5	95	17
6	103	17
done	103	17
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	102	8
done	102	8
0	9	23
1	25	23
2	102	9
3	579	9
4	2816	9
done	5000	9
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	102	8
done	102	8
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	102	8
done	102	8
0	9	11
1	17	11
2	37	11
3	80	11
4	136	11
5	186	11
6	227	11
7	232	11
done	232	11
0	8	8
1	14	8
2	27	8
3	54	8
4	75	8
5	94	8
6	102	8
done	102	8
0	7	7
1	15	5
2	34	5
3	67	5
4	92	5
5	112	5
6	130	5
7	134	5
done	134	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	29	11
2	63	11
3	172	11
4	577	11
5	2052	11
done	5000	11
0	9	11
1	18	11
2	43	11
3	135	11
4	379	11
5	680	11
6	1067	11
7	1750	11
done	5001	11
0	10	11
1	21	10
2	46	10
3	107	10
4	228	10
5	524	10
6	1277	10
7	3958	10
done	5000	10
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1190	10
19	1504	10
20	1709	10
21	1719	10
22	1727	10
23	1744	10
24	1766	10
25	1842	10
26	2095	10
27	3048	10
done	5000	10
0	9	10
1	19	10
2	39	10
3	87	10
4	188	10
5	423	10
6	1007	10
7	3097	10
done	5000	10
0	10	21
1	17	21
2	30	21
3	57	21
4	86	21
5	111	21
6	128	21
7	145	21
8	196	21
9	298	21
10	418	21
11	466	21
12	535	21
13	598	21
14	613	21
15	649	21
16	738	21
17	958	21
18	1194	21
19	1508	21
20	1692	21
21	1696	21
done	1696	21
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1190	10
19	1504	10
20	1707	10
21	1711	10
done	1711	10
0	10	29
1	30	29
2	99	11
3	452	11
4	2302	11
done	5001	11
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1190	10
19	1504	10
20	1707	10
21	1711	10
done	1711	10
0	9	10
1	16	10
2	29	10
3	56	10
4	85	10
5	108	10
6	125	10
7	142	10
8	193	10
9	295	10
10	415	10
11	463	10
12	530	10
13	592	10
14	607	10
15	643	10
16	732	10
17	952	10
18	1190	10
19	1504	10
20	1707	10
21	1711	10
done	1711	10
0	11	13
1	34	13
2	102	13
3	443	13
4	2304	13
done	5001	13
0	12	29
1	35	21
2	126	21
3	518	21
4	1528	21
5	3893	21
done	5000	21
0	10	19
1	28	19
2	99	19
3	487	19
4	1992	19
done	5000	19
0	8	9
1	16	9
2	40	9
3	101	9
4	208	9
5	296	9
6	362	9
7	381	9
8	454	9
9	587	9
10	624	9
11	660	9
12	749	9
13	979	9
14	1211	9
15	1505	9
16	1694	9
17	1698	9
done	1698	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	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	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
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

prune73.0ms

Filtered

45 candidates to 66 candidates (-46.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	67	5	72

Merged error: 0.0b

Counts

72 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (+ (* z y) (* z (neg x))) 6.0))
0.3b	(* (+ (* z y) (* z (neg x))) 6.0)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`flip3-+` `associate-*l/` `flip-+`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 32

Calls

2 calls:

3.0ms	(+ x (* (+ (* z y) (* z (neg x))) 6.0))
7.0ms	(* (+ (* z y) (* z (neg x))) 6.0)

series21.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(+ x (* (+ (* z y) (* z (neg x))) 6.0))
11.0ms	(* (+ (* z y) (* z (neg x))) 6.0)

simplify1.4min

Counts

38 → 38

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	9	10
1	17	8
2	36	7
3	61	7
4	79	7
5	88	7
done	88	7
0	11	12
1	19	10
2	29	9
3	35	9
4	39	9
done	39	9
0	10	11
1	21	9
2	44	8
3	78	8
4	104	8
5	113	8
done	113	8
0	10	11
1	20	9
2	51	8
3	108	8
4	224	8
5	506	8
6	1709	8
done	5000	8
0	13	32
1	39	26
2	162	11
3	809	11
4	4246	9
done	5000	9
0	11	23
1	19	19
2	38	17
3	63	17
4	83	17
5	92	17
done	92	17
0	10	11
1	18	9
2	37	8
3	62	8
4	84	8
5	93	8
done	93	8
0	11	32
1	29	26
2	114	9
3	606	9
4	3381	9
done	5001	9
0	10	11
1	18	9
2	37	8
3	62	8
4	84	8
5	93	8
done	93	8
0	10	11
1	18	9
2	37	8
3	62	8
4	84	8
5	93	8
done	93	8
0	11	12
1	19	10
2	26	9
3	27	9
done	27	9
0	11	12
1	19	10
2	26	9
3	27	9
done	27	9
0	11	14
1	21	12
2	44	11
3	91	11
4	152	11
5	195	11
6	219	11
done	219	11
0	10	11
1	18	9
2	37	8
3	62	8
4	84	8
5	93	8
done	93	8
0	9	10
1	19	6
2	41	5
3	79	5
4	120	5
5	134	5
6	150	5
done	150	5
0	10	11
1	18	9
2	25	8
3	26	8
done	26	8
0	10	11
1	18	9
2	25	8
3	26	8
done	26	8
0	9	10
1	17	8
2	36	7
3	61	7
4	79	7
5	88	7
done	88	7
0	6	6
1	9	5
2	17	5
3	21	5
4	25	5
done	25	5
0	12	14
1	36	14
2	126	14
3	484	13
4	1761	13
done	5000	13
0	11	19
1	34	19
2	114	13
3	342	13
4	874	13
5	1759	13
6	3674	13
done	5000	13
0	12	14
1	25	11
2	57	10
3	126	10
4	273	10
5	619	10
6	2129	10
done	5000	10
0	11	13
1	20	11
2	39	10
3	72	10
4	99	10
5	116	10
6	136	10
7	187	10
8	279	10
9	399	10
10	447	10
11	512	10
12	572	10
13	587	10
14	623	10
15	712	10
16	942	10
17	1178	10
18	1486	10
19	1693	10
20	1703	10
21	1711	10
22	1728	10
23	1749	10
24	1835	10
25	2116	10
26	3055	10
done	5000	10
0	11	13
1	23	11
2	47	10
3	104	10
4	220	10
5	450	10
6	1456	10
done	5001	10
0	12	27
1	21	23
2	40	21
3	73	21
4	102	21
5	119	21
6	139	21
7	190	21
8	282	21
9	402	21
10	450	21
11	515	21
12	575	21
13	590	21
14	626	21
15	715	21
16	941	21
17	1171	21
18	1463	21
19	1652	21
20	1656	21
done	1656	21
0	11	13
1	20	11
2	39	10
3	72	10
4	99	10
5	116	10
6	136	10
7	187	10
8	279	10
9	399	10
10	447	10
11	512	10
12	572	10
13	587	10
14	623	10
15	712	10
16	942	10
17	1178	10
18	1486	10
19	1691	10
20	1695	10
done	1695	10
0	12	38
1	34	32
2	101	11
3	445	11
4	2691	11
done	5001	11
0	11	13
1	20	11
2	39	10
3	72	10
4	99	10
5	116	10
6	136	10
7	187	10
8	279	10
9	399	10
10	447	10
11	512	10
12	572	10
13	587	10
14	623	10
15	712	10
16	942	10
17	1178	10
18	1486	10
19	1691	10
20	1695	10
done	1695	10
0	11	13
1	20	11
2	39	10
3	72	10
4	99	10
5	116	10
6	136	10
7	187	10
8	279	10
9	399	10
10	447	10
11	512	10
12	572	10
13	587	10
14	623	10
15	712	10
16	942	10
17	1178	10
18	1486	10
19	1691	10
20	1695	10
done	1695	10
0	13	16
1	38	14
2	98	13
3	384	13
4	2129	13
done	5000	13
0	14	38
1	39	23
2	135	21
3	574	21
4	2068	21
done	5000	21
0	12	25
1	32	21
2	108	19
3	510	19
4	2264	19
done	5000	19
0	10	12
1	20	10
2	46	9
3	110	9
4	239	9
5	376	9
6	479	9
7	564	9
8	713	9
9	734	9
10	770	9
11	859	9
12	1081	9
13	1315	9
14	1621	9
15	1814	9
16	1818	9
done	1818	9
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	9	11
1	21	9
2	46	7
3	85	7
4	94	7
done	94	7
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9
0	10	13
1	23	13
2	52	11
3	94	9
4	121	9
5	142	9
6	196	9
7	295	9
8	414	9
9	461	9
10	525	9
11	586	9
12	601	9
13	637	9
14	726	9
15	950	9
16	1190	9
17	1514	9
18	1726	9
19	1730	9
done	1730	9

prune55.0ms

Filtered

33 candidates to 38 candidates (-15.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	37	6	43

Merged error: 0.0b

Counts

43 → 6

regimes217.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
done	11	9

end0.0ms

sample731.0ms

Algorithm

intervals

Results

326.0ms

10186×

body

valid

Details

sample25.0ms

simplify3.2s

prune3.0ms

localize7.0ms

rewrite26.0ms

series28.0ms

simplify3.1min

prune100.0ms

localize12.0ms

rewrite14.0ms

series21.0ms

simplify3.1min

prune61.0ms

localize7.0ms

rewrite22.0ms

series29.0ms

simplify3.5min

prune73.0ms

localize9.0ms

rewrite11.0ms

series21.0ms

simplify1.4min

prune55.0ms

regimes217.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample731.0ms

Profiling