Details

rewrite71.0ms (0.8%)

Algorithm

5×	rewrite-expression-head

Calls

4 calls:

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

Rules

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