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