reduce_evalue: reduce polynomial expressions in denominator-2 fractional parts