y=ln(cotx) differentiated, implicit differentiation version