Details

rewrite36.0s (3.5%)

Algorithm

145×	rewrite-expression-head

Calls

458 calls:

1.8s	(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ 1.0 x) (- x 1.0)) 3)) (fma (/ x (+ x 1.0)) (/ x (+ x 1.0)) (* (/ (+ 1.0 x) (- x 1.0)) (+ (/ (+ 1.0 x) (- x 1.0)) (/ x (+ x 1.0))))))
1.1s	(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
956.0ms	(- (log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))) (fma (- (fma t 0.5 (log 0.5)) (* 0.03125 (/ (pow t 2) (pow 0.5 2)))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))
952.0ms	(- (log (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n))) (fma (log (/ 1.0 (+ 1.0 (exp (- t))))) c_p (* (log (- 1.0 (/ 1.0 (+ 1.0 (exp (- t)))))) c_n)))
817.0ms	(* (* (* (- (/ (* m (- 1.0 m)) v) 1.0) (sqrt (sqrt m))) (sqrt (sqrt m))) (sqrt m))

Rules

15077×	*-un-lft-identity
11796×	times-frac
11710×	add-sqr-sqrt
8261×	add-cube-cbrt
6325×	prod-diff
3037×	unpow-prod-down
2869×	cube-prod
2373×	add-exp-log
2118×	sqrt-prod
1974×	distribute-lft-out
1495×	add-cbrt-cube
1468×	difference-of-squares
1352×	distribute-lft-out--
996×	associate-/r/
910×	pow1
815×	associate-*r*
780×	prod-exp
700×	add-log-exp
677×	div-exp
666×	div-inv
641×	fma-neg
620×	associate-/l*
593×	distribute-rgt-neg-in
561×	associate-*l*
462×	log1p-expm1-u associate-/r*
459×	expm1-log1p-u
457×	distribute-lft-neg-in
414×	cbrt-prod
393×	flip--
392×	flip3--
365×	flip-+
364×	flip3-+
341×	cbrt-undiv
340×	cbrt-unprod
337×	pow-exp
334×	distribute-rgt-in distribute-lft-in
332×	sqr-pow
329×	log-prod
236×	pow-to-exp
232×	fma-def
212×	sin-sum
206×	unswap-sqr
166×	pow-prod-down
165×	exp-prod
162×	sqrt-div
154×	unpow3 cube-mult
140×	log-pow swap-sqr
127×	neg-mul-1
105×	frac-times
102×	associate-*l/
101×	associate-*r/
97×	clear-num frac-2neg
94×	associate-/l/ sub-neg
92×	*-commutative
89×	associate--r+
78×	diff-log
68×	sqrt-pow1
62×	pow1/2
58×	cos-sum
56×	distribute-rgt-out
55×	rem-log-exp
45×	pow-unpow
41×	div-sub
40×	pow-prod-up
38×	pow-sqr sum-log
36×	cube-div
33×	cbrt-div fma-udef pow1/3
32×	log-div
31×	rem-sqrt-square
29×	neg-sub0
28×	exp-sum
27×	+-commutative rec-exp 1-exp
22×	neg-log frac-sub
21×	frac-add
20×	distribute-lft1-in
19×	associate--l-
18×	distribute-rgt1-in acos-asin associate-+l- sin-diff
17×	sin-mult pow-pow
16×	rem-cube-cbrt
15×	sin-cos-mult cos-diff exp-to-pow
13×	pow2 pow-plus hypot-def
12×	count-2 tan-quot
11×	difference-cubes associate--l+
8×	unpow2
7×	cos-mult
6×	expm1-udef
5×	log1p-udef associate--r- rem-cbrt-cube
4×	rem-exp-log log1p-expm1 expm1-log1p pow-flip sum-cubes
3×	acos-neg distribute-frac-neg
2×	inv-pow cos-PI/2 associate-+r- un-div-inv cos-acos
1×	exp-diff associate-+r+ sqrt-unprod distribute-neg-in associate-+l+ hypot-udef sub-div rem-square-sqrt tanh-undef asin-acos distribute-rgt-out-- distribute-rgt-neg-out distribute-neg-frac tanh-def