Details

rewrite1.2m

Algorithm

rewrite-expression-head

Rules

624×	frac-add
176×	flip3-+ flip-+
157×	*-un-lft-identity
117×	distribute-lft-out
80×	frac-times associate-*r/
31×	associate-*r*
27×	add-exp-log
20×	associate-*l* add-cbrt-cube
19×	add-sqr-sqrt
14×	prod-exp
12×	add-cube-cbrt
9×	pow1
8×	times-frac div-exp
7×	unpow-prod-down
6×	associate-+l- cbrt-unprod
4×	cbrt-undiv associate-/r* add-log-exp unswap-sqr
3×	pow-to-exp exp-sum associate-*l/ pow-exp
2×	sqrt-pow1 exp-diff pow-prod-down sqrt-prod associate-/r/ *-commutative div-inv pow-sub sqr-pow
1×	unpow-prod-up distribute-rgt-in frac-2neg distribute-lft-in pow1/2 clear-num associate-/l/ associate-/l* distribute-lft-out--

Counts

4 → 286

Calls

4 calls:

1.1m	(* (/ (* (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)))))))
994.0ms	(/ (* (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)))
1.1s	(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
6.0ms	(sqrt (* PI 2.0))