integrate Log[2/(1 + Tan[x])]