is (1-cos2x)(1+tan2x) equal to tan2x