faster minpoly using composed sum