sqrt(x^2, 3)