Derivative of Hyperbolic Sine/Proof 3