integral sqrt(2+sqrt(2+sqrt(2+2*cos(5*sqrt(x)+4))))*x^(-1/2)