Ah, that makes sense. Utilize the derivatives to enable checking of the range, in a sense, semi-manually constructing the range of the function in question.
@dpsanders or anyone, how well does IntervalArithmetic
play with interpolated functions such as solutions to DifferentialEquations
?