function saturation_d1 input Real x; input Real x_min; input Real x_max; input Real x_d1; input Real x_min_d1; input Real x_max_d1; output Real x_sat_d1; end saturation_d1;