Details

rewrite194.0ms (0.5%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

67.0ms	(* (+ x 1.0) (+ x 1.0))
60.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
55.0ms	(* (+ x 2.0) x)
1.0ms	(fma x 2.0 (* x x))

Rules

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