\input amstex \operatorname{arccot}a+\operatorname{arccot}b=\operatorname{arccot}\left(\frac{ab-1}{a+b}\right)