This antiderivative has arguable the highest ratio of “really hard to compute” to “really easy to write”:

So far, I’ve shown that the denominator can be factored over the real numbers:
,
so that the technique of partial fractions can be applied. Since both quadratics in the denominator are irreducible (and the degree of the numerator is less than the degree of the denominator), the partial fractions decomposition has the form

Clearing out the denominators, I get

or

or

Matching coefficients yields the following system of four equations in four unknowns:




Ordinarily, four-by-four systems of linear equations are somewhat painful to solve, but this system isn’t too bad. Since
from the first equation, the third equation becomes
, or
.
From the fourth equation, I can conclude that
and
. The second and third equations then become

,
or
,
.
Adding the two equations yields
, so that
and
.
Therefore, the integral can be rewritten as

I’ll start evaluating this integral in tomorrow’s post.