pi^2/16 -1/4*ln 2 + pi/8 *integral of (Log(cos(x))/x^2) from x=0 to x=pi/2