'Refine an isolating interval until it is of sufficiently small size.'

def refine_size(self, dx, dy=None):

    if (dy is None):
        dy = dx
    expr = self
    while (not ((expr.dx < dx) and (expr.dy < dy))):
        expr = expr._inner_refine()
    return expr
