Verify the identity:
cos(a+B)/cos a sin B = cot B -tan a
cos(a+B)/cos a sin B = cot B -tan a