Simplify square root of -17