Details

rewrite22.6s (9.6%)

Algorithm

124×	rewrite-expression-head

Calls

416 calls:

1.8s	(- (pow eps 2) (/ (- (/ (/ (/ (pow eps 4) (pow 1.0 2)) 1.0) 1.0) (pow eps 2)) (- (/ (pow eps 2) (pow 1.0 2)) eps)))
1.4s	(/ (- (/ (/ (/ (pow eps 4) (pow 1.0 2)) 1.0) 1.0) (pow eps 2)) (- (/ (pow eps 2) (pow 1.0 2)) eps))
816.0ms	(/ (* (cbrt (- (/ (/ (/ (pow eps 4) (pow 1.0 2)) 1.0) 1.0) (pow eps 2))) (cbrt (- (/ (/ (/ (pow eps 4) (pow 1.0 2)) 1.0) 1.0) (pow eps 2)))) (+ (/ eps (sqrt (pow 1.0 2))) (sqrt eps)))
662.0ms	(- 1.0 (- (+ 1.0 (+ (/ 0.16666666666666669 (pow n 2)) (* 1.0 (log (/ 1 n))))) (/ 0.5 n)))
616.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)

Rules

13339×	add-sqr-sqrt
11904×	times-frac
5989×	*-un-lft-identity
3595×	difference-of-squares
3407×	add-cube-cbrt
2899×	sqrt-prod
2589×	unpow-prod-down
2133×	sqr-pow
1558×	add-exp-log
1434×	unpow2
1102×	add-cbrt-cube
931×	associate-*r*
818×	add-log-exp
813×	associate-*l*
734×	pow1
719×	distribute-lft-out
644×	distribute-lft-out--
556×	associate-/l*
470×	associate-/r*
410×	cbrt-prod
397×	div-exp
391×	prod-exp
359×	cube-prod
304×	unswap-sqr
264×	associate-*l/
259×	flip-- flip3--
232×	flip-+ flip3-+
230×	cbrt-undiv
221×	div-inv
215×	cbrt-unprod
213×	cbrt-div
200×	associate-/r/
168×	associate-*r/
161×	sqrt-pow1
156×	associate-/l/
146×	frac-times
141×	log-prod diff-log
128×	sub-neg
126×	frac-add
118×	sqrt-div
107×	swap-sqr
101×	pow-to-exp pow-exp
97×	pow-prod-down
85×	clear-num frac-2neg
83×	distribute-rgt-neg-in
81×	pow1/2
78×	log-pow
77×	*-commutative
67×	sum-log
66×	pow1/3
59×	1-exp
54×	exp-prod
53×	rec-exp
41×	pow-unpow
37×	distribute-rgt-in +-commutative distribute-lft-in
34×	pow-prod-up
31×	rem-sqrt-square
30×	pow-flip
29×	tan-quot
28×	associate-+l+
27×	exp-sum frac-sub exp-to-pow
26×	pow-sqr
25×	difference-cubes
24×	complex-mul-def
23×	div-sub
22×	associate--l+
21×	associate--r+
20×	log-div
18×	neg-sub0
17×	associate--l-
15×	unpow3 cube-mult
14×	neg-log inv-pow
13×	rem-log-exp
11×	pow-pow rem-exp-log
10×	pow-div associate-+l-
9×	pow2 pow-plus sin-mult cos-mult
7×	sqrt-unprod
6×	rem-cube-cbrt *.c-commutative difference-of-sqr-1 associate-+r+
4×	cube-div exp-diff un-div-inv +.c-commutative complex-add-def associate-+r-
3×	associate--r- sqr-cos rem-square-sqrt distribute-rgt-out distribute-rgt-neg-out
2×	associate-+l+.c exp-neg sub-div associate-*l*.c tan-sum cos-sum sin-sum log-rec
1×	sub0-neg sin-cos-mult diff-atan distribute-rgt-out-- diff-cos unsub-neg distribute-frac-neg frac-2neg.c diff-sin