use Change<Expression> for handle success/failure of simplification