Mehler-Dirichlet Integral

$$P_n(\cos\alpha)={\sqrt{2}\over\pi}\int_0^\alpha {\cos[(n+{\textstyle{1\over 2}})\phi]\over\sqrt{\cos\phi-\cos\alpha}}\,d\phi,$$

where $P_n(x)$ is a Legendre Polynomial.