Renslay
Legend
I looked at your proposal. I don't know a direct solution, I'd do an L-pattern and then a 3-perm. If you chose the right algorithms, the cancellation is insane here!
B2 L2 B2 L2 B2 L2 B2 R2 F2 D2 B2 U2 L2
L2 U2 L2 F2 U2 L2 B2 L2 (y x') B2 R2 U2 R2 B2 // original: // L2 U2 L2 F2 U2 // your first part // (L2 B2)3 // L-pattern // yx' (R2 U2 R2 B2)2 // 3-perm
I originally inserted this as 3-perm:
yx' (L2 U2 L2 B2)2
But I realized I can use the mirrored version for a LOT of cancellation!
Is L2 B2 L2 (y x') B2 R2 U2 R2 B2 the shortest solution to this case? Honestly, I don't know. But I keep this in mind if I run into this exact pattern again!