Details

rewrite109.0ms (0.6%)

Algorithm

6×	rewrite-expression-head

Calls

6 calls:

25.0ms	(* (sqrt x) (* (sqrt x) (+ 2.0 x)))
24.0ms	(* (+ x 1.0) (+ x 1.0))
18.0ms	(* (sqrt x) (+ 2.0 x))
15.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
14.0ms	(* x (+ 2.0 x))

Rules

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