The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification 