I=∫π/4π/2log(1+cot x)dx
I=∫π/4π/2log[1+cot(3π4−x)]dx
2I=∫π/4π/2log[(1+cot x)(1+cot(π4−x)]dx
2I=∫π/4π/2log(2)
2I=π4log(2)
I=π8log2