simplify expression reduction