[polyml] Performance of Poly/ML 4.2.0