Details

rewrite1.2s

Algorithm

6×	rewrite-expression-head

Calls

12 calls:

Slowest

272.0ms	(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
207.0ms	(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8))
202.0ms	(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* (* x x) x) 8)))
163.0ms	(/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8))
128.0ms	(/ x (/ (+ (* 2 2) (- (* x x) (* 2 x))) (+ (pow x 3) 8)))

Rules

3307×	*-un-lft-identity
1380×	associate-*l*
1323×	times-frac
1122×	distribute-lft-out
610×	distribute-lft-out--
603×	add-sqr-sqrt
448×	add-cube-cbrt
301×	associate-*r*
175×	associate-/r*
144×	pow1
113×	*-commutative
112×	distribute-rgt-out
77×	associate-/l*
70×	unswap-sqr
68×	associate-/r/
55×	swap-sqr
47×	add-cbrt-cube add-exp-log
42×	pow-prod-up
30×	difference-of-squares
27×	pow-prod-down
24×	distribute-rgt-out-- pow-plus pow-sqr
20×	add-log-exp
18×	flip-+ flip3-+
15×	pow2
13×	div-inv
12×	cbrt-unprod insert-posit16 prod-exp
10×	associate-/l/
9×	div-exp cbrt-undiv
7×	frac-2neg clear-num
3×	flip3-- flip-- sub-neg diff-log
2×	div-sub associate-+r- pow3 associate-*l/
1×	sum-log +-commutative