Solve sin x = \sqrt 2/2 on