integral(tanh(x)*cos(tx))