What is the antiderivative of #sec^2(x)#?