plot (2 x tan^(-1)(x)-log(x^2+1))/pi+2, plot x