Simplify square root of 9/2