sqrt 2^sqrt 2^sqrt 2