This sort of 'what if?' discussion is always worth while and the numbers can be interesting.
But I am an Engineer at heart and I was just wondering how much such a project would cost, compared with just using compressors in a surface structure. Energy storage wouldn't be a problem as the air in the dome itself would act as a reservoir for solar energy.
I seem to remember that the comparison of cost for overhead electricity cables, compared with burying them can be anything between 1/4 and 1/14. There will be many other factors that are very different between Mars and Earth but that was a figure that struck me as relevant to this discussion.
Also, what would be the knock-ons of living so far underground? You'd have to go to the surface for travel and agriculture, in any case. I am always a bit skeptical about Terraforming in general because we are very good at TerraDEforming where we already live. Could we really guarantee making things 'better' up there?