Details

rewrite14.1s (11.7%)

Algorithm

113×	rewrite-expression-head

Calls

336 calls:

1.2s	(+ (+ (* 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)))
614.0ms	(+ (+ (+ (* 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))) (/ 77617.0 (* 2.0 33096.0)))
596.0ms	(* 100.0 (* (/ 1 i) (* (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) n)))
567.0ms	(+ (+ (* 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)))
289.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))

Rules

3334×	add-sqr-sqrt
3295×	*-un-lft-identity
3142×	times-frac
1982×	add-exp-log
1937×	add-cube-cbrt
1658×	add-cbrt-cube
970×	pow1
934×	associate-*r*
763×	add-log-exp
695×	prod-exp
579×	cbrt-unprod
515×	associate-*l*
501×	difference-of-squares
485×	sqrt-prod
457×	div-exp
446×	unpow-prod-down
383×	distribute-lft-out
377×	associate-/r*
330×	cbrt-undiv
304×	distribute-lft-out--
296×	pow-prod-down
279×	flip-+ flip3-+
274×	flip3-- flip--
264×	associate-/r/
243×	associate-*r/
235×	frac-times
234×	sqr-pow
221×	sqrt-div
215×	associate-/l*
201×	div-inv
200×	cbrt-prod
185×	unswap-sqr
178×	associate-*l/
168×	sum-log
115×	associate-/l/
114×	unpow2
100×	sub-neg
95×	*-commutative
88×	swap-sqr
84×	diff-log
80×	cbrt-div
70×	log-prod
66×	distribute-rgt-neg-in
63×	clear-num frac-2neg
58×	distribute-rgt-in distribute-lft-in
51×	pow-exp
50×	rem-sqrt-square
49×	pow-to-exp
48×	cube-prod
46×	sqrt-pow1
45×	frac-add 1-exp rec-exp
42×	distribute-lft-neg-in
40×	pow1/2
39×	+-commutative
38×	log-pow
33×	pow-prod-up
32×	exp-prod
29×	pow-sqr
28×	pow1/3
22×	associate-+l+ frac-sub div-sub
20×	associate-+r+
19×	pow-unpow
18×	pow-plus log-div
14×	pow2 neg-mul-1 associate--l+
13×	unpow3
12×	neg-sub0
11×	cube-mult associate--r+ rem-log-exp
10×	pow-flip
9×	neg-log pow-pow
8×	cube-div inv-pow
7×	associate-+r-
6×	un-div-inv distribute-lft-neg-out exp-to-pow
5×	associate--l- unsub-neg exp-sum
4×	rem-exp-log distribute-frac-neg rem-cbrt-cube associate-+l-
3×	rem-cube-cbrt difference-cubes
2×	exp-diff distribute-lft1-in distribute-neg-in distribute-rgt-out-- associate--r-
1×	cube-unmult sub-div distribute-rgt-out