Details

rewrite8.8s (4.2%)

Algorithm

120×	rewrite-expression-head

Calls

369 calls:

314.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
118.0ms	(/ (/ (* (/ a (cbrt (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (/ c (cbrt (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))) (cbrt (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))))) a)
111.0ms	(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
106.0ms	(- (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x))) (/ (sin x) (cos x)))
93.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

Rules

8806×	*-un-lft-identity
8129×	add-sqr-sqrt
7439×	times-frac
6214×	add-cube-cbrt
4127×	prod-diff
2455×	sqrt-prod
1359×	add-exp-log
935×	unpow-prod-down
870×	add-cbrt-cube
760×	difference-of-squares
663×	distribute-lft-out
641×	pow1
630×	distribute-lft-out--
628×	add-log-exp
524×	fma-neg
499×	log-prod
463×	associate-/l*
444×	div-inv
428×	associate-*r*
421×	associate-*l*
413×	associate-/r/
409×	cube-prod
363×	prod-exp
358×	sqr-pow
357×	cbrt-prod
355×	associate-/r*
354×	expm1-log1p-u
353×	log1p-expm1-u
351×	div-exp
340×	distribute-rgt-neg-in
270×	distribute-lft-neg-in
266×	flip-- flip3--
251×	associate-+l+
228×	unswap-sqr
180×	cbrt-undiv
170×	sqrt-div
148×	cbrt-unprod
142×	flip-+ flip3-+
135×	unpow2
118×	diff-log
107×	pow-exp
106×	sub-neg
104×	pow-to-exp
98×	sqrt-pow1
96×	pow-unpow
81×	associate-*l/
80×	neg-mul-1
79×	unpow3 cube-mult
76×	pow-prod-down
74×	pow1/2
73×	associate-/l/ log-pow
68×	frac-2neg clear-num 1-exp
66×	tan-quot
65×	associate-*r/
62×	fma-def
49×	frac-times
43×	*-commutative rec-exp
38×	rem-log-exp
37×	rem-sqrt-square
36×	fma-udef
30×	swap-sqr log-div
24×	complex-mul-def
23×	sum-log
21×	div-sub frac-sub pow-pow
20×	pow-flip
19×	pow-prod-up cbrt-div
18×	neg-sub0 exp-prod
17×	pow1/3
16×	inv-pow associate-+r+ exp-sum
15×	associate--l- +-commutative associate--r+
13×	pow-sqr neg-log
12×	distribute-rgt-in distribute-lft-in
10×	expm1-udef
9×	cube-div rem-cube-cbrt associate--r- frac-add distribute-rgt-out-- associate--l+
8×	sum-cubes sub-div
6×	difference-cubes hypot-def *.c-commutative associate-+l-
5×	sqrt-unprod pow-plus
4×	sqrt-undiv pow-div pow2 +.c-commutative cos-mult complex-add-def log-rec
3×	rem-exp-log exp-diff associate-+r- unpow-prod-up difference-of-sqr-1 sin-mult
2×	expm1-def log1p-udef frac-2neg.c exp-neg sin-sum log1p-expm1 expm1-log1p rem-square-sqrt associate-*l*.c cos-sum sqr-cos tan-sum rem-cbrt-cube associate-+l+.c
1×	sin-cos-mult sqrt-pow2 e-exp-1 un-div-inv diff-atan diff-cos distribute-frac-neg distribute-rgt-out diff-sin exp-to-pow