Details

rewrite16.1s (7.8%)

Algorithm

102×	rewrite-expression-head

Calls

278 calls:

1.4s	(* 100.0 (* (/ 1 i) (* (- (pow (+ 1.0 (/ i n)) n) 1.0) n)))
593.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
583.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
579.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
562.0ms	(* (/ 1 i) (* (- (pow (+ 1.0 (/ i n)) n) 1.0) n))

Rules

14387×	times-frac
12718×	*-un-lft-identity
11161×	add-sqr-sqrt
9902×	add-cube-cbrt
7139×	prod-diff
1695×	add-exp-log
1430×	unpow-prod-down
1410×	distribute-rgt-in distribute-lft-in
1300×	add-cbrt-cube
1092×	distribute-lft-out
1012×	associate-+r+
916×	div-inv
665×	pow1
621×	associate-*r*
610×	associate-*l*
600×	prod-exp
590×	add-log-exp
511×	sqr-pow
485×	cube-prod
466×	difference-of-squares
432×	div-exp
389×	cbrt-unprod
353×	associate-/r/
352×	distribute-lft-out--
345×	associate-/r*
328×	associate-/l*
300×	cbrt-undiv
296×	fma-neg
278×	log1p-expm1-u expm1-log1p-u
274×	sqrt-prod
261×	flip-+ flip3-+
171×	distribute-rgt-neg-in
168×	frac-times
159×	unpow3 cube-mult
153×	flip3-- flip--
152×	pow-prod-down fma-def associate-*r/
136×	unswap-sqr
130×	sum-log
118×	frac-sub
113×	associate-*l/
93×	1-exp
90×	log-pow swap-sqr
88×	distribute-lft-neg-in
83×	cbrt-prod
77×	exp-neg
73×	*-commutative
67×	neg-sub0 sub-neg
62×	clear-num frac-2neg
58×	exp-diff
57×	exp-prod diff-log log-prod
51×	rec-exp
39×	fma-udef sqrt-div associate-/l/
35×	unpow2
30×	+-commutative neg-mul-1
23×	pow-to-exp pow-exp
22×	un-div-inv
21×	div-sub
19×	frac-add
18×	pow-prod-up log-div
17×	pow1/3 pow-plus
14×	associate-+l+ pow-sqr
13×	pow1/2 rem-sqrt-square pow2 sqrt-pow1
12×	pow-flip
9×	pow-unpow associate--r+
8×	inv-pow neg-log associate--l+ rem-log-exp
7×	sub-div associate--l-
6×	cbrt-div distribute-rgt-out-- associate-+l-
5×	distribute-lft-neg-out
4×	cube-div associate--r-
3×	associate-+r- distribute-frac-neg rem-cbrt-cube pow-pow
2×	rem-exp-log
1×	rem-cube-cbrt pow3 distribute-rgt-out exp-sum