Simpson's Formulas/Hyperbolic Sine by Hyperbolic Sine/Proof 3