Details

sample27.0ms

Algorithm

intervals

Results

10.0ms

323×

body

valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	34	9
3	77	9
4	174	9
5	258	9
6	351	9
7	413	9
8	585	9
9	662	9
10	773	9
11	1053	9
12	1922	9
13	2220	9
14	2373	9
done	2373	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: 3.6b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 y) z)
3.4b	(* x (- 1.0 (* (- 1.0 y) z)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 46

Calls

2 calls:

7.0ms	(* (- 1.0 y) z)
7.0ms	(* x (- 1.0 (* (- 1.0 y) z)))

series19.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* (- 1.0 y) z)
13.0ms	(* x (- 1.0 (* (- 1.0 y) z)))

simplify2.2min

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	34	9
3	77	9
4	174	9
5	258	9
6	351	9
7	413	9
8	585	9
9	662	9
10	773	9
11	1053	9
12	1922	9
13	2220	9
14	2373	9
done	2373	9
0	10	11
1	16	11
2	30	11
3	52	11
4	83	11
5	96	11
6	112	11
7	134	11
8	176	11
9	192	11
10	198	11
11	213	11
12	248	11
13	313	11
14	411	11
15	507	11
16	615	11
17	686	11
18	699	11
19	720	11
20	755	11
21	809	11
22	988	11
23	1867	11
24	4208	11
done	5001	11
0	9	10
1	18	10
2	39	10
3	82	10
4	177	10
5	261	10
6	356	10
7	413	10
8	585	10
9	665	10
10	781	10
11	1059	10
12	1871	10
13	2160	10
14	2343	10
15	2390	10
16	2409	10
17	2492	10
18	2740	10
19	3707	10
done	5000	10
0	9	10
1	17	10
2	43	10
3	106	10
4	275	10
5	627	10
6	1581	10
done	5000	10
0	12	29
1	24	29
2	81	13
3	327	13
4	1825	11
done	5000	11
0	10	21
1	16	21
2	36	21
3	79	21
4	176	21
5	260	21
6	353	21
7	413	21
8	585	21
9	665	21
10	776	21
11	1055	21
12	1931	21
13	2233	21
14	2391	21
done	2391	21
0	9	10
1	15	10
2	35	10
3	78	10
4	175	10
5	258	10
6	350	10
7	411	10
8	583	10
9	665	10
10	778	10
11	1058	10
12	1913	10
13	2186	10
14	2340	10
done	2340	10
0	10	29
1	26	29
2	93	11
3	369	11
4	1817	11
done	5001	11
0	9	10
1	15	10
2	35	10
3	78	10
4	175	10
5	258	10
6	350	10
7	411	10
8	583	10
9	665	10
10	778	10
11	1058	10
12	1913	10
13	2186	10
14	2340	10
done	2340	10
0	9	10
1	15	10
2	35	10
3	78	10
4	175	10
5	258	10
6	350	10
7	411	10
8	583	10
9	665	10
10	778	10
11	1058	10
12	1913	10
13	2186	10
14	2340	10
done	2340	10
0	10	11
1	16	11
2	30	11
3	52	11
4	83	11
5	96	11
6	112	11
7	134	11
8	176	11
9	192	11
10	198	11
11	213	11
12	248	11
13	313	11
14	411	11
15	507	11
16	615	11
17	684	11
18	688	11
done	688	11
0	10	11
1	16	11
2	30	11
3	52	11
4	83	11
5	96	11
6	112	11
7	134	11
8	176	11
9	192	11
10	198	11
11	213	11
12	248	11
13	313	11
14	411	11
15	507	11
16	615	11
17	684	11
18	688	11
done	688	11
0	3	3
1	4	3
done	4	3
0	8	8
1	18	8
2	44	8
3	118	8
4	221	7
5	266	7
6	324	7
7	326	7
8	360	7
9	418	7
10	535	7
11	539	7
done	539	7
0	3	3
1	4	3
done	4	3
0	8	8
1	18	8
2	44	8
3	118	8
4	221	7
5	266	7
6	324	7
7	326	7
8	360	7
9	418	7
10	535	7
11	539	7
done	539	7
0	3	3
1	4	3
done	4	3
0	8	8
1	18	8
2	44	8
3	104	8
4	195	7
5	247	7
6	286	7
7	319	7
8	353	7
9	407	7
10	526	7
11	530	7
done	530	7
0	3	3
1	4	3
done	4	3
0	8	8
1	18	8
2	44	8
3	104	8
4	195	7
5	247	7
6	286	7
7	319	7
8	353	7
9	407	7
10	526	7
11	530	7
done	530	7
0	10	19
1	18	19
2	34	19
3	56	19
4	87	19
5	101	19
6	117	19
7	139	19
8	181	19
9	197	19
10	203	19
11	218	19
12	253	19
13	318	19
14	418	19
15	512	19
16	616	19
17	683	19
18	687	19
done	687	19
0	9	10
1	15	10
2	29	10
3	51	10
4	82	10
5	96	10
6	112	10
7	134	10
8	176	10
9	192	10
10	198	10
11	213	10
12	248	10
13	313	10
14	411	10
15	503	10
16	607	10
17	676	10
18	680	10
done	680	10
0	3	3
1	6	1
done	6	1
0	9	10
1	15	10
2	35	10
3	78	10
4	175	10
5	258	10
6	351	10
7	413	10
8	585	10
9	809	10
10	1486	10
11	2461	10
12	2487	10
done	2487	10
0	9	10
1	15	10
2	35	10
3	78	10
4	175	10
5	258	10
6	351	10
7	413	10
8	585	10
9	809	10
10	1486	10
11	2461	10
12	2487	10
done	2487	10
0	8	9
1	14	9
2	34	9
3	77	9
4	174	9
5	258	9
6	351	9
7	413	9
8	585	9
9	662	9
10	773	9
11	1053	9
12	1922	9
13	2220	9
14	2373	9
done	2373	9
0	11	13
1	33	13
2	101	13
3	437	13
4	2050	13
done	5001	13
0	10	17
1	26	17
2	85	17
3	308	17
4	1099	17
5	3425	17
done	5000	17
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	9
1	15	7
2	34	7
3	63	7
4	81	7
5	91	7
6	110	7
7	117	7
8	144	7
9	258	7
10	333	7
done	333	7
0	11	15
1	23	15
2	58	11
3	112	11
4	182	9
5	223	9
6	312	9
7	572	9
8	917	9
9	1379	9
10	2476	9
11	2605	9
12	2734	9
done	2734	9
0	11	15
1	23	15
2	58	11
3	112	11
4	182	9
5	223	9
6	312	9
7	572	9
8	917	9
9	1379	9
10	2476	9
11	2605	9
12	2734	9
done	2734	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

prune108.0ms

Filtered

37 candidates to 52 candidates (-40.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	44	8	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	8	53

Merged error: 3.4b

Counts

53 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* z (- y 1.0))
0.0b	(+ (* x 1.0) (* (* z (- y 1.0)) x))
3.4b	(* (* z (- y 1.0)) x)

rewrite28.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:

12.0ms	(* z (- y 1.0))
5.0ms	(+ (* x 1.0) (* (* z (- y 1.0)) x))
9.0ms	(* (* z (- y 1.0)) x)

series28.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* z (- y 1.0))
13.0ms	(+ (* x 1.0) (* (* z (- y 1.0)) x))
10.0ms	(* (* z (- y 1.0)) x)

