I cut three or four pretty big cedar trees and put them in my pond. I didn't want them taking over a field, and thought they might last longer than other types of trees. We do a lot of swimming in the pond so I've marked them off with duck decoys. I've also put artificial structure around them. So far so good as far as seeing fish use them for cover. Mostly FHM, but if they are there the larger fish should be around.
Reading about the problems with oak, I'm kind of glad I didn't leave oak stumps in the bottom. We burned most everything, sold off the sellable timber, and buried stumps so i don't have to look at them.

9 yr old pond, 1 ac, 15' deep.
RES, YP, GS, FHM (no longer), HBG (going away), SMB, and HSB (only one seen in 5 yrs) Restocked HSB (2020) Have seen one of these.
I think that's about all I should put in my little pond.
Otter attack in 2023