Simplify square root of 3