Details

sample16.0ms

Algorithm

intervals

Results

7.0ms

365×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
done	6	5

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.7b	(/ 1.0 (* x x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ 1.0 (* x x))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ 1.0 (* x x))

simplify20.4s

Counts

24 → 24

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune51.0ms

Filtered

20 candidates to 24 candidates (-20.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	20	4	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	5	25

Merged error: 0.1b

Counts

25 → 5

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (/ 1.0 x) x)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/r*`
1×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`

Counts

1 → 70

Calls

1 calls:

7.0ms

(/ (/ 1.0 x) x)

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(/ (/ 1.0 x) x)

simplify27.2s

Counts

73 → 73

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	6	8
1	11	8
2	23	7
3	35	7
4	44	7
5	53	7
6	67	7
7	77	7
8	80	7
done	80	7
0	6	7
1	10	7
2	16	7
3	29	7
4	42	7
5	49	7
6	59	7
7	67	7
8	77	7
9	80	7
done	80	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	47	6
6	54	6
7	64	6
8	72	6
9	82	6
10	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	21	17
2	91	11
3	327	7
4	782	7
5	1908	7
done	5000	7
0	8	17
1	23	17
2	78	9
3	265	7
4	655	7
5	1459	7
6	4733	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	46	7
3	141	7
4	426	7
5	815	7
6	1834	7
done	5001	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	8	15
1	14	15
2	23	15
3	29	15
done	29	15
0	6	7
done	6	7
0	7	12
1	9	12
2	11	12
3	12	12
done	12	12
0	6	7
done	6	7
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	5	6
done	5	6
0	7	10
1	9	10
done	9	10
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	6	6
1	8	4
2	10	4
done	10	4
0	5	6
done	5	6
0	8	17
1	18	17
2	46	17
3	89	13
4	113	10
5	122	10
6	139	10
7	192	10
8	386	10
9	959	10
10	3182	10
done	5000	10
0	6	8
1	8	8
done	8	8
0	9	14
1	17	14
2	40	14
3	77	14
4	118	14
5	123	14
done	123	14
0	7	8
1	9	8
2	12	8
done	12	8
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	6	7
1	8	7
2	11	7
done	11	7
0	9	14
1	15	14
2	31	14
3	67	14
4	109	14
5	119	14
done	119	14
0	7	8
1	9	8
2	12	8
done	12	8
0	7	11
1	11	11
2	18	7
3	23	7
4	28	7
5	29	7
done	29	7
0	6	8
1	8	8
done	8	4
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	6	7
1	8	7
2	11	7
done	11	7
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	6	7
1	8	7
2	11	7
done	11	7
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	5	6
1	7	6
done	7	6
0	7	14
1	13	14
2	20	14
3	24	10
4	33	7
5	42	7
6	55	7
7	85	7
8	165	7
9	341	7
10	1122	7
done	5000	7
0	6	8
1	8	8
done	8	8
0	8	11
1	12	11
2	18	11
3	26	11
done	26	11
0	7	8
1	9	8
2	12	8
done	12	8
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	6	7
1	8	7
2	11	7
done	11	7
0	8	11
1	12	11
2	18	11
3	24	11
done	24	11
0	7	8
1	9	8
2	12	8
done	12	8
0	6	8
1	8	8
done	8	4
0	6	8
1	8	8
done	8	4
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	6	7
1	8	7
2	11	7
done	11	7
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	6	7
1	8	7
2	11	7
done	11	7
0	7	7
1	11	5
2	17	5
done	17	5
0	6	7
1	8	7
2	11	7
done	11	7
0	5	6
1	9	2
done	9	2
0	5	6
1	7	6
done	7	6
0	6	13
1	14	13
2	21	13
3	23	9
4	31	6
5	38	6
6	51	6
7	81	6
8	160	6
9	340	6
10	1127	6
done	5001	6
0	5	7
1	7	7
done	7	7
0	7	10
1	13	10
2	19	10
3	27	10
done	27	10
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	5	6
1	7	6
2	10	6
done	10	6
0	7	10
1	13	10
2	19	10
3	25	10
done	25	10
0	6	7
1	8	7
2	11	7
done	11	7
0	5	7
1	9	7
done	9	3
0	5	7
1	7	7
done	7	3
0	5	6
1	9	4
2	16	4
done	16	4
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	5	6
1	7	6
2	10	6
done	10	6
0	3	5
1	7	1
done	7	1
0	4	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	5	6
1	7	6
2	10	6
done	10	6
0	4	4
1	6	4
done	6	4
0	5	6
1	7	6
2	10	6
done	10	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
done	6	5
0	5	7
1	7	7
done	7	7
0	5	6
1	9	6
2	12	6
done	12	6
0	4	4
done	4	4
0	5	6
1	9	6
2	12	6
done	12	6
0	3	3
1	5	1
done	5	1
0	4	5
1	8	5
done	8	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	9	5
done	9	5
0	6	9
1	10	9
2	16	9
3	22	9
done	22	9
0	5	6
1	7	6
2	10	6
done	10	6
0	5	5
1	9	3
2	16	3
done	16	3
0	5	6
done	5	6
0	5	6
done	5	6
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	7	6
2	10	6
done	10	6
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	8	5
2	11	3
done	11	3
0	2	3
done	2	3
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune118.0ms

