What is the derivative of (tanx)1?