integral of arctan x ln x / x for x=0..1