Figure Asymptote geometry -- 058