Details

rewrite10.6m (49.7%)

Algorithm

144×	rewrite-expression-head

Calls

426 calls:

2.2m	(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
1.5m	(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
1.5m	(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
1.5m	(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
1.2m	(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) 1) (* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))

Rules

15232×	times-frac
12148×	*-un-lft-identity
10497×	add-sqr-sqrt
7651×	add-cube-cbrt
5547×	sqrt-prod
2949×	add-exp-log
2260×	frac-add
2126×	associate-*l*
2023×	distribute-lft-out
1966×	pow1
1786×	add-cbrt-cube
1572×	associate-*r*
1281×	prod-exp
1107×	prod-diff
798×	flip-+ flip3-+
796×	cbrt-prod
787×	associate-/l*
755×	unpow-prod-down
694×	div-exp
619×	associate-*r/
570×	difference-of-squares
568×	frac-times
566×	add-log-exp
556×	exp-sum
536×	cbrt-unprod
466×	unswap-sqr
460×	pow-prod-up
446×	associate-/r*
432×	log1p-expm1-u
429×	div-inv
426×	expm1-log1p-u insert-posit16
420×	associate-/r/
415×	distribute-lft-out--
377×	cbrt-undiv
348×	swap-sqr
341×	pow-prod-down
245×	pow-exp
239×	log-pow
237×	pow-plus
211×	associate-*l/
188×	distribute-rgt-in distribute-lft-in
155×	flip3-- flip--
142×	sqr-pow
140×	pow-to-exp
136×	sqrt-div
131×	*-commutative
127×	fma-neg
115×	unpow-prod-up
114×	1-exp
106×	pow-sqr
101×	sqrt-pow1
92×	sub-neg
86×	frac-2neg rec-exp clear-num
84×	cbrt-div pow2
80×	fma-def pow1/2
77×	associate-/l/
75×	associate--r+
72×	fma-udef
66×	log-prod
53×	pow1/3
48×	associate--l+
45×	diff-log
32×	exp-prod
30×	sum-log
29×	rem-sqrt-square
28×	associate-+l+
24×	cube-unmult
23×	+-commutative div-sub
22×	frac-sub
20×	distribute-rgt1-in distribute-rgt-out
17×	un-div-inv
15×	pow-flip hypot-udef
12×	inv-pow hypot-def
10×	exp-diff associate-+l-
9×	pow-unpow cos-sum
8×	expm1-udef pow-div
7×	expm1-log1p pow3 sqrt-unprod rem-log-exp log-div
6×	pow-pow rem-exp-log rem-square-sqrt
5×	sqrt-undiv log1p-expm1 pow-sub log1p-udef
4×	associate--l- sin-sum associate-+r+ difference-of-sqr-1 expm1-def
2×	associate--r-
1×	distribute-rgt-out--