Identities of commutators Let $G$ be a group and set $[x,y]:= x^{-1}y^{-1}xy$ as usual and consider it as a binary operation.

Question: Is there a description of the identities that the operation $[.,.]$ satisfies for all groups? 

Just to clarify, those identities should not involve ordinary group multiplication, conjugation or inversion (such as the Hall-Witt identity and various other identities) but only commutators and the neutral element.
Of course one has identities of the form $[x,x]=1$ and $[[x,y],[y,x]]=1$ (as pointed out in a comment), but there are also more complicated ones. As an example, one can check the following three-variable identity 
$$[ [[x,y], z],[z,[y,x]]] = [ [[x,y], z],[[x,y],[z,[y,x]]]]$$
and derive one other of similar type. Are all other identities derived from this?
 A: The paper Commutators of flows and fields
contains the following result:

*

*Let $M$ be a manifold, let
$\phi^i:\Bbb R\times M\supset U_{\phi^i}\to M$ be smooth mappings for
$i=1,\dots,k$ where each $U_{\phi^i}$ is an open neighborhood of
$\{0\}\times M$ in $\Bbb R\times M$, such that each $\phi^i_t$ is a
diffeomorphism on its domain, $\phi^i_0=Id_M$, and
$\frac{\partial}{\partial t}|_0\, \phi^i_t=X_i\in\mathfrak X(M)$. We put
$[\phi^i_t,\phi^j_t]
    :=(\phi^j_t)^{-1}\circ(\phi^i_t)^{-1}\circ\phi^j_t\circ\phi^i_t.$
Then for each formal bracket expression $B$ of length $k$ we have
\begin{align}
0&= \tfrac{\partial^\ell}{\partial t^\ell}|_0
    B(\phi^1_t,\dots,\phi^k_t)\quad\text{ for }1\le\ell<k,\\
B(X_1,\dots,X_k)&=\tfrac1{k!} \tfrac{\partial^k}{\partial t^k}|_0
    B(\phi^1_t,\dots,\phi^k_t)\in \mathfrak X(M)
\end{align}
This suggests that any relation holding for Lie brackets holds also for the group commutator.
#Edit:
I am not sure about the suggestion above. Cor.12 of the paper points in this direction.
A more precise conclusion is: The algebraic structure for the group commutator (alone) has as quotient the algebraic structure of Lie brackets (involving brackets alone). What is the kernel? Is there a kernel?
