Cos x half angle formula, However, the integral still looks very hard to solve