Details

rewrite34.0ms (0.4%)

Algorithm

5×	rewrite-expression-head

Calls

3 calls:

15.0ms	(* x (+ x 2.0))
6.0ms	(+ (* x x) (* x 2.0))
2.0ms	(fma (+ 1.0 x) (+ 1.0 x) (- 1.0))

Rules

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