Details

rewrite6.6s (3.1%)

Algorithm

122×	rewrite-expression-head

Calls

400 calls:

251.0ms	(* (/ 1 (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))) (/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))))
237.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
195.0ms	(* (sqrt x) (sqrt (+ x 1.0)))
120.0ms	(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4))))
117.0ms	(/ (- (pow (pow eps 2) 3) (pow (fma (/ eps 1.0) (/ eps 1.0) eps) 3)) (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4)))

Rules

11253×	add-sqr-sqrt
11146×	*-un-lft-identity
11050×	times-frac
8231×	add-cube-cbrt
5075×	prod-diff
3381×	sqrt-prod
2147×	unpow-prod-down
1656×	difference-of-squares
1347×	add-exp-log
1291×	cube-prod
979×	add-cbrt-cube
912×	sqr-pow
795×	distribute-lft-out--
717×	associate-/l*
714×	associate-*r*
694×	cbrt-prod
688×	pow1
683×	distribute-lft-out
676×	add-log-exp
646×	associate-*l*
572×	fma-neg
545×	distribute-rgt-neg-in
496×	div-inv
402×	distribute-lft-neg-in
386×	log1p-expm1-u
385×	expm1-log1p-u
378×	div-exp
345×	associate-/r*
340×	associate-+l+
300×	associate-/r/
293×	prod-exp
279×	distribute-rgt-in distribute-lft-in
254×	log-prod
242×	flip-+ flip3-+
230×	unpow2
219×	flip-- flip3--
211×	cbrt-undiv
167×	cbrt-unprod
161×	pow-unpow unswap-sqr
134×	neg-mul-1 exp-sum
124×	cbrt-div
121×	sqrt-div unpow3 cube-mult sub-neg
120×	log-pow
112×	diff-log
108×	fma-def
99×	associate-*l/ associate-*r/
93×	exp-prod
89×	log-div
82×	sqrt-pow1
81×	frac-times pow-exp
78×	pow-to-exp
76×	pow-prod-down
74×	associate-/l/
72×	frac-2neg clear-num
63×	frac-add pow1/3
62×	pow1/2
53×	1-exp
49×	tan-quot
48×	*-commutative swap-sqr
38×	rec-exp
37×	sum-log
36×	difference-cubes fma-udef
35×	rem-sqrt-square
33×	div-sub
27×	+-commutative
24×	complex-mul-def
23×	rem-log-exp
22×	pow-flip
19×	pow-pow
18×	associate--r-
17×	neg-sub0
16×	pow-prod-up frac-sub
15×	associate--l-
14×	pow-sqr
13×	associate-+r+
12×	associate--l+
11×	exp-diff
10×	pow-div neg-log
9×	associate-+l-
8×	rem-cube-cbrt
7×	pow2 pow-plus
6×	rem-exp-log inv-pow *.c-commutative
5×	associate--r+
4×	sqrt-unprod sub-div +.c-commutative complex-add-def hypot-def
3×	cube-div un-div-inv difference-of-sqr-1 sin-mult cos-mult
2×	associate-+l+.c expm1-def associate-+r- exp-neg associate-*l*.c tan-sum cos-sum exp-to-pow sin-sum
1×	sin-cos-mult diff-atan diff-cos expm1-log1p rem-square-sqrt distribute-rgt-out-- expm1-udef frac-2neg.c diff-sin