integrate((sqrt(2+2cos(x))+sqrt(2-2cos(x)))cos(x), x=0, pi/2)/2