https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58315
--- Comment #17 from Aldy Hernandez <aldyh at gcc dot gnu.org> --- BTW, if it isn't clear from the previous comment, the reason I believe this test may be inefficient is because we have pages upon pages of: cs.insert(Coefficient("1125899906842624")*B >= Coefficient("-2947644227703623")); cs.insert(Coefficient("5895288459910846")*B + Coefficient("2251799813685248")*C + Coefficient("3643488630462999")*D >= Coefficient("-19077554198762088")); cs.insert(Coefficient("5895288457659046")*B + Coefficient("2251799813685248")*C - Coefficient("3643488628211199")*D >= Coefficient("-19077554189754888")); cs.insert(Coefficient("11790576915318092")*B - Coefficient("4503599627370496")*C + Coefficient("7286977269933197")*D >= Coefficient("-38155108393020576")); ... ...all creating temporary objects for each coefficient and factor.