sqrt 2 ^sqrt 2