R/U/M-based optimal commutators (0-1 setup moves):
[R2: [R', U M' U']] // DF->RF->RD
[x: [M', U R2 U']] // DF->FU->BR
[z': [U M2' U', R]] // z' (U M2 U') R (U M2 U') R' z
[x': [U' R U, M2]] // x' (U' R U) M2 (U' R' U) M2 x
[R, U' M2 U] // R (U' M2 U) R' (U' M2 U)
[U2: [U' R' U, M']] // (U R' U) M' (U' R U) M U2
[R: [R2, U M' U']] // R' (U M' U') R2 (U M U') R'
[u': [M', U' R U]] // DF->LU->FL
[x' D': [U' R2 U, M]] // DF->UB->BD
L/U/M-based optimal commutators (0-1 setup moves):
[z: [M', U L' U']] // z M' (U L' U') M (U L U') z'
[x': [M, U' L' U]] // x' M (U' L' U) M' (U' L U) x
[x: [U' L' U, M']] // x (U' L' U) M' (U' L U) M
[U' M' U, L] // (U' M' U) L (U' M U) L'
[L2': [L', U M2 U']] // L (U M2 U') L (U M2 U') L2'
[U M2 U', L'] // (U M2 U') L' (U M2 U') L
[U' M' U, L2'] // (U' M' U) L2' (U' M U) L2'
[M,U2] type commutator (0-2 setup moves):
[x: [U2, M']] // x (U2 M' U2 M) x'
[M', U2] // M' U2 M U2
[U x: [U2, M']] // U x U2 (M' U2 M) x' U'
[R' U': [M', U2]] // R' U' (M' U2' M) U' R
[L U': [M', U2]] // DF->UR->BL
D/U/M-based optimal commutator:
[D', M' U' M] // D' (M' U' M) D (M' U M)
1-move setup to 9-move R/U/M commutator:
[u R2: [R, U' M2 U]] // u R' (U' M2 U) R' (U' M2 U) R2 u'