integral of (x*arctgx) from 0 to 1