Details

rewrite1.5s

Algorithm

6×	rewrite-expression-head

Calls

12 calls:

Slowest

1.3s	(/ (* x (fma (* x x) x 8)) (+ (* 2 2) (* (* (cbrt (- (* x x) (* 2 x))) (cbrt (- (* x x) (* 2 x)))) (cbrt (- (* x x) (* 2 x))))))
90.0ms	(/ (* x (fma (* x x) x 8)) (+ (* 2 2) (- (* x x) (* 2 x))))
26.0ms	(/ (fma (* x x) x 8) (- x (- 2 (/ 4 x))))
25.0ms	(- (* x x) (* 2 x))
17.0ms	(- x (- 2 (/ 4 x)))

Rules

942×	*-un-lft-identity
528×	add-sqr-sqrt
481×	associate-*l*
324×	times-frac
293×	add-cube-cbrt
237×	prod-diff
222×	distribute-lft-out
201×	associate-*r*
146×	distribute-lft-out--
83×	unswap-sqr *-commutative
81×	cbrt-prod
73×	swap-sqr
51×	difference-of-squares
41×	associate--r+
32×	distribute-rgt-out--
29×	associate-/r*
28×	add-cbrt-cube add-exp-log
27×	associate-/l*
19×	add-log-exp
18×	fma-neg
16×	pow1
12×	expm1-log1p-u insert-posit16 log1p-expm1-u
6×	cbrt-div flip-- flip3-- associate-/r/ div-inv
5×	div-exp cbrt-undiv
4×	cbrt-unprod prod-exp fma-udef diff-log
3×	flip3-+ frac-2neg sub-neg pow1/3 clear-num flip-+
2×	pow-prod-down associate-*l/
1×	distribute-lft-in distribute-rgt-in associate--r-