Details

sample20.0ms

Algorithm

intervals

Results

8.0ms

345×

body

valid

simplify18.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7

prune2.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

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b	(* x (- 1.0 (* x y)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

12.0ms

(* x (- 1.0 (* x y)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* x (- 1.0 (* x y)))

simplify27.0s

Counts

27 → 27

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	32	8
3	66	8
4	130	8
5	274	8
6	722	8
7	2452	8
done	5000	8
0	10	23
1	20	23
2	70	11
3	295	11
4	1320	9
done	5002	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	325	9
4	1203	9
5	4320	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	8	15
1	14	15
2	23	15
done	23	15
0	7	8
1	11	8
2	18	8
done	18	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	325	11
4	1017	11
5	3078	11
done	5001	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune53.0ms

Filtered

18 candidates to 27 candidates (-50.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	21	6	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	7	28

Merged error: 0.0b

Counts

28 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x 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 (- 1.0 (* x y)))
3.0ms	(cbrt (- 1.0 (* x y)))
3.0ms	(cbrt (- 1.0 (* x y)))
10.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

series191.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(cbrt (- 1.0 (* x y)))
46.0ms	(cbrt (- 1.0 (* x y)))
44.0ms	(cbrt (- 1.0 (* x y)))
58.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

simplify1.7min

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	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	7	13
1	10	13
2	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
done	21	9
0	8	14
1	13	14
2	22	9
3	23	9
done	23	9
0	8	14
1	13	14
2	24	14
3	29	14
4	47	14
5	87	14
6	195	14
7	568	14
8	2240	14
done	5000	14
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	9	29
1	12	29
2	19	29
done	19	29
0	8	14
1	11	14
2	18	14
done	18	14
0	9	41
1	20	41
2	34	15
3	48	8
4	106	8
5	286	8
6	846	8
7	2866	8
done	5000	8
0	8	14
1	12	7
2	19	7
done	19	7
0	8	14
1	12	7
2	19	7
done	19	7
0	10	21
1	29	21
2	84	21
3	272	21
4	696	21
5	1833	21
done	5000	21
0	11	37
1	28	29
2	61	29
3	75	29
4	76	29
done	76	29
0	14	23
1	44	23
2	124	23
3	356	23
4	749	23
5	1974	23
done	5001	23
0	13	25
1	31	21
2	63	21
3	77	21
4	78	21
done	78	21
0	14	23
1	44	23
2	124	23
3	347	23
4	727	23
5	1953	23
done	5000	23
0	13	25
1	31	21
2	63	21
3	76	21
4	77	21
done	77	21
0	9	25
1	22	25
2	52	25
3	110	25
4	159	25
5	256	25
6	362	25
7	604	25
8	2053	25
done	5000	25
0	7	13
1	9	13
done	9	13
0	9	29
1	12	29
2	19	29
done	19	29
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	3	5
1	5	3
done	5	1
0	7	13
1	10	13
2	17	13
done	17	13
0	9	31
1	16	31
2	25	17
3	34	9
4	49	9
5	77	9
6	151	9
7	365	9
8	1275	9
done	5000	9
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
done	17	13
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	13	21
2	20	21
done	20	21
0	9	14
1	13	14
2	20	14
done	20	14
0	9	9
1	15	8
2	22	8
done	22	6
0	9	22
1	15	22
2	24	22
done	24	22
0	8	14
1	12	14
2	19	14
done	19	14
0	8	8
1	14	6
2	24	6
done	24	6
0	8	14
1	12	14
2	19	14
done	19	14
0	9	14
1	13	14
2	20	14
done	20	14
0	7	13
1	10	13
2	17	13
done	17	13
0	8	14
1	12	14
2	19	14
done	19	14
0	8	14
1	12	14
2	19	14
done	19	14
0	7	13
1	10	13
2	17	13
done	17	13
0	12	17
1	34	17
2	95	17
3	295	17
4	718	17
5	1863	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	330	19
6	543	19
7	1861	19
done	5000	19
0	12	17
1	34	17
2	95	17
3	283	17
4	723	17
5	1870	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	327	19
6	536	19
7	1894	19
done	5000	19
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	28	75
1	72	60
2	204	51
3	788	42
4	4709	29
done	5000	29
0	29	75
1	72	66
2	195	60
3	778	54
4	4712	37
done	5000	37
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	27	66
1	69	57
2	197	54
3	738	48
4	4481	29
done	5000	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4700	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	27	66
1	69	57
2	197	54
3	738	48
4	4481	29
done	5000	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4700	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	27	66
1	69	57
2	197	54
3	738	48
4	4481	29
done	5000	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4700	25
done	5000	25

prune260.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	97	9	106

Merged error: 0.0b

Counts

106 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (- 1.0 (* x y)))
0.2b	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

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

series207.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cbrt (- 1.0 (* x y)))
47.0ms	(cbrt (- 1.0 (* x y)))
56.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
60.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

simplify2.0min

Counts

103 → 103

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	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	7	13
1	10	13
2	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
done	21	9
0	8	14
1	13	14
2	22	9
3	23	9
done	23	9
0	8	14
1	13	14
2	24	14
3	29	14
4	47	14
5	87	14
6	195	14
7	568	14
8	2240	14
done	5000	14
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	9	29
1	12	29
2	19	29
done	19	29
0	8	14
1	11	14
2	18	14
done	18	14
0	9	41
1	20	41
2	34	15
3	48	8
4	106	8
5	286	8
6	846	8
7	2866	8
done	5000	8
0	8	14
1	12	7
2	19	7
done	19	7
0	8	14
1	12	7
2	19	7
done	19	7
0	10	21
1	29	21
2	84	21
3	272	21
4	696	21
5	1833	21
done	5000	21
0	11	37
1	28	29
2	61	29
3	75	29
4	76	29
done	76	29
0	14	23
1	44	23
2	124	23
3	356	23
4	749	23
5	1974	23
done	5001	23
0	13	25
1	31	21
2	63	21
3	77	21
4	78	21
done	78	21
0	14	23
1	44	23
2	124	23
3	347	23
4	727	23
5	1953	23
done	5000	23
0	13	25
1	31	21
2	63	21
3	76	21
4	77	21
done	77	21
0	9	25
1	22	25
2	52	25
3	110	25
4	159	25
5	256	25
6	362	25
7	604	25
8	2053	25
done	5000	25
0	7	13
1	9	13
done	9	13
0	9	29
1	12	29
2	19	29
done	19	29
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	3	5
1	5	3
done	5	1
0	7	13
1	10	13
2	17	13
done	17	13
0	9	31
1	16	31
2	25	17
3	34	9
4	49	9
5	77	9
6	151	9
7	365	9
8	1275	9
done	5000	9
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
done	17	13
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	13	21
2	20	21
done	20	21
0	9	14
1	13	14
2	20	14
done	20	14
0	9	9
1	15	8
2	22	8
done	22	6
0	9	22
1	15	22
2	24	22
done	24	22
0	8	14
1	12	14
2	19	14
done	19	14
0	8	8
1	14	6
2	24	6
done	24	6
0	8	14
1	12	14
2	19	14
done	19	14
0	9	14
1	13	14
2	20	14
done	20	14
0	7	13
1	10	13
2	17	13
done	17	13
0	8	14
1	12	14
2	19	14
done	19	14
0	8	14
1	12	14
2	19	14
done	19	14
0	7	13
1	10	13
2	17	13
done	17	13
0	12	17
1	34	17
2	95	17
3	295	17
4	718	17
5	1863	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	330	19
6	543	19
7	1861	19
done	5000	19
0	12	17
1	34	17
2	95	17
3	283	17
4	723	17
5	1870	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	327	19
6	536	19
7	1894	19
done	5000	19
0	9	15
1	12	15
2	19	15
done	19	15
0	9	15
1	12	15
2	19	15
done	19	15
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	11	22
1	30	22
2	85	22
3	276	22
4	694	22
5	1833	22
done	5000	22
0	12	38
1	29	30
2	62	30
3	75	30
4	76	30
done	76	30
0	15	24
1	45	24
2	125	24
3	353	24
4	726	24
5	1950	24
done	5000	24
0	14	26
1	32	22
2	64	22
3	75	22
4	76	22
done	76	22
0	15	24
1	45	24
2	125	24
3	347	24
4	716	24
5	1966	24
done	5000	24
0	14	26
1	32	22
2	64	22
3	79	22
4	80	22
done	80	22
0	10	26
1	23	26
2	53	26
3	111	26
4	160	26
5	255	26
6	361	26
7	603	26
8	2049	26
done	5000	26
0	8	14
1	10	14
done	10	14
0	13	18
1	35	18
2	96	18
3	292	18
4	736	18
5	1882	18
done	5000	18
0	11	19
1	28	15
2	61	15
3	75	15
4	76	15
done	76	15
0	12	20
1	27	20
2	66	20
3	149	20
4	231	20
5	336	20
6	547	20
7	1861	20
done	5001	20
0	7	7
1	9	7
done	9	7
0	13	18
1	35	18
2	96	18
3	285	18
4	719	18
5	1869	18
done	5001	18
0	11	19
1	28	15
2	61	15
3	75	15
4	76	15
done	76	15
0	12	20
1	27	20
2	66	20
3	147	20
4	230	20
5	326	20
6	535	20
7	1849	20
done	5000	20
0	7	7
1	9	7
done	9	7
0	10	31
1	13	31
2	20	31
done	20	31
0	9	15
1	12	15
2	19	15
done	19	15
0	10	44
1	14	44
2	23	16
3	28	13
4	34	13
5	44	13
6	67	13
7	132	13
8	351	13
9	1289	13
done	5000	13
0	9	15
1	12	15
2	19	15
done	19	15
0	9	15
1	12	15
2	19	15
done	19	15
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	8	14
1	11	14
2	18	14
done	18	14
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	16	6
done	16	6
0	9	10
1	28	10
2	83	10
3	270	10
4	679	10
5	1821	10
done	5001	10
0	10	18
1	27	14
2	60	14
3	73	14
4	74	14
done	74	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	8	15
1	11	15
2	18	15
done	18	15
0	7	7
1	10	7
2	17	7
done	17	7
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	28	75
1	72	60
2	204	51
3	788	42
4	4709	29
done	5000	29
0	29	75
1	72	66
2	195	60
3	778	54
4	4712	37
done	5000	37
0	18	27
1	49	27
2	172	23
3	537	23
4	2282	19
done	5000	19
0	28	75
1	72	60
2	204	51
3	787	42
4	4708	29
done	5001	29
0	29	75
1	72	66
2	195	60
3	777	54
4	4711	37
done	5000	37
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	27	66
1	69	57
2	197	54
3	738	48
4	4481	29
done	5000	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4700	25
done	5000	25
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	27	66
1	69	57
2	197	54
3	738	48
4	4481	29
done	5000	29
0	28	66
1	67	63
2	191	63
3	751	51
4	4700	25
done	5000	25

prune380.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	103	9	112

Merged error: 0.0b

Counts

112 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

rewrite45.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 (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
10.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
10.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
10.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

series232.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(cbrt (* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y)))))
55.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
58.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
59.0ms	(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))

