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