I used to have a, I believe, three processor Alpha computer when I worked at Microsoft. I had a MIPs, PPC and X86 based computers as well and all were top end and the Alpha always seemed to outpace them all. I was sad when it was discontinued.
Typical k-input Logical AND-NOT uses k pFET and k nFET transistors, the domino logic uses one pFET and k nFET for similar purposes.
The paper about domino logic synthesis [2] hints at what Apple uses for their CPU cores.
[1] https://en.wikipedia.org/wiki/Domino_logic
[2] https://www.researchgate.net/publication/260714833_1-of-N_Do...