Details

rewrite12.5m (39.4%)

Algorithm

151×	rewrite-expression-head

Calls

442 calls:

3.3m	(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (exp z)) (* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (exp (- -6))) (* (/ (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)))))))
2.3m	(* (/ (* (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.6m	(* (/ (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.3m	(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6))) (* (/ (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))))))
17.2s	(* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (pow (fabs x) -2) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))

Rules

2907757×	frac-times
2178468×	associate-*l/
1608045×	associate-*r/
1559390×	frac-add
577526×	un-div-inv
24089×	flip-+ flip3-+
18905×	times-frac
13003×	*-un-lft-identity
11120×	add-sqr-sqrt
9315×	add-cube-cbrt
5972×	sqrt-prod
3419×	add-exp-log
2801×	pow1
2305×	add-cbrt-cube
1647×	associate-*l*
1613×	distribute-lft-out
1442×	prod-exp
1171×	associate-*r*
1035×	prod-diff
922×	cbrt-unprod
852×	div-exp
806×	pow-prod-down
599×	associate-/l*
587×	add-log-exp
584×	div-inv
552×	pow-prod-up
551×	associate-/r/
513×	associate-/r*
439×	expm1-log1p-u insert-posit16 log1p-expm1-u
412×	cbrt-undiv
399×	exp-sum
365×	difference-of-squares
354×	unswap-sqr
310×	log-pow
260×	distribute-lft-out--
250×	swap-sqr
249×	pow-plus
220×	sqrt-pow1
204×	flip3-- flip--
189×	1-exp cbrt-prod
185×	rec-exp
175×	unpow-prod-down
167×	distribute-rgt-in distribute-lft-in
164×	fma-neg
160×	sqrt-div
154×	pow-sqr
150×	*-commutative
132×	cbrt-div
127×	log-prod
115×	pow1/2
94×	pow2
93×	sub-neg
86×	pow1/3
84×	frac-2neg clear-num
81×	pow-flip
78×	inv-pow
75×	associate-/l/
67×	fma-udef
64×	fma-def
51×	diff-log
50×	associate--l+ sqr-pow
45×	pow-exp
40×	rem-sqrt-square
30×	unpow-prod-up
29×	exp-prod
28×	sum-log pow-to-exp
26×	cube-unmult
24×	associate-+l+
22×	frac-sub
20×	div-sub
18×	distribute-rgt-out
16×	+-commutative
15×	hypot-def
14×	distribute-rgt1-in associate--r+
12×	exp-diff
11×	rem-log-exp
9×	pow3 pow-unpow log-div
8×	associate-+l-
7×	sqrt-unprod
6×	associate--l- pow-pow
5×	distribute-rgt-out-- rem-square-sqrt cos-sum
4×	sin-sum difference-of-sqr-1 exp-to-pow rem-exp-log expm1-def
3×	distribute-lft-neg-in pow-sub distribute-rgt-neg-in count-2
2×	rem-cbrt-cube
1×	expm1-log1p expm1-udef distribute-lft-neg-out distribute-lft1-in neg-mul-1 associate--r-