Details

rewrite16.0ms (0.1%)

Algorithm

4×	rewrite-expression-head

Calls

1 calls:

14.0ms

(* x (+ 2 x))

Rules

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