Details

rewrite81.0ms

Algorithm

5×	rewrite-expression-head

Calls

7 calls:

Slowest

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

Rules

171×	times-frac
157×	add-sqr-sqrt
132×	*-un-lft-identity
88×	add-cube-cbrt
44×	difference-of-squares
27×	associate-/r*
23×	add-cbrt-cube add-exp-log
21×	distribute-lft-out--
11×	add-log-exp pow1
10×	associate-/l*
8×	associate-*l* div-inv
7×	insert-posit16 flip3-- flip--
6×	div-exp associate-*r* associate-*l/ cbrt-undiv associate-/l/
3×	associate-/r/ clear-num cbrt-unprod prod-exp frac-2neg
2×	sub-neg unswap-sqr pow-prod-down div-sub diff-log *-commutative
1×	distribute-lft-out flip-+ flip3-+