Simplify square root of (-8)^2