Rationalizing a denominator using conjugates - Square root in numerator