Simplify square root of -13