Details

rewrite11.0m (28.9%)

Algorithm

160×	rewrite-expression-head

Calls

506 calls:

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

Rules

132240×	flip-+ flip3-+
122007×	frac-times
114747×	frac-add
72871×	associate-*r/
58068×	associate-*l/
49390×	cube-div
26763×	times-frac
26354×	frac-sub
19675×	associate-/l/
19154×	*-un-lft-identity
13007×	add-sqr-sqrt
11641×	add-cube-cbrt
7867×	flip3-- flip--
3720×	distribute-lft-out
2948×	associate-/r/
2756×	add-exp-log
2189×	cbrt-div
2079×	add-cbrt-cube
1828×	distribute-rgt-neg-in
1824×	distribute-lft-neg-in
1582×	pow1
1470×	sqrt-prod
1291×	associate-*r*
1276×	associate-*l*
1033×	associate-/l*
998×	div-inv
957×	add-log-exp
857×	prod-exp
844×	associate-/r*
773×	div-exp
761×	unpow-prod-down
613×	cbrt-unprod
451×	cbrt-undiv
412×	cbrt-prod
395×	pow-prod-down
359×	distribute-lft-out--
351×	sqrt-div
316×	unswap-sqr
310×	difference-of-squares
303×	neg-mul-1
254×	exp-diff
225×	sum-log
189×	sqr-pow
183×	log-pow
172×	sqrt-pow1
156×	log-prod
153×	*-commutative
132×	sub-div pow-exp
131×	exp-sum
118×	swap-sqr
116×	cube-prod
115×	pow1/2
112×	distribute-rgt-in distribute-lft-in
105×	clear-num frac-2neg
97×	1-exp
95×	pow1/3
90×	sub-neg
73×	pow-to-exp
72×	pow-prod-up
69×	diff-log
67×	rec-exp
66×	rem-sqrt-square
61×	unpow-prod-up
51×	pow-unpow associate-+l+ +-commutative
47×	associate-+r+
45×	pow-plus
42×	pow-sqr
37×	associate--l+
26×	pow-pow
25×	pow2 div-sub
23×	exp-prod
22×	unpow3 cube-mult
20×	rem-cube-cbrt sum-cubes log-div
17×	distribute-neg-frac
14×	associate-+l-
13×	associate--r+
11×	unpow2
10×	rem-exp-log rem-log-exp
9×	associate-+r-
7×	inv-pow pow-flip
6×	un-div-inv sin-sum
5×	pow3 pow-sub associate--l-
3×	distribute-frac-neg neg-sub0
2×	sqrt-unprod distribute-neg-in rem-square-sqrt distribute-rgt-out associate--r- rem-cbrt-cube exp-to-pow
1×	cos-sum sqrt-undiv difference-cubes distribute-lft1-in distribute-rgt-out-- unsub-neg distribute-rgt-neg-out