\input amstex\int \operatorname{arccot}(x+\alpha)