Integrate[ArcCot[(1 + 2*Tan[t/2]^2)/Sqrt[3]],t]