Simplify square root of 128