Details

rewrite12.7s (6.0%)

Algorithm

122×	rewrite-expression-head

Calls

397 calls:

598.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
484.0ms	(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (* (- (* (* 1.0 x) (* 1.0 x)) (* (log 1.0) (log 1.0))) (pow 1.0 2)) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2))))) (* (- (* 1.0 x) (log 1.0)) (pow 1.0 2)))
310.0ms	(* (/ 1 (sqrt 2.0)) (* (/ 1 (sqrt (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt (sqrt 2.0))) (sin y))))
261.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
236.0ms	(* (sqrt (+ (- (exp x) 2.0) (exp (- x)))) (sqrt (+ (- (exp x) 2.0) (exp (- x)))))

Rules

5790×	add-sqr-sqrt
5719×	times-frac
5474×	*-un-lft-identity
3306×	add-cube-cbrt
1626×	add-exp-log
1124×	difference-of-squares
1108×	add-cbrt-cube
859×	sqrt-prod
845×	unpow-prod-down
801×	pow1
766×	add-log-exp
765×	associate-*r*
672×	distribute-lft-out--
616×	associate-/l*
461×	prod-exp
454×	distribute-lft-out
451×	cube-prod
442×	sqr-pow
436×	associate-*l*
420×	div-exp
410×	associate-/r*
363×	cbrt-prod
301×	div-inv
289×	flip3-- flip--
248×	log-prod
237×	associate-*l/
231×	cbrt-undiv
230×	cbrt-unprod
216×	associate-/r/
215×	flip-+ flip3-+
214×	unswap-sqr
182×	log-pow
178×	sqrt-div
158×	sqrt-pow1
155×	exp-prod
141×	cbrt-div
132×	swap-sqr
130×	frac-add
129×	diff-log
127×	sub-neg
125×	pow-unpow pow-prod-down
122×	frac-times
101×	associate-*r/
97×	unpow2
89×	associate-/l/
77×	frac-2neg clear-num
75×	pow1/2
73×	1-exp pow-exp
71×	pow1/3
70×	pow-to-exp
68×	*-commutative
64×	rec-exp
63×	distribute-rgt-neg-in
62×	sum-log
48×	neg-sub0
46×	pow-prod-up
45×	exp-diff
40×	log-div
38×	pow-sqr
37×	difference-cubes unpow3 cube-mult
34×	exp-neg +-commutative
33×	pow-pow frac-sub
31×	rem-sqrt-square
28×	distribute-rgt-in div-sub distribute-lft-in
25×	exp-to-pow
24×	complex-mul-def rem-log-exp
23×	associate--r+
20×	pow-flip exp-sum
19×	associate--l+
18×	tan-quot
16×	associate-+l+
15×	associate--l-
14×	pow-plus
13×	pow2 cos-mult
12×	neg-log
11×	inv-pow
10×	rem-cube-cbrt associate-+r+ associate-+l-
7×	cube-div rem-exp-log
6×	sqrt-unprod difference-of-sqr-1 exp-lft-cube *.c-commutative
5×	sin-mult
4×	+.c-commutative complex-add-def
3×	sin-cos-mult associate-+r- associate--r- distribute-rgt-out-- rem-square-sqrt
2×	cos-sum un-div-inv sqr-sin associate-+l+.c associate-*l*.c tan-sum sin-sum
1×	diff-atan sub-div diff-cos distribute-frac-neg diff-sin mul-1-neg