Details

rewrite6.6s (2.3%)

Algorithm

153×	rewrite-expression-head

Calls

444 calls:

430.0ms	(+ (/ (/ 1 (/ (/ (fma i 2.0 (+ alpha beta)) (+ alpha beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)
159.0ms	(* (* (exp (log (* (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 (* 1 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))))
156.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 (* 1 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))))
93.0ms	(/ (/ 1 (/ (/ (fma i 2.0 (+ alpha beta)) (+ alpha beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))
72.0ms	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

Rules

17859×	times-frac
15348×	*-un-lft-identity
11710×	add-sqr-sqrt
9018×	add-cube-cbrt
2845×	add-exp-log
2482×	prod-diff
2353×	distribute-lft-out
2018×	add-cbrt-cube
1490×	pow1
1306×	fma-def
1280×	sqrt-prod
1259×	unpow-prod-down
1032×	prod-exp
1002×	cube-prod
1000×	associate-*l*
989×	difference-of-squares
959×	distribute-lft-out--
923×	associate-/r/
865×	associate-/l*
784×	frac-add
762×	div-exp
757×	associate-*r*
749×	associate-/r*
690×	add-log-exp
636×	cbrt-unprod
602×	flip-+ flip3-+
591×	div-inv
444×	log1p-expm1-u expm1-log1p-u
443×	cbrt-undiv
435×	cbrt-prod
421×	pow-prod-down
359×	associate-*r/
319×	frac-times
303×	unswap-sqr
301×	fma-neg
231×	sqr-pow
225×	log-pow
218×	distribute-rgt-in distribute-lft-in
172×	1-exp
170×	associate--l+
163×	exp-sum
162×	flip3-- flip--
161×	sqrt-div
157×	log-prod
143×	associate-*l/
136×	*-commutative unpow3 cube-mult
134×	sqrt-pow1
128×	exp-diff
108×	associate-+l-
106×	pow-sub
104×	exp-neg rec-exp
96×	pow-exp
93×	sub-neg
90×	pow1/2
88×	diff-log
85×	associate--r+
83×	clear-num frac-2neg
81×	swap-sqr
78×	pow1/3
76×	associate-/l/ exp-prod
72×	neg-sub0
71×	cbrt-div
60×	log-div
52×	pow-prod-up
49×	sum-log
46×	pow-unpow fma-udef
45×	pow-to-exp
40×	un-div-inv
39×	distribute-rgt-neg-in distribute-lft-neg-in
36×	rem-sqrt-square pow-plus
30×	pow-sqr
26×	+-commutative
25×	neg-mul-1
23×	pow-flip
20×	pow2
18×	rem-exp-log hypot-def
17×	associate--l-
16×	associate-+l+
13×	inv-pow rem-log-exp
12×	pow-pow
11×	div-sub
10×	neg-log
7×	sqrt-unprod
6×	pow-div cube-div
5×	associate-+r+
4×	rem-cube-cbrt pow3 sin-sum distribute-neg-in frac-sub
3×	unpow-prod-up hypot-udef rem-cbrt-cube distribute-rgt-neg-out
2×	difference-cubes rem-square-sqrt
1×	sqrt-pow2 expm1-log1p cos-sum associate--r- expm1-udef