We use half-angle identities to express everything in terms of 2x:
cosx=cos22x−sin22x
1+sinx=1+2sin2xcos2x=(cos2x+sin2x)2
This follows because (cos2x+sin2x)2=cos22x+2sin2xcos2x+sin22x=1+sinx
1+sinxcosx=(cos2x+sin2x)2(cos2x−sin2x)(cos2x+sin2x)
=cos2x+sin2xcos2x−sin2x
Dividing numerator and denominator by cos2x:
=1+tan2x1−tan2x
Using the identity tan(A−B)=1+tanA⋅tanBtanA−tanB with A=4π and B=2x, and noting tan4π=1:
1+1⋅tan2x1−tan2x=tan(4π−2x)
tan−1(1+sinxcosx)=tan−1[tan(4π−2x)]
Since −2π<x<2π, we get 0<4π−2x<2π, which lies within the principal range (−2π,2π) of tan−1, so tan−1 and tan cancel directly.
=4π−2x