-sqrt 3