integrate (lnx)/(x**2+1) for x from 0 to 1