rewrite7.2s (2.7%)

Algorithm

160×	rewrite-expression-head

Calls

475 calls:

1.1s	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
211.0ms	(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ alpha (+ beta (* 1.0 2.0))) (sqrt (+ alpha (+ beta (+ (* alpha beta) 1.0)))))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
153.0ms	(/ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp (+ 7.0 0.5)))
65.0ms	(+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
62.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

18713×	times-frac
18505×	*-un-lft-identity
9224×	add-sqr-sqrt
8095×	add-cube-cbrt
5804×	distribute-lft-out
5413×	sqrt-prod
2171×	add-exp-log
1849×	associate-*r/
1659×	add-cbrt-cube
1613×	flip-+ flip3-+
1572×	pow1
1404×	sqrt-div
1325×	frac-times
1262×	associate-/l*
1245×	frac-add
1083×	associate-*l*
931×	associate-*r*
771×	prod-exp
714×	add-log-exp
649×	associate-/r/
571×	cbrt-div
518×	cbrt-unprod
513×	cbrt-prod
437×	unpow-prod-down
402×	div-exp
383×	associate-/r*
367×	associate-*l/
333×	pow-prod-down
313×	div-inv
291×	unswap-sqr
273×	log-pow
268×	cbrt-undiv
242×	flip-- flip3--
212×	cube-prod
201×	difference-of-squares
178×	sqrt-pow1
175×	swap-sqr
164×	associate-/l/
149×	log-prod
146×	distribute-lft-out--
145×	exp-prod
143×	*-commutative
136×	sqr-pow
124×	pow-prod-up
123×	pow1/2
122×	pow-exp
116×	pow1/3
105×	pow-unpow
101×	distribute-rgt-in distribute-lft-in
100×	exp-sum
96×	sum-log
86×	pow-sqr
82×	clear-num sub-neg frac-2neg
74×	pow-to-exp
71×	pow-pow
58×	frac-sub
55×	+-commutative
54×	rem-sqrt-square pow-plus
43×	pow2
40×	associate--l+
38×	diff-log
36×	1-exp rec-exp
30×	log-div
26×	cube-mult unpow3
25×	distribute-rgt-neg-in exp-diff
20×	rem-log-exp div-sub rem-cube-cbrt
17×	associate-+r+
16×	distribute-neg-frac
13×	cube-div
11×	rem-exp-log
10×	pow-flip
9×	sqrt-unprod
8×	associate-+l-
7×	inv-pow associate--r- associate--r+
6×	sin-sum sum-cubes
5×	associate-+l+ distribute-neg-in unpow2
4×	distribute-rgt-out neg-log sqr-cos-a distribute-rgt1-in cos-mult un-div-inv difference-of-sqr-1
3×	difference-cubes rem-square-sqrt rem-cbrt-cube
2×	neg-sub0 cos-sum associate-+r-
1×	associate--l- exp-to-pow