Black may try a, b or c.
(It turns out that is necessary for White to live!)
unkx80: Huh, my reading is not so complicated, should not be needed.
unkx80: If at a, then White b snapback. After , Black cannot avoid connect-and-die from b.
Three liberties to two, White wins by one. (Refer to Black at a to see that extending at will not gain any liberties.)
After , play reverts to for Black at a.
a and b are miai for life
hhw: my attempt.
Dave: I like hhw's forcing sequence. However, White should continue once more with here instead of above. After anything like , Black can not play at a ( above becomes unnecessary), so makes b and c miai for life. If Black answers with d, White will force twice starting with e and then turn at f, capturing Black.
hhw: seems to allow White to get both groups out by itself.
Up to all moves were forced. Now there are several variants. (Basic ideas similar to hhw, but omitting his , which gives unnecesarry options to Black.)
There are four crucial points left.
After a White lives if b is sente (threatening to move out and disabling d in the process)
After b White lives with d (a and c miai) or a (undestroyable second eye because of snapback).
After c White can live directly with a (undestroyble second eye because of snapback.)
After d White escape, force Black and then wrap up the whole black group with . As White can make a second eye at a, Black can not win this capturing race.
After Black has not many options. Keeping White from getting to the outside is the best play, but White can live easily with a play at c (as Black can't play at d).
Black c fails, White can force at e and than capture with an eye at f
Black f is the only possibly resistance. But ends in disaster.