Details

rewrite5.2m

Algorithm

rewrite-expression-head

Rules

666×	frac-add
139×	*-un-lft-identity
138×	flip3-+ flip-+
137×	frac-times associate-*r/
87×	distribute-lft-out add-log-exp
67×	sum-log
51×	associate-*l*
44×	times-frac
37×	add-exp-log
25×	add-cbrt-cube
24×	add-sqr-sqrt add-cube-cbrt unpow-prod-down
20×	prod-exp
13×	div-exp
12×	pow1
11×	exp-sum
10×	cbrt-unprod
5×	cbrt-undiv
4×	unpow-prod-up distribute-rgt-in associate-+r- distribute-rgt-neg-in distribute-lft-in pow-prod-down sqr-pow
3×	pow-to-exp exp-diff associate-*l/ pow-exp associate-/r/
2×	+-commutative associate-+r+ sqrt-pow1
1×	neg-sub0 pow1/2 associate-*r* unsub-neg sqrt-prod *-commutative div-inv

Counts

4 → 324

Calls

4 calls:

1.6m	(+ (/ -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))))))
392.0ms	(+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))))
3.7m	(* (/ (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))))))))
7.0ms	(sqrt (* PI 2.0))