How do you find the antiderivative #4 + 4tan^2x#?