How do you rewrite sec^2 (tan^{-1} x) in terms of x?