omega/polyfunc.cc: maximize: simplify domain before printing