simplify3.1min

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	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	7	13
1	10	13
2	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
done	21	9
0	8	14
1	13	14
2	22	9
3	23	9
done	23	9
0	8	14
1	13	14
2	24	14
3	29	14
4	47	14
5	87	14
6	195	14
7	568	14
8	2240	14
done	5000	14
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	9	29
1	12	29
2	19	29
done	19	29
0	8	14
1	11	14
2	18	14
done	18	14
0	9	41
1	20	41
2	34	15
3	48	8
4	106	8
5	286	8
6	846	8
7	2866	8
done	5000	8
0	8	14
1	12	7
2	19	7
done	19	7
0	8	14
1	12	7
2	19	7
done	19	7
0	10	21
1	29	21
2	84	21
3	272	21
4	696	21
5	1833	21
done	5000	21
0	11	37
1	28	29
2	61	29
3	75	29
4	76	29
done	76	29
0	14	23
1	44	23
2	124	23
3	356	23
4	749	23
5	1974	23
done	5001	23
0	13	25
1	31	21
2	63	21
3	77	21
4	78	21
done	78	21
0	14	23
1	44	23
2	124	23
3	347	23
4	727	23
5	1953	23
done	5000	23
0	13	25
1	31	21
2	63	21
3	76	21
4	77	21
done	77	21
0	9	25
1	22	25
2	52	25
3	110	25
4	159	25
5	256	25
6	362	25
7	604	25
8	2053	25
done	5000	25
0	7	13
1	9	13
done	9	13
0	9	29
1	12	29
2	19	29
done	19	29
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	3	5
1	5	3
done	5	1
0	7	13
1	10	13
2	17	13
done	17	13
0	9	31
1	16	31
2	25	17
3	34	9
4	49	9
5	77	9
6	151	9
7	365	9
8	1275	9
done	5000	9
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
done	17	13
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	13	21
2	20	21
done	20	21
0	9	14
1	13	14
2	20	14
done	20	14
0	9	9
1	15	8
2	22	8
done	22	6
0	9	22
1	15	22
2	24	22
done	24	22
0	8	14
1	12	14
2	19	14
done	19	14
0	8	8
1	14	6
2	24	6
done	24	6
0	8	14
1	12	14
2	19	14
done	19	14
0	9	14
1	13	14
2	20	14
done	20	14
0	7	13
1	10	13
2	17	13
done	17	13
0	8	14
1	12	14
2	19	14
done	19	14
0	8	14
1	12	14
2	19	14
done	19	14
0	7	13
1	10	13
2	17	13
done	17	13
0	12	17
1	34	17
2	95	17
3	295	17
4	718	17
5	1863	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	330	19
6	543	19
7	1861	19
done	5000	19
0	12	17
1	34	17
2	95	17
3	283	17
4	723	17
5	1870	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	327	19
6	536	19
7	1894	19
done	5000	19
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	7	13
1	10	13
2	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
done	21	9
0	8	14
1	13	14
2	22	9
3	23	9
done	23	9
0	8	14
1	13	14
2	24	14
3	29	14
4	47	14
5	87	14
6	195	14
7	568	14
8	2240	14
done	5000	14
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	9	29
1	12	29
2	19	29
done	19	29
0	8	14
1	11	14
2	18	14
done	18	14
0	9	41
1	20	41
2	34	15
3	48	8
4	106	8
5	286	8
6	846	8
7	2866	8
done	5000	8
0	8	14
1	12	7
2	19	7
done	19	7
0	8	14
1	12	7
2	19	7
done	19	7
0	10	21
1	29	21
2	84	21
3	272	21
4	696	21
5	1833	21
done	5000	21
0	11	37
1	28	29
2	61	29
3	75	29
4	76	29
done	76	29
0	14	23
1	44	23
2	124	23
3	356	23
4	749	23
5	1974	23
done	5001	23
0	13	25
1	31	21
2	63	21
3	77	21
4	78	21
done	78	21
0	14	23
1	44	23
2	124	23
3	347	23
4	727	23
5	1953	23
done	5000	23
0	13	25
1	31	21
2	63	21
3	76	21
4	77	21
done	77	21
0	9	25
1	22	25
2	52	25
3	110	25
4	159	25
5	256	25
6	362	25
7	604	25
8	2053	25
done	5000	25
0	7	13
1	9	13
done	9	13
0	9	29
1	12	29
2	19	29
done	19	29
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	3	5
1	5	3
done	5	1
0	7	13
1	10	13
2	17	13
done	17	13
0	9	31
1	16	31
2	25	17
3	34	9
4	49	9
5	77	9
6	151	9
7	365	9
8	1275	9
done	5000	9
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
done	17	13
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	13	21
2	20	21
done	20	21
0	9	14
1	13	14
2	20	14
done	20	14
0	9	9
1	15	8
2	22	8
done	22	6
0	9	22
1	15	22
2	24	22
done	24	22
0	8	14
1	12	14
2	19	14
done	19	14
0	8	8
1	14	6
2	24	6
done	24	6
0	8	14
1	12	14
2	19	14
done	19	14
0	9	14
1	13	14
2	20	14
done	20	14
0	7	13
1	10	13
2	17	13
done	17	13
0	8	14
1	12	14
2	19	14
done	19	14
0	8	14
1	12	14
2	19	14
done	19	14
0	7	13
1	10	13
2	17	13
done	17	13
0	12	17
1	34	17
2	95	17
3	295	17
4	718	17
5	1863	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	330	19
6	543	19
7	1861	19
done	5000	19
0	12	17
1	34	17
2	95	17
3	283	17
4	723	17
5	1870	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	327	19
6	536	19
7	1894	19
done	5000	19
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	7	13
1	10	13
2	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	13	9
2	21	9
done	21	9
0	8	14
1	13	14
2	22	9
3	23	9
done	23	9
0	8	14
1	13	14
2	24	14
3	29	14
4	47	14
5	87	14
6	195	14
7	568	14
8	2240	14
done	5000	14
0	6	11
1	9	11
2	22	11
3	55	11
4	154	11
5	300	11
6	503	11
7	998	11
8	1433	11
9	1931	11
10	1937	11
done	1937	11
0	9	29
1	12	29
2	19	29
done	19	29
0	8	14
1	11	14
2	18	14
done	18	14
0	9	41
1	20	41
2	34	15
3	48	8
4	106	8
5	286	8
6	846	8
7	2866	8
done	5000	8
0	8	14
1	12	7
2	19	7
done	19	7
0	8	14
1	12	7
2	19	7
done	19	7
0	10	21
1	29	21
2	84	21
3	272	21
4	696	21
5	1833	21
done	5000	21
0	11	37
1	28	29
2	61	29
3	75	29
4	76	29
done	76	29
0	14	23
1	44	23
2	124	23
3	356	23
4	749	23
5	1974	23
done	5001	23
0	13	25
1	31	21
2	63	21
3	77	21
4	78	21
done	78	21
0	14	23
1	44	23
2	124	23
3	347	23
4	727	23
5	1953	23
done	5000	23
0	13	25
1	31	21
2	63	21
3	76	21
4	77	21
done	77	21
0	9	25
1	22	25
2	52	25
3	110	25
4	159	25
5	256	25
6	362	25
7	604	25
8	2053	25
done	5000	25
0	7	13
1	9	13
done	9	13
0	9	29
1	12	29
2	19	29
done	19	29
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	3	5
1	5	3
done	5	1
0	7	13
1	10	13
2	17	13
done	17	13
0	9	31
1	16	31
2	25	17
3	34	9
4	49	9
5	77	9
6	151	9
7	365	9
8	1275	9
done	5000	9
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	10	13
2	17	13
done	17	13
0	8	15
1	11	15
2	18	15
done	18	15
0	8	15
1	11	15
2	18	15
done	18	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	10	15
1	14	15
2	21	15
done	21	15
0	8	15
1	11	6
2	19	6
done	19	6
0	8	15
1	11	6
2	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	13	21
2	20	21
done	20	21
0	9	14
1	13	14
2	20	14
done	20	14
0	9	9
1	15	8
2	22	8
done	22	6
0	9	22
1	15	22
2	24	22
done	24	22
0	8	14
1	12	14
2	19	14
done	19	14
0	8	8
1	14	6
2	24	6
done	24	6
0	8	14
1	12	14
2	19	14
done	19	14
0	9	14
1	13	14
2	20	14
done	20	14
0	7	13
1	10	13
2	17	13
done	17	13
0	8	14
1	12	14
2	19	14
done	19	14
0	8	14
1	12	14
2	19	14
done	19	14
0	7	13
1	10	13
2	17	13
done	17	13
0	12	17
1	34	17
2	95	17
3	295	17
4	718	17
5	1863	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	330	19
6	543	19
7	1861	19
done	5000	19
0	12	17
1	34	17
2	95	17
3	283	17
4	723	17
5	1870	17
done	5000	17
0	11	19
1	26	19
2	65	19
3	147	19
4	231	19
5	327	19
6	536	19
7	1894	19
done	5000	19
0	9	15
1	12	15
2	19	15
done	19	15
0	9	15
1	12	15
2	19	15
done	19	15
0	7	7
1	10	7
2	17	7
done	17	7
0	7	7
1	10	7
2	17	7
done	17	7
0	11	22
1	30	22
2	85	22
3	276	22
4	694	22
5	1833	22
done	5000	22
0	12	38
1	29	30
2	62	30
3	75	30
4	76	30
done	76	30
0	15	24
1	45	24
2	125	24
3	353	24
4	726	24
5	1950	24
done	5000	24
0	14	26
1	32	22
2	64	22
3	75	22
4	76	22
done	76	22
0	15	24
1	45	24
2	125	24
3	347	24
4	716	24
5	1966	24
done	5000	24
0	14	26
1	32	22
2	64	22
3	79	22
4	80	22
done	80	22
0	10	26
1	23	26
2	53	26
3	111	26
4	160	26
5	255	26
6	361	26
7	603	26
8	2049	26
done	5000	26
0	8	14
1	10	14
done	10	14
0	13	18
1	35	18
2	96	18
3	292	18
4	736	18
5	1882	18
done	5000	18
0	11	19
1	28	15
2	61	15
3	75	15
4	76	15
done	76	15
0	12	20
1	27	20
2	66	20
3	149	20
4	231	20
5	336	20
6	547	20
7	1861	20
done	5001	20
0	7	7
1	9	7
done	9	7
0	13	18
1	35	18
2	96	18
3	285	18
4	719	18
5	1869	18
done	5001	18
0	11	19
1	28	15
2	61	15
3	75	15
4	76	15
done	76	15
0	12	20
1	27	20
2	66	20
3	147	20
4	230	20
5	326	20
6	535	20
7	1849	20
done	5000	20
0	7	7
1	9	7
done	9	7
0	10	31
1	13	31
2	20	31
done	20	31
0	9	15
1	12	15
2	19	15
done	19	15
0	10	44
1	14	44
2	23	16
3	28	13
4	34	13
5	44	13
6	67	13
7	132	13
8	351	13
9	1289	13
done	5000	13
0	9	15
1	12	15
2	19	15
done	19	15
0	9	15
1	12	15
2	19	15
done	19	15
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	28	75
1	72	60
2	204	51
3	788	42
4	4709	29
done	5000	29
0	29	75
1	72	66
2	195	60
3	778	54
4	4712	37
done	5000	37
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	28	75
1	72	60
2	204	51
3	788	42
4	4709	29
done	5000	29
0	29	75
1	72	66
2	195	60
3	778	54
4	4712	37
done	5000	37
0	18	27
1	50	24
2	173	21
3	534	21
4	2288	17
done	5000	17
0	28	75
1	72	60
2	204	51
3	788	42
4	4709	29
done	5000	29
0	29	75
1	72	66
2	195	60
3	778	54
4	4712	37
done	5000	37
0	18	27
1	49	27
2	172	23
3	537	23
4	2282	19
done	5000	19
0	28	75
1	72	60
2	204	51
3	787	42
4	4708	29
done	5001	29
0	29	75
1	72	66
2	195	60
3	777	54
4	4711	37
done	5000	37

prune765.0ms

Filtered

127 candidates to 173 candidates (-36.2%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	173	9	182

Merged error: 0.0b

Counts

182 → 9

regimes194.0ms

Accuracy

0% (0.1b 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	6	7
1	8	7
done	8	7

end0.0ms

sample582.0ms

Algorithm

intervals

Results

278.0ms

10656×

body

valid

Details

sample20.0ms

simplify18.0ms

prune2.0ms

localize5.0ms

rewrite12.0ms

series7.0ms

simplify27.0s

prune53.0ms

localize9.0ms

rewrite21.0ms

series191.0ms

simplify1.7min

prune260.0ms

localize15.0ms

rewrite27.0ms

series207.0ms

simplify2.0min

prune380.0ms

localize14.0ms

rewrite45.0ms

series232.0ms

simplify3.1min

prune765.0ms

regimes194.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample582.0ms

Profiling