Is there any nice characterization of the extension of $G/[G,G]$ by $[G,G]$ that equals $G$? In this question, I asked whether a finite group $G$ could always be expressed as the semidirect product of its commutator subgroup $[G,G]$ and the abelian quotient group $G/[G,G]$.  The answer is no.
So now we move on to the more general question, which is whether there is any nice characterization of the extension of $G/[G,G]$ by $[G,G]$ that equals $G$.  As I am interested in $G$ nonabelian, I realize the general extension problem is very hard.  But I am hoping that working with the commutator subgroup makes this problem easier.  The research I have done so far is not encouraging, however, so I can only be pleasantly surprised at this point!
Motivation: It is tempting to think of the derived series of a finite group as decomposable into a "product" of abelian communtator quotient groups:
$G=G/G'\times G'/G''\times ... \times G^{(n-1)}/G^{(n)} \times G^{(n)}$
where $G^{(n)}$ is the perfect group where the derived series terminates. If $G^{(n)}$ is not trivial, then $G$ is not solvable (and $G^{(n)}$ is necessarily nonabelian), and $G$ is solvable if $G^{(n)}$ is trivial.  In the latter solvable case, all the "factors" are abelian, but the "product" can be nonabelian.  If we could characterize the "product" as a semidirect product, then this interpretation might have some merit, but we cannot.  But if the extension I am asking about can be characterized, this idea might be salvagable: that solvable groups are not "too nonabelian" because their "product" has no nonabelian "factors".
Thanks!
More motivation: DonAntonio wonders what I am up to.  I believe that non-mathematicians hate/fear math mostly because it is boring. But what is boring is all the preliminary stuff you need to get through to see the beautiful stuff. Unfortunately, the beautiful stuff can be hard going without the preliminaries. So I am trying to develop an accessible presentation of Galois Theory: not to teach it thoroughly, but to show that there is really cool math hidden from view.  There are many steps to this.  This question deals with one of the last steps: why does the quintic formula become "too complex" to exist? The answer is that it is "too nonabelian": it contains a nonabelian "factor" that can't be eliminated (the perfect group of the derived series).  But there are groups that are solvable and nonabelian: they have abelian "factors" but nonabelian "products".  This all sounds good, but I'd like it to actually be correct!  I was hoping that semidirect products would fill the bill, but they don't.  At best, the characterization of the "product" of commutator quotient groups is going to be more complicated that I hoped, and at worst there will be no such characterization.  Even though I am trying to popularize, and am trying to simplify, I don't want to be wrong.
 A: For solvable groups you have two very different cases: nilpotent and non-nilpotent. If $G$ is nilpotent (and only if, assuming $G$ is finite) then $[G,G]$ is contained within the Frattini subgroup. Such extensions are called “Frattini extensions” and are diametrically opposed to semi-direct products (for $K$ a normal subgroup of $G$, not only is there no $H$ with $H \cap K=1$ and $HK=G$, there is not even a $H \neq G$ with $HK =G$).
Dichotomy
Not all extensions are either semi-direct or Frattini, but if we require $K$ to be a minimal normal (abelian) subgroup then we do get this dichotomy. The $K$ that give semi-direct products are called complemented and the $K$ that give Frattini extensions are called Frattini.
Every solvable group is built up by a series (refining the derived series) of normal subgroups $K_i$ such that $K_i/K_{i+1}$ is a minimal normal subgroup of $G/K_{i+1}$. Each $K_i/K_{i+1}$ is either complemented or Frattini. These factors $K_i/K_{i+1}$ are called chief factors and are an important method of studying solvable groups.
Failure
If $G$ is not solvable, then there can be factors that are neither Frattini nor complemented. If $G$ is infinite, it need not have chief factors at all.
Even if $G$ is finite solvable, $[G,G]/1$ need not be a chief factor, so the extension of $G/[G,G]$ by $[G,G]$ may be neither complemented nor Frattini (the dihedral group of order 24 gives a reasonably obvious example, being both a version of the complemented $S_3$ and the Frattini $D_8$).
Adjust the question
There are a couple of things that might be worth changing in the question (not on stackexchange, but in your quest).
In Galois theory, solvable groups are not so much the groups with terminating derived series, but rather with a subnormal series with finite cyclic quotients (polycyclic groups) corresponding to taking $n$th roots, for $n$ the size of the quotient. Unfortunately, in general such a series has very little structure (it is basically a composition series).
The products you describe are generally called extensions, and in some ways extensions are associative, but actually several of the special types of extensions are not “associative.” For example, consider $G/H \times H/K \times K/L$, you might have that $G/H \times H/K$, $H/K \times K/L$, and even $(G/H \times H/K) \times K/L$ are all central extensions, but $G/H \times (H/K \times K/L)$ is not a central extension. This happens in $D_8$ and $Q_8$ for example. You'll need to decide where the parentheses go, or you'll need to phrase the question so parentheses don't matter. The parentheses can make a huge difference. If you do $(((ab)c)d)e$ then prime factorization is called a chief series, but if you do $a(b(c(de)))$ then a prime factorization is called a composition series. I'm more fond of the chief series approach.
A: I'm not sure what are you up to, but observe that a rather "nice" (who decides?) group fulfills your conditions: the symmetric group $\;S_n\;$, since
$$S_n=A_n\rtimes C_2\;,\;\;\text{and}\;\;S_n'=A_n\;,\;\;S_n/S_n'=C_2$$
So you can always say that at least, by Cayley's Theorem, any finite group is a subgroup of a group with the form you want.
A: Well, probably not that useful (or insightful), but it's guaranteed if $[G,G]$ and $G/[G,G]$ have coprime order. 
A: Suppose $N$ is a normal abelian $p$-group of $G$, and that $p\mid |G/N|$.  Then $G$ splits over $N$ if and only if $P$ splits over $N$, where $P$ is a Sylow $p$-subgroup of $G$. 
This is a theorem of Gashutz. 
So let's imagine we're in the following situation:  
For some Sylow $p$-subgroup $P$ of $G$ we have (i) $P$ normal in $G$, (ii) $[P,P]=[G,G]\cap P$, (iii) $[P,P]$ is abelian. (Note that we assume that $p$ divides both the orders of $[G,G]$ and $G/[G,G]$, as we've already handled the case where the orders are coprime.)
Suppose $G$ splits over $[G,G]$, say $G=[G,G]\rtimes K$.  Then $P=[P,P]\rtimes (K\cap P)$.  Thus, by Gashutz, we may eliminate all solvable $G$ that satisfy the above conditions for some $p$, provided the Sylow $p$-subgroup for that $p$ does not split over its commutator subgroup.
This is a work in progress.  I know I can extend this argument, though I'm not sure by how much. 
