x+y=sqrt(3),x*y=1/2,arccot(2x^2)=?