Tan(x+pi/4)=1+2sinx cosx/1-2sin^2 x prove?