Distinct Array Optimization Calculus