Details

sample36.0ms

Algorithm

intervals

Results

18.0ms

329×

body

valid

simplify33.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	16	12
2	28	12
3	39	12
4	46	12
5	52	12
6	55	12
done	55	12

prune4.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: 1.8b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (+ x 4.0) y) (* (/ x y) z))
0.0b	(/ (+ x 4.0) y)
3.5b	(* (/ x y) z)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
25×	`add-sqr-sqrt`
22×	`times-frac`
20×	`add-cube-cbrt`
13×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `add-log-exp`
4×	`distribute-lft-out` `associate-/l*`
3×	`associate-r` `associate-l/` `associate-/r`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `clear-num` `*-commutative` `frac-sub` `flip--` `flip-+` `sub-div`

Counts

3 → 79

Calls

3 calls:

10.0ms	(- (/ (+ x 4.0) y) (* (/ x y) z))
10.0ms	(/ (+ x 4.0) y)
9.0ms	(* (/ x y) z)

series33.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- (/ (+ x 4.0) y) (* (/ x y) z))
6.0ms	(/ (+ x 4.0) y)
15.0ms	(* (/ x y) z)

simplify57.2s

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	72	8
8	91	8
9	99	8
done	99	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	33	6
4	51	6
5	64	6
6	76	6
7	88	6
8	111	6
9	123	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	30	6
4	57	6
5	123	6
6	292	6
7	829	6
8	3101	6
done	5000	6
0	11	17
1	26	17
2	103	11
3	453	9
4	1796	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	229	9
4	802	7
5	2670	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	15	13
4	17	13
5	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	291	7
4	843	7
5	2332	7
6	4989	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	9
1	12	9
2	20	9
3	28	9
4	37	9
5	43	9
6	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	10	3
2	20	3
done	20	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	10	5
2	13	3
done	13	3
0	3	3
1	4	3
done	4	3
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	236	7
4	620	7
5	1689	7
6	4465	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	47	7
3	119	7
4	298	7
5	589	7
6	1238	7
7	3090	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	7
1	8	7
done	8	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	7	6
done	7	6
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	7	9
1	10	9
done	10	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	10	3
done	10	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	784	11
11	785	11
done	785	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	19	12
2	30	12
3	55	12
4	106	12
5	225	12
6	584	12
7	1984	12
done	5000	12
0	10	12
1	16	12
2	28	12
3	39	12
4	46	12
5	52	12
6	55	12
done	55	12
0	10	12
1	19	12
2	37	12
3	64	12
4	109	12
5	229	12
6	643	12
7	2339	12
done	5000	12
0	11	25
1	17	25
2	29	25
3	40	25
4	47	25
5	53	25
6	56	25
done	56	25
0	10	12
1	16	12
2	28	12
3	39	12
4	46	12
5	52	12
6	55	12
done	55	12
0	11	35
1	18	35
2	44	13
3	146	13
4	620	13
5	2907	13
done	5000	13
0	10	12
1	16	12
2	28	12
3	39	12
4	46	12
5	52	12
6	55	12
done	55	12
0	10	12
1	16	12
2	28	12
3	39	12
4	46	12
5	52	12
6	55	12
done	55	12
0	6	7
1	12	7
2	25	7
3	34	7
4	43	7
5	59	7
6	79	7
7	92	7
8	101	7
9	110	7
10	130	7
11	147	7
12	162	7
13	197	7
14	262	7
15	366	7
16	436	7
done	436	7
0	9	11
1	17	11
2	42	9
3	87	9
4	129	9
5	151	9
6	178	9
7	244	9
8	413	9
9	746	9
10	1346	9
11	1803	9
12	2167	9
13	2190	9
done	2190	9
0	2	3
done	2	3
0	12	15
1	37	15
2	125	15
3	545	15
4	2268	15
done	5000	15
0	13	35
1	39	29
2	122	29
3	261	29
4	513	27
5	887	27
6	1461	27
7	2340	27
8	4243	27
done	5000	27
0	6	6
1	13	6
2	24	6
3	34	6
4	39	6
5	45	6
6	48	6
done	48	6
0	11	23
1	31	23
2	94	23
3	261	23
4	644	23
5	1300	23
6	2297	23
7	3894	21
done	5000	21
0	9	11
1	14	11
2	17	11
3	19	11
4	21	11
5	22	11
done	22	11
0	6	6
1	13	6
2	24	6
3	34	6
4	39	6
5	45	6
6	48	6
done	48	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	25	7
done	25	7
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	25	7
done	25	7
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	25	7
done	25	7
0	12	15
1	25	15
2	42	13
3	63	13
4	86	13
5	102	12
6	134	12
7	229	11
8	418	11
9	588	11
10	912	11
11	1656	11
12	2052	9
13	2214	9
14	2222	9
done	2222	9
0	12	15
1	25	15
2	42	13
3	63	13
4	86	13
5	102	12
6	134	12
7	229	11
8	418	11
9	588	11
10	912	11
11	1656	11
12	2052	9
13	2214	9
14	2222	9
done	2222	9
0	12	15
1	25	15
2	42	13
3	63	13
4	86	13
5	102	12
6	134	12
7	229	11
8	418	11
9	588	11
10	912	11
11	1656	11
12	2052	9
13	2214	9
14	2222	9
done	2222	9

