Details

rewrite165.0ms

Algorithm

5×	rewrite-expression-head

Calls

5 calls:

Slowest

67.0ms	(/ (* (- 4 (* x x)) x) (- 2 x))
43.0ms	(* (- 4 (* x x)) (/ x (- 2 x)))
26.0ms	(* (- 4 (* x x)) x)
14.0ms	(* (+ 2 x) x)
7.0ms	(/ x (- 2 x))

Rules

234×	add-sqr-sqrt
168×	*-un-lft-identity
126×	times-frac
92×	associate-*l*
73×	add-cube-cbrt
70×	difference-of-squares
46×	distribute-lft-out--
45×	associate-*r*
32×	associate-/l*
25×	associate-/r*
22×	frac-times
21×	add-cbrt-cube add-exp-log
18×	unswap-sqr
17×	*-commutative flip3-- flip--
11×	associate-*r/ pow1
8×	associate-*l/ swap-sqr
6×	associate-/r/ clear-num
5×	add-log-exp insert-posit16 prod-exp cbrt-unprod frac-2neg
4×	div-exp cbrt-undiv
3×	pow-prod-down div-inv
2×	un-div-inv associate-/l/
1×	distribute-lft-out flip-+ flip3-+