rewrite621.0ms (2.3%)

Algorithm

26×	rewrite-expression-head

Calls

66 calls:

43.0ms	(/ -1 (- (/ f (+ f n)) (/ n (+ f n))))
34.0ms	(* (sqrt (- x 1.0)) (sqrt x))
29.0ms	(- (/ 1.0 x) 1.0)
25.0ms	(* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)))
24.0ms	(/ (* 1.0 (- (/ (/ 1.0 x) x) 1.0)) (+ (/ 1.0 x) 1.0))

Rules

1148×	*-un-lft-identity
1015×	times-frac
936×	add-sqr-sqrt
581×	add-cube-cbrt
296×	cbrt-prod
156×	unpow-prod-down cube-prod
146×	associate-/r*
143×	distribute-lft-out
134×	distribute-lft-out--
133×	add-exp-log
132×	difference-of-squares
129×	add-cbrt-cube
122×	sqrt-prod
121×	pow1
117×	add-log-exp
71×	associate-/r/
65×	associate-/l*
62×	sqrt-div
53×	flip-- flip3--
50×	associate-*l*
48×	div-inv
47×	associate-*r*
41×	flip-+ flip3-+
35×	sqrt-pow1
34×	pow1/2
28×	distribute-lft-neg-in distribute-rgt-neg-in
26×	div-exp
24×	cbrt-undiv
23×	rem-sqrt-square
22×	associate-*l/
19×	sub-neg
18×	diff-log
17×	unswap-sqr
16×	exp-prod
15×	associate-/l/ distribute-rgt-out--
14×	clear-num frac-2neg
13×	swap-sqr prod-exp
11×	pow-prod-down cbrt-unprod
10×	frac-sub exp-sum associate-*r/
8×	frac-times
7×	sum-log neg-sub0 neg-log neg-mul-1
6×	*-commutative cube-mult unpow3 sqr-pow sub-div cbrt-div
5×	pow-flip pow-prod-up
4×	div-sub
3×	associate-+l- pow1/3 pow-sqr +-commutative pow-unpow un-div-inv rem-exp-log cube-div
2×	exp-diff 1-exp rec-exp rem-cube-cbrt sqrt-unprod pow-exp distribute-neg-in associate--l- distribute-neg-frac
1×	pow-plus rem-square-sqrt distribute-frac-neg exp-neg inv-pow rem-cbrt-cube associate--l+ pow-pow pow2 pow-to-exp