Derivative of Hyperbolic Secant/Proof 1