solve for x: 1/(sin(x)*tan(x))=cos(x)*cot(x)