Details

sample18.0ms

Algorithm

intervals

Results

6.0ms	235×	body	80	valid
1.0ms	7×	body	1280	valid
0.0ms	3×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	4×	body	320	valid
0.0ms	3×	body	160	valid

simplify30.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	24	7
3	35	7
4	42	7
5	48	7
6	51	7
done	51	7

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

Counts

2 → 1

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(- x (* (/ 3.0 8.0) y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

3.0ms

(- x (* (/ 3.0 8.0) y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(- x (* (/ 3.0 8.0) y))

simplify16.2s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	16	8
2	27	8
3	52	8
4	103	8
5	222	8
6	581	8
7	1971	8
done	5000	8
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	8	8
1	16	8
2	34	8
3	61	8
4	106	8
5	226	8
6	636	8
7	2348	8
done	5000	8
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	9	23
1	15	23
2	41	9
3	135	9
4	556	9
5	2537	9
done	5001	9
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	10	11
1	31	11
2	102	11
3	443	11
4	1797	11
done	5000	11
0	11	23
1	30	17
2	90	17
3	187	17
4	331	17
5	507	17
6	609	17
7	630	17
done	630	17
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	9	15
1	24	15
2	73	15
3	220	15
4	568	15
5	1155	15
6	1885	15
7	2447	15
8	4305	15
done	5000	15
0	7	7
1	11	7
2	14	7
3	16	7
4	18	7
5	19	7
done	19	7
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	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

prune35.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	12	3	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	4	16

Merged error: 0.0b

Counts

16 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- x (* (/ 3.0 8.0) y)))
0.5b	(cbrt (- x (* (/ 3.0 8.0) y)))
0.5b	(cbrt (- x (* (/ 3.0 8.0) y)))
0.5b	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

3.0ms	(cbrt (- x (* (/ 3.0 8.0) y)))
3.0ms	(cbrt (- x (* (/ 3.0 8.0) y)))
3.0ms	(cbrt (- x (* (/ 3.0 8.0) y)))
10.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

series184.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(cbrt (- x (* (/ 3.0 8.0) y)))
46.0ms	(cbrt (- x (* (/ 3.0 8.0) y)))
43.0ms	(cbrt (- x (* (/ 3.0 8.0) y)))
52.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

simplify2.1min

Counts

99 → 99

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	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	2	3
1	6	1
done	6	1
0	10	19
1	17	11
2	30	11
3	41	11
4	48	11
5	54	11
6	57	11
done	57	11
0	10	18
1	17	18
2	31	11
3	43	11
4	50	11
5	56	11
6	59	11
done	59	11
0	10	18
1	17	18
2	33	18
3	49	18
4	74	18
5	122	18
6	230	18
7	607	18
8	2282	18
done	5000	18
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	11	53
1	24	53
2	44	19
3	69	10
4	134	10
5	367	10
6	1289	10
7	4835	10
done	5000	10
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	12	25
1	33	25
2	104	25
3	445	25
4	1811	25
done	5001	25
0	13	49
1	32	37
2	92	37
3	191	37
4	335	37
5	517	37
6	629	37
7	650	37
done	650	37
0	16	29
1	48	29
2	156	29
3	613	29
4	2368	29
done	5000	29
0	15	33
1	35	27
2	94	27
3	191	27
4	335	27
5	511	27
6	625	27
7	647	27
8	648	27
done	648	27
0	16	29
1	48	29
2	156	29
3	608	29
4	2340	29
done	5001	29
0	15	33
1	35	27
2	94	27
3	192	27
4	336	27
5	518	27
6	634	27
7	654	27
done	654	27
0	11	33
1	26	33
2	75	33
3	219	33
4	566	33
5	1159	33
6	1888	33
7	2447	33
8	4310	33
done	5000	33
0	9	17
1	13	17
2	16	17
3	18	17
4	20	17
5	21	17
done	21	17
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	3	5
1	5	3
done	5	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	11	39
1	20	39
2	34	21
3	54	11
4	76	11
5	108	11
6	182	11
7	388	11
8	1295	11
done	5000	11
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	2	3
1	4	1
done	4	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	17	27
2	29	27
3	40	27
4	47	27
5	53	27
6	56	27
done	56	27
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	11	11
1	19	10
2	31	10
3	42	8
4	52	8
5	58	8
6	61	8
done	61	8
0	11	28
1	19	28
2	33	28
3	44	28
4	51	28
5	57	28
6	60	28
done	60	28
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	10
1	18	8
2	33	8
3	44	8
4	51	8
5	57	8
6	60	8
done	60	8
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	14	21
1	38	21
2	117	21
3	459	21
4	1914	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1335	25
6	2135	25
7	3933	25
done	5001	25
0	14	21
1	38	21
2	117	21
3	468	21
4	1929	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1345	25
6	2151	25
7	3974	25
done	5000	25
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	2	2
1	4	1
done	4	1
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	11	12
1	32	12
2	103	12
3	446	12
4	1795	12
done	5000	12
0	12	24
1	31	18
2	91	18
3	190	18
4	334	18
5	516	18
6	619	18
7	641	18
done	641	18
0	10	16
1	25	16
2	74	16
3	220	16
4	567	16
5	1156	16
6	1868	16
7	2423	16
8	4262	16
done	5000	16
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	10	26
1	16	26
2	30	10
3	46	7
4	59	7
5	75	7
6	101	7
7	164	7
8	372	7
9	1315	7
done	5000	7
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	2	2
1	4	1
done	4	1
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	11	12
1	32	12
2	103	12
3	446	12
4	1795	12
done	5000	12
0	12	24
1	31	18
2	91	18
3	190	18
4	334	18
5	516	18
6	619	18
7	641	18
done	641	18
0	10	16
1	25	16
2	74	16
3	220	16
4	567	16
5	1156	16
6	1868	16
7	2423	16
8	4262	16
done	5000	16
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	10	26
1	16	26
2	30	10
3	46	7
4	59	7
5	75	7
6	101	7
7	164	7
8	372	7
9	1315	7
done	5000	7
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	2	2
1	4	1
done	4	1
0	8	8
1	13	8
2	25	8
3	36	8
4	43	8
5	49	8
6	52	8
done	52	8
0	11	12
1	32	12
2	103	12
3	446	12
4	1795	12
done	5000	12
0	12	24
1	31	18
2	91	18
3	190	18
4	334	18
5	516	18
6	619	18
7	641	18
done	641	18
0	10	16
1	25	16
2	74	16
3	220	16
4	567	16
5	1156	16
6	1868	16
7	2423	16
8	4262	16
done	5000	16
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	10	26
1	16	26
2	30	10
3	46	7
4	59	7
5	75	7
6	101	7
7	164	7
8	372	7
9	1315	7
done	5000	7
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4516	13
done	5000	13
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	21	24
1	42	24
2	87	24
3	191	22
4	448	16
5	1281	16
6	4616	16
done	5000	16
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	21	24
1	42	24
2	87	24
3	191	22
4	448	16
5	1281	16
6	4616	16
done	5000	16
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	21	24
1	42	24
2	87	24
3	191	22
4	448	16
5	1281	16
6	4616	16
done	5000	16
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune275.0ms

Filtered

74 candidates to 99 candidates (-33.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	95	8	103

Merged error: 0.0b

Counts

103 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
0.5b	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
0.5b	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
0.5b	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

56×	`cbrt-div`
52×	`add-sqr-sqrt`
49×	`cbrt-prod`
28×	`add-cube-cbrt` `*-un-lft-identity`
25×	`pow1`
24×	`flip3--` `flip--`
19×	`pow1/3`
18×	`swap-sqr` `associate-r` `associate-l`
16×	`frac-times`
12×	`unswap-sqr`
10×	`add-exp-log`
8×	`associate-r/` `associate-l/`
6×	`pow-prod-down` `pow-sqr` `pow-prod-up`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 161

Calls

4 calls:

8.0ms	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
10.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
10.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
10.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

series198.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
48.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
52.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
48.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

simplify3.8min

Counts

173 → 173

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	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	2	3
1	6	1
done	6	1
0	10	19
1	17	11
2	30	11
3	41	11
4	48	11
5	54	11
6	57	11
done	57	11
0	10	18
1	17	18
2	31	11
3	43	11
4	50	11
5	56	11
6	59	11
done	59	11
0	10	18
1	17	18
2	33	18
3	49	18
4	74	18
5	122	18
6	230	18
7	607	18
8	2282	18
done	5000	18
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	11	53
1	24	53
2	44	19
3	69	10
4	134	10
5	367	10
6	1289	10
7	4835	10
done	5000	10
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	12	25
1	33	25
2	104	25
3	445	25
4	1811	25
done	5001	25
0	13	49
1	32	37
2	92	37
3	191	37
4	335	37
5	517	37
6	629	37
7	650	37
done	650	37
0	16	29
1	48	29
2	156	29
3	613	29
4	2368	29
done	5000	29
0	15	33
1	35	27
2	94	27
3	191	27
4	335	27
5	511	27
6	625	27
7	647	27
8	648	27
done	648	27
0	16	29
1	48	29
2	156	29
3	608	29
4	2340	29
done	5001	29
0	15	33
1	35	27
2	94	27
3	192	27
4	336	27
5	518	27
6	634	27
7	654	27
done	654	27
0	11	33
1	26	33
2	75	33
3	219	33
4	566	33
5	1159	33
6	1888	33
7	2447	33
8	4310	33
done	5000	33
0	9	17
1	13	17
2	16	17
3	18	17
4	20	17
5	21	17
done	21	17
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	3	5
1	5	3
done	5	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	11	39
1	20	39
2	34	21
3	54	11
4	76	11
5	108	11
6	182	11
7	388	11
8	1295	11
done	5000	11
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	2	3
1	4	1
done	4	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	17	27
2	29	27
3	40	27
4	47	27
5	53	27
6	56	27
done	56	27
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	11	11
1	19	10
2	31	10
3	42	8
4	52	8
5	58	8
6	61	8
done	61	8
0	11	28
1	19	28
2	33	28
3	44	28
4	51	28
5	57	28
6	60	28
done	60	28
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	10
1	18	8
2	33	8
3	44	8
4	51	8
5	57	8
6	60	8
done	60	8
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	14	21
1	38	21
2	117	21
3	459	21
4	1914	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1335	25
6	2135	25
7	3933	25
done	5001	25
0	14	21
1	38	21
2	117	21
3	468	21
4	1929	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1345	25
6	2151	25
7	3974	25
done	5000	25
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	2	3
1	6	1
done	6	1
0	10	19
1	17	11
2	30	11
3	41	11
4	48	11
5	54	11
6	57	11
done	57	11
0	10	18
1	17	18
2	31	11
3	43	11
4	50	11
5	56	11
6	59	11
done	59	11
0	10	18
1	17	18
2	33	18
3	49	18
4	74	18
5	122	18
6	230	18
7	607	18
8	2282	18
done	5000	18
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	11	53
1	24	53
2	44	19
3	69	10
4	134	10
5	367	10
6	1289	10
7	4835	10
done	5000	10
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	12	25
1	33	25
2	104	25
3	445	25
4	1811	25
done	5001	25
0	13	49
1	32	37
2	92	37
3	191	37
4	335	37
5	517	37
6	629	37
7	650	37
done	650	37
0	16	29
1	48	29
2	156	29
3	613	29
4	2368	29
done	5000	29
0	15	33
1	35	27
2	94	27
3	191	27
4	335	27
5	511	27
6	625	27
7	647	27
8	648	27
done	648	27
0	16	29
1	48	29
2	156	29
3	608	29
4	2340	29
done	5001	29
0	15	33
1	35	27
2	94	27
3	192	27
4	336	27
5	518	27
6	634	27
7	654	27
done	654	27
0	11	33
1	26	33
2	75	33
3	219	33
4	566	33
5	1159	33
6	1888	33
7	2447	33
8	4310	33
done	5000	33
0	9	17
1	13	17
2	16	17
3	18	17
4	20	17
5	21	17
done	21	17
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	3	5
1	5	3
done	5	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	11	39
1	20	39
2	34	21
3	54	11
4	76	11
5	108	11
6	182	11
7	388	11
8	1295	11
done	5000	11
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	2	3
1	4	1
done	4	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	17	27
2	29	27
3	40	27
4	47	27
5	53	27
6	56	27
done	56	27
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	11	11
1	19	10
2	31	10
3	42	8
4	52	8
5	58	8
6	61	8
done	61	8
0	11	28
1	19	28
2	33	28
3	44	28
4	51	28
5	57	28
6	60	28
done	60	28
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	10
1	18	8
2	33	8
3	44	8
4	51	8
5	57	8
6	60	8
done	60	8
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	14	21
1	38	21
2	117	21
3	459	21
4	1914	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1335	25
6	2135	25
7	3933	25
done	5001	25
0	14	21
1	38	21
2	117	21
3	468	21
4	1929	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1345	25
6	2151	25
7	3974	25
done	5000	25
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	2	3
1	6	1
done	6	1
0	10	19
1	17	11
2	30	11
3	41	11
4	48	11
5	54	11
6	57	11
done	57	11
0	10	18
1	17	18
2	31	11
3	43	11
4	50	11
5	56	11
6	59	11
done	59	11
0	10	18
1	17	18
2	33	18
3	49	18
4	74	18
5	122	18
6	230	18
7	607	18
8	2282	18
done	5000	18
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	11	53
1	24	53
2	44	19
3	69	10
4	134	10
5	367	10
6	1289	10
7	4835	10
done	5000	10
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	12	25
1	33	25
2	104	25
3	445	25
4	1811	25
done	5001	25
0	13	49
1	32	37
2	92	37
3	191	37
4	335	37
5	517	37
6	629	37
7	650	37
done	650	37
0	16	29
1	48	29
2	156	29
3	613	29
4	2368	29
done	5000	29
0	15	33
1	35	27
2	94	27
3	191	27
4	335	27
5	511	27
6	625	27
7	647	27
8	648	27
done	648	27
0	16	29
1	48	29
2	156	29
3	608	29
4	2340	29
done	5001	29
0	15	33
1	35	27
2	94	27
3	192	27
4	336	27
5	518	27
6	634	27
7	654	27
done	654	27
0	11	33
1	26	33
2	75	33
3	219	33
4	566	33
5	1159	33
6	1888	33
7	2447	33
8	4310	33
done	5000	33
0	9	17
1	13	17
2	16	17
3	18	17
4	20	17
5	21	17
done	21	17
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	3	5
1	5	3
done	5	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	11	39
1	20	39
2	34	21
3	54	11
4	76	11
5	108	11
6	182	11
7	388	11
8	1295	11
done	5000	11
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	2	3
1	4	1
done	4	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	17	27
2	29	27
3	40	27
4	47	27
5	53	27
6	56	27
done	56	27
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	11	11
1	19	10
2	31	10
3	42	8
4	52	8
5	58	8
6	61	8
done	61	8
0	11	28
1	19	28
2	33	28
3	44	28
4	51	28
5	57	28
6	60	28
done	60	28
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	10
1	18	8
2	33	8
3	44	8
4	51	8
5	57	8
6	60	8
done	60	8
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	14	21
1	38	21
2	117	21
3	459	21
4	1914	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1335	25
6	2135	25
7	3933	25
done	5001	25
0	14	21
1	38	21
2	117	21
3	468	21
4	1929	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1345	25
6	2151	25
7	3974	25
done	5000	25
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	13	26
1	34	26
2	105	26
3	441	26
4	1795	26
done	5000	26
0	14	50
1	33	38
2	93	38
3	192	38
4	336	38
5	518	38
6	627	38
7	649	38
8	651	38
done	651	38
0	17	30
1	49	30
2	157	30
3	618	30
4	2350	30
done	5001	30
0	16	34
1	36	28
2	95	28
3	191	28
4	335	28
5	517	28
6	629	28
7	651	28
done	651	28
0	17	30
1	49	30
2	157	30
3	613	30
4	2352	30
done	5000	30
0	16	34
1	36	28
2	95	28
3	195	28
4	339	28
5	521	28
6	631	28
7	652	28
8	653	28
done	653	28
0	12	34
1	27	34
2	76	34
3	222	34
4	571	34
5	1162	34
6	1892	34
7	2453	34
8	4304	34
done	5001	34
0	10	18
1	14	18
2	17	18
3	19	18
4	21	18
5	22	18
done	22	18
0	15	22
1	39	22
2	118	22
3	461	22
4	1901	22
done	5001	22
0	13	25
1	32	19
2	92	19
3	191	19
4	335	19
5	517	19
6	629	19
7	650	19
done	650	19
0	14	26
1	31	26
2	91	26
3	273	26
4	692	26
5	1338	26
6	2146	26
7	3935	26
done	5001	26
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	15	22
1	39	22
2	118	22
3	469	22
4	1936	22
done	5000	22
0	13	25
1	32	19
2	92	19
3	191	19
4	335	19
5	517	19
6	629	19
7	650	19
done	650	19
0	14	26
1	31	26
2	91	26
3	271	26
4	694	26
5	1342	26
6	2153	26
7	3962	26
done	5001	26
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	12	39
1	17	39
2	29	39
3	40	39
4	47	39
5	53	39
6	56	39
done	56	39
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	12	56
1	18	56
2	32	20
3	48	17
4	61	17
5	77	17
6	101	17
7	161	17
8	370	17
9	1281	17
done	5000	17
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4516	13
done	5000	13
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4516	13
done	5000	13
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4516	13
done	5000	13
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	20	25
1	42	25
2	94	25
3	198	21
4	479	19
5	1384	15
done	5000	15
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	126	7
4	324	5
5	873	5
6	2891	3
done	5000	3

prune1.3s

Filtered

122 candidates to 173 candidates (-41.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	173	8	181

Merged error: 0.0b

Counts

181 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
0.5b	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
0.5b	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
0.5b	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

64×	`cbrt-div`
36×	`add-sqr-sqrt`
34×	`cbrt-prod`
24×	`flip3--` `flip--`
20×	`add-cube-cbrt` `*-un-lft-identity`
18×	`pow1`
16×	`frac-times`
14×	`pow1/3`
12×	`swap-sqr` `associate-r` `associate-l`
8×	`add-exp-log` `associate-r/` `associate-l/` `unswap-sqr`
4×	`pow-prod-down` `pow-sqr` `pow-prod-up` `add-cbrt-cube` `add-log-exp`
2×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 130

Calls

4 calls:

9.0ms	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
8.0ms	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
10.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
11.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

series204.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
52.0ms	(cbrt (* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y)))))
50.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))
53.0ms	(* (cbrt (- x (* (/ 3.0 8.0) y))) (cbrt (- x (* (/ 3.0 8.0) y))))

