sin(x)(1+cot^2 x) = csc(x)