Flat List Optimization Calculus