simplify constants appearing in LE expressions