Risolvi sin x = \sqrt 2/2 in