antiderivative of sec(t)