Solve for x cot(x)+ square root of 3=0