I have 2 trees about 10 and 12 ft from the pool. Both now have some roots that have grown under my liner and extend about half way across the pool. I can see the outline of the branching roots, and can definitely feel them when you step on it. Largest parts appear to be probably 1/2" or less, and everything else is smaller down to maybe 1/16" or less. I plan to cut one tree down and trim the other, but not quite sure how to take care of the root problem. I thought about digging a small shallow trench about 3 ft away from the pool, and cutting out about a foot of all those roots. Kinda hoping this would stop the root growth. Is that a good idea? Would there be something I could put on the cut ends leading to the pool that would kill the roots and allow them to decompose, but not leach some chemical through the liner? Is there a better way to take care of this, and hopefully prevent more roots from eventually doing the same thing? So far, no holes in the liner, but I don't want to wait much longer to fix this. Has anyone else had to deal with situation? Any suggestions would be very helpful, please... Thank you!