Details

Algorithm

6×

intervals

Results

Calls

1 calls:

58.0ms

(* (+ x 2) x)

Algorithm

4×	rewrite-expression-head

Calls

1 calls:

16.0ms

(* (+ x 2) x)

Rules

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