prune173.0ms

Filtered

68 candidates to 88 candidates (-29.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	6	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	6	89

Merged error: 0.0b

Counts

89 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ x 4.0))
0.0b	(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
0.1b	(/ 1 (/ y (+ x 4.0)))
3.5b	(* (/ x y) z)

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

124×	`times-frac`
104×	`*-un-lft-identity`
77×	`add-sqr-sqrt`
72×	`add-cube-cbrt`
22×	`add-exp-log` `associate-/r*`
16×	`add-cbrt-cube` `distribute-lft-out`
13×	`associate-l`
11×	`associate-/r/`
9×	`div-exp`
7×	`pow1` `div-inv`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `flip3-+` `flip-+`
3×	`associate-r`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*l/` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `pow-flip` `diff-log` `pow-prod-down` `*-commutative` `frac-sub` `flip--` `inv-pow`

Counts

4 → 174

Calls

4 calls:

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

series28.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ y (+ x 4.0))
10.0ms	(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
5.0ms	(/ 1 (/ y (+ x 4.0)))
6.0ms	(* (/ x y) z)

simplify2.4min

Counts

186 → 186

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	72	8
8	91	8
9	99	8
done	99	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	33	6
4	51	6
5	64	6
6	76	6
7	88	6
8	111	6
9	123	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	30	6
4	57	6
5	123	6
6	292	6
7	829	6
8	3101	6
done	5000	6
0	11	17
1	26	17
2	103	11
3	453	9
4	1796	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	229	9
4	802	7
5	2670	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	15	13
4	17	13
5	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	291	7
4	843	7
5	2332	7
6	4989	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	9
1	12	9
2	20	9
3	28	9
4	37	9
5	43	9
6	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	10	3
2	20	3
done	20	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	10	5
2	13	3
done	13	3
0	3	3
1	4	3
done	4	3
0	2	2
1	5	1
done	5	1
0	8	8
1	11	8
2	15	8
3	17	8
4	18	7
done	18	7
0	7	7
1	11	7
2	13	7
3	17	7
4	19	7
5	20	7
done	20	7
0	9	9
1	16	8
2	29	8
3	48	7
4	77	7
5	104	7
6	113	7
7	129	7
done	129	7
0	8	8
1	14	7
2	22	7
3	35	7
4	61	7
5	91	7
6	97	7
7	103	7
8	119	7
done	119	7
0	10	10
1	19	9
2	27	8
3	52	7
4	82	7
5	108	7
6	118	7
7	134	7
done	134	7
0	9	9
1	17	8
2	22	7
3	39	7
4	65	7
5	95	7
6	101	7
7	107	7
8	123	7
done	123	7
0	8	8
1	17	7
2	34	7
3	60	6
4	111	6
5	152	6
6	167	6
7	171	6
8	180	6
done	180	6
0	8	8
1	13	8
2	26	8
3	49	6
4	107	6
5	170	6
6	334	6
7	823	6
8	2839	6
done	5000	6
0	13	23
1	42	19
2	134	11
3	473	9
4	1797	9
done	5000	9
0	11	23
1	28	19
2	64	9
3	224	9
4	666	9
5	1431	7
6	2976	7
done	5000	7
0	9	17
1	14	17
2	25	17
3	38	13
4	73	13
5	84	13
done	84	13
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	9	23
1	21	23
2	67	9
3	318	7
4	1011	7
5	2058	7
done	5001	7
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	2	2
1	5	1
done	5	1
0	6	6
1	9	6
done	9	6
0	11	19
1	20	17
2	29	15
3	35	15
done	35	15
0	9	9
1	12	8
done	12	8
0	10	12
1	15	10
2	17	8
3	18	8
done	18	8
0	9	9
1	12	8
done	12	8
0	13	21
1	26	19
2	62	17
3	132	15
4	188	15
done	188	15
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	12	16
1	21	14
2	39	12
3	72	10
4	93	10
done	93	10
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	12	18
1	21	16
2	36	14
3	56	12
4	59	12
done	59	12
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	11	13
1	18	11
2	27	9
3	35	7
4	36	7
done	36	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	7	10
1	13	4
2	18	4
done	18	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	7	10
1	13	4
2	18	4
done	18	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	5	9
1	11	1
done	11	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	5	9
1	11	1
done	11	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	12	15
1	32	13
2	58	11
3	123	9
4	298	9
5	919	9
6	2645	9
done	5001	9
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	11	15
1	22	13
2	48	11
3	133	9
4	370	9
5	747	9
6	1030	9
7	1638	9
8	4753	9
done	5000	9
0	6	6
1	10	5
2	11	5
done	11	5
0	10	16
1	15	15
done	15	15
0	9	9
1	12	8
done	12	8
0	9	9
1	12	8
done	12	8
0	9	9
1	12	8
done	12	8
0	12	18
1	23	17
2	44	17
3	73	15
4	133	15
5	198	15
done	198	15
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	11	13
1	18	12
2	26	12
3	39	10
4	66	10
5	97	10
done	97	10
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	11	15
1	18	14
2	25	14
3	33	12
4	57	12
5	74	12
done	74	12
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	10	10
1	15	9
2	18	9
3	19	7
4	32	7
5	39	7
done	39	7
0	6	7
1	10	4
2	15	4
done	15	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	6	7
1	10	4
2	15	4
done	15	4
0	9	9
1	14	8
2	25	8
3	38	6
4	73	6
5	84	6
done	84	6
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	9	9
1	14	8
2	17	8
3	18	6
4	31	6
5	36	6
done	36	6
0	4	6
1	8	1
done	8	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	4	6
1	8	1
done	8	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	3	4
1	5	1
done	5	1
0	8	8
1	13	7
2	24	7
3	37	5
4	72	5
5	83	5
done	83	5
0	4	4
1	6	3
done	6	3
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	11	12
1	29	11
2	49	11
3	103	9
4	275	9
5	928	9
6	2691	9
done	5001	9
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	10	12
1	19	11
2	39	11
3	109	9
4	331	9
5	750	9
6	1032	9
7	1598	9
8	4794	9
done	5000	9
0	6	6
1	10	5
2	11	5
done	11	5
0	9	15
1	14	15
done	14	15
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	205	15
done	205	15
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	10	12
1	17	12
2	25	12
3	38	10
4	65	10
5	105	10
done	105	10
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	10	14
1	17	14
2	24	14
3	32	12
4	56	12
5	75	12
done	75	12
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	13	8
2	24	8
3	37	6
4	72	6
5	83	6
done	83	6
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	8
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	3	5
1	6	1
done	6	1
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	3	5
1	6	1
done	6	1
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	3	3
1	5	3
done	5	3
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	10	11
1	28	11
2	48	11
3	102	9
4	276	9
5	933	9
6	2661	9
done	5001	9
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	12	7
2	23	7
3	36	5
4	71	5
5	82	5
done	82	5
0	7	7
1	12	5
2	27	5
3	37	5
done	37	5
0	9	15
1	14	15
done	14	15
0	8	8
1	11	8
done	11	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	205	15
done	205	15
0	10	12
1	17	12
2	25	12
3	38	10
4	65	10
5	105	10
done	105	10
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	10	14
1	17	14
2	24	14
3	32	12
4	56	12
5	75	12
done	75	12
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	5	6
1	9	4
2	14	4
done	14	4
0	5	6
1	9	4
2	14	4
done	14	4
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	10	11
1	28	11
2	48	11
3	102	9
4	276	9
5	933	9
6	2661	9
done	5001	9
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	8	8
1	13	7
2	24	7
done	24	5
0	8	8
1	13	7
2	24	7
done	24	5
0	7	7
1	12	5
2	27	5
3	37	5
done	37	5
0	3	3
1	5	3
done	5	3
0	13	15
1	25	14
2	49	14
3	104	12
4	257	12
5	677	12
6	3270	12
done	5001	12
0	12	14
1	22	14
2	45	14
3	81	12
4	124	12
5	178	12
6	306	12
7	504	12
8	811	10
9	1411	10
10	1755	10
11	1922	10
12	2103	10
13	2339	10
14	3043	10
done	5000	10
0	12	14
1	25	14
2	56	14
3	116	12
4	254	12
5	722	12
6	3596	12
done	5001	12
0	13	29
1	23	29
2	46	29
3	82	25
4	125	25
5	181	25
6	309	25
7	502	25
8	798	21
9	1378	21
10	1710	21
11	1822	21
12	1847	21
done	1847	21
0	12	14
1	22	14
2	45	14
3	81	12
4	124	12
5	178	12
6	306	12
7	501	12
8	799	10
9	1378	10
10	1702	10
11	1829	10
12	1854	10
done	1854	10
0	13	41
1	24	41
2	61	15
3	228	13
4	1253	13
done	5000	13
0	12	14
1	22	14
2	45	14
3	81	12
4	124	12
5	178	12
6	306	12
7	501	12
8	799	10
9	1378	10
10	1702	10
11	1829	10
12	1854	10
done	1854	10
0	12	14
1	22	14
2	45	14
3	81	12
4	124	12
5	178	12
6	306	12
7	501	12
8	799	10
9	1378	10
10	1702	10
11	1829	10
12	1854	10
done	1854	10
0	11	13
1	23	11
2	50	11
3	108	11
4	175	11
5	228	11
6	273	11
7	307	11
8	308	11
done	308	11
0	6	7
1	10	7
2	12	7
done	12	7
0	14	17
1	43	17
2	153	17
3	670	15
4	2731	15
done	5000	15
0	15	41
1	45	35
2	153	33
3	662	29
4	1795	27
5	3463	27
done	5000	27
0	6	6
1	13	6
2	24	6
3	34	6
4	39	6
5	45	6
6	48	6
done	48	6
0	13	27
1	37	27
2	116	25
3	415	23
4	1154	23
5	2956	23
done	5001	23
0	11	13
1	20	13
2	34	13
3	57	11
4	93	11
5	120	11
6	164	11
7	212	11
8	277	9
9	285	9
10	286	9
done	286	9
0	6	6
1	13	6
2	24	6
3	34	6
4	39	6
5	45	6
6	48	6
done	48	6
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	220	7
4	496	7
5	1299	7
6	2986	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	31	7
3	69	7
4	152	7
5	302	7
6	586	7
7	1368	7
8	4784	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	8	12
1	11	12
done	11	12
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	7	11
1	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	7	11
1	10	11
done	10	11
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	204	9
6	605	9
7	2437	9
done	5000	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	25	7
done	25	7
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	25	7
done	25	7
0	8	9
1	14	9
2	17	7
3	18	7
4	23	7
5	25	7
done	25	7
0	12	15
1	25	15
2	42	13
3	63	13
4	86	13
5	102	12
6	134	12
7	229	11
8	418	11
9	588	11
10	912	11
11	1656	11
12	2052	9
13	2214	9
14	2222	9
done	2222	9
0	12	15
1	25	15
2	42	13
3	63	13
4	86	13
5	102	12
6	134	12
7	229	11
8	418	11
9	588	11
10	912	11
11	1656	11
12	2052	9
13	2214	9
14	2222	9
done	2222	9
0	12	15
1	25	15
2	42	13
3	63	13
4	86	13
5	102	12
6	134	12
7	229	11
8	418	11
9	588	11
10	912	11
11	1656	11
12	2052	9
13	2214	9
14	2222	9
done	2222	9
0	14	17
1	33	17
2	86	15
3	150	13
4	210	11
5	293	11
6	493	11
7	845	11
8	1155	11
9	2207	11
done	5001	11
0	15	19
1	37	19
2	105	19
3	226	15
4	441	15
5	966	15
6	3038	13
done	5000	13
0	15	19
1	37	19
2	105	19
3	226	15
4	441	15
5	966	15
6	3038	13
done	5000	13

prune232.0ms

Filtered

113 candidates to 186 candidates (-64.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	185	1	186
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	185	7	192

Merged error: 0b

Counts

192 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.5b	(cbrt y)
1.4b	(* (/ x (cbrt y)) z)
2.9b	(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

87×	`add-exp-log`
46×	`prod-exp`
35×	`add-cbrt-cube`
30×	`add-sqr-sqrt`
29×	`associate-l`
23×	`times-frac`
22×	`add-cube-cbrt` `*-un-lft-identity`
20×	`div-exp` `cbrt-unprod`
16×	`cbrt-prod`
11×	`pow1`
10×	`cbrt-undiv`
6×	`rec-exp` `1-exp`
4×	`associate-r` `pow-prod-down` `associate-*l/` `add-log-exp`
3×	`unswap-sqr`
2×	`pow1/3` `*-commutative` `div-inv`
1×	`frac-times` `associate-*r/`

Counts

4 → 115

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
9.0ms	(* (/ x (cbrt y)) z)
17.0ms	(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

series96.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
25.0ms	(cbrt y)
28.0ms	(* (/ x (cbrt y)) z)
18.0ms	(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

simplify3.0min

Counts

127 → 127

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	10	14
1	22	14
2	56	12
3	214	12
4	544	12
5	644	12
6	652	8
7	664	5
8	688	5
9	776	5
10	991	5
11	1590	5
12	3469	5
done	5000	5
0	10	14
1	22	14
2	56	12
3	214	12
4	544	12
5	644	12
6	652	8
7	664	5
8	688	5
9	776	5
10	991	5
11	1590	5
12	3469	5
done	5000	5
0	12	18
1	23	16
2	58	15
3	152	15
4	335	11
5	567	11
6	696	11
7	741	11
8	742	11
done	742	11
0	12	17
1	22	15
2	48	14
3	117	14
4	265	11
5	563	11
6	688	11
7	735	11
8	737	11
done	737	11
0	11	16
1	22	14
2	45	13
3	96	13
4	222	10
5	463	10
6	652	10
7	753	10
8	755	10
done	755	10
0	13	17
1	22	17
2	48	15
3	127	15
4	281	11
5	449	11
6	584	11
7	692	11
8	703	11
done	703	11
0	12	16
1	20	16
2	38	14
3	95	14
4	214	11
5	416	11
6	680	11
7	784	11
8	816	11
done	816	11
0	11	15
1	20	15
2	37	13
3	81	13
4	186	10
5	379	10
6	688	10
7	796	10
8	833	10
9	834	10
done	834	10
0	13	19
1	29	16
2	89	15
3	313	15
4	980	11
5	1353	11
6	1395	11
done	1395	11
0	13	18
1	27	15
2	77	14
3	238	14
4	781	11
5	1462	11
6	1739	11
7	1765	11
done	1765	11
0	12	17
1	27	14
2	70	13
3	180	13
4	566	10
5	1224	10
6	1608	10
7	1647	10
done	1647	10
0	14	18
1	27	17
2	77	15
3	291	15
4	948	11
5	1389	11
6	1441	11
7	1442	11
done	1442	11
0	13	17
1	25	16
2	65	14
3	220	14
4	702	11
5	1416	11
6	1691	11
7	1717	11
done	1717	11
0	12	16
1	25	15
2	60	13
3	175	13
4	539	10
5	1192	10
6	1586	10
7	1626	10
done	1626	10
0	14	20
1	32	17
2	88	15
3	313	15
4	969	12
5	1336	11
6	1373	11
7	1388	11
done	1388	11
0	14	19
1	30	16
2	76	14
3	242	14
4	765	12
5	1444	12
6	1717	11
7	1732	11
done	1732	11
0	13	18
1	30	15
2	68	13
3	183	13
4	564	13
5	1215	11
6	1603	10
7	1625	10
8	1640	10
done	1640	10
0	15	19
1	30	18
2	78	16
3	291	15
4	952	15
5	1394	11
6	1449	11
7	1464	11
done	1464	11
0	14	18
1	28	17
2	66	15
3	224	14
4	702	14
5	1418	11
6	1695	11
7	1710	11
done	1710	11
0	13	17
1	28	16
2	60	14
3	176	13
4	530	13
5	1169	10
6	1571	10
7	1593	10
done	1593	10
0	14	18
1	30	17
2	63	16
3	207	15
4	672	11
5	1304	11
6	1577	11
7	1581	11
done	1581	11
0	13	17
1	28	16
2	53	15
3	158	14
4	502	11
5	1147	11
6	1458	11
7	1502	11
done	1502	11
0	12	16
1	27	15
2	49	14
3	126	13
4	378	10
5	871	10
6	1315	10
7	1436	10
done	1436	10
0	11	15
1	26	15
2	77	13
3	286	13
4	839	13
5	1584	10
6	2189	9
7	2564	6
8	2592	6
9	2725	6
10	3264	6
11	4904	6
done	5001	6
0	11	15
1	25	15
2	67	13
3	266	13
4	758	13
5	1363	13
6	3472	9
done	5001	9
0	15	23
1	37	19
2	124	13
3	596	13
4	3040	13
done	5000	13
0	16	30
1	42	26
2	146	14
3	777	14
4	4735	12
done	5000	12
0	14	30
1	40	26
2	149	12
3	879	12
done	5001	12
0	18	37
1	49	33
2	170	17
3	1194	13
done	5000	13
0	18	44
1	53	40
2	193	18
3	1478	13
done	5000	13
0	16	44
1	51	40
2	193	16
3	1536	11
done	5000	11
0	16	37
1	41	37
2	161	19
3	835	19
done	5000	17
0	16	44
1	45	44
2	182	20
3	975	20
done	5001	18
0	14	44
1	43	44
2	183	18
3	1071	18
done	5000	16
0	12	31
1	24	31
2	58	27
3	216	27
4	570	27
5	666	27
6	680	19
7	692	13
8	716	13
9	810	13
10	1028	13
11	1626	13
12	3498	13
done	5001	13
0	11	15
1	23	15
2	57	13
3	213	13
4	568	13
5	671	13
6	681	9
7	693	6
8	717	6
9	807	6
10	1021	6
11	1606	6
12	3523	6
done	5000	6
0	12	44
1	34	44
2	175	14
3	1298	14
done	5000	14
0	11	15
1	23	15
2	57	13
3	213	13
4	568	13
5	671	13
6	681	9
7	693	6
8	717	6
9	807	6
10	1021	6
11	1606	6
12	3523	6
done	5000	6
0	11	15
1	23	15
2	57	13
3	213	13
4	568	13
5	671	13
6	681	9
7	693	6
8	717	6
9	807	6
10	1021	6
11	1606	6
12	3523	6
done	5000	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	11	15
1	21	15
2	36	15
3	53	15
4	73	15
5	91	15
6	98	15
done	98	15
0	11	15
1	21	15
2	36	15
3	53	15
4	73	15
5	91	15
6	98	15
done	98	15
0	10	12
1	20	11
2	45	11
3	91	9
4	248	9
5	294	9
6	300	9
done	300	9
0	10	12
1	20	11
2	45	11
3	91	9
4	248	9
5	294	9
6	300	9
done	300	9
0	9	11
1	19	11
2	44	9
3	130	9
4	285	9
5	325	9
6	331	9
done	331	9
0	10	14
1	22	14
2	56	12
3	214	12
4	544	12
5	644	12
6	652	8
7	664	5
8	688	5
9	776	5
10	991	5
11	1590	5
12	3469	5
done	5000	5
0	10	14
1	22	14
2	56	12
3	214	12
4	544	12
5	644	12
6	652	8
7	664	5
8	688	5
9	776	5
10	991	5
11	1590	5
12	3469	5
done	5000	5
0	9	11
1	19	11
2	42	9
3	135	9
4	257	9
5	306	9
6	308	9
done	308	9
0	8	8
1	16	6
2	37	6
3	72	6
4	88	6
5	104	6
6	106	6
done	106	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	9	9
1	14	9
2	24	9
3	33	9
4	42	9
5	47	9
6	56	9
7	73	9
8	92	9
9	100	9
done	100	9
0	8	8
1	12	8
2	18	8
3	27	8
4	37	8
5	46	8
6	51	8
7	60	8
8	77	8
9	96	8
10	104	8
done	104	8
0	7	7
1	13	7
2	22	7
3	34	7
4	52	7
5	65	7
6	77	7
7	89	7
8	112	7
9	124	7
10	140	7
11	142	7
done	142	7
0	7	7
1	12	7
2	21	7
3	31	7
4	58	7
5	124	7
6	297	7
7	823	7
8	3102	7
done	5000	7
0	9	13
1	18	13
2	51	9
3	140	9
4	363	9
5	759	7
6	1910	7
done	5000	7
0	10	20
1	23	20
2	72	10
3	233	10
4	807	8
5	2626	7
done	5000	7
0	8	15
1	11	15
2	14	15
3	16	15
4	18	15
5	19	15
done	19	15
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	8	20
1	21	20
2	75	8
3	290	8
4	842	7
5	2286	7
6	4441	7
done	5000	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	10
1	13	10
2	21	10
3	29	10
4	38	10
5	44	10
6	49	10
done	49	10
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	11	4
2	21	4
done	21	4
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	11	6
2	14	4
done	14	4
0	3	3
1	4	3
done	4	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	1	1
done	1	1
0	13	14
1	32	12
2	54	10
3	111	8
4	282	7
5	614	6
6	1557	6
done	5000	6
0	16	17
1	37	16
2	66	14
3	169	11
4	513	11
5	1375	11
6	4151	11
done	5000	11
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune173.0ms

Filtered

92 candidates to 127 candidates (-38.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	127	7	134

Merged error: 0b

Counts

134 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (/ (+ x 4.0) y))
0.5b	(cbrt (/ (+ x 4.0) y))
0.5b	(cbrt (/ (+ x 4.0) y))
3.5b	(* (/ x y) z)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

54×	`*-un-lft-identity`
48×	`cbrt-prod`
46×	`times-frac`
41×	`add-sqr-sqrt`
36×	`add-cube-cbrt`
13×	`associate-l`
9×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
6×	`pow1`
4×	`div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-r`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-l/` `-commutative`

Counts

4 → 107

Calls

4 calls:

5.0ms	(cbrt (/ (+ x 4.0) y))
4.0ms	(cbrt (/ (+ x 4.0) y))
4.0ms	(cbrt (/ (+ x 4.0) y))
6.0ms	(* (/ x y) z)

series66.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt (/ (+ x 4.0) y))
18.0ms	(cbrt (/ (+ x 4.0) y))
23.0ms	(cbrt (/ (+ x 4.0) y))
6.0ms	(* (/ x y) z)

