: ' 0.6 - ;
: r dup * swap dup * + sqrt ;
x x ' y ' r /
y x ' y ' r /
1.6 x y r -