I try to use logarithmic differentiating wherever appropriate when dealing with functions involving rational functions and/or radicals as factors. The advantage is that one has to deal with additive terms instead of factors which are often easy to manipulate and reduce:
$$\log y = \log\frac{1}{3} +\frac{1}{2}\log x +\log (x-3)$$
$$\frac{y'}{y}=\frac{1}{2x}+\frac{1}{x-3}=\frac{3}{2}\frac{x-1}{x(x-3)}$$
$$y'=\frac{1}{2}\frac{x-1}{\sqrt{x}}$$
$$dl = \sqrt{1+y'^2}dx=\sqrt{1+\frac{1}{4}\frac{(x-1)^2}{x}}dx=\frac{1}{2\sqrt{x}}\sqrt{4x+x^2-2x+1}dx=\frac{1}{2\sqrt{x}}\left(x+1\right)dx=\frac{1}{2}\left(\frac{1}{\sqrt{x}}+\sqrt{x}\right)dx$$
One method that I myself find very handy when you get used to it is "pushing" expressions under $d$ using the rule:
$$d\left(f(x)\right)=f'(x)dx$$
All it takes is remembering some standard derivatives from the table. All it gives is breaking down complex expressions into manageable blocks without having to introduce new variables. Changing variables then is understood much like giving names to chunks of programming code which you have to reuse consistently and no "magic" at all. If you look up similar questions I have answered here, you will see that I am using the same "method" all around. Below, just by noticing that
$$\left(\sqrt{x}\right)'=\frac{1}{2\sqrt{x}}$$
one can avoid dealing with fractional exponents, reduce the limits and achieve greater transparency in calculations:
$$l=\frac{1}{2}\int_1^9\left(\frac{1}{\sqrt{x}}+\sqrt{x}\right)dx=\int_1^9\left(1+\left(\sqrt{x}\right)^2\right)d\left(\sqrt{x}\right)=\int_1^3\left(1+t^2\right)dt=\left.\left(t+\frac{t^3}{3}\right)\right|_1^3=3+9-1-\frac{1}{3}=\frac{32}{3}$$