Details

rewrite78.0ms (2.3%)

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

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

Rules

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