Details

rewrite73.0ms (2.1%)

Algorithm

5×	rewrite-expression-head

Calls

3 calls:

40.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
18.0ms	(* x (+ 2.0 x))
10.0ms	(+ (* x 2.0) (pow x 2))

Rules

8×	add-sqr-sqrt
7×	add-log-exp *-un-lft-identity
5×	add-cube-cbrt pow1 add-exp-log add-cbrt-cube
4×	associate-*r*
3×	associate-*l*
2×	distribute-lft-out distribute-rgt-in associate-*r/ associate--l+ flip3-+ flip-+ distribute-lft-in
1×	pow-prod-down flip-- unswap-sqr *-commutative +-commutative cbrt-unprod flip3-- sum-log unpow2 prod-exp difference-of-squares diff-log sub-neg