Details

rewrite6.7s (3.1%)

Algorithm

119×	rewrite-expression-head

Calls

361 calls:

348.0ms	(exp (+ (- (log 1.0) (log N)) (+ (* (/ 1 (pow N 2)) (- 0.3333333333333333 (/ 0.125 (pow 1.0 2)))) (/ (- 0.5) N))))
337.0ms	(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
246.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
232.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (log1p (expm1 (/ 1.0 (- x 1.0)))))
129.0ms	(- (/ (* (+ (tan x) (tan eps)) (fma (tan x) (tan eps) 1)) (- 1 (/ (* (* (tan x) (tan x)) (pow (sin eps) 2)) (pow (cos eps) 2)))) (tan x))

Rules

11855×	times-frac
11536×	add-sqr-sqrt
11113×	*-un-lft-identity
8112×	add-cube-cbrt
5749×	prod-diff
1585×	sqrt-prod
1324×	add-exp-log
1282×	difference-of-squares
1249×	unpow-prod-down
896×	add-cbrt-cube
868×	distribute-lft-out--
738×	div-inv
726×	associate-*r*
715×	pow1
653×	distribute-lft-out
629×	add-log-exp
552×	associate--r+
550×	sqr-pow
535×	fma-neg
526×	associate-+l+
515×	associate-/l*
477×	distribute-rgt-neg-in
463×	associate-/r/
419×	associate-/r*
364×	div-exp
363×	associate-*l*
360×	cube-prod
352×	unpow2
348×	log1p-expm1-u
345×	expm1-log1p-u
315×	cbrt-prod
304×	distribute-lft-neg-in
300×	prod-exp
255×	flip-- flip3--
249×	unswap-sqr
202×	flip-+ flip3-+
189×	cbrt-undiv
170×	distribute-rgt-in distribute-lft-in
151×	cbrt-unprod
148×	sqrt-div
130×	fma-def
110×	diff-log
105×	pow-exp
104×	neg-mul-1
102×	pow-to-exp
99×	log-pow cbrt-div
98×	unpow3 cube-mult sub-neg
97×	sqrt-pow1
95×	log-prod
92×	pow-unpow
89×	pow-prod-down
82×	associate-*r/
80×	frac-times
74×	tan-quot
72×	pow1/2 frac-2neg clear-num
65×	associate-/l/ 1-exp
59×	rec-exp
58×	associate-*l/
55×	exp-sum
51×	pow-prod-up
49×	pow1/3
48×	*-commutative
47×	sum-log
44×	swap-sqr
35×	fma-udef
34×	frac-add
25×	log-div div-sub neg-sub0
24×	rem-sqrt-square complex-mul-def associate--l+
23×	pow-sqr pow-flip +-commutative
19×	frac-sub
18×	associate--l-
17×	pow-pow neg-log
16×	inv-pow
14×	pow-plus
13×	exp-prod
12×	associate-+r+
11×	associate-+l-
10×	associate-+r- rem-log-exp
8×	rem-cube-cbrt
7×	rem-exp-log pow2
6×	exp-diff sqrt-unprod *.c-commutative
5×	log1p-udef
4×	difference-cubes associate--r- +.c-commutative expm1-udef distribute-frac-neg complex-add-def
3×	un-div-inv difference-of-sqr-1 expm1-log1p distribute-rgt-out--
2×	associate-+l+.c expm1-def exp-neg pow-sub unsub-neg associate-*l*.c tan-sum cos-sum frac-2neg.c pow-neg sin-sum
1×	diff-atan log1p-expm1 sin-cos-mult diff-cos rem-square-sqrt sub-div sin-mult cos-mult exp-to-pow diff-sin