calculus - So close yet so far Finding $int frac {sec x tan x}{3x+5} dx$

Cruising the old questions I came across juantheron asking for $\int \frac {\sec x\tan x}{3x+5}\,dx$ He tried using $(3x+5)^{-1}$ for $U$ and $\sec x \tan x$ for $dv$while integrating by parts. below is his work.

How can I calculate
$$
\int {\sec\left(x\right)\tan\left(x\right) \over 3x + 5}\,{\rm d}x

$$

My Try:: $\displaystyle \int \frac{1}{3x+5}\left(\sec x\tan x \right)\,\mathrm dx$

Now Using Integration by Parts::

We get

$$= \frac{1}{3x+5}\sec x +\int \frac{3}{(3x+5)^2}\sec x\,\mathrm dx$$

Here he hit his road block.

I tried the opposite tactic

Taking the other approach by parts.

let $$U= \sec x \tan x$$ then$$ du= \tan^2 x \sec x +\sec^3 x$$ and $$dv=(3x+5)^{-1}$$ then $$v=\frac 1 3 \ln(3x+5)$$ Thus $$\int \frac {\sec x \tan x}{3x+5}\,dx= \frac {\ln(3x+5)\sec x \tan x}{3} - \int \frac {\ln(3x+5) [\tan^2 x \sec x +\sec^3 x]}{3} \,dx$$

As you can see I got no further than he did.

So how many times do you have to complete integration by parts to get the integral of the original $\frac {\sec x \tan x}{3x+5} \, dx$ or is there a better way?

Answer

Integrating elementary functions in elementary terms is completely algorithmic. The algorithm is implemented in all major computer algebra systems, so the fact that Mathematica fails to integrate this in closed form can be viewed as (in effect) a proof that such a closed form does not exist in elementary terms.

To answer the comments:

1. You may or may not trust Mathematica (I don't always, but do for this). The fact that "its algorithm is not open for inspection" is not relevant -- it would take you much longer to figure out what the code does than to run the algorithm by hand (well, you need some linear algebra).




2. If you do want to try it in the privacy of your own home, you need to go no further than the late, lamented Manuel Bronstein's excellent book: http://www.amazon.com/Symbolic-Integration-Transcendental-Computation-Mathematics/dp/3540214933




3. I am quite sure that this particular integral is easy to show non-integrable in elementary terms by hand (if you understand the Risch algorithm).