Details

sample30.0ms

Algorithm

intervals

Results

13.0ms

310×

body

valid

simplify7.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	123
1	10	123
2	19	123
3	43	123
4	65	123
5	69	123
6	77	123
7	95	123
8	115	123
9	174	123
10	335	123
11	531	123
12	691	123
13	918	123
14	1194	123
15	1680	123
16	2069	123
17	2371	123
18	3032	123
19	3053	123
20	3072	123
21	3099	123
22	3167	123
23	3219	123
24	3220	123
done	3220	123

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

10.0ms	(- (* (+ x 1.0) y) x)
30.0ms	(* (+ x 1.0) y)

series71.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(- (* (+ x 1.0) y) x)
46.0ms	(* (+ x 1.0) y)

simplify2.5s

Counts

39 → 39

Iterations

Useful iterations: 2 (500.0ms)

Iter	Nodes	Cost
0	63	7201
1	154	6218
2	459	6138
3	2087	6138
done	5014	6138

prune171.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
0.3b	(cbrt (+ x 1.0))
0.3b	(cbrt (+ x 1.0))
0.3b	(cbrt (+ x 1.0))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

42.0ms	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
3.0ms	(cbrt (+ x 1.0))
3.0ms	(cbrt (+ x 1.0))
4.0ms	(cbrt (+ x 1.0))

series500.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
121.0ms	(cbrt (+ x 1.0))
122.0ms	(cbrt (+ x 1.0))
111.0ms	(cbrt (+ x 1.0))

simplify130.0ms

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	139	41339