π0τtanh(τπ)cosh(τπ)P12+iτ(x)P12+iτ(y)dτ=1y+x.