2^(sqrt 2)