Show that this lengthy integral is equal to $\int_{0}^{\infty}{1\over x^8+x^4+1}\cdot{1\over x^3+1}\mathrm dx={5\pi\over 12\sqrt{3}}$ $$\displaystyle\int_{0}^{\infty}{1\over x^8+x^4+1}\cdot{1\over x^3+1}\mathrm dx={5\pi\over 12\sqrt{3}}$$
$x^8+x^4+1=(x^2+x-1)(x^2-x-1)(x^2+x+1)(x^2-x+1)$
$x^3+1=(x+1)(x^2-x+1)$
${A\over x+1}+{Bx+C\over x^2-x+1}={1\over x^3+1}$
${Ax+B\over x^2+x-1}+{Cx+D\over x^2-x-1}+{Ex+F\over x^2+x+1}+{Gx+H\over x^2-x+1}={1\over x^8+x^4+1}$
it would be a nightmare trying to decomposition of fraction.
I would like some help please?
 A: If you really love partial fractions you may note that $$I=\int_{0}^{1}\frac{1-x^{3}+x^{6}}{1+x^{4}+x^{8}}\mathrm dx=\frac{1}{4\sqrt{3}}\int_{0}^{1}\frac{1}{x^{2}+\sqrt{3}x+1}\mathrm dx+\frac{1}{4}\int_{0}^{1}\frac{1}{x^{2}+x+1}\mathrm dx
 $$ $$+\frac{3}{4}\int_{0}^{1}\frac{1}{x^{2}-x+1}\mathrm dx-\frac{1}{4\sqrt{3}}\int_{0}^{1}\frac{1}{x^{2}-\sqrt{3}x+1}\mathrm dx
 $$ $$=\frac{1}{2\sqrt{3}}\int_{\sqrt{3}}^{2+\sqrt{3}}\frac{1}{x^{2}+1}\mathrm dx+\frac{1}{2\sqrt{3}}\int_{1/\sqrt{3}}^{\sqrt{3}}\frac{1}{x^{2}+1}\mathrm dx
 $$ $$+\frac{\sqrt{3}}{2}\int_{-1/\sqrt{3}}^{1/\sqrt{3}}\frac{1}{x^{2}+1}\mathrm dx-\frac{1}{2\sqrt{3}}\int_{-\sqrt{3}}^{2-\sqrt{3}}\frac{1}{x^{2}+1}\mathrm dx
 $$ so we have $4$ elementary integrals hence $$I=\color{red}{\frac{5\pi}{12\sqrt{3}}}.$$
A: We want to compute:
$$ I = \int_{0}^{1}\frac{x^4-1}{x^{12}-1}\cdot\frac{\mathrm dx}{x^3+1}+\int_{0}^{1}\frac{x^{8}-x^{12}}{1-x^{12}}\cdot\frac{x\,\mathrm dx}{x^3+1}=\int_{0}^{1}\frac{1-x^3+x^6}{1+x^4+x^8}\,\mathrm dx $$
that is:
$$ I = \int_{0}^{1}\left(1-x^3-x^4+x^6+x^7-x^{10}\right)\frac{\mathrm dx}{1-x^{12}} $$
or:
$$ I=\sum_{k\geq 0}\left(\frac{1}{12k+1}-\frac{1}{12k+4}-\frac{1}{12k+5}+\frac{1}{12k+7}+\frac{1}{12k+8}-\frac{1}{12k+11}\right). $$
By the reflection formula for the digamma function we have:
$$ \sum_{k\geq 0}\left(\frac{1}{12k+\tau}-\frac{1}{12k+(12-\tau)}\right)=\frac{\pi}{12}\,\cot\frac{\pi \tau}{12} $$
and the wanted result trivially follows from $\cot\left(\frac{\pi}{12}\right)=2+\sqrt{3}$.
