sqrt(2)^sqrt?