function saturation_d3 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; input Real x_d2; input Real x_min_d2; input Real x_max_d2; input Real x_d3; input Real x_min_d3; input Real x_max_d3; output Real x_sat_d3; end saturation_d3;