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