sqrt(2*x^2 - 1) = x