Details

rewrite18.0ms (0.1%)

Algorithm

4×	rewrite-expression-head

Calls

1 calls:

15.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