Pruebalo:
PS
Multiplico el interior de$$\arctan\left(\frac{\sqrt{1 + x} - \sqrt{1-x}}{\sqrt{1 + x} + \sqrt{1-x}} \right) = \frac{\pi}{4} - \frac{1}{2}\arccos(x), -\frac{1}{\sqrt{2}} \le x \le 1$ por el conjugado del denominador.
Yo obtengo:
PS
Pero eso sigue siendo muy difícil.
¿Alguna SUGERENCIA, no hay soluciones?