Details

rewrite1.9m (9.6%)

Algorithm

108×	rewrite-expression-head

Calls

316 calls:

23.1s	(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))
22.8s	(+ (+ (* (* x x) (- (- (- (* 11.0 (* (* x y) (* x y))) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* (pow y 6.0) 333.75)) (+ (* (pow y 8.0) 5.5) (/ x (* y 2.0))))
2.7s	(* (* w r) (* (/ (* (cbrt (- 3.0 (* v 2.0))) (cbrt (- 3.0 (* v 2.0)))) (* (cbrt (/ (- 1.0 v) 0.125)) (cbrt (/ (- 1.0 v) 0.125)))) (* (* (/ (cbrt (- 3.0 (* v 2.0))) (cbrt (/ (- 1.0 v) 0.125))) w) r)))
2.7s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
2.6s	(/ (log (exp (- (pow (+ (/ i n) 1.0) n) 1.0))) (/ i n))

Rules

5500×	times-frac
4181×	*-un-lft-identity
3970×	add-sqr-sqrt
3046×	add-cube-cbrt
2160×	add-exp-log
1746×	add-cbrt-cube
1172×	pow1
980×	prod-exp
948×	cbrt-unprod
866×	add-log-exp
769×	cbrt-prod
743×	associate-*l*
698×	associate-*r*
581×	associate-*r/
479×	frac-times
475×	flip3-- flip--
471×	cbrt-div
420×	flip-+ flip3-+
402×	distribute-lft-out
397×	div-exp
382×	cbrt-undiv
349×	difference-of-squares
316×	insert-posit16
310×	pow-prod-down
297×	div-inv
293×	distribute-rgt-neg-in
290×	associate-*l/
283×	distribute-lft-neg-in
281×	associate-/l*
272×	frac-add
234×	associate-/r*
232×	sum-log sqrt-prod
194×	distribute-lft-out--
182×	associate-/r/
168×	exp-prod
165×	frac-sub
158×	log-pow
149×	pow-prod-up
126×	swap-sqr
116×	sub-neg
111×	unswap-sqr
100×	unpow-prod-down
95×	diff-log pow-sqr
89×	associate-+r+
81×	sqrt-div neg-mul-1
77×	*-commutative
75×	pow-plus
74×	exp-neg
71×	sqr-pow associate-/l/
67×	neg-sub0
66×	distribute-rgt-in distribute-lft-in
63×	log-prod
62×	+-commutative
59×	exp-diff
57×	sqrt-pow1
56×	pow2
46×	frac-2neg clear-num
37×	pow1/2
36×	cube-unmult
34×	associate-+l+ pow1/3
23×	div-sub
21×	un-div-inv
20×	associate--l+ associate--r-
19×	log-div
18×	rem-sqrt-square
17×	sum-cubes
14×	pow3 associate--r+
13×	rem-log-exp
12×	pow-exp pow-to-exp
11×	1-exp rec-exp
9×	pow-unpow
8×	distribute-frac-neg
7×	neg-log associate--l- distribute-rgt-out--
5×	associate-+r- difference-cubes rem-exp-log
4×	pow-flip remove-posit16 cube-prod exp-sum inv-pow exp-to-pow rem-cbrt-cube
3×	pow-pow distribute-neg-frac associate-+l- distribute-rgt-out
2×	distribute-lft1-in sub-div distribute-lft-neg-out
1×	distribute-rgt-neg-out unpow3 sqrt-unprod rem-square-sqrt cube-mult unsub-neg