Simplify square root of -128