\int \tan ax dx = -\frac{1}{a} \ln \cos ax + C