Details

rewrite166.0ms

Algorithm

5×	rewrite-expression-head

Calls

5 calls:

Slowest

67.0ms	(/ (* (- 4 (* x x)) x) (- 2 x))
42.0ms	(* (- 4 (* x x)) (/ x (- 2 x)))
25.0ms	(* (- 4 (* x x)) x)
15.0ms	(* (+ 2 x) x)
9.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 cbrt-unprod prod-exp expm1-log1p-u log1p-expm1-u 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-+