Details

rewrite13.2s (9.6%)

Algorithm

112×	rewrite-expression-head

Calls

322 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)))
595.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)))
554.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)))
483.0ms	(+ (* (* (* 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)) (+ (* (* x1 x1) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (- 6.0))))
305.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))

Rules

4336×	times-frac
4164×	*-un-lft-identity
4055×	add-sqr-sqrt
2498×	add-cube-cbrt
1590×	add-exp-log
1325×	add-cbrt-cube
986×	associate-*r*
930×	unpow-prod-down
786×	cbrt-prod
766×	add-log-exp
712×	pow1
689×	sqrt-prod
580×	difference-of-squares
508×	distribute-lft-out
489×	prod-exp
481×	associate-/r*
480×	associate-*l*
401×	cbrt-unprod
395×	cube-prod
375×	div-exp
357×	distribute-lft-out--
303×	sqr-pow
288×	flip-+ flip3-+
286×	cbrt-undiv
236×	associate-/r/
228×	associate-/l*
215×	associate-*r/
213×	div-inv
212×	flip-- flip3--
187×	unswap-sqr
176×	sum-log
162×	frac-times
146×	pow-prod-down
127×	distribute-rgt-neg-in
125×	cbrt-div
113×	associate-*l/
106×	associate-/l/
105×	swap-sqr
104×	sub-neg
103×	distribute-lft-neg-in
92×	sqrt-div
88×	diff-log
87×	pow-exp
80×	frac-add
77×	pow-unpow
72×	*-commutative
69×	unpow2
65×	pow-to-exp
54×	clear-num frac-2neg
53×	distribute-rgt-in distribute-lft-in
51×	unpow3 cube-mult
46×	+-commutative
39×	pow1/3
37×	frac-sub
35×	cube-div pow-prod-up neg-mul-1
34×	associate-+l+ pow-pow
32×	log-prod
29×	pow1/2 sqrt-pow1
27×	associate-+r+
25×	associate--l+ 1-exp
24×	pow-plus
22×	rem-cube-cbrt rec-exp
20×	rem-sqrt-square
19×	pow-sqr
18×	sum-cubes div-sub
16×	pow2
12×	associate--l- log-div
11×	neg-sub0
10×	associate--r+
9×	un-div-inv log-pow neg-log
8×	rem-cbrt-cube
7×	difference-cubes
5×	distribute-lft-neg-out inv-pow pow-flip exp-prod associate-+r-
4×	unsub-neg exp-sum
3×	distribute-frac-neg associate--r- associate-+l- rem-log-exp
2×	exp-diff distribute-lft1-in pow3 distribute-rgt-out-- distribute-rgt-out distribute-rgt-neg-out
1×	sqrt-pow2 rem-exp-log unpow1/3 sqrt-unprod cube-unmult sub-div rem-square-sqrt exp-to-pow