y=cotx differentiated, implicit differentiation version