Filtered

61 candidates to 73 candidates (-19.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	67	6	73
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	69	9	78

Merged error: 0.0b

Counts

78 → 9

localize7.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))
0.5b	(cbrt (/ 1.0 x))
0.5b	(cbrt (/ 1.0 x))
0.5b	(cbrt (/ 1.0 x))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 144

Calls

4 calls:

16.0ms	(* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))
3.0ms	(cbrt (/ 1.0 x))
3.0ms	(cbrt (/ 1.0 x))
3.0ms	(cbrt (/ 1.0 x))

series123.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))
32.0ms	(cbrt (/ 1.0 x))
28.0ms	(cbrt (/ 1.0 x))
29.0ms	(cbrt (/ 1.0 x))

simplify45.9s

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	5	9
done	5	9
0	2	3
1	6	1
done	6	1
0	6	11
1	8	7
2	9	7
done	9	7
0	6	10
1	8	10
2	10	7
3	11	7
done	11	7
0	6	10
1	8	10
2	12	10
3	17	10
4	35	10
5	75	10
6	181	10
7	552	10
8	2249	10
done	5000	10
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	7	21
done	7	21
0	6	10
done	6	10
0	7	29
1	15	29
2	24	11
3	38	6
4	84	6
5	195	6
6	504	6
7	1764	6
done	5000	6
0	6	10
1	7	5
done	7	5
0	6	10
1	7	5
done	7	5
0	3	5
done	3	5
0	3	5
done	3	5
0	7	21
done	7	21
0	6	11
done	6	11
0	6	11
done	6	11
0	6	11
done	6	11
0	9	25
1	15	25
2	24	25
3	30	25
done	30	25
0	7	13
done	7	13
0	8	19
1	10	19
2	12	19
3	13	19
done	13	19
0	7	13
done	7	13
0	7	17
1	11	13
2	17	13
3	22	13
done	22	13
0	6	11
done	6	11
0	8	19
1	10	19
done	10	19
0	7	13
done	7	13
0	7	13
done	7	13
0	7	13
done	7	13
0	6	11
1	8	7
2	10	7
done	10	7
0	6	11
done	6	11
0	7	17
1	11	17
done	11	17
0	6	11
done	6	11
0	6	11
1	8	11
done	8	11
0	6	11
done	6	11
0	4	9
1	6	3
done	6	1
0	5	9
done	5	9
0	3	5
1	5	3
done	5	1
0	5	9
done	5	9
0	3	5
done	3	5
0	5	9
1	7	9
done	7	9
0	7	23
1	11	23
2	13	13
3	22	7
4	37	7
5	63	7
6	137	7
7	361	7
8	1276	7
done	5000	7
0	6	11
done	6	11
0	6	11
done	6	4
0	6	11
done	6	4
0	2	3
1	4	1
done	4	1
0	5	9
done	5	9
0	6	11
done	6	11
0	6	11
done	6	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	7	13
done	7	13
0	7	13
done	7	13
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	8	11
1	9	11
done	9	11
0	8	11
1	9	11
done	9	11
0	10	12
1	11	12
done	11	12
0	10	12
1	11	12
done	11	12
0	6	11
done	6	4
0	6	11
done	6	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	8	15
done	8	15
0	7	10
1	8	10
done	8	10
0	11	17
1	18	17
2	27	17
3	33	17
done	33	17
0	10	14
1	13	14
2	15	14
3	16	14
done	16	14
0	10	13
1	15	11
2	21	11
3	26	11
done	26	11
0	10	14
1	13	14
done	13	14
0	9	11
1	10	11
done	10	11
0	9	10
1	12	8
2	14	8
done	14	8
0	10	13
1	15	13
done	15	13
0	9	10
1	12	10
done	12	10
0	8	9
1	11	6
done	11	6
0	7	7
1	10	6
done	10	6
0	6	7
1	7	7
done	7	7
0	7	16
1	10	16
2	12	16
done	12	16
0	6	10
1	7	10
done	7	10
0	6	6
1	9	4
2	12	4
done	12	4
0	6	10
1	7	10
done	7	10
0	7	10
1	8	10
done	8	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	10
1	9	10
done	9	10
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	9
done	5	9
0	5	9
done	5	9
0	8	9
1	11	9
done	11	9
0	6	10
1	7	10
done	7	10
0	6	10
1	7	10
done	7	10
0	5	9
done	5	9
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	11	11
1	19	10
2	32	9
3	67	8
4	135	7
5	321	6
6	742	5
7	2096	5
done	5001	5
0	12	13
1	28	11
2	44	9
3	87	7
4	182	6
5	369	5
6	829	5
7	2389	5
done	5000	5
0	13	13
1	29	12
2	43	10
3	100	7
4	221	7
5	445	7
6	911	7
7	2360	7
done	5001	7
0	11	11
1	19	10
2	32	9
3	67	8
4	135	7
5	321	6
6	742	5
7	2096	5
done	5001	5
0	12	13
1	28	11
2	44	9
3	87	7
4	182	6
5	369	5
6	829	5
7	2389	5
done	5000	5
0	13	13
1	29	12
2	43	10
3	100	7
4	221	7
5	445	7
6	911	7
7	2360	7
done	5001	7
0	11	11
1	19	10
2	32	9
3	67	8
4	135	7
5	321	6
6	742	5
7	2096	5
done	5001	5
0	12	13
1	28	11
2	44	9
3	87	7
4	182	6
5	369	5
6	829	5
7	2389	5
done	5000	5
0	13	13
1	29	12
2	43	10
3	100	7
4	221	7
5	445	7
6	911	7
7	2360	7
done	5001	7
0	14	15
1	27	14
2	60	12
3	166	9
4	438	8
5	1702	8
done	5000	8
0	15	17
1	36	15
2	71	11
3	191	10
4	594	9
5	2071	8
done	5001	8
0	16	17
1	37	16
2	69	12
3	179	10
4	577	10
5	2111	10
done	5001	10

