Details

rewrite50.1s (28.2%)

Algorithm

107×	rewrite-expression-head

Calls

309 calls:

15.3s	(- (/ (/ (pow (pow (+ 1.0 (/ i n)) n) 3) (+ (* 1.0 (+ 1.0 (pow (+ 1.0 (/ i n)) n))) (pow (+ 1.0 (/ i n)) (* 2 n)))) (/ i n)) (/ (/ (pow 1.0 3) (+ (* 1.0 (+ 1.0 (pow (+ 1.0 (/ i n)) n))) (pow (+ 1.0 (/ i n)) (* 2 n)))) (/ i n)))
3.2s	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
3.2s	(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1)) (* (* x1 x1) (- 6.0)))
3.2s	(+ (+ (/ (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 x1) 1.0)) (* (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1) x1)) (* (* x1 x1) (- 6.0)))
2.4s	(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))

Rules

15304×	times-frac
10532×	add-sqr-sqrt
8785×	*-un-lft-identity
5817×	add-cube-cbrt
2484×	unpow-prod-down
2131×	difference-of-squares
1996×	add-exp-log
1344×	cube-prod
1333×	add-cbrt-cube
1256×	sqr-pow
901×	associate-*r*
890×	distribute-lft-out--
761×	add-log-exp
753×	associate-/r/
736×	div-exp
730×	associate-*r/
720×	pow1
643×	div-inv
613×	distribute-lft-out
567×	sqrt-prod
562×	associate-*l*
540×	prod-exp
513×	flip-+ flip3-+
507×	associate-/l*
457×	associate-/r*
378×	cbrt-unprod
351×	frac-times
347×	flip-- flip3--
304×	cbrt-undiv
268×	frac-add
220×	unpow2
210×	associate-*l/
199×	pow-prod-down
190×	unswap-sqr
183×	sum-log
174×	distribute-rgt-neg-in
143×	pow-exp
139×	swap-sqr
132×	distribute-lft-neg-in
120×	cbrt-prod
116×	pow-to-exp
114×	frac-sub
110×	associate-/l/
92×	rec-exp 1-exp
89×	sub-neg
86×	diff-log
81×	sqrt-div
80×	exp-neg
75×	*-commutative
71×	neg-sub0
62×	exp-diff clear-num frac-2neg
57×	distribute-rgt-in distribute-lft-in
54×	difference-cubes
51×	distribute-rgt-out--
49×	cube-div
48×	+-commutative
46×	pow-unpow
44×	neg-mul-1
38×	pow1/2
33×	cbrt-div
27×	div-sub
25×	associate-+l+
24×	un-div-inv pow-prod-up associate-+r+
23×	rem-sqrt-square
22×	sqrt-pow1
19×	pow-pow
17×	pow-plus pow1/3
16×	pow-sqr
14×	distribute-lft-neg-out unpow3 cube-mult associate--l+
12×	log-prod pow2
11×	exp-prod
10×	rem-cube-cbrt associate--l- log-pow associate--r+
8×	neg-log
7×	unsub-neg sqrt-unprod
6×	inv-pow pow-flip distribute-rgt-neg-out
5×	exp-sum rem-cbrt-cube
4×	log-div
3×	associate-+r- distribute-frac-neg distribute-rgt-out
2×	distribute-lft1-in sub-div associate-+l- rem-log-exp
1×	sqrt-undiv rem-exp-log pow3 cube-unmult rem-square-sqrt sum-cubes exp-to-pow