solve r^2*arccos(1-(2*r-(pi*r)/2)/r)-(r-(2*r-(pi*r)/2))*sqrt(r^2-(r-(2*r-(pi*r)/2))^2)=20 for r