Show that the derivative of `sec^{-1}(\frac{1}{2x^2-1})` w.r.t. `\sqrt{1-x^2}` at `x=\frac{1}{2}` is 4