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.
