Details

rewrite118.0ms (0.6%)

Algorithm

6×	rewrite-expression-head

Calls

10 calls:

32.0ms	(* (sqrt (sqrt (fma 2.0 x (* x x)))) (* (sqrt (sqrt (fma 2.0 x (* x x)))) (sqrt (fma 2.0 x (* x x)))))
24.0ms	(* (+ x 1.0) (+ x 1.0))
16.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
14.0ms	(* (sqrt (sqrt (fma 2.0 x (* x x)))) (sqrt (fma 2.0 x (* x x))))
12.0ms	(* (sqrt (fma 2.0 x (* x x))) (sqrt (fma 2.0 x (* x x))))

Rules

82×	pow1
70×	add-sqr-sqrt sqrt-prod
67×	sqrt-pow1
49×	*-un-lft-identity
43×	pow1/2
42×	pow-prod-up
35×	add-cube-cbrt
28×	associate-*l*
21×	add-cbrt-cube add-exp-log
17×	associate-*r*
14×	pow-prod-down swap-sqr
12×	add-log-exp
11×	unswap-sqr
10×	expm1-log1p-u log1p-expm1-u
8×	pow-plus
6×	cbrt-unprod flip-+ distribute-lft-out flip3-+ prod-exp
4×	rem-sqrt-square sqrt-unprod frac-times *-commutative cube-unmult pow-sqr
3×	fma-udef prod-diff
2×	pow2 distribute-rgt-in associate--l+ distribute-lft-in associate-*r/ associate-*l/
1×	sub-neg difference-of-squares rem-square-sqrt fma-neg flip-- diff-log flip3--