int sqrt(x x^2)