Details

rewrite31.2s (4.2%)

Algorithm

123×	rewrite-expression-head

Calls

400 calls:

4.6s	(* (/ eps (+ (+ (* (* (* a eps) (* (* a eps) (* a eps))) 1/6) (* 1/2 (* (* a eps) (* a eps)))) (* a eps))) (/ (- (exp (* (+ a b) eps)) 1.0) (- (exp (* b eps)) 1.0)))
2.4s	(- (+ (- (+ (/ 0.5 n) 1.0) (/ 0.16666666666666669 (* n n))) (* 1.0 (log n))) 1.0)
2.1s	(/ eps (+ (+ (* (* (* a eps) (* (* a eps) (* a eps))) 1/6) (* 1/2 (* (* a eps) (* a eps)))) (* a eps)))
1.4s	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (+ (* (* (* a (* a a)) (* eps (* eps eps))) 1/6) (* (* (* eps a) (* eps a)) 1/2)) (* eps a)) (- (exp (* b eps)) 1.0)))
1.0s	(/ (+ (* (* eps eps) eps) (* (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (* (/ eps 1.0) (/ eps 1.0)))) (+ (* (* (/ eps 1.0) (/ eps 1.0)) (* (/ eps 1.0) (/ eps 1.0))) (- (* eps eps) (* (* (/ eps 1.0) (/ eps 1.0)) eps))))

Rules

4410×	*-un-lft-identity
3587×	times-frac
3529×	add-sqr-sqrt
2445×	add-cube-cbrt
1749×	pow1
1699×	add-exp-log
1671×	add-cbrt-cube
1138×	sqrt-prod
779×	distribute-lft-out
728×	add-log-exp
593×	prod-exp
574×	cbrt-unprod
542×	associate-*l/
434×	pow-prod-down
410×	difference-of-squares
387×	associate-*r*
382×	associate-/l*
366×	associate-/r*
353×	div-exp
344×	associate-*l*
339×	cbrt-undiv
313×	associate-/r/
310×	log-prod
307×	pow-prod-up
303×	distribute-lft-out--
297×	flip--
296×	flip3--
271×	frac-times
268×	flip-+
267×	flip3-+
257×	associate-*r/
250×	div-inv
235×	cbrt-prod
181×	frac-add pow-sqr
151×	pow-plus
146×	frac-sub
142×	exp-prod
134×	associate-/l/
129×	unpow-prod-down
122×	swap-sqr
116×	diff-log
113×	unswap-sqr
105×	sub-neg
101×	log-pow
95×	pow2
92×	distribute-rgt-neg-in
81×	associate-+r+
76×	sqr-pow
75×	frac-2neg clear-num
73×	distribute-lft-neg-in
72×	*-commutative
68×	sqrt-div
60×	sum-log sqrt-pow1
58×	exp-sum
56×	pow-unpow
55×	pow1/3
53×	pow3
43×	cbrt-div
42×	pow1/2
38×	+-commutative
36×	log-div
33×	div-sub
30×	associate-+l+ rem-sqrt-square
27×	tan-quot
24×	neg-mul-1
23×	difference-cubes
22×	cube-unmult
21×	distribute-rgt-in distribute-lft-in
20×	rem-log-exp associate--l+
15×	cube-prod
14×	complex-mul-def
13×	neg-sub0
12×	exp-to-pow associate-+l-
11×	associate--r+ sum-cubes
10×	associate--l-
9×	pow-exp pow-to-exp sqr-cos
7×	exp-diff cos-mult 1-exp rec-exp sin-mult
6×	neg-log pow-pow distribute-rgt-out--
5×	associate-+r- pow-flip
4×	distribute-frac-neg distribute-neg-frac
3×	quot-tan exp-neg *.c-commutative un-div-inv +.c-commutative cos-sum distribute-rgt-out
2×	associate-*l*.c sin-sum sub-div rem-exp-log complex-add-def tan-sum rem-cbrt-cube distribute-neg-in associate--r-
1×	diff-atan unsub-neg rem-cube-cbrt distribute-rgt-neg-out cube-mult unpow3 sqrt-unprod frac-2neg.c inv-pow +-inverses rem-square-sqrt diff-sin associate-+l+.c diff-cos count-2 cos-2