Cot x formula in terms