Simplify square root of -3