$\newcommand{\bbx}[1]{\,\bbox[8px,border:1px groove navy]{\displaystyle{#1}}\,}
\newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace}
\newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack}
\newcommand{\dd}{\mathrm{d}}
\newcommand{\ds}[1]{\displaystyle{#1}}
\newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,}
\newcommand{\ic}{\mathrm{i}}
\newcommand{\mc}[1]{\mathcal{#1}}
\newcommand{\mrm}[1]{\mathrm{#1}}
\newcommand{\pars}[1]{\left(\,{#1}\,\right)}
\newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}}
\newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,}
\newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}}
\newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$
\begin{align}
\int_{0}^{1}{\dd x \over 1 + y\cos\pars{x}} & =
\int_{0}^{1}{\dd x \over 1 + y\bracks{2\cos^{2}\pars{x/2} - 1}} =
2\int_{0}^{1/2}{\dd x \over 1 - y + 2y\cos^{2}\pars{x}}
\\[5mm] & =
2\int_{0}^{1/2}{\sec^{2}\pars{x} \over \pars{1 - y}\sec^{2}\pars{x} + 2y}\,\dd x =
2\int_{0}^{1/2}
{\sec^{2}\pars{x} \over \pars{1 - y}\tan^{2}\pars{x} + 1 + y}\,\dd x
\\[5mm] & =
2\,{1 \over 1 + y}\,\root{1 + y \over 1 - y}\int_{0}^{1/2}
{\root{\pars{1 - y}/\pars{1 + y}}\sec^{2}\pars{x} \over
\bracks{\root{\pars{1 - y}/\pars{1 + y}}\tan\pars{x}}^{2} + 1}\,\dd x
\\[5mm] & =
{2 \over \root{1 - y^{2}}}\,
\arctan\pars{\root{1 - y \over 1 + y}\tan\pars{1 \over 2}}
\end{align}