$\newcommand{\limitp}{\alpha}\newcommand{\innerp}{\beta}$I am fascinated by definite integrals. Exploring math.stackexchange, I have found many interesting integrals of the form $$ \mathcal{J}(b,c,d;\innerp,\limitp) = \int_0^{\limitp} \, \frac{\log{(1+\innerp x^b)}}{(1+x^c)^d} \ \mathrm{d}x, \qquad \alpha,b,c,d\ge0, $$ the solutions to which have taught me a great deal. Many special cases have been evaluated, some with great difficulty and skill. Here is an attempt to collate and admire some of that work, and perhaps build upon it. Some of the techniques involved include series expansion, contour integration, differentiation with respect to $\innerp$ or maybe even $b$, and the answers often involve the evaluation of Euler sums and Hypergeometric functions, although sometimes it seems these difficulties can be bypassed.
My question then, is "can we build upon the work done in these answers, and develop a more general, complete theory for integrals of this type, or even extend our collection of specific cases?"
If you think you can evaluate a special case in a closed form, or even an interesting conjecture, answer here. Bounty goes to the best or most unique answer. I am particularly interested in larger values of $b,c$ and $d$, although feel free to make any contribution.
An easy one to start with, answers use substitution and differentiation with respect to a parameter,
$\limitp=1$, $\innerp=1$, $b=1$, $c=2$, $d=1$
An attempt at a more general case,
$\limitp=1$, $\innerp=1$, $c=1$, $d=1$
A slightly less general case,
$\limitp=\infty$, $\innerp=1$, $b=4n$, $c=2$, $d=1$
Three integrals in one question, with contour integration featuring prominently,
$\limitp=\infty$, $\innerp=1$, $b=\left\{2,3,4\right\}$, $c=2$, $d=2$
Involves the golden ratio as a coefficient,
$\limitp=1$, $\innerp=\phi$, $b=2$, $c=1$, $d=2$
This one is truly amazing, involves an irrational exponent and fairly heavy number theoretic ideas,
$\limitp=1$, $\innerp=1$, $b=2+\sqrt{3}$, $c=1$, $d=1$
Related but slightly more general integrals, some with interesting solutions can be found here and here and here and here and here.
In particular, the case when $\limitp=\infty$, $\innerp=1$, $c=2$, $d=2$ seems interesting. Can we evaluate any cases for $b>4$? One case stands out as quite simple, when Mathematica evaluates the case $b=6$, we generate the result $$ \mathcal{J}(6,2,2,1,\infty) = \frac{\pi}{4}\left(2\log 6 - 3\right). $$
I know this is not an answer but I used Mathematica to obtain some expressions like the one you stated near the end of your post. The first few are for completeness. Here $C$ is Catalan's constant. Let $\mathcal{J}(k,2,2,1,\infty) = J_k$. We have
$$J_1 = \frac{C}{2}+\frac{\pi}{8} \log 2-\frac{\pi }{8}$$
$$J_2 = \frac{\pi}{2} \log 2-\frac{\pi}{4}$$
$$J_3 = -\frac{C}{6}+\frac{\pi}{24} \log \left(8 \left(2+\sqrt{3}\right)^8\right)-\frac{3 \pi }{8}$$
$$J_4 = \frac{\pi}{4} \log \left(2(3+2 \sqrt{2})\right)-\frac{\pi }{2} $$ $$J_5 = \frac{C}{10}-\frac{5 \pi }{8}-\frac{7\pi}{40} \log (2)+\frac{\pi}{5} \log \left(4+\sqrt{10-2 \sqrt{5}}\right)+\frac{\pi}{10} \log \left(43+7 \sqrt{5}+4 \sqrt{130+38 \sqrt{5}}\right)$$
$$J_6 = \frac{\pi}{2} \log 6-\frac{3 \pi }{4}$$
$$J_8 = \frac{\pi }{4} \log \left(34+16 \sqrt{2}+8 \sqrt{26+17 \sqrt{2}}\right)-\pi$$
$$J_{10}= -\frac{5 \pi }{4}+\frac{\pi}{20} \log (80000000)-\frac{\pi}{5} \log \left(5-2 \sqrt{5}\right)+\frac{\pi}{20} \log \left(2889+1292 \sqrt{5}\right)$$
I particularly like how Mathematica evaluates $J_5$ as an absolute horrifying mess. It includes a ton of square roots of various numbers and logarithms of $1\pm(-1)^{i/10}$. But most of these can be simplified by manually replacing Log with the definition of the principal branch $\log(z) = \ln|z|+i\arg(z)$ where $\arg(z)$. The argument becomes an $\arctan(x)$ which I replace with $\arctan(FullSimplify[x])$. The rest is just taking the real part, combining and cleaning up the roots and logs. FullSimplify has a lot of trouble at most stages and that's why I had to manually split a lot of the work. I'm currently trying to do $J_7$ in this manner.