Simplify -1/(- square root of 3)