plot {(u>1/2) and (v>1/2) and (e^(productlog(4/5 pi)) < u^2+v^2<e^(productlog(4pi+log2)))}