1/cosa - sina * tga =
1/cosa - sina * sina/cosa =
(1 - sina * sina)/cosa =
(1 - sin²a)/cosa =
cos²a/cosa = cosa
1/cosa - sina * tga =
1/cosa - sina * sina/cosa =
(1 - sina * sina)/cosa =
(1 - sin²a)/cosa =
cos²a/cosa = cosa