integrate (1+tanh(x))/(1+tan(x))^2 from 0 to pi/2 10 digits