int_0^{pi/2} arctan((tan(sin(x))+1)/(tan(cos(x))+1)) dx