simplify36.9s

Counts

119 → 119

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	13	8
2	23	8
3	32	8
4	41	8
5	46	8
6	55	8
7	72	8
8	91	8
9	99	8
done	99	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	33	6
4	51	6
5	64	6
6	76	6
7	88	6
8	111	6
9	123	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	30	6
4	57	6
5	123	6
6	292	6
7	829	6
8	3101	6
done	5000	6
0	11	17
1	26	17
2	103	11
3	453	9
4	1796	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	229	9
4	802	7
5	2670	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	15	13
4	17	13
5	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	291	7
4	843	7
5	2332	7
6	4989	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	9
1	12	9
2	20	9
3	28	9
4	37	9
5	43	9
6	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	10	3
2	20	3
done	20	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	5	5
1	10	5
2	13	3
done	13	3
0	3	3
1	4	3
done	4	3
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	14
1	9	14
done	9	14
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	16
1	17	16
2	26	16
3	32	16
done	32	16
0	8	8
1	9	8
done	9	8
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	8	12
1	13	10
2	19	10
3	24	10
done	24	10
0	7	7
1	8	7
done	8	7
0	9	11
1	12	11
done	12	11
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	8	7
done	8	7
0	6	8
1	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	8
1	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
done	6	4
0	4	4
1	5	4
done	5	4
0	2	2
done	2	2
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	5
4	23	5
5	33	5
6	54	5
7	110	5
8	328	5
9	1244	5
done	5000	5
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	14
1	9	14
done	9	14
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	16
1	17	16
2	26	16
3	32	16
done	32	16
0	8	8
1	9	8
done	9	8
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	8	12
1	13	10
2	19	10
3	24	10
done	24	10
0	7	7
1	8	7
done	8	7
0	9	11
1	12	11
done	12	11
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	8	7
done	8	7
0	6	8
1	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	8
1	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
done	6	4
0	4	4
1	5	4
done	5	4
0	2	2
done	2	2
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	5
4	23	5
5	33	5
6	54	5
7	110	5
8	328	5
9	1244	5
done	5000	5
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	14
1	9	14
done	9	14
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	16
1	17	16
2	26	16
3	32	16
done	32	16
0	8	8
1	9	8
done	9	8
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	8
1	9	8
done	9	8
0	8	12
1	13	10
2	19	10
3	24	10
done	24	10
0	7	7
1	8	7
done	8	7
0	9	11
1	12	11
done	12	11
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	8	7
done	8	7
0	6	8
1	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	8
1	10	8
done	10	8
0	7	7
1	8	7
done	8	7
0	5	5
1	7	5
done	7	5
0	7	7
1	8	7
done	8	7
0	3	4
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
done	6	4
0	4	4
1	5	4
done	5	4
0	2	2
done	2	2
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	5
4	23	5
5	33	5
6	54	5
7	110	5
8	328	5
9	1244	5
done	5000	5
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	19	36
1	42	36
2	103	29
3	248	19
4	722	14
5	2539	14
done	5000	14
0	23	57
1	54	48
2	122	39
3	343	23
4	1133	21
done	5000	17
0	27	69
1	62	66
2	169	66
3	588	43
4	2704	31
done	5000	31
0	19	36
1	42	36
2	103	29
3	248	19
4	722	14
5	2539	14
done	5000	14
0	23	57
1	54	48
2	122	39
3	343	23
4	1133	21
done	5000	17
0	27	69
1	62	66
2	169	66
3	588	43
4	2704	31
done	5000	31
0	19	36
1	42	36
2	103	29
3	248	19
4	722	14
5	2539	14
done	5000	14
0	23	57
1	54	48
2	122	39
3	343	23
4	1133	21
done	5000	17
0	27	69
1	62	66
2	169	66
3	588	43
4	2704	31
done	5000	31

prune441.0ms

Filtered

94 candidates to 119 candidates (-26.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	119	7	126

Merged error: 0b

Counts

126 → 7

regimes194.0ms

Accuracy

95.4% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 1.7b

bsearch26.0ms

Steps

Iters	Range		Point
4	7.559244673091855e-22	1.2970661849267192e-21	1.0402145421668932e-21
7	-1.0769644750914597e-17	-2.4228577048401984e-19	-2.5896276195149552e-18

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	44
1	26	33
done	26	33

end0.0ms

sample743.0ms

Algorithm

intervals

Results

373.0ms

10168×

body

valid

Details

sample36.0ms

simplify33.0ms

prune4.0ms

localize10.0ms

rewrite32.0ms

series33.0ms

simplify57.2s

prune173.0ms

localize11.0ms

rewrite59.0ms

series28.0ms

simplify2.4min

prune232.0ms

localize15.0ms

rewrite34.0ms

series96.0ms

simplify3.0min

prune173.0ms

localize12.0ms

rewrite24.0ms

series66.0ms

simplify36.9s

prune441.0ms

regimes194.0ms

bsearch26.0ms

simplify2.0ms

end0.0ms

sample743.0ms

Profiling