y // inspection
D2 r U (x' y) R u R' u' // cross
R' U R U' R' U' R // 1st pair
U y' R' U2' R U R' U' R // 2nd pair
L' U2 L U L' U' L // 3rd pair
U R U2' R' U R U R2' F R F' // 4th pair / EOLS
R' U2' R U R' U R // OLL
U' R' U' F' R U R' U' R' F R2 U' R' U' R U R' U R U'