integral 0 to pi cos^2(cos(x))