integral cos(x)/(1+e^x)