Details

rewrite20.4s (8.7%)

Algorithm

124×	rewrite-expression-head

Calls

413 calls:

1.6s	(- (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.3s	(/ (- (/ (/ (/ (pow eps 4) (pow 1.0 2)) 1.0) 1.0) (pow eps 2)) (- (/ (pow eps 2) (pow 1.0 2)) eps))
666.0ms	(- 1.0 (- (+ 1.0 (+ (/ 0.16666666666666669 (pow n 2)) (* 1.0 (log (/ 1 n))))) (/ 0.5 n)))
625.0ms	(/ (+ (* (* (/ 1 (pow N 2)) (- (pow (/ 0.3333333333333333 N) 3) (pow 0.5 3))) N) (* (+ (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (+ (* 0.5 0.5) (* (/ 0.3333333333333333 N) 0.5))) 1.0)) (* N (+ (* 0.5 (+ 0.5 (/ 0.3333333333333333 N))) (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)))))
620.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)

Rules

13656×	add-sqr-sqrt
12440×	times-frac
6360×	*-un-lft-identity
3645×	difference-of-squares
3619×	add-cube-cbrt
2940×	sqrt-prod
2544×	unpow-prod-down
2114×	sqr-pow
1594×	add-exp-log
1417×	unpow2
1069×	add-cbrt-cube
957×	associate-*r*
815×	add-log-exp
809×	associate-*l*
734×	distribute-lft-out--
731×	pow1
700×	distribute-lft-out
619×	associate-/l*
426×	associate-/r* div-exp
414×	prod-exp
384×	cbrt-prod
365×	cube-prod
320×	unswap-sqr
301×	associate-*l/
265×	flip-- flip3--
251×	flip-+ flip3-+
220×	div-inv
214×	cbrt-undiv
208×	associate-/r/
204×	cbrt-unprod
201×	cbrt-div
168×	associate-*r/
160×	sqrt-pow1
155×	associate-/l/
151×	frac-times
147×	log-prod
146×	diff-log
139×	frac-add
129×	sub-neg
122×	distribute-rgt-neg-in
116×	sqrt-div
107×	swap-sqr
99×	pow-to-exp pow-exp
97×	pow-prod-down
90×	1-exp rec-exp
82×	log-pow
81×	clear-num frac-2neg
80×	pow1/2
76×	*-commutative
66×	pow1/3
64×	sum-log
56×	exp-prod
39×	pow-unpow
35×	distribute-rgt-in rem-sqrt-square +-commutative distribute-lft-in
34×	pow-prod-up
31×	pow-flip frac-sub
29×	tan-quot
28×	associate--r+
27×	exp-sum
26×	associate-+l+ pow-sqr exp-to-pow
25×	difference-cubes associate--l+
24×	complex-mul-def
23×	div-sub
20×	log-div
18×	neg-sub0
17×	associate--l-
16×	unpow3 cube-mult
15×	inv-pow
14×	neg-log rem-log-exp
12×	pow-pow
10×	pow-div rem-exp-log
9×	pow2 pow-plus sin-mult cos-mult associate-+l-
7×	rem-cube-cbrt
6×	sqrt-unprod *.c-commutative difference-of-sqr-1 associate-+r+
5×	un-div-inv associate--r-
4×	cube-div exp-diff +.c-commutative complex-add-def associate-+r-
3×	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 diff-cos unsub-neg distribute-frac-neg frac-2neg.c diff-sin