int_0^1 (-2) arctan(t) ln t dt