How to differentiate arctanx using implicit differentiation