((sqr(2)^(sqr(2))^(sqr(2))