Log cot x formula