sqrt(x^2) = x