I'm looking for functions $S_{max}, S_{min}$ that is similar (converges to?) to a smooth max, but respects the distributive law and is differentiable (or is polynomial). Is there such a known function? So it should at least satisfy the following:
- $S_{max}(x, y)'$ exists assuming that $x', y'$ do.
- $min(max(x, y), z) = max(min(x, z), min(y, z))$ and vice versa (distributive)