Details

rewrite75.0ms (0.6%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

25.0ms	(* (+ x 1.0) (+ x 1.0))
21.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
17.0ms	(* (+ x 2.0) x)
8.0ms	(+ (* 2.0 x) (* x x))

Rules

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