solve sin x = \sqrt 2 / 2 em