simplify1.4min

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	11	13
1	25	12
2	56	10
3	139	10
4	361	10
5	1188	10
done	5000	10
0	10	12
1	18	12
2	35	10
3	71	10
4	111	10
5	148	10
6	182	10
7	230	10
8	332	10
9	453	10
10	721	10
11	1183	10
12	1987	10
13	2335	10
14	2527	10
15	2568	10
16	2587	10
17	2666	10
18	2968	10
19	4164	10
done	5001	10
0	10	12
1	21	12
2	48	10
3	108	10
4	264	10
5	773	10
6	2752	10
done	5000	10
0	11	25
1	19	25
2	36	21
3	69	21
4	108	21
5	143	21
6	175	21
7	223	21
8	325	21
9	446	21
10	709	21
11	1174	21
12	1972	21
13	2291	21
14	2447	21
done	2447	21
0	10	12
1	18	12
2	35	10
3	68	10
4	107	10
5	144	10
6	178	10
7	226	10
8	328	10
9	449	10
10	712	10
11	1176	10
12	1975	10
13	2325	10
14	2478	10
done	2478	10
0	11	35
1	32	35
2	117	11
3	582	11
4	3291	11
done	5000	11
0	10	12
1	18	12
2	35	10
3	68	10
4	107	10
5	144	10
6	178	10
7	226	10
8	328	10
9	449	10
10	712	10
11	1176	10
12	1975	10
13	2325	10
14	2478	10
done	2478	10
0	10	12
1	18	12
2	35	10
3	68	10
4	107	10
5	144	10
6	178	10
7	226	10
8	328	10
9	449	10
10	712	10
11	1176	10
12	1975	10
13	2325	10
14	2478	10
done	2478	10
0	12	15
1	38	15
2	130	15
3	537	15
4	2542	15
done	5000	15
0	13	35
1	45	27
2	159	25
3	664	23
4	2186	21
done	5000	21
0	11	23
1	36	23
2	122	19
3	538	19
4	2120	19
done	5001	19
0	9	11
1	18	11
2	44	9
3	111	9
4	222	9
5	328	9
6	454	9
7	562	9
8	723	9
9	869	9
10	1082	9
11	1445	9
12	1945	9
13	2111	9
done	2111	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	1	1
done	1	1
0	9	11
1	18	11
2	43	7
3	84	7
4	106	7
5	107	7
done	107	7
0	9	11
1	18	11
2	43	7
3	84	7
4	106	7
5	107	7
done	107	7
0	7	9
1	15	7
2	34	7
3	63	7
4	81	7
5	91	7
6	110	7
7	117	7
8	144	7
9	258	7
10	333	7
done	333	7
0	11	15
1	23	15
2	58	11
3	112	11
4	182	9
5	223	9
6	312	9
7	572	9
8	917	9
9	1379	9
10	2476	9
11	2605	9
12	2734	9
done	2734	9
0	11	15
1	23	15
2	58	11
3	112	11
4	182	9
5	223	9
6	312	9
7	572	9
8	917	9
9	1379	9
10	2476	9
11	2605	9
12	2734	9
done	2734	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

