Derivative of Hyperbolic Sine/Proof 1