y=ln(cotx) differentiated, chain rule version