Details

rewrite89.0ms (1.0%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

38.0ms	(* (+ x 1.0) (+ x 1.0))
20.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
18.0ms	(* x (+ x 2.0))
8.0ms	(+ (* x x) (* 2.0 x))

Rules

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