Details

rewrite67.0ms (0.6%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

26.0ms	(* (+ x 1.0) (+ x 1.0))
16.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
14.0ms	(* x (+ x 2.0))
6.0ms	(+ (* x x) (* x 2.0))

Rules

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