Details

rewrite5.2s (2.5%)

Algorithm

122×	rewrite-expression-head

Calls

369 calls:

280.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ (/ 1.0 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (- x 1.0))))
222.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
114.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)))
101.0ms	(/ (+ (+ (pow (exp x) 4) 4.0) (* (exp x) (- (exp x) 6.0))) (fma (exp x) (fma 2.0 2.0 (* (exp x) 2.0)) (pow (exp x) 3)))
71.0ms	(* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y)))

Rules

8339×	*-un-lft-identity
7454×	add-sqr-sqrt
7115×	times-frac
6067×	add-cube-cbrt
3837×	prod-diff
2674×	sqrt-prod
1192×	add-exp-log
876×	add-cbrt-cube
725×	unpow-prod-down
681×	pow1
666×	distribute-lft-out
616×	associate-*l*
613×	add-log-exp
543×	cbrt-prod
535×	difference-of-squares
516×	cube-prod
502×	distribute-lft-out--
498×	associate-+l+
496×	associate-/l*
448×	fma-neg
389×	div-inv
383×	associate-*r*
354×	log1p-expm1-u expm1-log1p-u
346×	distribute-rgt-neg-in
341×	associate-/r*
315×	log-prod
302×	associate-/r/ div-exp
297×	sqr-pow
274×	distribute-lft-neg-in
269×	prod-exp
219×	log-pow
197×	flip-- flip3--
186×	cbrt-undiv
174×	unswap-sqr
173×	exp-prod
153×	flip-+ flip3-+
145×	cbrt-unprod
140×	unpow3 cube-mult
129×	sqrt-pow1
111×	pow-unpow
109×	fma-def
106×	sqrt-div
105×	diff-log
103×	pow-to-exp pow-exp
95×	sub-neg
94×	neg-mul-1
88×	pow1/2
84×	associate-+r+
77×	exp-sum
72×	associate-/l/ frac-2neg clear-num
64×	pow-prod-down
53×	pow1/3
49×	associate-*r/
48×	pow-prod-up cbrt-div
44×	swap-sqr
41×	*-commutative
39×	fma-udef
38×	unpow2
37×	tan-quot
35×	pow-pow
34×	1-exp rec-exp log-div
33×	associate-*l/
30×	rem-sqrt-square sum-log
27×	div-sub
25×	pow-flip
24×	frac-add complex-mul-def frac-times
23×	distribute-rgt-in distribute-lft-in
21×	associate--l- neg-sub0
20×	pow-sqr
19×	+-commutative rem-log-exp
17×	neg-log
13×	associate--l+
12×	pow-plus
11×	inv-pow frac-sub
10×	exp-diff pow-div
9×	associate--r+ associate-+l-
8×	rem-cube-cbrt
6×	difference-cubes sqrt-unprod pow2 *.c-commutative
5×	sin-mult cos-mult
4×	cube-div rem-exp-log associate-+r- difference-of-sqr-1 +.c-commutative complex-add-def
3×	sin-cos-mult un-div-inv
2×	associate-+l+.c expm1-def associate--r- exp-neg sub-div expm1-log1p expm1-udef associate-*l*.c hypot-def tan-sum cos-sum frac-2neg.c exp-to-pow sin-sum
1×	log1p-udef diff-atan log1p-expm1 diff-cos rem-square-sqrt sqrt-undiv diff-sin