y=ln(cotx) implicit differentiation