\arcsin \frac{2x}{1+x^2}+2\arctan x=-\pi