Details

rewrite85.0ms (0.4%)

Algorithm

4×	rewrite-expression-head

Calls

4 calls:

37.0ms	(* (sqrt (* (+ x 2) x)) (sqrt (* (+ x 2) x)))
18.0ms	(* (+ x 2) x)
13.0ms	(* (+ x 2) x)
12.0ms	(* (+ x 2) x)

Rules

59×	pow1
28×	sqrt-pow1
23×	pow-prod-down
22×	add-sqr-sqrt
20×	*-un-lft-identity associate-*l/
16×	associate-*l*
14×	add-cube-cbrt
13×	associate-*r*
12×	sqrt-div add-cbrt-cube add-exp-log
10×	pow1/2 pow-prod-up
9×	flip-+ flip3-+
6×	pow-sqr
4×	unswap-sqr add-log-exp prod-exp frac-times swap-sqr cbrt-unprod insert-posit16 sqrt-prod *-commutative
3×	distribute-lft-out
2×	associate-*r/
1×	pow-plus pow2 sqrt-unprod rem-square-sqrt