322         max_arg_prec[0] = high[0].subtract(low[0]).msd() - 4;  in inverseMonotone_UnaryCRFunction()
323         deriv_msd[0] = f_high[0].subtract(f_low[0])  in inverseMonotone_UnaryCRFunction()
324                     .divide(high[0].subtract(low[0])).msd();  in inverseMonotone_UnaryCRFunction()
333             BigInteger difference = x.subtract(y);  in sloppy_compare()
380                                           .subtract(big1);  in approximate()
391                   if (f_h.compareTo(arg_appr.subtract(big1)) < 0  in approximate()
410                 l = rough_appr.subtract(big1)  in approximate()
431             BigInteger difference = h.subtract(l);  in approximate()
445                 BigInteger f_difference = f_h.subtract(f_l);  in approximate()
462                       BigInteger arg_difference = arg_appr.subtract(f_l);  in approximate()
476                         adj = difference.subtract(difference.subtract(adj)  in approximate()
483                           adj = difference.subtract(big2);  in approximate()
534                                 guess = guess.subtract(tweak);  in approximate()
553                     BigInteger new_difference = h.subtract(l);  in approximate()
603         CR difference = h.subtract(l);  in monotoneDerivative_UnaryCRFunction()
609         CR appr_diff2 = f_high[0].subtract(f_mid[0].shiftLeft(1)).add(f_low[0]);  in monotoneDerivative_UnaryCRFunction()
622             CR left_diff = arg.subtract(low[0]);  in monotoneDerivativeCR()
624             CR right_diff = high[0].subtract(arg);  in monotoneDerivativeCR()
641             CR left = arg.subtract(delta);  in approximate()
645             CR left_deriv = f_arg.subtract(f_left).shiftRight(log_delta);  in approximate()
646             CR right_deriv = f_right.subtract(f_arg).shiftRight(log_delta);  in approximate()
651                 appr_right_deriv.subtract(appr_left_deriv).abs();  in approximate()