Simplify square root of 31