xarcsin(2x/(x^2+1)) - 2xarctan(x)