Details

sample29.0ms

Algorithm

intervals

Results

12.0ms

310×

body

valid

simplify5.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	123
1	11	123
2	21	123
3	49	123
4	71	123
5	75	123
6	87	123
7	105	123
8	133	123
9	207	123
10	533	123
11	916	123
12	1239	123
13	1540	123
14	1984	123
15	2142	123
16	2289	123
17	2650	123
18	3017	123
19	3088	123
done	3088	123

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

11.0ms	(- (* (+ x 1.0) y) x)
17.0ms	(* (+ x 1.0) y)

series55.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify2.9s

Counts

47 → 47

Iterations

Useful iterations: 2 (161.0ms)

Iter	Nodes	Cost
0	84	9238
1	211	7904
2	587	7376
3	1987	7376
done	5006	7376

prune188.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (+ x 1.0) y (- x))

series34.0ms

Counts

1 → 3

Calls

1 calls:

34.0ms

(fma (+ x 1.0) y (- x))

simplify3.0s

Counts

13 → 13

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	20	2474
1	33	2219
2	86	2219
3	403	2219
4	2802	2219
done	5000	2219

prune63.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize41.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))

rewrite58.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×	`expm1-log1p-u` `frac-times` `add-cbrt-cube` `log1p-expm1-u` `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 → 103

Calls

4 calls:

33.0ms	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
6.0ms	(cbrt (+ x 1.0))
6.0ms	(cbrt (+ x 1.0))
6.0ms	(cbrt (+ x 1.0))

series529.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
138.0ms	(cbrt (+ x 1.0))
117.0ms	(cbrt (+ x 1.0))
153.0ms	(cbrt (+ x 1.0))

simplify138.0ms

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	143	43035