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