: x x 2 * 1 - ;
: y y 2 * 1 - ;
: d dup ; : o over ;
: l
o -2 * o / 3.5 + >r
o x * o / >r
o y * o / 1 + d 1 -
d * r> d * + r> d * + sqrt 1 -
min
rot + swap ;
1 0
x d * y d * + 4 + sqrt
l l l l l l l l l l l l l l l l l l l l
drop
5 / - d d
( thanks to w23 for the idea )