rewrite5.2s (2.3%)

Algorithm

146×	rewrite-expression-head

Calls

486 calls:

200.0ms	(/ x (+ x 1.0))
161.0ms	(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
98.0ms	(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
70.0ms	(* (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
70.0ms	(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))

Rules

12945×	*-un-lft-identity
10910×	add-sqr-sqrt
10820×	times-frac
7541×	add-cube-cbrt
5961×	prod-diff
2334×	add-exp-log
1566×	add-cbrt-cube
1319×	distribute-lft-out
1292×	distribute-lft-out--
1222×	difference-of-squares
1138×	unpow-prod-down
1134×	sqrt-prod
1007×	associate-*r*
983×	pow1
969×	associate--r+
789×	add-log-exp
756×	distribute-rgt-neg-in
742×	prod-exp
672×	div-exp
652×	div-inv
623×	distribute-lft-neg-in
610×	associate-/r/
490×	expm1-log1p-u
488×	log1p-expm1-u
467×	associate-/l*
438×	sqr-pow
430×	associate-*l*
410×	cube-prod
407×	associate-/r*
399×	associate-+r+
394×	fma-neg
344×	cbrt-undiv
341×	cbrt-unprod
305×	flip--
304×	flip3--
300×	pow-exp
277×	flip-+ fma-def
276×	flip3-+
266×	cbrt-prod
225×	distribute-rgt-in distribute-lft-in
219×	associate--l+
218×	pow-to-exp
211×	unswap-sqr
205×	neg-mul-1
195×	log-pow
183×	log-prod
134×	pow-prod-down
122×	cos-sum
107×	clear-num frac-2neg
106×	sub-neg
105×	associate-/l/
103×	swap-sqr
97×	sqrt-div associate-*r/
96×	unpow3 cube-mult diff-log
93×	*-commutative
75×	associate-*l/
70×	exp-prod
67×	frac-times
61×	sum-log
56×	sqrt-pow1
55×	div-sub
48×	unpow2
46×	pow1/2
43×	log-div
42×	frac-sub
40×	+-commutative
37×	pow1/3
35×	cbrt-div
34×	pow-unpow rem-sqrt-square sin-sum
31×	neg-sub0
29×	exp-sum
27×	fma-udef 1-exp
25×	rec-exp
22×	cube-div cos-diff tan-quot
21×	associate-+l-
20×	neg-log
19×	rem-log-exp sin-diff
18×	sin-cos-mult pow-prod-up
16×	sin-mult
15×	frac-add pow-sqr
14×	distribute-rgt-out pow-pow
13×	exp-diff associate--l- acos-asin exp-to-pow
10×	rem-cube-cbrt
9×	associate-+r- pow-flip expm1-udef distribute-frac-neg
8×	pow2 expm1-log1p pow-plus
7×	associate-+l+
6×	rem-exp-log acos-neg log1p-udef log1p-expm1 rem-cbrt-cube
5×	un-div-inv
4×	difference-cubes inv-pow difference-of-sqr-1 cos-mult associate--r- distribute-rgt-neg-out
3×	unpow-prod-up hypot-def asin-acos
2×	distribute-lft1-in sqrt-unprod distribute-lft-neg-out unsub-neg distribute-rgt-out-- distribute-neg-frac
1×	expm1-def e-exp-1 hypot-udef rem-square-sqrt sub-div tanh-undef