π⁢∫0∞τ⁢tanh⁡(τ⁢π)cosh⁡(τ⁢π)⁢P-12+ⅈ⁢τ⁡(x)⁢P-12+ⅈ⁢τ⁡(y)⁢ⅆ⁡τ=1y+x.