I don't see any figures comparing the error of the formula with the previous error from numerical methods. While mathematically the discovery seems significant, it isn't clear to me this will actually improve lenses.