Details

sample22.0ms

Algorithm

intervals

Results

9.0ms

336×

body

valid

simplify5.6s

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	164
1	14	139
2	24	139
3	40	139
4	62	139
5	79	139
6	99	139
7	125	139
8	168	139
9	298	139
10	769	139
11	1847	139
12	2767	139
13	3016	139
14	3254	139
15	3530	139
16	3768	139
17	4044	139
18	4282	139
19	4559	139
20	4797	139
done	5001	139

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma (- 1.0 x) y (* x z))

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:

0.0ms

(fma (- 1.0 x) y (* x z))

series55.0ms

Counts

1 → 3

Calls

1 calls:

55.0ms

(fma (- 1.0 x) y (* x z))

simplify2.7s

Counts

13 → 13

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	21	2606
1	35	2531
2	76	2411
3	258	2411
4	1567	2411
done	5019	2411

prune103.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (fma (- 1.0 x) y (* x z))) (cbrt (fma (- 1.0 x) y (* x z))))
0.5b	(cbrt (fma (- 1.0 x) y (* x z)))
0.5b	(cbrt (fma (- 1.0 x) y (* x z)))
0.5b	(cbrt (fma (- 1.0 x) y (* x z)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `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 → 81

Calls

4 calls:

9.0ms	(* (cbrt (fma (- 1.0 x) y (* x z))) (cbrt (fma (- 1.0 x) y (* x z))))
1.0ms	(cbrt (fma (- 1.0 x) y (* x z)))
1.0ms	(cbrt (fma (- 1.0 x) y (* x z)))
1.0ms	(cbrt (fma (- 1.0 x) y (* x z)))

series1.1s

Counts

4 → 12

Calls

4 calls:

293.0ms	(* (cbrt (fma (- 1.0 x) y (* x z))) (cbrt (fma (- 1.0 x) y (* x z))))
268.0ms	(cbrt (fma (- 1.0 x) y (* x z)))
246.0ms	(cbrt (fma (- 1.0 x) y (* x z)))
253.0ms	(cbrt (fma (- 1.0 x) y (* x z)))

simplify218.0ms

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	133	36966