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