Rule extraction with guarantees from regression models. (June 2022)