Try this:
  [apply] dsimp only
Try this:
  [apply] dsimp only
Try this:
  [apply] simp only
Try this:
  [apply] simp only