Details

rewrite6.8s (2.7%)

Algorithm

124×	rewrite-expression-head

Calls

400 calls:

247.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
173.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)))) (sqrt (fma (fma eps eps (fma (/ eps 1.0) (/ eps 1.0) eps)) (fma (/ eps 1.0) (/ eps 1.0) eps) (pow eps 4))))
143.0ms	(+ (/ 1.0 (+ x 1.0)) (- (/ 1.0 (- x 1.0)) (/ 2.0 x)))
123.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

17881×	times-frac
15102×	add-sqr-sqrt
14483×	*-un-lft-identity
10034×	add-cube-cbrt
4907×	sqrt-prod
3695×	prod-diff
3043×	difference-of-squares
2988×	unpow-prod-down
1783×	cube-prod
1584×	add-exp-log
1485×	sqr-pow
1157×	distribute-lft-out--
1141×	associate-/l*
1121×	distribute-lft-out
1019×	add-cbrt-cube
878×	cbrt-prod
704×	pow1
653×	associate-*r*
649×	add-log-exp
624×	div-inv
609×	associate-*l*
603×	unpow2
473×	div-exp
458×	fma-neg
397×	prod-exp
395×	associate-/r/
387×	associate-/r*
386×	expm1-log1p-u
385×	log1p-expm1-u
369×	distribute-rgt-neg-in
322×	associate-+r+
303×	unswap-sqr
294×	associate-+l+
259×	log-prod
247×	flip-- flip3--
221×	cbrt-undiv
182×	pow-unpow
181×	cbrt-unprod
177×	distribute-lft-neg-in
161×	flip-+ flip3-+
151×	sqrt-div
125×	pow-exp
117×	log-pow
112×	pow-to-exp
110×	diff-log sub-neg
102×	fma-def
100×	pow-prod-down
85×	1-exp
83×	exp-prod
74×	pow1/3
73×	associate-/l/
71×	frac-2neg clear-num
63×	cbrt-div
61×	rec-exp
60×	*-commutative
59×	neg-mul-1
57×	associate-*r/
55×	associate-*l/ exp-sum
53×	difference-cubes
48×	tan-quot
46×	sqrt-pow1
45×	pow1/2
42×	swap-sqr
40×	frac-times
37×	distribute-rgt-in distribute-lft-in
34×	pow-pow
33×	fma-udef
28×	rem-sqrt-square
27×	div-sub
26×	log-div sum-log
25×	unpow3 cube-mult
24×	complex-mul-def
20×	frac-sub
19×	pow-prod-up
18×	frac-add
17×	pow-sqr +-commutative
15×	rem-cube-cbrt neg-sub0 rem-log-exp
12×	associate--l- hypot-def
11×	neg-log pow-flip
10×	cube-div
9×	inv-pow
8×	pow-plus associate-+l- associate--l+
7×	pow2
6×	exp-diff associate--r+ *.c-commutative
5×	un-div-inv associate-+r-
4×	pow-div sqrt-unprod +.c-commutative complex-add-def cos-mult
3×	sin-cos-mult difference-of-sqr-1 sin-mult rem-cbrt-cube
2×	rem-exp-log associate-+l+.c expm1-def log1p-udef exp-neg log1p-expm1 associate-*l*.c cos-sum tan-sum sin-sum
1×	diff-atan sub-div diff-cos expm1-log1p rem-square-sqrt expm1-udef frac-2neg.c sqrt-undiv exp-to-pow diff-sin