Details

rewrite56.0ms (0.5%)

Algorithm

5×	rewrite-expression-head

Calls

3 calls:

24.0ms	(* (+ x 1.0) (+ x 1.0))
20.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
7.0ms	(+ (* 2.0 x) (* x x))

Rules

21×	*-un-lft-identity
10×	pow1 add-sqr-sqrt
7×	add-cube-cbrt add-log-exp flip-+ flip3-+
6×	distribute-lft-out swap-sqr
5×	add-cbrt-cube add-exp-log
4×	associate-*l* frac-times associate-*r*
2×	distribute-lft-in distribute-rgt-in associate-*l/ associate-*r/ associate--l+
1×	sum-log pow2 sub-neg unswap-sqr difference-of-squares pow-prod-down pow-prod-up prod-exp +-commutative pow-sqr pow-plus *-commutative flip-- cbrt-unprod distribute-rgt-out diff-log flip3--