What is an antiderivative of #3sec^2x + 2#?