(1 1/(4-2*sqrt 2))/2 * minimum((1 / sqrt 2)*(|x| |y|), max (|x|, |y|))