integrate sinx*sqrt(2-sinx^2) from 0 to pi