Details

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

62×	add-sqr-sqrt
55×	times-frac
49×	*-un-lft-identity
46×	add-exp-log
43×	add-cube-cbrt
23×	associate-*l* sqrt-prod
22×	prod-exp
19×	pow-unpow
16×	add-cbrt-cube
15×	pow1
9×	pow-exp
8×	associate-*r*
6×	div-exp pow-prod-down associate-/r* unswap-sqr
5×	cbrt-unprod sqr-pow
4×	add-log-exp
3×	pow-to-exp pow-pow div-sub div-inv associate-/l* distribute-lft-out-- pow-sub difference-of-squares
2×	cbrt-undiv unpow-prod-down *-commutative
1×	frac-times frac-2neg associate-*r/ associate-*l/ clear-num

Counts

4 → 149

Calls

4 calls:

55.0ms	(* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0)))
31.0ms	(* (* 2.0 PI) n)
6.0ms	(/ 1.0 (sqrt k))
29.0ms	(pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))