Digging up the rest of the front yard will be difficult. There is no shade now that the tree has been cut down. So we will need a sun shade. Luckily, we have one left over from a beach trip about 20 years ago.
Then we can start digging. First we need to find the sides of the area that we dug up before. So we start digging in what we think is a corner of the part yet to be dug up, trying to find the edges. We were badly off, but eventually we find what we think are the edges -- no big rocks in the dirt, the dirt is fairly soft to dig, and uniform in composition.
Now it's just day by day making this pit a bit larger. Finding big rocks as we do and pulling them out.
Repeat and repeat.
Widening the hole.
Removing the rocks, and the dirt, and then digging further and deeper.