Details

rewrite20.6s (1.8%)

Algorithm

116×	rewrite-expression-head

Calls

376 calls:

2.5s	(- (+ (/ 1/2 n) (- 1 (- (/ 1/6 (* n n)) (log n)))) 1)
1.3s	(cbrt (* (* (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* (* (tan eps) (tan x)) (* (tan eps) (tan x)))) (* (* (tan eps) (tan x)) (* (tan eps) (tan x)))))
1.0s	(* (+ (* eps (+ (* 1/6 (* (* (* eps a) (* eps a)) a)) (* (* a 1/2) (* eps a)))) (* eps a)) (- (exp (* b eps)) 1))
878.0ms	(+ (* (* (cbrt (+ (* (* a x) (* (* a x) 1/2)) (* a x))) (cbrt (+ (* (* a x) (* (* a x) 1/2)) (* a x)))) (cbrt (+ (* (* a x) (* (* a x) 1/2)) (* a x)))) (* (* (* (* a x) (* a x)) (* a x)) 1/6))
529.0ms	(cbrt (* (* (cbrt (+ (* (* a x) (* (* a x) 1/2)) (* a x))) (cbrt (+ (* (* a x) (* (* a x) 1/2)) (* a x)))) (cbrt (+ (* (* a x) (* (* a x) 1/2)) (* a x)))))

Rules

24738×	tan-quot
20776×	frac-times
9206×	associate-*l/
8884×	associate-*r/
5775×	*-un-lft-identity
5641×	times-frac
4332×	cbrt-div
3932×	add-sqr-sqrt
3155×	sqrt-prod
2789×	add-cube-cbrt
1517×	pow1
1312×	distribute-lft-out
1308×	add-exp-log
1148×	add-cbrt-cube
721×	cbrt-prod
656×	add-log-exp
468×	associate-*r*
449×	associate-*l*
433×	difference-of-squares
408×	pow-prod-down
402×	prod-exp
371×	flip-+ flip3-+
369×	insert-posit16
357×	cbrt-unprod
341×	associate-/l*
318×	associate-/r/
300×	associate-/r*
292×	div-inv
258×	distribute-lft-out--
216×	flip3-- flip--
211×	pow-prod-up
206×	swap-sqr
205×	div-exp
160×	sqrt-pow1
148×	cbrt-undiv
139×	unswap-sqr
134×	sqrt-div
121×	frac-add pow-sqr
115×	unpow-prod-down
105×	log-prod
102×	pow1/2
97×	associate-/l/
93×	pow-plus
92×	sub-neg
91×	pow-unpow
89×	diff-log
86×	*-commutative
65×	pow1/3 frac-2neg clear-num
63×	sum-log
60×	sqr-pow difference-of-sqr-1
59×	pow2
54×	exp-diff
51×	distribute-rgt-in distribute-lft-in
41×	rem-sqrt-square
37×	+-commutative
35×	log-pow
34×	pow-flip
33×	1-exp rec-exp
27×	inv-pow
20×	associate--l+
19×	associate-+l+ frac-sub
18×	difference-of-sqr--1 exp-prod
17×	distribute-rgt-neg-in
15×	div-sub
12×	associate--r+ log-div
11×	pow-exp pow-to-exp rem-log-exp
10×	sqrt-unprod
9×	associate--l-
7×	neg-sub0 pow-pow
6×	pow3 rem-exp-log
5×	neg-log distribute-rgt-out distribute-rgt1-in
4×	associate-+r+ sin-mult rem-cbrt-cube
3×	sqrt-undiv sqr-sin associate-+l- rem-square-sqrt
2×	sin-sum tan-sum exp-to-pow exp-neg +.c-commutative cos-sum e-exp-1
1×	diff-atan cos-mult associate-+r- distribute-rgt-out-- frac-2neg.c sin-cos-mult exp-sum cube-unmult sub-div diff-sin exp-lft-cube diff-cos associate--r-