Analysis of polynomial approximation algorithms for constraint expressions