integral (xarctgx dx)