Details

rewrite44.0ms (0.4%)

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

Slowest

15.0ms	(/ (* (- 4 (* x x)) x) (- 2 x))
13.0ms	(* (+ 2 x) x)
11.0ms	(* (- 4 (* x x)) x)

Rules

18×	add-sqr-sqrt
15×	*-un-lft-identity
12×	add-cbrt-cube add-exp-log
9×	add-cube-cbrt
8×	associate-*l*
7×	pow1
6×	associate-*r* associate-*l/
5×	associate-/r* times-frac
3×	add-log-exp difference-of-squares cbrt-unprod insert-posit16 flip3-- prod-exp flip--
2×	associate-/r/ div-exp unswap-sqr pow-prod-down associate-/l/ cbrt-undiv *-commutative distribute-lft-out--
1×	distribute-lft-out clear-num flip-+ associate-/l* div-inv flip3-+ frac-2neg