How to differentiate secx using implicit differentiation