code: def max(self, e, extra_constraints=(), exact=None):
          
          if exact is False and o.VALIDATE_APPROXIMATIONS in self.state.options:
              ar = self._solver.max(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=False)
              er = self._solver.max(e, extra_constraints=self._adjust_constraint_list(extra_constraints))
              assert er <= ar
              return ar
          return self._solver.max(e, extra_constraints=self._adjust_constraint_list(extra_constraints), exact=exact)
docs: Return the maximum value of expression `e`.
  
          :param e                : expression (an AST) to evaluate
          :param extra_constraints: extra constraints (as ASTs) to add to the solver for this solve
          :param exact            : if False, return approximate solutions.
          :return: the maximum possible value of e (backend object)