withArgs package:aern2-mp

Assert equality of two MPFloat's with tolerance derived from the given list of input and intermediate values and their differentials (ie the derivative of the result wrt this value). The difference in the left and right results is expected to share at least as many significant digits as the worst error step among the input and intermediate numbers shifted by the slope of the differential minus the given precision loss parameter. When the assertion fails, report the given values using the given names.