Details

rewrite13.4s (7.8%)

Algorithm

109×	rewrite-expression-head

Calls

317 calls:

620.0ms	(- (exp (+ (* (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0))))) (fma 0.5 (/ 1 y) (fma 2.0 y (fabs (- y (sqrt (+ (pow y 2) 1.0))))))) (pow (pow 10.0 -300.0) (* 10000.0 (+ y 1.0))))) 1.0)
611.0ms	(- (exp (+ (* (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0))))) (fma 0.5 (/ 1 y) (fma 2.0 y (fabs (- y (sqrt (+ (pow y 2) 1.0))))))) (pow (pow 10.0 -300.0) (* 10000.0 (+ y 1.0))))) 1.0)
609.0ms	(- (exp (+ (* (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0))))) (fma 0.5 (/ 1 y) (fma 2.0 y (fabs (- y (sqrt (+ (pow y 2) 1.0))))))) (pow (pow 10.0 -300.0) (* 10000.0 (+ y 1.0))))) 1.0)
434.0ms	(- (exp (* (fma 0.5 (/ 1 y) (fma 2.0 y (fabs (- y (sqrt (+ (pow y 2) 1.0)))))) (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0))))))) 1.0)
434.0ms	(- (exp (* (fma 0.5 (/ 1 y) (fma 2.0 y (fabs (- y (sqrt (+ (pow y 2) 1.0)))))) (- (fabs (- y (sqrt (+ (* y y) 1.0)))) (/ 1.0 (+ y (sqrt (+ (* y y) 1.0))))))) 1.0)

Rules

19105×	times-frac
17389×	*-un-lft-identity
15926×	add-sqr-sqrt
13077×	add-cube-cbrt
10124×	prod-diff
3220×	unpow-prod-down
2589×	cube-prod
2087×	distribute-rgt-in distribute-lft-in
1792×	add-exp-log
1469×	distribute-lft-out
1453×	difference-of-squares
1356×	exp-sum
1209×	add-cbrt-cube
1145×	div-inv
1009×	sqr-pow
768×	associate-*l*
751×	fma-neg
715×	associate-/l*
712×	associate-*r*
699×	associate-/r/
696×	distribute-lft-out--
656×	associate-/r*
653×	add-log-exp
625×	pow1
600×	prod-exp
517×	div-exp
420×	flip-+ flip3-+
319×	log1p-expm1-u
317×	expm1-log1p-u
310×	cbrt-unprod
297×	distribute-rgt-neg-in
293×	unpow3 cube-mult
284×	distribute-lft-neg-in
283×	cbrt-undiv
252×	sqrt-prod
191×	flip-- flip3--
177×	cbrt-prod
170×	frac-times
151×	1-exp
149×	unswap-sqr
133×	pow-prod-down
124×	associate-*r/
123×	sub-neg
116×	fma-def
111×	sum-log
103×	frac-sub
98×	associate-*l/
89×	rec-exp
83×	diff-log
80×	exp-neg
77×	neg-mul-1
71×	*-commutative
70×	neg-sub0
67×	associate-/l/
65×	clear-num frac-2neg
60×	exp-diff
54×	log-prod
44×	fma-udef
42×	swap-sqr
35×	unpow2
32×	pow-exp
30×	pow-to-exp pow1/3
24×	div-sub
23×	un-div-inv +-commutative
17×	sqrt-div log-pow
16×	pow-prod-up log-div
15×	cbrt-div rem-sqrt-square
14×	pow-plus
13×	pow-flip
12×	distribute-lft-neg-out pow-sqr
10×	difference-cubes pow1/2 sqrt-pow1 pow2
9×	associate-+l+ inv-pow
8×	associate-+r+ associate--l- neg-log rem-log-exp
7×	associate--l+
6×	pow-unpow
5×	distribute-frac-neg
4×	frac-add associate-+l-
2×	cube-div log1p-udef log1p-expm1 expm1-log1p expm1-udef sum-cubes distribute-neg-frac associate--r+ pow-pow
1×	rem-cube-cbrt pow3 hypot-udef rem-cbrt-cube distribute-rgt-neg-out