Details

rewrite71.0ms (0.4%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

26.0ms	(* (sqrt x) (* (sqrt x) (+ x 2)))
18.0ms	(* (sqrt x) (+ x 2))
16.0ms	(* x (+ x 2))
7.0ms	(+ (* 2 x) (* x x))

Rules

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