Had a tree dropped on my lawn and now there is a pretty noticeable depression. They actually had a log there, for the dropped tree to land on. But then that log pushed down. Depression is sort of hemispherical and 5 inches deep/wide, four feet long. Is in my lawn.
Note, I'm not looking for a pool table flat surface; don't mind some natural look to my lawn.
Advice on how to address?
Leave it as is and a science experiment if it evens out with rest of lawn eventually?
Fill with dirt and throw some grass seed on?
Excavate general area and smush the dirt to similar height? (But this means tearing up more of my lawn.)
Other.
P.s. Mea culpa in advance if this is too obvious/easy a question. I'm not very toolsy, knowledgeable.