arcsin x = 2 arcsin (- x/sqrt 2)