Details

Algorithm

6×

intervals

Results

Calls

2 calls:

62.0ms	(+ (* x x) (* 2 x))
52.0ms	(* x (+ x 2))

Algorithm

4×	rewrite-expression-head

Calls

2 calls:

17.0ms	(* x (+ x 2))
8.0ms	(+ (* x x) (* 2 x))

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-cube-cbrt` `add-log-exp` `add-cbrt-cube` `pow1` `add-exp-log` `associate-r`
3×	`associate-l`
2×	`associate-*r/` `expm1-log1p-u` `insert-posit16` `flip3-+` `flip-+` `log1p-expm1-u`
1×	`sum-log` `cbrt-unprod` `fma-def` `distribute-lft-out` `unswap-sqr` `pow-prod-down` `distribute-rgt-in` `prod-exp` `distribute-lft-in` `+-commutative` `*-commutative` `distribute-rgt-out`

Accuracy

Total 0.0b remaining (96.7%)

Threshold costs 0.0b (96.7%)

0.0b