integral of 4 sin^2 (pi x / 2) sqrt(1 - x^2) / pi for x=0..1