How to differentiate ln(secx+tanx) {implicit}