Details

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

320×	times-frac
305×	add-sqr-sqrt
222×	*-un-lft-identity
156×	add-cube-cbrt
96×	associate-*r*
84×	difference-of-squares
48×	unpow-prod-down
33×	sqr-pow
28×	distribute-lft-out--
24×	prod-diff
19×	add-exp-log
18×	add-cbrt-cube
17×	div-inv
13×	associate-/r*
8×	fma-neg
7×	pow1 associate-/l*
6×	cbrt-undiv div-exp add-log-exp
5×	distribute-lft-out
4×	expm1-log1p-u log1p-expm1-u
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

Counts

4 → 321

Calls

4 calls:

363.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
338.0ms	(- (pow (+ 1.0 (/ i n)) n) 1.0)
32.0ms	(pow (+ 1.0 (/ i n)) n)
444.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))