rewrite6.2s (2.3%)

Algorithm

158×	rewrite-expression-head

Calls

468 calls:

561.0ms	(+ (/ (/ 1 (/ (/ (fma i 2.0 (+ alpha beta)) (+ alpha beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
202.0ms	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
184.0ms	(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
155.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))))
90.0ms	(/ (/ 1 (/ (/ (fma i 2.0 (+ alpha beta)) (+ alpha beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))

Rules

15923×	times-frac
13293×	*-un-lft-identity
10453×	add-sqr-sqrt
8030×	add-cube-cbrt
2713×	add-exp-log
1928×	add-cbrt-cube
1913×	distribute-lft-out
1479×	pow1
1421×	prod-diff
1352×	fma-def
1041×	sqrt-prod
992×	prod-exp
931×	associate-*l*
923×	associate-/l*
808×	difference-of-squares
763×	distribute-lft-out-- associate-/r/
756×	unpow-prod-down
693×	add-log-exp
670×	associate-*r*
654×	div-exp
643×	cbrt-unprod
568×	associate-/r*
535×	div-inv
470×	expm1-log1p-u
469×	log1p-expm1-u
460×	flip-+ flip3-+
446×	pow-prod-down
404×	frac-add
345×	cbrt-undiv
341×	unswap-sqr
287×	cbrt-prod
253×	associate-*r/
211×	log-pow
201×	fma-neg
195×	frac-times
194×	distribute-rgt-in distribute-lft-in
190×	sqr-pow
174×	flip3-- flip--
172×	1-exp
165×	pow-exp
150×	associate-*l/ exp-sum
148×	sqrt-div
144×	sqrt-pow1
136×	associate--l+
129×	cube-prod log-prod
127×	*-commutative
117×	rec-exp
99×	frac-2neg clear-num
96×	pow1/2
90×	swap-sqr
88×	pow1/3
82×	sub-neg
78×	pow-to-exp
75×	diff-log
73×	associate-/l/ cbrt-div
72×	exp-prod
71×	associate--r+
70×	pow-unpow
62×	pow-prod-up
61×	fma-udef
57×	associate-+l-
55×	pow-sub
54×	exp-neg
48×	distribute-rgt-neg-in distribute-lft-neg-in
46×	sum-log
40×	neg-sub0
38×	exp-diff
34×	pow-pow
32×	pow-sqr
28×	unpow3 cube-mult neg-mul-1
27×	rem-sqrt-square
26×	+-commutative
25×	associate-+l+
22×	un-div-inv
19×	pow-flip
17×	rem-exp-log
16×	div-sub
15×	rem-log-exp
14×	associate--l- inv-pow hypot-udef
13×	pow2 pow-plus hypot-def
12×	rem-cube-cbrt
10×	neg-log
9×	frac-sub
6×	cube-div
5×	sqrt-unprod log-div
4×	log1p-udef sin-sum
3×	expm1-def log1p-expm1 difference-of-sqr-1 exp-to-pow
2×	sqrt-pow2 distribute-neg-in unpow-prod-up expm1-log1p rem-square-sqrt rem-cbrt-cube distribute-rgt-neg-out expm1-udef
1×	distribute-lft-neg-out distribute-frac-neg cos-sum associate--r-