integral from 0 to pi/2 of -8x lncosx