Details

rewrite8.9s (4.5%)

Algorithm

120×	rewrite-expression-head

Calls

395 calls:

1.9s	(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
248.0ms	(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (exp (log (* x (pow n 2)))))))
209.0ms	(* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
199.0ms	(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
182.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

Rules

6914×	times-frac
6416×	*-un-lft-identity
6123×	add-sqr-sqrt
3858×	add-cube-cbrt
1455×	add-exp-log
1049×	cbrt-prod
1015×	add-cbrt-cube
970×	associate-*r*
834×	difference-of-squares
769×	pow1
732×	sqrt-prod
710×	add-log-exp
707×	distribute-lft-out--
676×	unpow-prod-down
631×	associate-*l*
565×	distribute-lft-out
497×	associate-/l*
431×	associate-/r*
379×	prod-exp
333×	unswap-sqr
331×	div-exp
316×	sqr-pow
298×	flip-- flip3--
273×	div-inv
270×	associate-/r/
222×	swap-sqr
216×	unpow2
210×	exp-prod
207×	log-prod
197×	associate-*l/
196×	cbrt-unprod
186×	cbrt-undiv
175×	flip-+ flip3-+
173×	log-pow
158×	pow-unpow
132×	sub-neg
131×	associate-*r/
125×	diff-log
123×	cbrt-div
122×	pow-prod-down
120×	frac-times
116×	cube-prod
112×	pow-exp
109×	pow-to-exp
92×	associate-/l/
84×	*-commutative
76×	frac-2neg clear-num
73×	sqrt-div
70×	frac-add
59×	pow1/2 tan-quot sqrt-pow1
56×	frac-sub 1-exp
55×	rec-exp
50×	sum-log
44×	distribute-rgt-in distribute-lft-in
39×	log-div
38×	pow1/3
36×	associate--l+
33×	distribute-rgt-neg-in
32×	pow-prod-up
30×	pow-pow rem-log-exp
27×	rem-sqrt-square
26×	pow-sqr
25×	associate-+r+ +-commutative div-sub
24×	complex-mul-def
22×	unpow3 cube-mult
21×	pow-flip
20×	un-div-inv
19×	associate-+l+ associate--r+
18×	inv-pow
15×	neg-sub0 cos-mult
13×	rem-cube-cbrt associate--l-
12×	sin-mult
11×	distribute-rgt-out-- neg-log associate-+l-
10×	pow-plus
9×	pow2 exp-sum
7×	cube-div
6×	exp-diff difference-cubes rem-exp-log sub-div *.c-commutative
5×	sqrt-unprod
4×	pow-div associate-+r- associate--r- difference-of-sqr-1 +.c-commutative sqr-cos complex-add-def log-rec
3×	exp-to-pow
2×	cos-sum sub-1-cos associate-+l+.c exp-neg distribute-neg-in rem-square-sqrt associate-*l*.c tan-sum frac-2neg.c sin-sum
1×	sin-cos-mult diff-atan diff-cos unsub-neg +-inverses distribute-rgt-neg-out diff-sin