Cos 4x 1 cot x