I was wondering what methods people knew of to solve the following definite integral? I have found a method using Feynman's Trick (see below) but am curious as to whether there are other Feynman's Tricks and/or Methods that can be used to solve it:
$$ I = \int_{0}^{\frac{\pi}{2}} \frac{\arctan\left(\sin(x)\right)}{\sin(x)}\:dx$$
My method:
Let
$$ I(t) = \int_{0}^{\frac{\pi}{2}} \frac{\arctan\left(t\sin(x)\right)}{\sin(x)}\:dx$$
Thus,
\begin{align} I'(t) &= \int_{0}^{\frac{\pi}{2}} \frac{\sin(x)}{\left(t^2\sin^2(x) + 1\right)\sin(x)}\:dx = \int_{0}^{\frac{\pi}{2}} \frac{1}{t^2\sin^2(x) + 1}\:dx \\ &= \left[\frac{1}{\sqrt{t^2 + 1}} \arctan\left(\sqrt{t^2 + 1}\tan(x) \right)\right]_{0}^{\frac{\pi}{2}} = \sqrt{t^2 + 1}\frac{\pi}{2} \end{align}
Thus
$$I(t) = \frac{\pi}{2}\sinh^{-1}(t) + C$$
Now
$$I(0) = C = \int_{0}^{\frac{\pi}{2}} \frac{\arctan\left(0\cdot\sin(x)\right)}{\sin(x)}\:dx = 0$$
Thus
$$I(t) = \frac{\pi}{2}\sinh^{-1}(t)$$
And finally,
$$I = I(1) = \int_{0}^{\frac{\pi}{2}} \frac{\arctan\left(\sin(x)\right)}{\sin(x)}\:dx = \frac{\pi}{2}\sinh^{-1}(1) = \frac{\pi}{2}\ln\left|1 + \sqrt{2}\right|$$