Cot A B Formula Derivation