Details

rewrite5.4s (1.9%)

Algorithm

119×	rewrite-expression-head

Calls

356 calls:

344.0ms	(exp (+ (- (log 1.0) (log N)) (+ (* (/ 1 (pow N 2)) (- 0.3333333333333333 (/ 0.125 (pow 1.0 2)))) (/ (- 0.5) N))))
226.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
210.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (log1p (expm1 (/ 1.0 (- x 1.0)))))
126.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))
99.0ms	(+ (- (log 1.0) (log N)) (+ (* (/ 1 (pow N 2)) (- 0.3333333333333333 (/ 0.125 (pow 1.0 2)))) (/ (- 0.5) N)))

Rules

8628×	*-un-lft-identity
7948×	add-sqr-sqrt
7390×	times-frac
6110×	add-cube-cbrt
4451×	prod-diff
1408×	sqrt-prod
1295×	add-exp-log
926×	unpow-prod-down
870×	add-cbrt-cube
732×	pow1 associate-*r*
675×	difference-of-squares
650×	distribute-lft-out
629×	distribute-lft-out--
603×	add-log-exp
526×	associate-+l+
475×	fma-neg
459×	div-inv
450×	associate-/r/
412×	associate-/l*
379×	sqr-pow
366×	associate-/r*
360×	cube-prod
343×	log1p-expm1-u
341×	div-exp
340×	expm1-log1p-u
330×	associate-*l*
329×	distribute-rgt-neg-in
310×	prod-exp
305×	cbrt-prod
271×	flip-- flip3--
250×	unswap-sqr
247×	distribute-lft-neg-in
198×	flip-+ flip3-+
182×	unpow2
177×	cbrt-undiv
172×	sqrt-div
150×	cbrt-unprod cbrt-div
121×	fma-def
119×	sqrt-pow1
108×	distribute-rgt-in frac-times distribute-lft-in
106×	log-pow
102×	diff-log pow-exp
100×	pow-to-exp
98×	unpow3 cube-mult log-prod
92×	pow-prod-down
90×	sub-neg
88×	associate-*r/
85×	neg-mul-1
76×	pow-unpow
74×	pow1/2 tan-quot
71×	associate-*l/
70×	frac-2neg clear-num
67×	1-exp
63×	pow1/3
61×	associate-/l/ pow-prod-up rec-exp
55×	exp-sum
48×	*-commutative
47×	swap-sqr
44×	sum-log
36×	fma-udef
34×	frac-add
27×	pow-sqr
25×	rem-sqrt-square exp-prod log-div div-sub
24×	complex-mul-def pow-flip neg-sub0 associate--l+
21×	pow-plus
20×	+-commutative
17×	associate--l- inv-pow
16×	pow-pow neg-log
12×	associate-+r+ frac-sub
11×	associate-+l- rem-log-exp
10×	associate-+r- associate--r+ pow2
8×	rem-cube-cbrt
7×	rem-exp-log
6×	exp-diff sqrt-unprod *.c-commutative
5×	log1p-udef distribute-frac-neg
4×	difference-cubes un-div-inv +.c-commutative expm1-udef complex-add-def
3×	associate--r- 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×	pow3 diff-atan log1p-expm1 sin-cos-mult diff-cos rem-square-sqrt sub-div sin-mult cos-mult distribute-rgt-neg-out exp-to-pow diff-sin log-rec