Is it the integral of lnsinx w.r.t x from 0 to pi/2 = integral lnsinx w.r.t x from 0 to pi/4 + integral lncosx w.r.t x from 0 to pi/4 ?