Simplify square root of x*x