この積分を求められる方はいらっしゃいますか？

またまたコードが全消失したので、一応答えだけをかいておきます

$$J=\dfrac{1}{2\sqrt{2}}\log \Bigl| \dfrac{1-\sqrt{2 \tan x}+\tan x}{1+\sqrt{2 \tan x}+\tan x} \Bigr| +\dfrac{1}{\sqrt{2}} \tan^{-1} \left(\dfrac{\sqrt{2 \tan x}}{1-\tan x}\right)+C$$

中身はおいおい書いていきます(涙)