Details

rewrite6.8s (3.2%)

Algorithm

120×	rewrite-expression-head

Calls

379 calls:

237.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
189.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
127.0ms	(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
119.0ms	(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)))
115.0ms	(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))

Rules

11214×	*-un-lft-identity
10427×	times-frac
9425×	add-sqr-sqrt
7306×	add-cube-cbrt
3916×	sqrt-prod
3875×	prod-diff
1322×	distribute-lft-out
1277×	add-exp-log
1260×	unpow-prod-down
943×	add-cbrt-cube
850×	difference-of-squares
796×	pow1
784×	associate-*l*
747×	distribute-lft-out--
643×	add-log-exp
597×	associate-*r*
578×	div-inv
505×	fma-neg
485×	associate-/r*
482×	associate-/l*
459×	sqr-pow
458×	associate-/r/
395×	log-prod
372×	div-exp
365×	log1p-expm1-u
364×	expm1-log1p-u
358×	cbrt-prod
323×	cube-prod
320×	associate-+l+
266×	distribute-rgt-neg-in
265×	flip-- flip3--
234×	prod-exp
216×	flip-+ flip3-+
206×	cbrt-undiv
203×	unswap-sqr
190×	log-pow
186×	sqrt-div
174×	distribute-lft-neg-in
159×	cbrt-unprod
148×	unpow2
139×	sqrt-pow1
127×	swap-sqr
120×	fma-def sub-neg
116×	distribute-rgt-in distribute-lft-in
115×	diff-log
105×	exp-sum
100×	associate-*l/
96×	associate-+r+
95×	pow1/2
84×	pow-unpow pow-prod-down
77×	cbrt-div
76×	associate-/l/
72×	frac-2neg clear-num
66×	pow1/3
65×	associate-*r/
58×	exp-prod unpow3 cube-mult neg-mul-1 frac-times
56×	associate--l+
55×	pow-prod-up
53×	pow-exp
52×	pow-to-exp *-commutative
51×	1-exp
48×	rec-exp
44×	log-div
42×	frac-add
35×	rem-sqrt-square
34×	tan-quot
32×	sum-log
28×	pow-flip
27×	pow-sqr
26×	pow-pow div-sub
25×	fma-udef
24×	complex-mul-def
22×	+-commutative rem-log-exp
21×	neg-sub0
18×	frac-sub
15×	associate--l-
14×	inv-pow
13×	sum-cubes
11×	exp-diff neg-log associate--r+
10×	pow-div pow2 pow-plus
8×	difference-cubes associate-+r- hypot-def associate-+l-
7×	sqrt-unprod
6×	*.c-commutative
5×	rem-cube-cbrt associate--r-
4×	exp-neg +.c-commutative unsub-neg cos-mult complex-add-def
3×	expm1-udef sin-mult
2×	rem-exp-log associate-+l+.c expm1-def sub-div difference-of-sqr-1 expm1-log1p rem-square-sqrt associate-*l*.c cos-sum tan-sum distribute-rgt-out-- sin-sum
1×	sin-cos-mult sqrt-pow2 log1p-udef diff-atan log1p-expm1 unpow-prod-up diff-cos sqrt-undiv frac-2neg.c exp-to-pow diff-sin