Simplify square root of 3* square root of 3