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