Identities
cos2x + tan2x * cos2x = 1
sin2x = sin2x
1 = tanx * cosx * cscx
1 = 1
cos2x + tan2x * cos2x = 1
cos2x + sin2x = 1
cot2x * sec2x = csc2x
cot2x + 1 = csc2x
sinx * tanx = secx - cosx
1-cos2x 1-cos2x
--------- = ---------
cosx cosx