I have a ~10 year old HD manila mango tree with stunted growth (only 6-7 ft tall and very straggly). I believe the soil had a lot to do with it - a lot of clay and very hard. Though I amended it prior to planting it with a lot of clay soil amendments (those bags from HD), the soil became very compact and hard again.

So I am thinking of dig it out, amend it with some pumice and plant a new tree.

An alternative may be top-working it and mulching heavily. But I am not sure a stunted tree can recover.

Advice appreciated. Thanks!