rewrite1.9m (15.7%)

Algorithm

158×	rewrite-expression-head

Calls

462 calls:

24.7s	(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (/ 1.0 (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
151.0ms	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
150.0ms	(* (* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (- z 1.0) 7.0))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ 1 (exp 0.5)))
149.0ms	(/ (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
144.0ms	(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (- z 1.0) 7.0))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))

Rules

1654748×	frac-times
1295894×	associate-*l/
876502×	associate-*r/
785358×	frac-add
21630×	times-frac
17339×	flip-+ flip3-+
15761×	*-un-lft-identity
11201×	add-sqr-sqrt
9725×	add-cube-cbrt
4933×	sqrt-prod
2934×	distribute-lft-out
2439×	add-exp-log
1979×	add-cbrt-cube
1804×	pow1
1286×	associate-*r*
1154×	associate-/r/
975×	associate-*l*
945×	associate-/l*
862×	prod-exp
746×	associate-/r*
718×	add-log-exp
637×	div-inv
605×	cbrt-unprod
582×	div-exp
474×	pow-prod-down
411×	cbrt-prod
403×	cbrt-undiv
371×	difference-of-squares
324×	log-pow
320×	unpow-prod-down
309×	unswap-sqr
273×	distribute-lft-out--
270×	sqrt-pow1
235×	sqrt-div
208×	swap-sqr
199×	log-prod
177×	cbrt-div
166×	cube-prod
155×	*-commutative
150×	pow1/2
142×	associate-/l/
134×	flip-- flip3--
131×	sqr-pow
120×	cube-div
106×	pow-exp
97×	pow1/3
91×	pow-prod-up
88×	diff-log
84×	exp-neg
82×	exp-diff distribute-rgt-in frac-2neg sub-neg clear-num distribute-lft-in
75×	pow-to-exp
72×	neg-sub0
67×	pow-sqr
66×	1-exp
65×	rec-exp
61×	pow-unpow
57×	sum-log
54×	associate--l+
47×	associate-+l-
46×	rem-sqrt-square
39×	exp-prod exp-sum
38×	pow-sub
35×	pow-plus
33×	+-commutative
29×	rem-cube-cbrt pow2 pow-pow
27×	unpow3 cube-mult
21×	un-div-inv
18×	div-sub
17×	associate-+l+
16×	associate--l-
15×	log-div
14×	associate-+r+ rem-log-exp
12×	sin-sum
10×	rem-exp-log associate--r+
9×	inv-pow pow-flip unpow2
6×	sqrt-unprod frac-sub
5×	rem-cbrt-cube
4×	rem-square-sqrt unpow-prod-up
3×	distribute-lft-neg-in distribute-lft-neg-out distribute-rgt-out-- distribute-rgt-neg-in
2×	difference-cubes exp-to-pow
1×	cos-sum associate-+r- pow3 sub-div unsub-neg distribute-rgt-out neg-mul-1