y=ln(secx) differentiated, implicit differentiation version