(sqrt(2)^sqrt(2))^sqrt(2)