arccot((1-x^2)/(2x)) where x = -2+sqrt(3)