Details

rewrite6.7m (29.2%)

Algorithm

159×	rewrite-expression-head

Calls

469 calls:

1.5m	(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
1.4m	(/ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (exp (+ 0.5 (+ (- z) 7.0))))
45.4s	(+ (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))) (/ -1259.1392167224028 (+ (- z) 2.0)))
27.5s	(- (log (+ (+ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))) (/ -1259.1392167224028 (+ (- z) 2.0)))) (+ 0.5 (+ (- z) 7.0)))
25.4s	(* (/ (+ (+ (+ (+ (+ 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))))) x)

Rules

10046×	*-un-lft-identity
9572×	times-frac
7683×	add-sqr-sqrt
6041×	add-cube-cbrt
2373×	add-exp-log
2289×	sqrt-prod
2135×	distribute-lft-out
1848×	add-cbrt-cube
1446×	associate-*r*
1402×	frac-add
1323×	pow1
1243×	prod-diff
929×	associate-*l*
835×	add-log-exp
828×	prod-exp
641×	associate-/l*
617×	unpow-prod-down
595×	flip-+ flip3-+
580×	cbrt-unprod
562×	cbrt-prod
522×	difference-of-squares
501×	associate-/r* div-exp
470×	log1p-expm1-u expm1-log1p-u
392×	div-inv
376×	cube-prod
358×	pow-prod-down
349×	distribute-lft-out--
348×	cbrt-undiv
321×	associate-*r/
276×	associate-/r/
249×	unswap-sqr
242×	distribute-rgt-in distribute-lft-in
212×	log-pow sum-log
194×	frac-times
172×	fma-neg
163×	sqr-pow
151×	fma-def
138×	exp-sum
136×	*-commutative
135×	associate-/l/
132×	associate-*l/
126×	sqrt-div
125×	exp-prod
102×	pow1/3 flip3-- flip--
95×	clear-num frac-2neg
93×	pow-exp
91×	pow-unpow
76×	swap-sqr log-prod
75×	associate--l+
72×	associate--r+
71×	fma-udef
66×	pow-to-exp
64×	sqrt-pow1
62×	cbrt-div sub-neg
61×	1-exp rec-exp
54×	unpow3 cube-mult
49×	diff-log associate--l-
44×	pow-prod-up log-div
42×	pow1/2
37×	distribute-rgt-neg-in
33×	pow-pow
32×	pow-sqr
28×	distribute-lft-neg-in +-commutative
22×	rem-cube-cbrt
21×	rem-sqrt-square pow-plus
18×	cube-div
17×	div-sub
16×	pow2
14×	associate-+l-
12×	hypot-udef
11×	pow-flip
10×	associate-+l+ un-div-inv associate-+r+
9×	inv-pow
8×	sin-sum unpow2 unpow-prod-up
7×	neg-mul-1 rem-log-exp
5×	pow-sub sqrt-undiv cos-sum
4×	exp-diff frac-sub
3×	expm1-log1p expm1-udef neg-sub0 hypot-def associate--r-
2×	associate-+r- pow3 exp-neg distribute-neg-in sub-div rem-cbrt-cube distribute-rgt-neg-out
1×	rem-exp-log sqrt-pow2 log1p-udef sqrt-unprod lft-mult-inverse log1p-expm1 rem-square-sqrt neg-log distribute-rgt-out--