more aggressive optimization of coercion terms