Details

rewrite164.0ms (0.9%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

80.0ms	(* (sqrt x) (* (sqrt x) (+ x 2)))
34.0ms	(+ (* 2 x) (* x x))
22.0ms	(* x (+ x 2))
22.0ms	(* (sqrt x) (+ x 2))

Rules

43×	add-sqr-sqrt
38×	associate-*r*
34×	*-un-lft-identity
25×	associate-*l*
17×	add-cube-cbrt
16×	sqrt-prod
15×	unswap-sqr
13×	add-cbrt-cube pow1 add-exp-log
12×	distribute-lft-in distribute-rgt-in
9×	distribute-lft-out +-commutative *-commutative
8×	distribute-rgt-out associate-*r/
6×	add-log-exp
5×	cbrt-unprod pow-prod-down prod-exp
4×	flip-+ insert-posit16 flip3-+
1×	sum-log