Say that $a, b \in G$ are two elements of a finite group $G$. Is there a structure theorem for the structure of $\langle a,b\rangle$? Is there a way to derive group laws for the group operation in the generated group?
I can think of special cases (the two elements commute, one of the elements is a power of the other, the commutator of the two elements commutes with them, etc.). I am wondering if a general classification results exists, still.