Simple birational extensions of the polynomial ring \(\mathbb{C}^{[3]}\) Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification 