Details

rewrite28.5s (4.6%)

Algorithm

122×	rewrite-expression-head

Calls

398 calls:

5.2s	(- (* (cos x) (* (+ (tan x) (tan eps)) (+ (pow (* (* (tan eps) (tan x)) (+ (* (tan eps) (tan x)) 1)) 3) 1))) (* (- 1 (pow (* (tan x) (tan eps)) 3)) (* (sin x) (+ (* (* (* (tan eps) (tan x)) (+ (* (tan eps) (tan x)) 1)) (- (* (* (tan eps) (tan x)) (+ (* (tan eps) (tan x)) 1)) 1)) 1))))
2.7s	(- (- (+ (+ (/ 0.5 n) 1.0) (* (log n) 1.0)) (/ 0.16666666666666669 (* n n))) 1.0)
684.0ms	(* (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (* (pow 1.0 2) (- (* (* 1.0 x) (* 1.0 x)) (pow (log 1.0) 2))) (* (- (* 1.0 x) (log 1.0)) (* 1/2 (pow x 2))))) (* (- (* 1.0 x) (log 1.0)) (pow 1.0 2)))
439.0ms	(* (* (- x 1.0) x) (+ x 1.0))
425.0ms	(* (sqrt (- (/ 1.0 (+ x 1.0)) (/ 1.0 x))) (sqrt (- (/ 1.0 (+ x 1.0)) (/ 1.0 x))))

Rules

3944×	*-un-lft-identity
3661×	add-sqr-sqrt
2678×	times-frac
2097×	add-cube-cbrt
1317×	add-exp-log
1102×	sqrt-prod
982×	add-cbrt-cube
819×	pow1
735×	associate-*r*
697×	add-log-exp
586×	associate-*l*
506×	distribute-lft-out
497×	unpow-prod-down
485×	difference-of-squares
483×	distribute-lft-out--
403×	log-prod
357×	prod-exp
348×	associate-*r/
318×	associate-/l*
281×	flip-- flip3--
280×	cbrt-prod
276×	flip-+ flip3-+
272×	unswap-sqr
271×	associate-/r*
225×	div-exp
219×	associate-*l/
211×	frac-times
208×	sqr-pow cbrt-unprod
177×	frac-sub
166×	associate-/r/
157×	div-inv
155×	sqrt-div
149×	swap-sqr
148×	cbrt-undiv
127×	tan-quot
126×	pow-prod-down
121×	sqrt-pow1
120×	cube-prod
117×	diff-log
113×	log-pow
109×	sub-neg
94×	pow1/2
90×	unpow2
89×	*-commutative
87×	associate-/l/
84×	pow-exp
81×	cbrt-div
80×	pow-unpow
74×	pow-to-exp
67×	associate-+l+ distribute-rgt-neg-in
64×	log-div
62×	clear-num frac-2neg
54×	distribute-rgt-in distribute-lft-in
52×	sum-log
48×	pow1/3 exp-sum
41×	pow-prod-up
38×	associate--l+
37×	rem-sqrt-square exp-prod
34×	rem-log-exp
32×	frac-add
31×	associate--r+
27×	pow-sqr +-commutative
25×	unpow-prod-up
24×	cube-div 1-exp
23×	div-sub
21×	unpow3 cube-mult rec-exp
20×	pow-pow
15×	rem-cube-cbrt
14×	exp-diff neg-sub0 sum-cubes
13×	associate--l- complex-mul-def associate-+r+
11×	pow-flip neg-log
10×	pow-plus
9×	pow2
8×	sqrt-unprod
6×	associate-+l-
5×	sin-sum inv-pow rem-square-sqrt exp-to-pow
4×	un-div-inv rem-exp-log distribute-neg-in *.c-commutative pow-sub
3×	associate-+r- +.c-commutative
2×	cos-sum sin-cos-mult e-exp-1 exp-neg complex-add-def sin-mult associate--r- rem-cbrt-cube tan-sum
1×	pow3 associate-+l+.c diff-atan diff-cos unsub-neg associate-*l*.c frac-2neg.c diff-sin