Why not put the tax on global_profit * local_revenue / global_revenue?
So using your equation, Acme EU would get taxed on $0 × $50MM / $50MM.
Of course, we want to have a way to say, "But wait, both Acmes are actually the same company!" I think that's the hard problem to solve.