self.ensure(
            x0 >= self.map_ymin and x0 <= self.map_ymax,
            "The initial condition x0 should be in [%g, %g].",
            self.map_ymin,
            self.map_ymax,