cot(x)+cos(x)=1