((x)^sqrt(2))^sqrt(2) = x^2