Details

rewrite73.0ms

Algorithm

5×	rewrite-expression-head

Calls

5 calls:

Slowest

18.0ms	(/ (* (- 4 (* x x)) x) (- 2 x))
14.0ms	(* (+ 2 x) x)
14.0ms	(/ (- 4 (* x x)) (/ (- 2 x) x))
12.0ms	(* (- 4 (* x x)) x)
9.0ms	(/ (- 2 x) x)

Rules

171×	times-frac
153×	add-sqr-sqrt
130×	*-un-lft-identity
86×	add-cube-cbrt
42×	difference-of-squares
27×	associate-/r*
21×	add-cbrt-cube add-exp-log distribute-lft-out--
10×	associate-/l*
9×	pow1
8×	associate-*l* div-inv
6×	div-exp associate-*r* associate-*l/ cbrt-undiv associate-/l/
5×	add-log-exp insert-posit16 flip3-- flip--
3×	associate-/r/ clear-num cbrt-unprod prod-exp frac-2neg
2×	unswap-sqr pow-prod-down div-sub *-commutative
1×	distribute-lft-out flip-+ flip3-+