What is the derivative of #Sec^2 pi(x) #?