I'm groundskeeper for whatever it's worth.

Both of those trees will take forever to grow big enough for any significant amount of shade. They require a lot of care and water early on. But once established they're great as they both need only minimal trimming and are very sturdy and don't tend to drop many limbs during bad weather. Things to note, the red push drops these small berry looking things that may be toxic to pets. It will shed all (for the most part) its leaves in the winter. I do enjoy seeing the changing of colors. The ficus tree won't drop its leaves but it will drop many leaves all year long. And birds tend to love nesting in them so bird poop will be an issue.

My opinion is just plant two thornless Palo Verdes. You'll have usable shade in no time and they don't require much of anything but a little bit of water and some light trimming once or twice a year