Normally, when you start with the optimal tax function, and make an infinitesimally small reduction in the MTR at some point, the costs are an infinitesimally small increase in inequality, and the benefits are an infinitesimally small increase in efficiency (as people work a tiny bit harder).