What does Automatic mean in the context of VerifySolutions for NSolve?

Question

A quick check for the options of NSolve yields:

 Options[NSolve]

 {Method -> Automatic, RandomSeed -> 0, 
  VerifySolutions -> Automatic, WorkingPrecision -> Automatic}

Does anyone know what VerifySolutions -> Automatic means in this case? Automatic to me usually means 'make reasonable guess', as in PlotRange -> Automatic, but I don't know what Mathematica thinks is reasonable, and I don't know how to dig any deeper into the underlying code in Mathematica.

I should add that I know how to verify solutions by hand by feeding them back into the original equations. I also know that I can force the option by setting VerifySolutions -> True. I have found that this typically takes a bit longer for the equations I am solving which makes me think Automatic means False in my case. But in either case, I am none-the-less still curious about my original question.

Answer 1

From the documentation of VerifySolutions:

VerifySolutions controls whether the solutions obtained using non-equivalent transformations or numerical methods should be verified.

One example of a non-equivalent transformation is when inverse functions are being used. Here is an example. First the default case with VerifySolutions->Automatic:

TracePrint[
    NSolve[Sin[x] == .5, x],
    Sin[_Real],
    TraceInternal->True
]

Sin[0.52359877559830]

NSolve::ifun: Inverse functions are being used by NSolve, so some solutions may not be found; use Reduce for complete solution information.

{{x -> 0.523599}}

Now, repeat with VerifySolutions->False:

TracePrint[
    NSolve[Sin[x] == .5, x, VerifySolutions->False],
    Sin[_Real],
    TraceInternal->True
]

NSolve::ifun: Inverse functions are being used by NSolve, so some solutions may not be found; use Reduce for complete solution information.

{{x -> 0.523599}}

Notice that this time the solution isn't verified (i.e., this time Sin[0.52359877559830] is not evaluated to check whether it's zero).