{double@s,@r,t=PI-asin(s/r);wt(2t);wt(s*(PI*s+4r*t));}