ctg(pi)*2^(-x)=1