sqrt(x^2-2)