The Redskins have released veteran defensive end-linebacker Jason Taylor, the team announced on Monday.

Taylor played one season in Washington after the team acquired him in a trade with the Miami Dolphins on July 20, 2008.

"Jason Taylor was a real professional during his time with the Redskins," head coach Jim Zorn said. "He played hurt, but still gave his best effort to be prepared and play hard every week. We wish him and his family the very best."

Taylor's 2009 salary was reported to be a hefty $8 million. Despite the Redskins' free agent signings last Friday, team officials did not ask Taylor to take a pay cut.

The Redskins did want to add a clause in Taylor's contract requiring him to participate in 25 of 39 days in the team's off-season workout program.

Taylor declined, leading to his release.

One of the NFL's premiere pass rushers the last decade, Taylor posted 36 tackles and 3.5 sacks in an injury plagued campaign last year.

After overcoming a knee injury in preseason, Taylor suffered a calf injury in Week 3 that sidelined him for three games and lingered most of the season.

Taylor played his first 11 seasons in Miami.

His 120.5 career sacks are the most among all active NFL players and rank 14th all-time in NFL history.

Taylor's release leaves the Redskins somewhat thin at the defensive end position.

Andre Carter is set to return at right defensive end. Young linemen Chris Wilson, Rob Jackson and Alex Buzbee are in the mix as well.

Phillip Daniels and Demetric Evans are unrestricted free agents.

Taylor also played some strong-side linebacker last year. The team is expected to address that position as well this offseason.