In 2013 US government receipts totalled $2.78tn of which corporation tax constituted $273bn (~9.9%)[1]

I imagine most of the boost in margins to be brought down increasing compensation or numbers employed so most of that gets brought in to tax coffers via personal income taxes.

[1]http://www.taxpolicycenter.org/taxfacts/displayafact.cfm?Doc...