Solving a class of higher-order equations over a group structure

Aschbacher, 2000, Finite Group Theory, 10.1017/CBO9781139175319 Eick, 2002, Computing subgroups by exhibition in finite solvable groups, Journal of Symbolic Computation, 33, 129, 10.1006/jsco.2000.0503 Flajolet, 2001, Analytic Combinatorics: Functional Equations, Rational and Algebraic Functions Hong, 1998, Groebner basis under composition I, Journal of Symbolic Computation, 25, 643, 10.1006/jsco.1997.0192 Kuczma, 1990 Marin, 2001, CFLP: a Mathematica implementation of a distributed constraint solving system, The Mathematica Journal, 8, 287 Poole, 2003 Shilov, 1971 Suzuki, 1986 Wolfram, S., 1999. The Mathematica Book, fourth ed. The Wolfram Medic Inc. Champaign, The Wolfram Research Company (Available from http://www.wolfram.com/) and Cambridge University Press, Illinois, USA