やらないけど、∫dx/{e^x+e^(-x)}はArctan(e^x)+cになる。