int_0^\infty (sin(x))/(1+e^(-x))