∫( 4*cos(1/2) * cos(w^2-1/2) / sqrt(1-w^2), w = 0 .. 1/sqrt(2) )