integral of e^x/(e^x+e^(-x)) = x-e^x arctan e^x