Details

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

320×	times-frac
289×	add-sqr-sqrt
198×	*-un-lft-identity
140×	add-cube-cbrt
96×	associate-*r*
84×	difference-of-squares
32×	unpow-prod-down
29×	sqr-pow
28×	distribute-lft-out--
19×	add-exp-log
18×	add-cbrt-cube
17×	div-inv
13×	associate-/r*
7×	pow1 associate-/l*
6×	cbrt-undiv div-exp add-log-exp
3×	pow-unpow associate-*l* prod-exp cbrt-unprod unswap-sqr
2×	flip3-- associate-/r/ flip-- associate-/l/
1×	pow-to-exp sub-neg pow-pow frac-2neg diff-log div-sub associate-*r/ pow-prod-down pow-exp clear-num *-commutative distribute-lft-out

Counts

4 → 281

Calls

4 calls:

443.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
214.0ms	(- (pow (+ 1.0 (/ i n)) n) 1.0)
25.0ms	(pow (+ 1.0 (/ i n)) n)
401.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))