rewrite1.9m (19.7%)

Algorithm

159×	rewrite-expression-head

Calls

466 calls:

22.3s	(* (* (/ 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))))))
761.0ms	(* (/ (/ (* (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
207.0ms	(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ wj (+ wj 1)))
162.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)))
138.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)))

Rules

1654753×	frac-times
1295897×	associate-*l/
876509×	associate-*r/
785374×	frac-add
23606×	times-frac
17386×	flip-+ flip3-+
16864×	*-un-lft-identity
12214×	add-sqr-sqrt
10438×	add-cube-cbrt
4933×	sqrt-prod
3126×	distribute-lft-out
2528×	add-exp-log
2026×	add-cbrt-cube
1907×	associate-*r*
1805×	pow1
1246×	associate-/r/
1158×	cbrt-prod
1068×	associate-*l*
946×	associate-/l*
883×	prod-exp
749×	associate-/r*
726×	add-log-exp
675×	div-inv
628×	div-exp
626×	cbrt-unprod
474×	pow-prod-down
449×	cbrt-undiv
371×	difference-of-squares
369×	unswap-sqr
336×	unpow-prod-down
324×	log-pow
273×	distribute-lft-out--
270×	sqrt-pow1
235×	sqrt-div
201×	swap-sqr
199×	log-prod
183×	cbrt-div
182×	cube-prod
156×	*-commutative
150×	pow1/2
144×	associate-/l/
143×	flip-- flip3--
131×	sqr-pow
120×	cube-div
106×	pow-exp
91×	pow1/3
89×	diff-log pow-prod-up
84×	exp-neg
83×	distribute-rgt-in frac-2neg sub-neg clear-num distribute-lft-in
82×	exp-diff
75×	pow-to-exp
72×	neg-sub0
66×	1-exp
65×	pow-sqr rec-exp
61×	pow-unpow
58×	sum-log
54×	associate--l+
47×	associate-+l-
46×	rem-sqrt-square
39×	exp-prod exp-sum
38×	pow-sub
34×	pow-plus +-commutative
29×	rem-cube-cbrt pow-pow
28×	pow2
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×	distribute-rgt-out-- unpow-prod-up rem-square-sqrt
3×	distribute-lft-neg-in distribute-lft-neg-out distribute-rgt-neg-in
2×	difference-cubes sum-cubes exp-to-pow
1×	cos-sum associate-+r- pow3 sub-div unsub-neg distribute-rgt-out neg-mul-1