Cover the entire roof with panels. You probably won't be able to fit more than 600-800W - need to leave some space to walk around, it's easier to install when you can also walk between them. Leave 12-18" distance from air conditioner box or it would shade the panels. You'll figure out once you've climbed the roof and dragged the panels up :). Might want to cut cardboard templates (I didn't). Panels must have ~4 degree slope to shed rain water and dust, on the arched roof you'll naturally get a slope if you just attach panels parallel to the roof.
24V nominal panels are cheaper per watt than 12V nominal. Bad news is that you will need MPPT type controller for them, more expensive than PWM type. Good news is that cable will be thinner than with 12V array. Buy used panels if you can, but they are inexpensive new either.
I tried Renogy MPPT, quite an annoying device despite built-in display. Bought Victron - more money, better charging algorithm, no display - though both can be controlled via phone app. I think Victron has an optional remote display. Buy controller after you've bought the panels.
Many are getting Li batteries these days, the rule 1-1.5W solar per 100 AH of batteries becomes less important then.