removed intermediate predicate in multiplyPolys