\[2\operatorname{arctan}\frac{x}{1+(1+x^{2})^{1/2}}=\operatorname{arctan}x,\]