\int_{0}^{1}ln(1-tan^2(t))dt