integrate x*ln(1-cos x) from 0 to pi/2