(2)^(1/sqrt 2)