If it were me I'd cut it down.
Trees around pools drop all kinds of crap in the pool and block the sun.

George