A friend gave me this integral and I am having nightmares since. The integral looks like:
$$\int_0^\infty \frac{\ln(1+x-\sqrt{2x})}{1+x^2}\ \mathrm dx$$
Mathematica gives a solution of $0$ but any procedure to get the result eludes me. I found a messy solution with substitutions and by parts( which I will probably add in an edit later because it's too messy to even write ).
A better ( preferably quicker ) solution using any method ( differentiation under integral sign, complex analysis, vector calculus etc ) would be rather helpful. Any input is appreciated!