simplify3.5min

Counts

142 → 142

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	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	2	3
1	6	1
done	6	1
0	10	19
1	17	11
2	30	11
3	41	11
4	48	11
5	54	11
6	57	11
done	57	11
0	10	18
1	17	18
2	31	11
3	43	11
4	50	11
5	56	11
6	59	11
done	59	11
0	10	18
1	17	18
2	33	18
3	49	18
4	74	18
5	122	18
6	230	18
7	607	18
8	2282	18
done	5000	18
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	11	53
1	24	53
2	44	19
3	69	10
4	134	10
5	367	10
6	1289	10
7	4835	10
done	5000	10
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	12	25
1	33	25
2	104	25
3	445	25
4	1811	25
done	5001	25
0	13	49
1	32	37
2	92	37
3	191	37
4	335	37
5	517	37
6	629	37
7	650	37
done	650	37
0	16	29
1	48	29
2	156	29
3	613	29
4	2368	29
done	5000	29
0	15	33
1	35	27
2	94	27
3	191	27
4	335	27
5	511	27
6	625	27
7	647	27
8	648	27
done	648	27
0	16	29
1	48	29
2	156	29
3	608	29
4	2340	29
done	5001	29
0	15	33
1	35	27
2	94	27
3	192	27
4	336	27
5	518	27
6	634	27
7	654	27
done	654	27
0	11	33
1	26	33
2	75	33
3	219	33
4	566	33
5	1159	33
6	1888	33
7	2447	33
8	4310	33
done	5000	33
0	9	17
1	13	17
2	16	17
3	18	17
4	20	17
5	21	17
done	21	17
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	3	5
1	5	3
done	5	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	11	39
1	20	39
2	34	21
3	54	11
4	76	11
5	108	11
6	182	11
7	388	11
8	1295	11
done	5000	11
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	2	3
1	4	1
done	4	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	17	27
2	29	27
3	40	27
4	47	27
5	53	27
6	56	27
done	56	27
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	11	11
1	19	10
2	31	10
3	42	8
4	52	8
5	58	8
6	61	8
done	61	8
0	11	28
1	19	28
2	33	28
3	44	28
4	51	28
5	57	28
6	60	28
done	60	28
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	10
1	18	8
2	33	8
3	44	8
4	51	8
5	57	8
6	60	8
done	60	8
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	14	21
1	38	21
2	117	21
3	459	21
4	1914	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1335	25
6	2135	25
7	3933	25
done	5001	25
0	14	21
1	38	21
2	117	21
3	468	21
4	1929	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1345	25
6	2151	25
7	3974	25
done	5000	25
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	2	3
1	6	1
done	6	1
0	10	19
1	17	11
2	30	11
3	41	11
4	48	11
5	54	11
6	57	11
done	57	11
0	10	18
1	17	18
2	31	11
3	43	11
4	50	11
5	56	11
6	59	11
done	59	11
0	10	18
1	17	18
2	33	18
3	49	18
4	74	18
5	122	18
6	230	18
7	607	18
8	2282	18
done	5000	18
0	8	15
1	13	15
2	31	15
3	79	15
4	236	15
5	690	15
6	1821	15
7	4399	15
done	5000	15
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	18
1	15	18
2	27	18
3	38	18
4	45	18
5	51	18
6	54	18
done	54	18
0	11	53
1	24	53
2	44	19
3	69	10
4	134	10
5	367	10
6	1289	10
7	4835	10
done	5000	10
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	10	18
1	16	9
2	28	9
3	39	9
4	46	9
5	52	9
6	55	9
done	55	9
0	12	25
1	33	25
2	104	25
3	445	25
4	1811	25
done	5001	25
0	13	49
1	32	37
2	92	37
3	191	37
4	335	37
5	517	37
6	629	37
7	650	37
done	650	37
0	16	29
1	48	29
2	156	29
3	613	29
4	2368	29
done	5000	29
0	15	33
1	35	27
2	94	27
3	191	27
4	335	27
5	511	27
6	625	27
7	647	27
8	648	27
done	648	27
0	16	29
1	48	29
2	156	29
3	608	29
4	2340	29
done	5001	29
0	15	33
1	35	27
2	94	27
3	192	27
4	336	27
5	518	27
6	634	27
7	654	27
done	654	27
0	11	33
1	26	33
2	75	33
3	219	33
4	566	33
5	1159	33
6	1888	33
7	2447	33
8	4310	33
done	5000	33
0	9	17
1	13	17
2	16	17
3	18	17
4	20	17
5	21	17
done	21	17
0	11	37
1	16	37
2	28	37
3	39	37
4	46	37
5	52	37
6	55	37
done	55	37
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	3	5
1	5	3
done	5	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	11	39
1	20	39
2	34	21
3	54	11
4	76	11
5	108	11
6	182	11
7	388	11
8	1295	11
done	5000	11
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	2	3
1	4	1
done	4	1
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	10	19
1	15	19
2	27	19
3	38	19
4	45	19
5	51	19
6	54	19
done	54	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	12	19
1	18	19
2	30	19
3	41	19
4	48	19
5	54	19
6	57	19
done	57	19
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	10	19
1	15	8
2	28	8
3	39	8
4	46	8
5	52	8
6	55	8
done	55	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	17	27
2	29	27
3	40	27
4	47	27
5	53	27
6	56	27
done	56	27
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	11	11
1	19	10
2	31	10
3	42	8
4	52	8
5	58	8
6	61	8
done	61	8
0	11	28
1	19	28
2	33	28
3	44	28
4	51	28
5	57	28
6	60	28
done	60	28
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	10
1	18	8
2	33	8
3	44	8
4	51	8
5	57	8
6	60	8
done	60	8
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	11	18
1	17	18
2	29	18
3	40	18
4	47	18
5	53	18
6	56	18
done	56	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	10	18
1	16	18
2	28	18
3	39	18
4	46	18
5	52	18
6	55	18
done	55	18
0	9	17
1	14	17
2	26	17
3	37	17
4	44	17
5	50	17
6	53	17
done	53	17
0	14	21
1	38	21
2	117	21
3	459	21
4	1914	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1335	25
6	2135	25
7	3933	25
done	5001	25
0	14	21
1	38	21
2	117	21
3	468	21
4	1929	21
done	5000	21
0	13	25
1	30	25
2	90	25
3	273	25
4	691	25
5	1345	25
6	2151	25
7	3974	25
done	5000	25
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	13	26
1	34	26
2	105	26
3	441	26
4	1795	26
done	5000	26
0	14	50
1	33	38
2	93	38
3	192	38
4	336	38
5	518	38
6	627	38
7	649	38
8	651	38
done	651	38
0	17	30
1	49	30
2	157	30
3	618	30
4	2350	30
done	5001	30
0	16	34
1	36	28
2	95	28
3	191	28
4	335	28
5	517	28
6	629	28
7	651	28
done	651	28
0	17	30
1	49	30
2	157	30
3	613	30
4	2352	30
done	5000	30
0	16	34
1	36	28
2	95	28
3	195	28
4	339	28
5	521	28
6	631	28
7	652	28
8	653	28
done	653	28
0	12	34
1	27	34
2	76	34
3	222	34
4	571	34
5	1162	34
6	1892	34
7	2453	34
8	4304	34
done	5001	34
0	10	18
1	14	18
2	17	18
3	19	18
4	21	18
5	22	18
done	22	18
0	15	22
1	39	22
2	118	22
3	461	22
4	1901	22
done	5001	22
0	13	25
1	32	19
2	92	19
3	191	19
4	335	19
5	517	19
6	629	19
7	650	19
done	650	19
0	14	26
1	31	26
2	91	26
3	273	26
4	692	26
5	1338	26
6	2146	26
7	3935	26
done	5001	26
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	15	22
1	39	22
2	118	22
3	469	22
4	1936	22
done	5000	22
0	13	25
1	32	19
2	92	19
3	191	19
4	335	19
5	517	19
6	629	19
7	650	19
done	650	19
0	14	26
1	31	26
2	91	26
3	271	26
4	694	26
5	1342	26
6	2153	26
7	3962	26
done	5001	26
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	12	39
1	17	39
2	29	39
3	40	39
4	47	39
5	53	39
6	56	39
done	56	39
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	12	56
1	18	56
2	32	20
3	48	17
4	61	17
5	77	17
6	101	17
7	161	17
8	370	17
9	1281	17
done	5000	17
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	9	9
1	14	9
2	26	9
3	37	9
4	44	9
5	50	9
6	53	9
done	53	9
0	13	26
1	34	26
2	105	26
3	441	26
4	1795	26
done	5000	26
0	14	50
1	33	38
2	93	38
3	192	38
4	336	38
5	518	38
6	627	38
7	649	38
8	651	38
done	651	38
0	17	30
1	49	30
2	157	30
3	618	30
4	2350	30
done	5001	30
0	16	34
1	36	28
2	95	28
3	191	28
4	335	28
5	517	28
6	629	28
7	651	28
done	651	28
0	17	30
1	49	30
2	157	30
3	613	30
4	2352	30
done	5000	30
0	16	34
1	36	28
2	95	28
3	195	28
4	339	28
5	521	28
6	631	28
7	652	28
8	653	28
done	653	28
0	12	34
1	27	34
2	76	34
3	222	34
4	571	34
5	1162	34
6	1892	34
7	2453	34
8	4304	34
done	5001	34
0	10	18
1	14	18
2	17	18
3	19	18
4	21	18
5	22	18
done	22	18
0	15	22
1	39	22
2	118	22
3	461	22
4	1901	22
done	5001	22
0	13	25
1	32	19
2	92	19
3	191	19
4	335	19
5	517	19
6	629	19
7	650	19
done	650	19
0	14	26
1	31	26
2	91	26
3	273	26
4	692	26
5	1338	26
6	2146	26
7	3935	26
done	5001	26
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	15	22
1	39	22
2	118	22
3	469	22
4	1936	22
done	5000	22
0	13	25
1	32	19
2	92	19
3	191	19
4	335	19
5	517	19
6	629	19
7	650	19
done	650	19
0	14	26
1	31	26
2	91	26
3	271	26
4	694	26
5	1342	26
6	2153	26
7	3962	26
done	5001	26
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	12	39
1	17	39
2	29	39
3	40	39
4	47	39
5	53	39
6	56	39
done	56	39
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	12	56
1	18	56
2	32	20
3	48	17
4	61	17
5	77	17
6	101	17
7	161	17
8	370	17
9	1281	17
done	5000	17
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	11	19
1	16	19
2	28	19
3	39	19
4	46	19
5	52	19
6	55	19
done	55	19
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4516	13
done	5000	13
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	18	23
1	39	23
2	84	23
3	177	19
4	420	15
5	1309	14
6	4516	13
done	5000	13
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	20	25
1	42	25
2	94	25
3	198	21
4	479	19
5	1384	15
done	5000	15
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	126	7
4	324	5
5	873	5
6	2891	3
done	5000	3
0	20	25
1	42	25
2	94	25
3	198	21
4	479	19
5	1384	15
done	5000	15
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	126	7
4	324	5
5	873	5
6	2891	3
done	5000	3

prune877.0ms

Filtered

106 candidates to 142 candidates (-34.0%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	142	8	150

Merged error: 0.0b

Counts

150 → 8

regimes280.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	8	7
done	8	7

end0.0ms

sample506.0ms

Algorithm

intervals

Results

190.0ms	7408×	body	80	valid
23.0ms	209×	body	1280	valid
13.0ms	153×	body	640	valid
13.0ms	93×	body	2560	valid
6.0ms	93×	body	320	valid
2.0ms	44×	body	160	valid

Details

sample18.0ms

simplify30.0ms

prune3.0ms

localize10.0ms

rewrite4.0ms

series5.0ms

simplify16.2s

prune35.0ms

localize9.0ms

rewrite21.0ms

series184.0ms

simplify2.1min

prune275.0ms

localize15.0ms

rewrite49.0ms

series198.0ms

simplify3.8min

prune1.3s

localize18.0ms

rewrite44.0ms

series204.0ms

simplify3.5min

prune877.0ms

regimes280.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample506.0ms

Profiling