Details

rewrite88.0ms (0.3%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

30.0ms	(* (+ x 1.0) (+ x 1.0))
25.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
20.0ms	(* x (+ 2.0 x))
7.0ms	(+ (* x 2.0) (* x x))

Rules

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