How do you find the antiderivative 4+4tan2x?