Details

rewrite10.6s (4.8%)

Algorithm

122×	rewrite-expression-head

Calls

376 calls:

342.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
214.0ms	(* (sqrt (+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))) (sqrt (+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))))
186.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
185.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
183.0ms	(* (/ 1 (/ (sqrt (+ x 1.0)) 1.0)) (/ 1 (/ (sqrt (+ x 1.0)) 1.0)))

Rules

11677×	times-frac
11430×	*-un-lft-identity
10446×	add-sqr-sqrt
8445×	add-cube-cbrt
5576×	prod-diff
3376×	sqrt-prod
1362×	unpow-prod-down
1223×	add-exp-log
1076×	cbrt-prod
1004×	distribute-lft-out
906×	associate-*r*
838×	add-cbrt-cube
755×	pow1
630×	add-log-exp
614×	associate-*l*
595×	div-inv
567×	cube-prod
566×	difference-of-squares
467×	distribute-lft-out-- sqr-pow
444×	fma-neg
427×	log-prod
361×	log1p-expm1-u expm1-log1p-u
357×	associate-+l+
343×	swap-sqr
312×	div-exp
309×	associate-/r/
306×	unswap-sqr
300×	associate-/l*
297×	exp-sum
284×	prod-exp
267×	associate-/r*
265×	sqrt-div
261×	flip-- flip3--
184×	distribute-rgt-neg-in
175×	flip-+ flip3-+
163×	frac-times
146×	cbrt-unprod
144×	cbrt-undiv associate-*l/
143×	unpow2
137×	distribute-rgt-in distribute-lft-in
136×	unpow3 distribute-lft-neg-in
131×	cube-mult
130×	log-pow
120×	frac-add sub-neg
119×	pow-unpow
110×	diff-log pow-prod-down
107×	associate-*r/
102×	fma-def
97×	sqrt-pow1
92×	exp-prod
89×	pow1/2
79×	pow-exp
78×	associate-/l/
76×	pow-to-exp
57×	*-commutative
54×	frac-2neg clear-num
50×	1-exp rec-exp
48×	neg-mul-1 cbrt-div
41×	pow-prod-up log-div rem-sqrt-square
39×	pow1/3
36×	tan-quot
35×	frac-sub
29×	fma-udef pow-sqr sum-log
26×	associate--l+
25×	div-sub
24×	complex-mul-def
21×	+-commutative rem-log-exp
18×	pow-flip
17×	pow-pow
16×	inv-pow
15×	neg-sub0
14×	associate--l-
13×	pow-plus
12×	exp-diff pow2
9×	sqrt-unprod associate--r+ neg-log
8×	un-div-inv sin-mult associate-+l-
6×	*.c-commutative hypot-def
5×	rem-cube-cbrt associate-+r+ rem-square-sqrt distribute-rgt-out--
4×	rem-exp-log associate--r- +.c-commutative complex-add-def
3×	sin-cos-mult sqr-sin difference-of-sqr-1 cos-mult
2×	cube-div associate-+l+.c expm1-def sub0-neg log1p-udef exp-neg log1p-expm1 pow-sub expm1-log1p expm1-udef distribute-frac-neg associate-*l*.c cos-sum tan-sum frac-2neg.c pow-neg sin-sum
1×	rem-cbrt-cube difference-cubes sqrt-pow2 associate-+r- diff-atan sub-div diff-cos exp-to-pow diff-sin