Details

rewrite89.0ms (2.4%)

Algorithm

5×	rewrite-expression-head

Calls

5 calls:

45.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
31.0ms	(* (+ x 1.0) (+ x 1.0))
6.0ms	(- (fma x x (fma 2.0 x 1.0)) 1.0)
0.0ms	(fma x 2.0 (pow x 2))
0.0ms	(fma x x (fma 2.0 x 1.0))

Rules

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