integral of cos(arcsin(cos(x)^2))