Rationalizing a denominator - Quotient involving square roots