Definite integration $\int _{-\infty}^\infty \frac{\tan^{-1}(2x-2)}{\cosh(\pi x)}dx$ How do I integrate $$\int _{-\infty}^\infty \frac{\tan^{-1}(2x-2)}{\cosh(\pi x)}dx\quad ?$$
The actual integral that I encountered is:
$$\int_{-\infty}^\infty dx \left(\frac{N}{\cosh(\frac{\pi }{c}(x-1))}+\frac{1}{\cosh(\frac{\pi}{c}x)} \right) 2 \tan^{-1}\left(\frac{2x-2}{c} \right)$$ where c is a constant with $$\Re c>0$$ Not sure if these two terms makes it easier.
I was trying to solve just the last term, but I couldn't make any progress. Numerical integration gives $\int _{-\infty}^\infty \frac{\tan^{-1}(2x-2)}{\cosh(\pi x)}dx= -1.01334 $. Any hint on how to do it analytically?

For $a>0$ and $b\in \mathbb{R}$,
$$\tag{*}\color{blue}{\int_{ - \infty }^\infty  {\frac{{\arctan (ax + b)}}{{\cosh \pi x}}dx} = 2\Im\left[ \log\Gamma(\frac{3}{4}+\frac{i (b-i)}{2 a})- \log\Gamma(\frac{1}{4}+\frac{i (b-i)}{2 a})\right]}$$
Here, $\log\Gamma$ is the log gamma function.

To begin, assume $\Im(c)>0, \Re(s)<0, \xi\in \mathbb{R}$, we have the following Fourier transform (hold pointwise except possibly for $\xi=0$):
$$\int_{ - \infty }^\infty  {{{(x + c)}^s}{e^{ - 2\pi ix\xi }}dx}  = \frac{{{e^{\pi is/2}}}}{{\Gamma ( - s){{(2\pi )}^s}}}{\xi ^{ - s - 1}}{e^{2\pi ic\xi }}{\chi _{(0,\infty )}}(\xi )$$
this can be proved by shifting the path of integration using a parallelogram, then use the result for $\int_0^\infty x^s \exp(-2\pi i x\xi) dx$. Here $\chi_A$ is the characteristic function for set $A$.
Fourier transform of $\text{sech } \pi x$ is itself, Plancherel theorem implies
$$\int_{ - \infty }^\infty  {\frac{{{{(x + c)}^s}}}{{\cosh \pi x}}dx}  = \frac{{{e^{\pi is/2}}}}{{\Gamma ( - s){{(2\pi )}^s}}}\int_0^\infty  {\frac{{{x^{ - s - 1}}{e^{2\pi icx}}}}{{\cosh \pi x}}dx} $$
this holds only for $\Re(s)<0$, a minor modification will make it holds for $\Re(s)<2$:
$$\int_{ - \infty }^\infty  {\frac{{{{(x + c)}^s}}}{{\cosh \pi x}}dx}  = \frac{{{e^{\pi is/2}}}}{{\Gamma ( - s){{(2\pi )}^s}}}\int_0^\infty  {{x^{ - s - 1}}{e^{2\pi icx}}(\frac{1}{{\cosh \pi x}} - 1)dx} +(-ic)^s e^{\pi i s/2} $$
Differentiate both sides with respect to $s$, then put $s=0$ yields
$$\tag{1}\int_{ - \infty }^\infty  {\frac{{\log (x + c)}}{{\cosh \pi x}}dx}  =  - \int_0^\infty  {\frac{{{e^{2cix}}}}{x}(\frac{1}{{\cosh x}} - 1)dx}  + \log c \qquad \Im(c)>0$$

We claim that
$$\tag{2}\int_0^\infty  {\frac{{{e^{ - 2cx}}}}{x}(\frac{1}{{\cosh x}} - 1)dx} = \log \frac{c}{2} + 2\log \Gamma (\frac{1}{4} + \frac{c}{2}) - 2\log \Gamma (\frac{3}{4} + \frac{c}{2}) \qquad c>0$$
It is not difficult to show the Laplace transform of $\text{sech }x$ is $\frac{1}{2} (\psi(\frac{s+3}{4})-\psi(\frac{s+1}{4}))$, therefore, by a property of Laplace transform,
$$\int_0^\infty  {\frac{{{e^{ - 2cx}}}}{x}(\frac{1}{{\cosh x}} - 1)dx}  = \int_{2c}^\infty  {\left[ { - \frac{1}{s} + \frac{1}{2}\left( { - \psi (\frac{{1 + s}}{4}) + \psi (\frac{{3 + s}}{4})} \right)} \right]ds} $$
because $\int \psi(x)dx = \log\Gamma(x)$, $$\small \int_{2c}^R {\left[ { - \frac{1}{s} + \frac{1}{2}\left( { - \psi (\frac{{1 + s}}{4}) + \psi (\frac{{3 + s}}{4})} \right)} \right]ds}  = \log (2c) - \log R + 2\log \frac{{\Gamma (\frac{1}{4} + \frac{c}{2})\Gamma (\frac{{3 + R}}{4})}}{{\Gamma (\frac{3}{4} + \frac{c}{2})\Gamma (\frac{1+R}{4})}}$$
making $R\to \infty$ proves $(2)$.

Combining $(1), (2)$ and analytic continuation shows, $$\int_{ - \infty }^\infty  {\frac{{\log (x{c^{ - 1}} + 1)}}{{\cosh \pi x}}dx}  = 2\log \Gamma (\frac{3}{4} - \frac{{ci}}{2}) - 2\log \Gamma (\frac{1}{4} - \frac{{ci}}{2}) - \log \frac{c}{2} + \frac{\pi }{2}i\qquad \Im(c)>0$$
Taking complex conjugation both sides
$$\int_{ - \infty }^\infty  {\frac{{\log (x{c^{ - 1}} + 1)}}{{\cosh \pi x}}dx}  = 2\log \Gamma (\frac{3}{4} + \frac{{ci}}{2}) - 2\log \Gamma (\frac{1}{4} + \frac{{ci}}{2}) - \log \frac{c}{2} - \frac{\pi }{2}i\qquad \Im(c)<0$$
WLOG, assume $a>0$, then
$$\int_{ - \infty }^\infty  {\frac{{\arctan (ax + b)}}{{\cosh \pi x}}dx} = \Im \left[ {\int_{ - \infty }^\infty  {\frac{{\log (\frac{{ia}}{{1 + bi}}x + 1)}}{{\cosh \pi x}}dx}  + \log (1 + bi)} \right]$$
(some arguments are needed to justify the separation of $\log$), so after some simplification we have $(*)$.
