How do you find the antiderivative of int (cscx) dx?