Simplify square root of (x^2)/2