Simplify square root of -112