integral of sinx*arctanx