Details

rewrite110.0ms

Algorithm

5×	rewrite-expression-head

Calls

7 calls:

Slowest

50.0ms	(* (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) (* (cbrt (+ 2 x)) x))
16.0ms	(/ (* x (- 4 (* x x))) (- 2 x))
15.0ms	(* (+ 2 x) x)
13.0ms	(* x (- 4 (* x x)))
2.0ms	(cbrt (+ 2 x))

Rules

60×	cbrt-div
34×	associate-*l/
31×	flip-+ flip3-+
30×	*-un-lft-identity
28×	add-exp-log frac-times
27×	add-sqr-sqrt
23×	pow1
22×	add-cbrt-cube
18×	add-cube-cbrt
12×	associate-*r/ cbrt-prod
11×	cbrt-unprod prod-exp
10×	pow-prod-down
8×	associate-*l* associate-*r*
7×	log1p-expm1-u add-log-exp expm1-log1p-u insert-posit16
6×	prod-diff
5×	distribute-lft-in distribute-rgt-in associate-/r* times-frac
4×	distribute-lft-out
3×	difference-of-squares pow1/3 flip3-- *-commutative flip--
2×	associate-/r/ sub-neg distribute-lft-out-- div-exp unswap-sqr associate-/l/ cbrt-undiv
1×	clear-num div-inv frac-2neg associate-/l*