Details

rewrite8.0s (4.0%)

Algorithm

123×	rewrite-expression-head

Calls

415 calls:

425.0ms	(- (/ 1 (/ (- (pow 1 3) (pow (* (tan x) (tan eps)) 3)) (* (+ (* (* (tan x) (tan eps)) (+ (* (tan x) (tan eps)) 1)) 1) (+ (tan x) (tan eps))))) (tan x))
421.0ms	(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
322.0ms	(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
233.0ms	(/ (- (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (* (- (pow (exp x) 3) (pow 2.0 3)) (pow (exp x) 2))) (* (+ (exp x) 2.0) (+ (pow (exp x) 2) (* 2.0 (+ 2.0 (exp x)))))) (* (* (+ (exp x) 2.0) (+ (pow (exp x) 2) (* 2.0 (+ 2.0 (exp x))))) (pow (exp x) 2)))
209.0ms	(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))

Rules

5312×	add-sqr-sqrt
5256×	*-un-lft-identity
4933×	times-frac
2983×	add-cube-cbrt
1501×	add-exp-log
1066×	difference-of-squares
1065×	add-cbrt-cube
811×	unpow-prod-down
756×	add-log-exp
737×	sqrt-prod
713×	pow1
710×	distribute-lft-out--
601×	associate-*r*
529×	associate-*l*
527×	associate-/l*
502×	flip-- flip3--
453×	associate-*l/
449×	frac-times
432×	associate-/r*
430×	distribute-lft-out
407×	sqr-pow
405×	cbrt-prod
403×	cube-prod
383×	prod-exp
380×	frac-sub
368×	div-exp
367×	flip-+ flip3-+
327×	log-prod
275×	associate-*r/
258×	associate-/r/
213×	unswap-sqr
207×	div-inv
205×	cbrt-undiv
204×	associate-/l/
202×	cbrt-unprod
177×	exp-prod
152×	cbrt-div
147×	sub-neg
136×	diff-log
132×	unpow2
113×	pow-exp
111×	frac-add
110×	pow-to-exp
101×	pow-prod-down
99×	log-pow
90×	log-div
85×	pow-unpow
82×	distribute-rgt-neg-in
80×	swap-sqr
77×	*-commutative
76×	frac-2neg clear-num
75×	sqrt-div
69×	neg-sub0
65×	exp-neg
62×	tan-quot
61×	exp-diff
56×	associate-+r+
53×	sqrt-pow1
51×	pow1/3 sum-log
48×	distribute-rgt-in distribute-lft-in
47×	pow1/2
43×	1-exp
40×	rec-exp
35×	associate--l+
33×	pow-pow
31×	pow-prod-up rem-sqrt-square
30×	+-commutative
29×	pow-sqr exp-sum
28×	associate-+l+ rem-log-exp
26×	div-sub
24×	difference-cubes complex-mul-def
23×	associate--r+
22×	cube-mult
20×	distribute-lft-neg-in associate--r-
18×	unpow3
15×	pow-flip
12×	un-div-inv
11×	associate--l- associate-+l-
10×	inv-pow
9×	rem-cube-cbrt pow2 pow-plus
8×	neg-mul-1 cos-mult exp-to-pow
7×	neg-log sin-mult
6×	rem-exp-log difference-of-sqr-1 *.c-commutative
5×	cube-div
4×	sqrt-unprod associate-+r- pow-sub +.c-commutative complex-add-def pow-neg log-rec
3×	rem-cbrt-cube
2×	associate-+l+.c sub-div cos-sum tan-sum exp-lft-cube associate-*l*.c sin-sum
1×	sin-cos-mult diff-atan diff-cos unsub-neg rem-square-sqrt frac-2neg.c diff-sin