integral cos(lnx) dx, x=0, x=1