integrate(4*x/(exp(2*x) + 1), x)