For further reference, it may be that the problem of the noncommutative BCH is related to, or could benefit from the solution of the KW conjecture given by Alekseev and Torossian. So it is a very hard problem, maybe.
computing with space | open notebook
The Decentralised Internet is Here
An experimental 3d voxel rendering algorithm
a personal view of the theory of computation