integral( x arcctg(x)dx)