\input amstex \int \operatorname{arccot}(x^2+x+1)\,dx