antiderivative of sec(x)