Smooth saturation of input x between xmin and xmax
function sat input Real x; input Real xmin; input Real xmax; output Real y; end sat;