Details

rewrite1.6m (8.6%)

Algorithm

112×	rewrite-expression-head

Calls

340 calls:

15.3s	(+ (+ (* (* 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))))
14.9s	(+ (+ (* (* 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))))
11.3s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 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))) 6.0)))
10.0s	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 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))) 6.0)))
2.1s	(+ (+ (* 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)))

Rules

7250×	times-frac
5001×	*-un-lft-identity
4938×	add-sqr-sqrt
4559×	cbrt-div
3812×	add-cube-cbrt
3524×	frac-times
3376×	associate-*r/
2694×	flip3-- flip--
1754×	add-exp-log
1648×	add-cbrt-cube
1427×	frac-add
1353×	associate-*l/
1312×	pow1
853×	add-log-exp
787×	log-pow
734×	exp-prod
696×	associate-*l*
655×	associate-*r*
609×	prod-exp
591×	flip-+ flip3-+
560×	cbrt-unprod
453×	div-inv
424×	difference-of-squares
400×	associate-/r*
373×	pow-prod-down
353×	div-exp
352×	distribute-lft-out
345×	associate-/l*
340×	insert-posit16
339×	cbrt-undiv
301×	distribute-lft-out--
277×	associate-/l/
237×	associate-/r/
217×	sqrt-prod
202×	sum-log
154×	cbrt-prod
140×	pow-prod-up
123×	unpow-prod-down
120×	unswap-sqr
114×	sub-neg
107×	swap-sqr
103×	distribute-rgt-neg-in
95×	diff-log
94×	sqrt-div
93×	*-commutative
90×	distribute-lft-neg-in
80×	distribute-rgt-in distribute-lft-in
78×	sqr-pow
71×	log-prod
70×	pow-sqr
67×	associate-+r+ pow-plus
65×	frac-2neg clear-num
63×	frac-sub
62×	sqrt-pow1
54×	+-commutative
44×	pow2
43×	cube-prod
42×	pow1/2
34×	rem-sqrt-square
29×	associate--l+
27×	div-sub
25×	cube-unmult neg-mul-1
23×	associate-+l+ exp-sum
21×	rem-log-exp
18×	exp-to-pow
17×	pow1/3
14×	rem-exp-log
13×	pow-exp pow-to-exp
10×	associate--r+ associate--r-
9×	distribute-neg-frac
8×	1-exp neg-sub0 rec-exp associate--l- sum-cubes
7×	associate-+r- pow3
6×	pow-unpow neg-log
5×	pow-pow
4×	exp-diff distribute-frac-neg associate-+l- log-div
3×	distribute-rgt-neg-out distribute-lft-neg-out difference-cubes un-div-inv rem-cbrt-cube
2×	remove-posit16 unpow3 cube-mult unsub-neg
1×	pow-flip rem-cube-cbrt distribute-lft1-in sqrt-unprod inv-pow rem-square-sqrt distribute-rgt-out distribute-rgt1-in