prune384.0ms

Filtered

123 candidates to 156 candidates (-26.8%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	152	4	156
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	154	11	165

Merged error: 0.0b

Counts

165 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (* (/ 1.0 x) (/ 1.0 x))) (/ (cbrt (/ 1.0 x)) x))
0.4b	(* (/ 1.0 x) (/ 1.0 x))
0.5b	(cbrt (/ 1.0 x))
23.3b	(cbrt (* (/ 1.0 x) (/ 1.0 x)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

132×	`times-frac`
113×	`add-sqr-sqrt`
81×	`add-cube-cbrt` `*-un-lft-identity`
65×	`associate-r`
62×	`cbrt-prod`
21×	`add-exp-log`
18×	`add-cbrt-cube`
17×	`associate-l`
13×	`pow1` `swap-sqr`
12×	`unswap-sqr`
10×	`cbrt-div`
9×	`div-inv`
7×	`frac-times` `associate-*l/`
6×	`prod-exp` `cbrt-unprod`
5×	`cbrt-undiv` `associate-*r/` `div-exp`
4×	`add-log-exp`
2×	`pow1/3` `pow-prod-down` `*-commutative`
1×	`pow2` `pow-plus` `pow-sqr` `pow-prod-up`

Counts

4 → 185

Calls

4 calls:

25.0ms	(* (cbrt (* (/ 1.0 x) (/ 1.0 x))) (/ (cbrt (/ 1.0 x)) x))
11.0ms	(* (/ 1.0 x) (/ 1.0 x))
3.0ms	(cbrt (/ 1.0 x))
6.0ms	(cbrt (* (/ 1.0 x) (/ 1.0 x)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (cbrt (* (/ 1.0 x) (/ 1.0 x))) (/ (cbrt (/ 1.0 x)) x))
3.0ms	(* (/ 1.0 x) (/ 1.0 x))
29.0ms	(cbrt (/ 1.0 x))
29.0ms	(cbrt (* (/ 1.0 x) (/ 1.0 x)))

simplify1.7min

Counts

197 → 197

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	4	4
done	4	4
0	4	4
done	4	4
0	3	4
done	3	4
0	3	4
done	3	4
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	5	6
1	8	6
2	10	6
done	10	6
0	2	2
done	2	2
0	7	19
1	11	19
2	17	19
3	24	19
4	29	19
done	29	19
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	7	26
1	12	26
2	20	10
3	32	7
4	43	7
5	53	7
6	74	7
7	138	7
8	347	7
9	1269	7
done	5000	7
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	6	9
1	10	9
2	16	9
3	23	9
4	28	9
done	28	9
0	5	5
done	5	5
0	5	5
done	5	5
0	6	10
done	6	10
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	8	12
1	14	12
2	23	12
3	29	12
done	29	12
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	6
2	16	6
3	21	6
done	21	6
0	5	5
done	5	5
0	7	9
1	9	9
done	9	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	5	5
done	5	5
0	6	8
1	10	8
done	10	8
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	1
done	5	1
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	4	4
done	4	4
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	7	14
2	9	6
3	14	3
4	20	3
5	30	3
6	53	3
7	118	3
8	324	3
9	1243	3
done	5000	3
0	5	5
done	5	5
0	5	5
done	5	5
0	2	3
1	6	1
done	6	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	6	1
done	6	1
0	6	11
1	14	7
2	34	7
3	67	7
4	120	7
5	178	7
6	229	7
7	262	7
done	262	7
0	8	10
1	13	9
2	26	9
3	56	6
4	110	6
5	165	6
6	210	6
7	250	6
done	250	6
0	8	10
1	13	9
2	22	9
3	47	6
4	90	6
5	143	6
6	185	6
7	220	6
8	223	6
done	223	6
0	5	9
1	10	6
2	17	6
3	36	6
4	69	6
5	121	6
6	177	6
7	228	6
8	261	6
done	261	6
0	5	8
1	11	8
2	24	6
3	46	6
4	93	6
5	142	6
6	191	6
7	249	6
8	290	6
9	304	6
done	304	6
0	5	8
1	11	8
2	21	8
3	35	8
4	67	8
5	132	8
6	307	8
7	1398	8
done	5001	8
0	8	23
1	21	23
2	101	15
3	630	11
4	2617	5
done	5000	5
0	11	23
1	31	23
2	119	11
3	621	5
4	2520	5
done	5000	5
0	11	23
1	31	23
2	120	11
3	596	5
4	2550	5
done	5001	5
0	6	23
1	19	23
2	64	11
3	212	5
4	840	5
5	3061	5
done	5001	5
0	6	17
1	10	17
2	16	17
3	23	17
4	28	17
done	28	17
0	5	8
1	9	8
2	15	8
3	22	8
4	27	8
done	27	8
0	6	23
1	18	23
2	55	9
3	194	5
4	683	5
5	2701	5
done	5000	5
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	5	8
1	10	4
2	16	4
3	23	4
4	28	4
done	28	4
0	2	3
done	2	3
0	2	3
done	2	3
0	6	19
1	10	19
2	12	11
3	21	6
4	40	6
5	72	6
6	145	6
7	361	6
8	1288	6
done	5000	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	8	23
1	18	23
2	66	23
3	211	13
4	455	7
5	547	7
6	640	7
7	1028	7
8	2936	7
done	5000	7
0	6	11
1	10	11
2	16	11
3	23	11
4	28	11
done	28	11
0	7	17
1	13	17
2	31	17
3	79	13
4	131	6
5	148	6
6	169	6
7	237	6
8	481	6
9	1262	6
10	4292	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	11
4	28	7
done	28	7
0	6	15
1	14	11
2	29	11
3	70	7
4	98	4
5	106	4
6	121	4
7	170	4
8	346	4
9	872	4
10	3139	4
done	5000	4
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	7	17
1	13	17
2	32	17
3	66	13
4	103	9
5	117	6
6	126	6
7	142	6
8	194	6
9	381	6
10	944	6
11	3068	6
done	5000	6
0	6	11
1	10	11
2	16	11
3	23	7
4	27	7
done	27	7
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	5	9
1	11	5
2	16	1
3	17	1
4	18	1
done	18	1
0	5	9
1	9	9
2	15	9
3	22	5
4	26	5
done	26	5
0	6	15
1	14	15
2	32	13
3	79	13
4	121	9
5	132	6
6	142	6
7	173	6
8	273	6
9	609	6
10	1637	6
done	5000	6
0	5	9
1	9	9
2	15	9
3	22	9
4	27	9
done	27	9
0	5	9
1	11	9
2	17	7
3	28	7
done	28	3
0	5	9
1	9	9
2	15	9
3	22	9
4	27	5
done	27	5
0	3	7
1	9	1
done	9	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
1	4	1
done	4	1
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	2	3
done	2	3
0	4	7
1	10	7
2	16	5
3	27	5
done	27	5
0	5	9
done	5	3
0	5	9
done	5	3
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	6	11
1	10	11
2	16	11
3	23	7
4	27	3
done	27	3
0	3	3
1	6	1
done	6	1
0	6	13
1	11	13
2	19	13
3	27	13
4	36	13
5	42	13
6	47	13
7	48	13
done	48	13
0	5	8
1	8	8
2	11	8
3	13	8
4	15	8
5	16	8
done	16	8
0	9	15
1	20	15
2	61	15
3	156	15
4	359	15
5	624	15
6	697	15
7	708	15
done	708	15
0	8	12
1	15	12
2	33	12
3	76	12
4	151	12
5	219	12
6	236	12
7	242	12
done	242	12
0	8	11
1	17	9
2	43	9
3	128	9
4	230	9
5	289	9
6	300	9
7	303	9
done	303	9
0	8	12
1	15	12
2	34	12
3	75	12
4	141	12
5	201	12
6	210	12
done	210	12
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	8
1	14	6
2	27	6
3	59	6
4	85	6
5	93	6
6	96	6
7	97	6
done	97	6
0	8	11
1	17	11
2	35	9
3	103	9
4	179	9
5	255	9
6	325	9
7	371	9
done	371	9
0	7	8
1	14	8
2	23	6
3	61	6
4	75	6
5	95	6
6	121	6
7	137	6
done	137	6
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	5	5
1	10	3
2	20	3
done	20	3
0	4	5
1	7	5
2	9	5
done	9	5
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	5	8
1	8	8
2	11	8
3	15	8
4	16	8
done	16	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	7	9
1	12	9
2	21	9
3	38	9
4	59	9
5	71	9
6	73	9
done	73	9
0	6	8
1	11	8
2	19	8
3	31	8
4	43	8
5	46	8
done	46	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	6	8
1	11	8
2	20	8
3	35	8
4	43	8
5	44	8
done	44	8
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	8	15
1	15	15
2	24	15
3	35	15
4	41	15
done	41	15
0	11	18
1	20	18
2	33	18
3	49	18
4	60	18
5	70	18
6	77	18
7	89	18
8	112	18
9	126	18
10	132	18
done	132	18
0	10	17
1	18	17
2	30	17
3	46	17
4	61	17
5	70	17
6	75	17
7	84	17
8	101	17
9	120	17
10	128	17
done	128	17
0	9	16
1	19	16
2	34	16
3	55	16
4	80	16
5	94	16
6	106	16
7	124	16
8	140	16
9	147	16
10	164	16
11	166	16
done	166	16
0	9	16
1	18	16
2	33	16
3	54	16
4	92	16
5	175	16
6	383	16
7	1404	16
done	5001	16
0	8	17
1	22	17
2	72	15
3	228	9
4	624	7
5	1339	7
6	3960	7
done	5000	7
0	9	28
1	25	28
2	82	16
3	287	16
4	1163	15
5	4043	13
done	5000	13
0	10	33
1	17	33
2	26	33
3	37	33
4	43	33
done	43	33
0	9	16
1	16	16
2	25	16
3	36	16
4	42	16
done	42	16
0	10	47
1	27	47
2	87	17
3	296	17
4	877	16
5	2873	15
done	5001	13
0	9	16
1	16	16
2	25	16
3	36	16
4	42	16
done	42	16
0	9	16
1	16	16
2	25	16
3	36	16
4	42	16
done	42	16
0	7	9
1	8	9
done	8	9
0	4	6
1	5	6
done	5	6
0	7	11
1	11	11
2	13	11
done	13	11
0	3	4
1	4	4
done	4	4
0	7	11
1	11	11
2	13	11
done	13	11
0	3	4
1	4	4
done	4	4
0	7	12
1	8	12
done	8	12
0	7	12
1	8	12
done	8	12
0	9	13
1	12	13
2	15	13
3	19	13
4	20	13
done	20	13
0	9	13
1	12	13
2	15	13
3	19	13
4	20	13
done	20	13
0	10	14
1	13	14
2	16	14
3	20	14
4	21	14
done	21	14
0	10	14
1	13	14
2	16	14
3	20	14
4	21	14
done	21	14
0	8	13
1	11	13
2	14	13
3	18	13
4	19	13
done	19	13
0	8	13
1	11	13
2	14	13
3	18	13
4	19	13
done	19	13
0	10	17
1	15	17
2	21	17
3	28	17
4	33	17
done	33	17
0	10	17
1	15	17
2	21	17
3	28	17
4	33	17
done	33	17
0	11	18
1	18	18
2	27	18
3	38	18
4	44	18
done	44	18
0	11	18
1	18	18
2	27	18
3	38	18
4	44	18
done	44	18
0	12	19
1	19	19
2	28	19
3	39	19
4	45	19
done	45	19
0	12	19
1	19	19
2	28	19
3	39	19
4	45	19
done	45	19
0	11	18
1	18	18
2	27	18
3	38	18
4	44	18
done	44	18
0	11	18
1	18	18
2	27	18
3	38	18
4	44	18
done	44	18
0	10	24
1	17	24
2	25	24
3	32	24
4	37	24
done	37	24
0	9	16
1	14	16
2	20	16
3	27	16
4	32	16
done	32	16
0	12	25
1	21	25
2	38	25
3	59	25
4	76	25
done	76	25
0	11	22
1	18	22
2	27	22
3	38	22
4	44	22
done	44	22
0	11	21
1	20	19
2	33	19
3	49	19
4	60	19
done	60	19
0	11	20
1	20	20
2	37	20
3	57	20
4	74	20
done	74	20
0	10	17
1	17	17
2	26	17
3	37	17
4	43	17
done	43	17
0	10	16
1	19	14
2	32	14
3	48	14
4	59	14
done	59	14
0	13	27
1	28	27
2	54	27
3	80	27
4	97	27
done	97	27
0	14	24
1	27	24
2	45	24
3	62	24
4	68	24
done	68	24
0	14	23
1	29	21
2	51	21
3	73	21
4	84	21
done	84	21
0	14	24
1	25	24
2	44	24
3	66	24
4	83	24
done	83	24
0	12	21
1	21	21
2	32	21
3	44	21
4	50	21
done	50	21
0	13	20
1	24	18
2	39	18
3	56	18
4	67	18
done	67	18
0	14	23
1	27	21
2	50	21
3	76	21
4	93	21
done	93	21
0	13	20
1	24	18
2	39	18
3	55	18
4	61	18
done	61	18
0	12	19
1	23	15
2	41	15
3	62	15
4	73	15
done	73	15
0	12	24
1	23	24
2	40	24
3	60	24
4	77	24
done	77	24
0	13	21
1	22	21
2	31	21
3	42	21
4	48	21
done	48	21
0	13	20
1	24	18
2	37	18
3	53	18
4	64	18
done	64	18
0	13	21
1	22	21
2	39	21
3	60	21
4	77	21
done	77	21
0	11	18
1	18	18
2	27	18
3	38	18
4	44	18
done	44	18
0	12	17
1	21	15
2	34	15
3	50	15
4	61	15
done	61	15
0	13	20
1	24	18
2	43	18
3	64	18
4	81	18
done	81	18
0	12	17
1	21	15
2	32	15
3	43	15
4	49	15
done	49	15
0	11	16
1	20	12
2	34	12
3	50	12
4	61	12
done	61	12
0	12	23
1	25	23
2	42	23
3	63	23
4	80	23
done	80	23
0	13	20
1	24	20
2	33	20
3	44	20
4	50	20
done	50	20
0	12	19
1	23	17
2	36	17
3	52	17
4	63	17
done	63	17
0	13	20
1	24	20
2	41	20
3	62	20
4	79	20
done	79	20
0	11	17
1	20	17
2	29	17
3	40	17
4	46	17
done	46	17
0	11	16
1	20	14
2	33	14
3	49	14
4	60	14
done	60	14
0	12	19
1	23	16
2	40	16
3	60	14
4	102	14
5	110	14
done	110	14
0	11	16
1	20	13
2	29	13
3	40	11
4	56	11
done	56	11
0	10	15
1	19	10
2	30	8
3	41	8
4	46	8
done	46	8
0	11	17
1	22	16
2	39	16
3	59	14
4	101	14
5	109	14
done	109	14
0	10	14
1	19	13
2	28	13
3	39	11
4	55	11
5	56	11
done	56	11
0	9	13
1	18	10
2	29	8
3	40	8
4	45	8
done	45	8
0	10	17
1	19	17
2	36	17
3	57	17
4	74	17
done	74	17
0	9	14
1	16	14
2	25	14
3	36	14
4	42	14
done	42	14
0	9	13
1	18	11
2	31	11
3	47	11
4	58	11
done	58	11
0	12	26
1	25	26
2	60	26
3	106	26
4	167	26
5	181	26
done	181	26
0	11	23
1	20	23
2	36	23
3	58	23
4	76	23
5	78	23
done	78	23
0	11	22
1	22	20
2	45	20
3	89	20
4	124	20
done	124	20
0	11	20
1	20	20
2	37	20
3	57	20
4	74	20
done	74	20
0	10	17
1	17	17
2	26	17
3	37	17
4	43	17
done	43	17
0	10	16
1	19	14
2	32	14
3	48	14
4	59	14
done	59	14
0	10	16
1	21	16
2	37	14
3	74	14
4	101	14
5	102	14
done	102	14
0	9	13
1	18	13
2	27	11
3	49	11
4	55	11
done	55	11
0	8	12
1	17	10
2	28	8
3	39	8
4	44	8
done	44	8
0	7	10
1	14	8
2	23	8
3	30	8
4	35	8
done	35	8
0	7	13
1	12	13
2	18	13
3	25	13
4	30	13
done	30	13
0	6	11
1	9	11
2	11	11
done	11	11
0	9	16
1	16	16
2	25	16
3	36	16
4	42	16
done	42	16
0	9	16
1	16	16
2	25	16
3	36	16
4	42	16
done	42	16
0	8	15
1	15	15
2	24	15
3	35	15
4	41	15
done	41	15
0	7	13
1	12	13
2	18	13
3	25	13
4	30	13
done	30	13
0	8	11
1	11	11
2	14	11
3	18	11
4	19	11
done	19	11
0	8	13
1	14	13
2	19	13
3	23	13
4	24	13
done	24	13
0	8	13
1	14	13
2	19	13
3	23	13
4	24	13
done	24	13
0	13	13
1	22	12
2	41	10
3	113	7
4	240	6
5	565	6
6	1779	6
done	5000	6
0	14	15
1	31	13
2	52	9
3	132	8
4	300	7
5	648	6
6	1901	6
done	5001	6
0	15	15
1	32	14
2	50	10
3	116	8
4	284	8
5	723	8
6	2115	6
done	5000	6
0	11	11
1	19	10
2	32	9
3	67	8
4	135	7
5	321	6
6	742	5
7	2096	5
done	5001	5
0	12	13
1	28	11
2	44	9
3	87	7
4	182	6
5	369	5
6	829	5
7	2389	5
done	5000	5
0	13	13
1	29	12
2	43	10
3	100	7
4	221	7
5	445	7
6	911	7
7	2360	7
done	5001	7
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	7	8
1	15	8
2	42	8
3	72	8
4	157	8
5	470	8
6	1897	8
done	5000	8
0	7	8
1	15	8
2	42	8
3	72	8
4	157	8
5	470	8
6	1897	8
done	5000	8
0	11	11
1	23	10
2	71	10
3	161	10
4	280	10
5	341	10
6	367	10
7	426	10
8	628	10
9	1570	10
done	5000	10

prune398.0ms

Filtered

155 candidates to 197 candidates (-27.1%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	192	5	197
Fresh	4	3	7
Picked	0	1	1
Done	1	2	3
Total	197	11	208

Merged error: 0.0b

Counts

208 → 11

regimes173.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
done	4	5

end0.0ms

sample422.0ms

Algorithm

intervals

Results

218.0ms

10736×

body

valid

Details

sample16.0ms

simplify2.0ms

prune2.0ms

localize3.0ms

rewrite6.0ms

series4.0ms

simplify20.4s

prune51.0ms

localize3.0ms

rewrite11.0ms

series3.0ms

simplify27.2s

prune118.0ms

localize7.0ms

rewrite32.0ms

series123.0ms

simplify45.9s

prune384.0ms

localize9.0ms

rewrite57.0ms

series77.0ms

simplify1.7min

prune398.0ms

regimes173.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample422.0ms

Profiling