How do you simplify #sqrt( (1 - sqrt(2)/2) / 2 )#?