Details

rewrite48.0ms (0.5%)

Algorithm

4×	rewrite-expression-head

Calls

4 calls:

16.0ms	(/ (* x (- 4 (* x x))) (- 2 x))
14.0ms	(* (+ 2 x) x)
11.0ms	(* x (- 4 (* x x)))
4.0ms	(- 4 (* x x))

Rules

20×	add-sqr-sqrt
16×	*-un-lft-identity
13×	add-cbrt-cube add-exp-log
10×	add-cube-cbrt
8×	pow1
7×	associate-*l* associate-*r*
6×	add-log-exp
5×	associate-/r* times-frac
4×	difference-of-squares insert-posit16 associate-*r/ flip3-- flip--
3×	sub-neg cbrt-unprod prod-exp
2×	associate-/r/ div-exp unswap-sqr distribute-lft-in distribute-rgt-in associate-*l/ associate-/l/ cbrt-undiv *-commutative pow-prod-down distribute-lft-out--
1×	distribute-lft-out frac-2neg clear-num flip-+ div-inv flip3-+ diff-log associate-/l*