How to differentiate ln(sinx) using implicit differentiation