What is the derivative of 1+tan^2x?