ddt 2^(1/2 + i t ) π^(-1/2 + i t ) ζ(1/2 - i t ) sin(1/4 (1 + 2 i t ) π) Γ(1/2 - i t )