Details

rewrite1.9m (10.5%)

Algorithm

155×	rewrite-expression-head

Calls

474 calls:

22.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))))))
466.0ms	(* (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (sqrt (+ (+ (+ 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))))
159.0ms	(* (* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))) (exp (- (+ (+ (- z 1.0) 7.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))))
152.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.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))))
150.0ms	(* (* (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (exp (- (+ (+ (- z 1.0) 7.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))))

Rules

1656104×	frac-times
1296529×	associate-*l/
878350×	associate-*r/
787822×	frac-add
18669×	flip-+ flip3-+
18423×	times-frac
13563×	*-un-lft-identity
10504×	add-sqr-sqrt
8753×	add-cube-cbrt
3179×	sqrt-prod
2576×	add-exp-log
2251×	distribute-lft-out
2195×	associate-*r*
2147×	add-cbrt-cube
1674×	pow1
1173×	cbrt-div
1100×	associate-*l*
1094×	associate-/l*
926×	associate-/r/
897×	prod-exp
764×	add-log-exp
700×	cbrt-unprod
595×	div-exp
570×	sqrt-div
511×	div-inv
484×	associate-/r*
483×	cbrt-prod
467×	pow-prod-down
431×	cbrt-undiv
390×	difference-of-squares
362×	exp-neg
361×	unswap-sqr
346×	unpow-prod-down
313×	swap-sqr
255×	distribute-lft-out--
232×	log-pow
204×	exp-diff
196×	neg-sub0
184×	cube-prod
158×	*-commutative
150×	sqrt-pow1
142×	sqr-pow
136×	exp-prod
127×	cube-div flip3-- flip--
126×	un-div-inv
119×	associate-/l/
107×	pow-exp
104×	mul-1-neg
103×	log-prod
100×	pow1/2
95×	sum-log
90×	distribute-rgt-in distribute-lft-in
85×	frac-2neg sub-neg clear-num
79×	pow-unpow
77×	pow-to-exp
74×	pow1/3
66×	1-exp rec-exp
61×	pow-prod-up
60×	diff-log
55×	associate-+l-
54×	pow-sub +-commutative
50×	rem-sqrt-square
49×	pow-sqr
44×	pow-pow
37×	unpow3 cube-mult
32×	distribute-rgt-neg-in
31×	rem-cube-cbrt
30×	distribute-lft-neg-in pow-plus
28×	exp-sum
26×	pow2
25×	rem-exp-log
22×	unpow2 associate--l+
19×	pow-flip
18×	div-sub frac-sub
17×	neg-log
16×	associate-+l+
15×	associate-+r+
14×	distribute-rgt1-in distribute-rgt-out
12×	inv-pow
11×	log-div
9×	rem-log-exp
8×	associate--l- distribute-neg-in
7×	sin-sum
6×	sqrt-unprod unpow-prod-up neg-mul-1 associate--r+
4×	sub-div rem-cbrt-cube distribute-neg-frac
2×	difference-cubes distribute-rgt-out-- rem-square-sqrt sum-cubes distribute-rgt-neg-out exp-to-pow
1×	cos-sum associate-+r- pow3 unsub-neg sqrt-undiv associate--r-