prune109.0ms

Filtered

49 candidates to 66 candidates (-34.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	68	6	74

Merged error: 0.0b

Counts

74 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 1.0) (* (* x z) (- y 1.0)))
2.5b	(* (* x z) (- y 1.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

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

series24.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(+ (* x 1.0) (* (* x z) (- y 1.0)))
10.0ms	(* (* x z) (- y 1.0))

simplify1.2min

Counts

47 → 47

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	22	9
3	26	9
done	26	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	46	8
3	106	8
4	210	8
5	454	8
6	1229	8
7	4597	8
done	5001	8
0	13	23
1	28	23
2	112	13
3	534	13
4	2914	11
done	5001	11
0	11	23
1	30	23
2	116	11
3	554	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	126	9
3	709	9
4	3643	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	26	6
3	43	6
4	51	6
done	51	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	26	6
3	43	6
4	51	6
done	51	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	26	6
3	41	6
4	49	6
done	49	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	12	6
2	26	6
3	41	6
4	49	6
done	49	6
0	9	13
1	17	13
2	31	13
3	41	13
done	41	13
0	8	8
1	14	8
2	21	8
done	21	8
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	9	9
1	20	9
2	47	9
3	53	9
done	53	9
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
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	69	11
3	213	11
4	645	11
5	2166	11
done	5001	11
0	9	11
1	18	11
2	49	11
3	157	11
4	407	11
5	685	11
6	1094	11
7	1915	11
done	5000	11
0	11	13
1	25	12
2	62	10
3	150	10
4	388	10
5	1270	10
done	5000	10
0	10	12
1	18	12
2	41	10
3	80	10
4	112	10
5	139	10
6	163	10
7	212	10
8	323	10
9	505	10
10	802	10
11	1259	10
12	2297	10
13	2445	10
14	2608	10
15	2644	10
16	2696	10
17	2899	10
18	3671	10
done	5000	10
0	10	12
1	21	12
2	54	10
3	123	10
4	286	10
5	807	10
6	3436	10
done	5001	10
0	11	25
1	19	25
2	42	21
3	78	21
4	107	21
5	134	21
6	158	21
7	208	21
8	319	21
9	501	21
10	801	21
11	1262	21
12	2309	21
13	2452	21
14	2595	21
done	2595	21
0	10	12
1	18	12
2	41	10
3	77	10
4	108	10
5	135	10
6	159	10
7	208	10
8	319	10
9	501	10
10	802	10
11	1247	10
12	2293	10
13	2428	10
14	2569	10
done	2569	10
0	11	35
1	32	35
2	125	11
3	662	11
4	3984	11
done	5001	11
0	10	12
1	18	12
2	41	10
3	77	10
4	108	10
5	135	10
6	159	10
7	208	10
8	319	10
9	501	10
10	802	10
11	1247	10
12	2293	10
13	2428	10
14	2569	10
done	2569	10
0	10	12
1	18	12
2	41	10
3	77	10
4	108	10
5	135	10
6	159	10
7	208	10
8	319	10
9	501	10
10	802	10
11	1247	10
12	2293	10
13	2428	10
14	2569	10
done	2569	10
0	12	15
1	39	15
2	140	15
3	620	15
4	3010	15
done	5001	15
0	13	35
1	46	27
2	189	25
3	805	23
4	2786	23
done	5000	23
0	11	23
1	37	23
2	140	19
3	613	19
4	2740	19
done	5001	19
0	9	11
1	18	11
2	50	9
3	133	9
4	251	9
5	346	9
6	502	9
7	610	9
8	806	9
9	1241	9
10	1594	9
11	2071	9
12	2234	9
done	2234	9
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7
0	8	9
1	14	9
2	24	7
3	26	7
done	26	7
0	8	9
1	14	9
2	20	9
3	24	7
4	26	7
done	26	7
0	8	9
1	14	9
2	20	9
3	24	7
4	26	7
done	26	7
0	5	5
1	9	5
2	15	5
done	15	5
0	9	11
1	18	11
2	43	7
3	84	7
4	106	7
5	107	7
done	107	7
0	9	11
1	18	11
2	43	7
3	84	7
4	106	7
5	107	7
done	107	7
0	7	9
1	15	7
2	34	7
3	63	7
4	81	7
5	91	7
6	110	7
7	117	7
8	144	7
9	258	7
10	333	7
done	333	7
0	11	15
1	23	15
2	58	11
3	112	11
4	182	9
5	223	9
6	312	9
7	572	9
8	917	9
9	1379	9
10	2476	9
11	2605	9
12	2734	9
done	2734	9
0	11	15
1	23	15
2	58	11
3	112	11
4	182	9
5	223	9
6	312	9
7	572	9
8	917	9
9	1379	9
10	2476	9
11	2605	9
12	2734	9
done	2734	9

prune77.0ms

Filtered

35 candidates to 47 candidates (-34.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	47	6	53

Merged error: 0.0b

Counts

53 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- y 1.0))
0.2b	(cbrt (- y 1.0))
0.9b	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
1.8b	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

70×	`cbrt-div`
42×	`associate-*r/`
35×	`flip3--` `flip--`
34×	`pow1` `add-exp-log`
32×	`frac-times`
21×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
16×	`associate-*l/`
15×	`cbrt-prod`
14×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`associate-r`
8×	`add-cube-cbrt`
4×	`add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `associate-l` `*-commutative`

Counts

4 → 118

Calls

4 calls:

4.0ms	(cbrt (- y 1.0))
3.0ms	(cbrt (- y 1.0))
29.0ms	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
18.0ms	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

series69.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(cbrt (- y 1.0))
9.0ms	(cbrt (- y 1.0))
14.0ms	(* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
37.0ms	(* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))

simplify3.9min

Counts

130 → 130

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	17	13
2	31	13
3	41	13
done	41	13
0	9	13
1	17	13
2	31	13
3	41	13
done	41	13
0	9	13
1	17	13
2	31	13
3	41	13
done	41	13
0	9	13
1	17	13
2	31	13
3	41	13
done	41	13
0	12	17
1	22	13
2	37	13
3	47	13
done	47	13
0	12	16
1	20	16
2	35	13
3	47	13
4	52	13
done	52	13
0	11	16
1	22	12
2	33	12
3	47	12
4	50	12
done	50	12
0	11	15
1	20	15
2	32	12
3	47	12
4	55	12
done	55	12
0	10	14
1	21	14
2	46	14
3	82	12
4	107	12
done	107	12
0	10	14
1	20	14
2	47	14
3	91	14
4	185	14
5	424	14
6	1025	14
7	2817	14
done	5000	14
0	12	19
1	26	19
2	102	15
3	488	15
4	2327	13
done	5000	13
0	15	41
1	37	41
2	126	19
3	574	14
4	2683	12
done	5000	12
0	10	19
1	28	19
2	106	13
3	511	13
4	2417	13
done	5001	13
0	13	41
1	39	41
2	129	17
3	601	12
4	2771	12
done	5000	12
0	11	29
1	19	29
2	33	29
3	43	29
done	43	29
0	10	14
1	18	14
2	32	14
3	44	14
done	44	14
0	11	41
1	29	41
2	127	15
3	678	15
4	2872	13
done	5000	13
0	10	14
1	18	14
2	32	14
3	44	14
done	44	14
0	10	14
1	18	14
2	32	14
3	44	14
done	44	14
0	8	8
1	14	8
2	21	8
done	21	8
0	7	11
1	12	11
2	15	11
done	15	11
0	12	21
1	33	21
2	68	21
3	112	21
4	197	21
5	531	21
6	2294	21
done	5000	21
0	16	21
1	41	21
2	87	21
3	155	21
4	271	21
5	642	21
6	2451	21
done	5000	21
0	16	21
1	41	21
2	87	21
3	155	21
4	269	21
5	638	21
6	2437	21
done	5000	21
0	11	21
1	22	21
2	42	21
3	67	21
4	92	21
5	133	21
6	199	21
7	367	21
8	1632	21
done	5000	21
0	14	17
1	38	17
2	79	17
3	134	17
4	223	17
5	551	17
6	2338	17
done	5001	17
0	13	17
1	26	17
2	57	17
3	103	17
4	132	17
5	196	17
6	347	17
7	1553	17
done	5000	17
0	14	17
1	38	17
2	79	17
3	134	17
4	225	17
5	559	17
6	2313	17
done	5001	17
0	13	17
1	26	17
2	57	17
3	103	17
4	132	17
5	187	17
6	338	17
7	1517	17
done	5000	17
0	10	18
1	21	18
2	47	18
3	78	10
4	84	7
5	126	7
6	192	7
7	331	7
8	739	7
9	2176	7
done	5001	7
0	10	18
1	21	18
2	47	18
3	78	10
4	84	7
5	126	7
6	192	7
7	331	7
8	739	7
9	2176	7
done	5001	7
0	10	18
1	21	18
2	47	18
3	78	10
4	84	7
5	126	7
6	192	7
7	331	7
8	739	7
9	2176	7
done	5001	7
0	10	18
1	21	18
2	47	18
3	78	10
4	84	7
5	126	7
6	192	7
7	331	7
8	739	7
9	2176	7
done	5001	7
0	10	18
1	21	18
2	47	18
3	78	10
4	84	7
5	126	7
6	192	7
7	331	7
8	739	7
9	2176	7
done	5001	7
0	13	23
1	26	19
2	57	13
3	88	13
4	89	13
done	89	13
0	14	22
1	24	22
2	51	19
3	90	13
4	95	13
done	95	13
0	12	22
1	26	18
2	47	12
3	78	12
4	90	12
done	90	12
0	13	21
1	24	21
2	42	18
3	74	12
4	94	12
done	94	12
0	12	20
1	24	20
2	52	20
3	102	17
4	158	12
5	161	12
done	161	12
0	11	19
1	25	19
2	63	19
3	129	11
4	191	8
5	241	8
6	332	8
7	564	8
8	1241	8
9	3617	8
done	5000	8
0	11	19
1	24	19
2	65	19
3	140	11
4	287	8
5	736	8
6	1834	8
7	4967	8
done	5000	8
0	13	23
1	30	23
2	134	19
3	750	13
4	3871	11
done	5001	11
0	16	45
1	41	45
2	170	23
3	1096	18
done	5001	18
0	11	23
1	32	23
2	136	17
3	787	11
4	4078	9
done	5000	9
0	14	45
1	43	45
2	172	21
3	1153	16
done	5001	16
0	12	45
1	33	45
2	168	19
3	1191	19
done	5000	19
0	12	39
1	23	39
2	49	39
3	80	23
4	87	17
5	129	17
6	197	17
7	335	17
8	741	17
9	2185	17
done	5000	17
0	11	19
1	22	19
2	48	19
3	79	11
4	86	8
5	128	8
6	192	8
7	330	8
8	743	8
9	2187	8
done	5000	8
0	12	56
1	32	56
2	144	20
3	836	12
4	4218	9
done	5000	9
0	11	19
1	22	19
2	48	19
3	79	11
4	86	8
5	128	8
6	192	8
7	330	8
8	743	8
9	2187	8
done	5000	8
0	11	19
1	22	19
2	48	19
3	79	11
4	86	8
5	128	8
6	192	8
7	330	8
8	743	8
9	2187	8
done	5000	8
0	13	30
1	37	30
2	84	30
3	147	14
4	238	11
5	692	11
6	3713	11
done	5001	11
0	10	38
1	18	32
2	28	12
3	34	9
4	41	9
5	51	9
6	72	9
7	139	9
8	358	9
9	1284	9
done	5000	9
0	17	30
1	44	30
2	103	30
3	205	30
4	382	30
5	760	30
6	2626	30
done	5000	30
0	12	30
1	22	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	45	30
2	107	30
3	206	30
4	371	30
5	753	30
6	2599	30
done	5000	30
0	12	30
1	21	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	45	30
2	106	30
3	214	30
4	377	30
5	753	30
6	2608	30
done	5000	30
0	12	22
1	23	20
2	31	20
3	32	20
4	33	20
done	33	20
0	17	30
1	45	30
2	106	30
3	214	30
4	380	30
5	759	30
6	2594	30
done	5000	30
0	12	30
1	23	26
2	31	26
3	32	26
4	33	26
done	33	26
0	17	30
1	45	30
2	107	30
3	206	30
4	367	30
5	739	30
6	2578	30
done	5000	30
0	12	22
1	21	20
2	31	20
3	32	20
4	33	20
done	33	20
0	17	30
1	44	30
2	103	30
3	204	30
4	383	30
5	769	30
6	2627	30
done	5000	30
0	12	22
1	22	20
2	31	20
3	34	20
4	35	20
done	35	20
0	12	30
1	26	30
2	58	30
3	103	14
4	134	11
5	289	11
6	709	11
7	1392	11
8	3879	11
done	5000	11
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	15	26
1	42	26
2	98	26
3	188	26
4	329	26
5	667	26
6	2443	26
done	5001	26
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	19	26
1	48	26
2	120	26
3	259	26
4	503	26
5	913	26
6	2824	26
done	5000	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	19	26
1	48	26
2	120	26
3	257	26
4	500	26
5	915	26
6	2824	26
done	5000	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	26
1	30	26
2	76	26
3	157	26
4	236	26
5	297	26
6	446	26
7	1630	26
done	5001	26
0	5	9
1	6	9
done	6	9
0	15	26
1	42	26
2	99	26
3	185	26
4	321	26
5	653	26
6	2444	26
done	5000	26
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	19	26
1	48	26
2	120	26
3	259	26
4	503	26
5	913	26
6	2819	26
done	5000	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	19	26
1	48	26
2	120	26
3	257	26
4	498	26
5	913	26
6	2826	26
done	5001	26
0	11	17
1	19	15
2	26	15
3	27	15
4	28	15
done	28	15
0	14	26
1	30	26
2	77	26
3	154	26
4	234	26
5	293	26
6	442	26
7	1622	26
done	5001	26
0	5	9
1	6	9
done	6	9
0	11	24
1	22	24
2	55	24
3	108	24
4	173	24
5	177	24
done	177	24
0	12	19
1	23	19
2	56	19
3	108	19
4	173	19
5	182	19
done	182	19
0	12	16
1	25	15
2	58	15
3	109	13
4	152	13
done	152	13
0	14	20
1	26	20
2	59	20
3	115	20
4	181	20
5	187	20
done	187	20
0	12	16
1	25	15
2	58	15
3	109	13
4	152	13
done	152	13
0	12	25
1	25	25
2	70	25
3	185	25
4	346	25
5	368	25
done	368	25
0	11	19
1	22	19
2	55	19
3	108	19
4	173	19
5	177	19
done	177	19
0	11	15
1	24	13
2	63	13
3	131	13
4	167	13
done	167	13
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	22
1	41	22
2	95	22
3	183	22
4	331	22
5	665	22
6	2455	22
done	5000	22
0	14	22
1	29	22
2	73	22
3	151	22
4	246	22
5	299	22
6	446	22
7	1612	22
done	5001	22
0	15	26
1	41	26
2	95	26
3	184	26
4	337	26
5	673	26
6	2413	26
done	5001	26
0	19	26
1	48	26
2	120	26
3	258	26
4	504	26
5	904	26
6	2831	26
done	5001	26
0	19	26
1	48	26
2	120	26
3	258	26
4	498	26
5	910	26
6	2819	26
done	5000	26
0	14	26
1	29	26
2	73	26
3	149	26
4	242	26
5	302	26
6	449	26
7	1646	26
done	5001	26
0	15	22
1	42	22
2	99	22
3	185	22
4	321	22
5	661	22
6	2454	22
done	5001	22
0	14	22
1	30	22
2	77	22
3	152	22
4	232	22
5	298	22
6	447	22
7	1626	22
done	5000	22
0	15	22
1	42	22
2	98	22
3	188	22
4	326	22
5	656	22
6	2448	22
done	5000	22
0	14	22
1	30	22
2	76	22
3	157	22
4	237	22
5	298	22
6	445	22
7	1631	22
done	5001	22
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	7	7
1	17	6
2	35	6
3	68	6
4	164	6
5	500	6
6	1788	6
done	5000	6
0	24	60
1	58	54
2	177	48
3	721	27
4	3867	23
done	5000	23
0	28	75
1	68	72
2	222	66
3	1264	39
done	5000	39
0	5	5
1	9	5
2	15	5
done	15	5
0	9	11
1	18	11
2	43	7
3	84	7
4	106	7
5	107	7
done	107	7
0	9	11
1	18	11
2	43	7
3	84	7
4	106	7
5	107	7
done	107	7
0	26	36
1	66	32
2	186	32
3	571	28
4	2218	26
done	5000	26
0	19	42
1	44	36
2	91	27
3	249	13
4	881	13
done	5001	13
0	22	51
1	52	48
2	131	45
3	427	29
4	1949	27
done	5001	27
0	26	36
1	66	32
2	186	32
3	571	28
4	2218	26
done	5000	26
0	19	42
1	44	36
2	91	27
3	249	13
4	881	13
done	5001	13
0	22	51
1	52	48
2	131	45
3	427	29
4	1949	27
done	5001	27

prune332.0ms

Filtered

107 candidates to 130 candidates (-21.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	129	7	136

Merged error: 0.0b

Counts

136 → 7

regimes379.0ms

Accuracy

75.1% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 1.6b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	49
1	34	49
done	34	49

end0.0ms

sample781.0ms

Algorithm

intervals

Results

327.0ms

10184×

body

valid

Details

sample27.0ms

simplify3.7s

prune3.0ms

localize7.0ms

rewrite15.0ms

series19.0ms

simplify2.2min

prune108.0ms

localize8.0ms

rewrite28.0ms

series28.0ms

simplify1.4min

prune109.0ms

localize8.0ms

rewrite15.0ms

series24.0ms

simplify1.2min

prune77.0ms

localize13.0ms

rewrite61.0ms

series69.0ms

simplify3.9min

prune332.0ms

regimes379.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample781.0ms

Profiling