Evaluate cot@/cot@-cot3@ + tan@/tan@-tan3@

cot@/cot@ = 1

tan@/tan@ = 1