[,]

Commutator

Decompose into commutator notation

Settings

Order:
Max Depth:
Sorting rules:
Score of C:[A,B] = · stm(A) +· stm(B) + stm(C)
Addition penalty:
Try: ···