Derivative of csc x tan