int_0^(pi/4) (Li(2,tan t)-tan t) dt