Details

rewrite9.3m (38.5%)

Algorithm

163×	rewrite-expression-head

Calls

510 calls:

1.2m	(* (/ (* (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))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
1.2m	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
54.2s	(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
44.1s	(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))
43.2s	(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.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)))))))

Rules

33690×	times-frac
23195×	*-un-lft-identity
15714×	add-sqr-sqrt
14223×	add-cube-cbrt
8506×	frac-add
4766×	distribute-lft-out
3911×	flip-+ flip3-+
3738×	add-exp-log
3345×	associate-*r/
2644×	frac-times
2370×	add-cbrt-cube
1901×	pow1
1785×	sqrt-prod
1447×	associate-/l*
1434×	div-exp
1401×	associate-/r/
1399×	associate-*l*
1395×	div-inv
1372×	associate-*r*
1214×	prod-exp
849×	add-log-exp
789×	cbrt-unprod
773×	associate-/r*
696×	unpow-prod-down
684×	associate-*l/
582×	pow-prod-down
488×	cbrt-undiv
427×	cbrt-prod
352×	unswap-sqr
341×	associate-+l-
331×	pow-sub
326×	frac-sub
319×	flip3-- flip--
305×	log-pow
288×	1-exp
286×	difference-of-squares
276×	sqrt-div
252×	cbrt-div
246×	distribute-lft-out--
234×	sqrt-pow1
233×	exp-sum
189×	rec-exp
176×	cube-prod
165×	sum-log
162×	sqr-pow
161×	*-commutative
146×	sub-neg
144×	pow1/2
138×	associate-/l/
132×	swap-sqr
127×	pow-exp
117×	distribute-rgt-in distribute-lft-in
99×	frac-2neg clear-num
95×	log-prod
94×	pow1/3
91×	pow-to-exp
69×	pow-unpow
67×	rem-sqrt-square
60×	pow-prod-up
56×	+-commutative unpow-prod-up
44×	exp-prod
42×	pow-sqr
41×	diff-log
33×	pow-pow
31×	unpow3 cube-mult
23×	exp-diff rem-cube-cbrt
22×	pow-plus
19×	distribute-rgt-neg-in
18×	associate-+r+ pow2
17×	associate--l+
16×	cube-div div-sub
12×	sub-div log-div
11×	inv-pow pow-flip
10×	un-div-inv rem-exp-log
9×	associate-+r-
8×	associate-+l+ difference-of-sqr--1 associate--r+ rem-log-exp
7×	exp-to-pow
6×	distribute-neg-in
5×	unpow2
4×	sqrt-unprod rem-square-sqrt neg-sub0
3×	sin-sum rem-cbrt-cube
2×	pow-div sqrt-undiv unsub-neg
1×	cos-sum difference-cubes sqrt-pow2 pow3 distribute-rgt-out-- associate--r- associate--l-