Linear Second Order ODE/y'' = 1 over 1 - x^2

Theorem
The second order ODE:
 * $(1): \quad y'' = \dfrac 1 {1 - x^2}$

has the general solution:
 * $y = x \tanh^{-1} x + \map \ln {1 - x^2} + C x + D$