is sqrt(x^2) = abs x