Gibril Wilson doesn't count in the compensatory model. He was cut by the Raiders. Jason Taylor doesn't count either as he was cut by the Redskins. Cameron Wake doesn't count, he was originally released by the Giants. Vonnie Holliday doesn't count as a loss, since we cut him. Samson Satele doesn't count obviously because we traded him.
The compensatory formula model is a closed pool of players that had expired contracts (ie. they were not cut), and switched teams.
Three players left Miami for another team off an expiring contract. They were Andre Goodman, Renaldo Hill and Al Johnson
Three players came to Miami from another team off an expiring contract. They were Jake Grove, Joe Berger and Eric Green.
Eric Green and Al Johnson both never made it out of training camp and onto a 53-man roster. Therefore, they're both tossed out of the pool.
You have the loss of Andre Goodman and Renaldo Hill balancing against the gain of Jake Grove and Joe Berger. Goodman and Grove probably balance out. But Hill signed a 4 year, $10 million contract with $3 million guaranteed, and has started 13 games. Berger signed a 3 year deal probably closer to the veteran's minimum, and has been a backup until the last 3 games when Grove got hurt.
My opinion is the Hill for Berger swap could result in us getting a 6th round selection. But, it also wouldn't surprise me if we got no pick at all.