If at all possible you’re a bunch of time and effort ahead to push the tree over whole, dig the dirt off the rootball and then cut the stump.