Details

rewrite41.0ms (1.2%)

Algorithm

5×	rewrite-expression-head

Calls

5 calls:

17.0ms	(* (+ x 1.0) (+ x 1.0))
11.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
3.0ms	(- (* (fabs (+ x 1.0)) (fabs (+ x 1.0))) 1.0)
3.0ms	(* (fabs (+ x 1.0)) (fabs (+ x 1.0)))
0.0ms	(fma x 2.0 (pow x 2))

Rules

29×	*-un-lft-identity
21×	add-sqr-sqrt
19×	pow1
15×	add-cube-cbrt
9×	add-log-exp swap-sqr add-exp-log add-cbrt-cube
7×	associate-*r* associate-*l*
6×	distribute-lft-out flip3-+ flip-+ prod-diff
5×	log1p-expm1-u expm1-log1p-u
4×	frac-times
2×	diff-log fma-neg flip-- unswap-sqr *-commutative pow-prod-up pow-plus pow-sqr distribute-rgt-in associate-*l/ cbrt-unprod associate--l+ associate-*r/ pow-prod-down flip3-- pow2 prod-exp difference-of-squares distribute-lft-in sub-neg
1×	fma-udef